runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007050905/aspcud-paranoid-1.0/rand13b58e.cudf.easy.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/easy//rand13b58e.cudf /home/misc2010/tmp/201007050905/aspcud-paranoid-1.0/rand13b58e.cudf.easy.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.20 0.68 0.28 2/36 24685 /proc/meminfo: memFree=464424/1048576 swapFree=2095456/2097144 [pid=24685] ppid=24684 vsize=3872 CPUtime=0 /proc/24685/stat : 24685 (python) D 24684 24685 24102 769 24102 4202496 840 0 0 0 0 0 0 0 25 0 1 0 524948519 3964928 616 1283457024 134512640 135539072 4286733104 18446744073709551615 4159547966 0 0 16781312 2 18446744071564252162 0 0 17 0 0 0 0 /proc/24685/statm: 968 616 344 251 0 269 0 [startup+0.178182 s] /proc/loadavg: 1.20 0.68 0.28 2/36 24685 /proc/meminfo: memFree=464424/1048576 swapFree=2095456/2097144 [pid=24685] ppid=24684 vsize=4708 CPUtime=0.01 /proc/24685/stat : 24685 (python) R 24684 24685 24102 769 24102 4202496 1073 0 0 0 1 0 0 0 25 0 1 0 524948519 4820992 832 1283457024 134512640 135539072 4286733104 18446744073709551615 4159394208 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/24685/statm: 1177 832 398 251 0 435 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4708 [startup+0.208207 s] /proc/loadavg: 1.20 0.68 0.28 2/36 24685 /proc/meminfo: memFree=464424/1048576 swapFree=2095456/2097144 [pid=24685] ppid=24684 vsize=4708 CPUtime=0.01 /proc/24685/stat : 24685 (python) S 24684 24685 24102 769 24102 4202496 1130 0 0 0 1 0 0 0 25 0 1 0 524948519 4820992 834 1283457024 134512640 135539072 4286733104 18446744073709551615 4160332718 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24685/statm: 1177 834 400 251 0 435 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4708 [startup+0.308234 s] /proc/loadavg: 1.20 0.68 0.28 2/36 24685 /proc/meminfo: memFree=464424/1048576 swapFree=2095456/2097144 [pid=24685] ppid=24684 vsize=4708 CPUtime=0.01 /proc/24685/stat : 24685 (python) S 24684 24685 24102 769 24102 4202496 1130 0 0 0 1 0 0 0 25 0 1 0 524948519 4820992 834 1283457024 134512640 135539072 4286733104 18446744073709551615 4160332718 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24685/statm: 1177 834 400 251 0 435 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4708 [startup+0.70833 s] /proc/loadavg: 1.20 0.68 0.28 2/36 24685 /proc/meminfo: memFree=464424/1048576 swapFree=2095456/2097144 [pid=24685] ppid=24684 vsize=4708 CPUtime=0.01 /proc/24685/stat : 24685 (python) S 24684 24685 24102 769 24102 4202496 1130 0 0 0 1 0 0 0 25 0 1 0 524948519 4820992 834 1283457024 134512640 135539072 4286733104 18446744073709551615 4160332718 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24685/statm: 1177 834 400 251 0 435 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4708 [startup+1.50847 s] /proc/loadavg: 1.20 0.68 0.28 2/38 24687 /proc/meminfo: memFree=451652/1048576 swapFree=2095456/2097144 [pid=24685] ppid=24684 vsize=4708 CPUtime=0.01 /proc/24685/stat : 24685 (python) S 24684 24685 24102 769 24102 4202496 1130 0 0 0 1 0 0 0 25 0 1 0 524948519 4820992 834 1283457024 134512640 135539072 4286733104 18446744073709551615 4160332718 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24685/statm: 1177 834 400 251 0 435 0 [pid=24687] ppid=24685 vsize=14408 CPUtime=1.36 /proc/24687/stat : 24687 (cudf2lp) R 24685 24685 24102 769 24102 4202496 3734 0 0 0 134 2 0 0 25 0 1 0 524948525 14753792 3266 1283457024 134512640 135993029 4288761216 18446744073709551615 134604147 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/24687/statm: 3602 3266 110 362 0 3184 0 Current children cumulated CPU time (s) 1.37 Current children cumulated vsize (KiB) 19116 [startup+3.10883 s] /proc/loadavg: 1.20 0.68 0.28 2/38 24687 /proc/meminfo: memFree=441484/1048576 swapFree=2095456/2097144 [pid=24685] ppid=24684 vsize=4708 CPUtime=0.01 /proc/24685/stat : 24685 (python) S 24684 24685 24102 769 24102 4202496 1130 0 0 0 1 0 0 0 25 0 1 0 524948519 4820992 834 1283457024 134512640 135539072 4286733104 18446744073709551615 4160332718 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24685/statm: 1177 834 400 251 0 435 0 [pid=24687] ppid=24685 vsize=28180 CPUtime=2.96 /proc/24687/stat : 24687 (cudf2lp) R 24685 24685 24102 769 24102 4202496 7091 0 0 0 292 4 0 0 25 0 1 0 524948525 28856320 6623 1283457024 134512640 135993029 4288761216 18446744073709551615 134566573 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/24687/statm: 7045 6623 110 362 0 6627 0 Current children cumulated CPU time (s) 2.97 Current children cumulated vsize (KiB) 32888 [startup+6.31026 s] /proc/loadavg: 1.19 0.68 0.28 2/38 24687 /proc/meminfo: memFree=378864/1048576 swapFree=2095456/2097144 [pid=24685] ppid=24684 vsize=4708 CPUtime=5.38 /proc/24685/stat : 24685 (python) S 24684 24685 24102 769 24102 4202496 1218 18245 0 0 1 0 445 92 18 0 1 0 524948519 4820992 836 1283457024 134512640 135539072 4286733104 18446744073709551615 4160332718 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24685/statm: 1177 836 402 251 0 435 0 Current children cumulated CPU time (s) 5.38 Current children cumulated vsize (KiB) 4708 [startup+12.7118 s] /proc/loadavg: 1.25 0.71 0.29 2/40 24690 /proc/meminfo: memFree=13520/1048576 swapFree=2095456/2097144 [pid=24685] ppid=24684 vsize=4708 CPUtime=5.38 /proc/24685/stat : 24685 (python) S 24684 24685 24102 769 24102 4202496 1218 18245 0 0 1 0 445 92 18 0 1 0 524948519 4820992 836 1283457024 134512640 135539072 4286733104 18446744073709551615 4160332718 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24685/statm: 1177 836 402 251 0 435 0 [pid=24688] ppid=24685 vsize=2380 CPUtime=0 /proc/24688/stat : 24688 (sh) S 24685 24685 24102 769 24102 4194304 442 0 0 0 0 0 0 0 18 0 1 0 524949074 2437120 251 1283457024 134512640 135191968 4292374624 18446744073709551615 4159498654 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24688/statm: 595 251 214 166 0 27 0 [pid=24689] ppid=24688 vsize=348640 CPUtime=6.15 /proc/24689/stat : 24689 (bingo) R 24688 24685 24102 769 24102 4202496 112339 0 0 0 574 41 0 0 25 0 1 0 524949074 357007360 72563 1283457024 134512640 136195415 4290125552 18446744073709551615 134657148 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/24689/statm: 87160 72563 221 411 0 86747 0 [pid=24690] ppid=24688 vsize=100580 CPUtime=0.91 /proc/24690/stat : 24690 (clasp) S 24688 24685 24102 769 24102 4202496 27723 0 0 0 81 10 0 0 18 0 1 0 524949076 102993920 24478 1283457024 134512640 136080129 4287333408 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/24690/statm: 25145 24478 147 383 0 24760 0 Current children cumulated CPU time (s) 12.44 Current children cumulated vsize (KiB) 456308 [startup+25.5148 s] /proc/loadavg: 1.19 0.72 0.30 2/39 24690 /proc/meminfo: memFree=309336/1048576 swapFree=2095456/2097144 [pid=24685] ppid=24684 vsize=4708 CPUtime=5.38 /proc/24685/stat : 24685 (python) S 24684 24685 24102 769 24102 4202496 1218 18245 0 0 1 0 445 92 18 0 1 0 524948519 4820992 836 1283457024 134512640 135539072 4286733104 18446744073709551615 4160332718 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24685/statm: 1177 836 402 251 0 435 0 [pid=24688] ppid=24685 vsize=2380 CPUtime=6.55 /proc/24688/stat : 24688 (sh) S 24685 24685 24102 769 24102 4194304 442 112341 0 0 0 0 605 50 18 0 1 0 524949074 2437120 251 1283457024 134512640 135191968 4292374624 18446744073709551615 4159498654 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24688/statm: 595 251 214 166 0 27 0 [pid=24690] ppid=24688 vsize=125328 CPUtime=13.19 /proc/24690/stat : 24690 (clasp) R 24688 24685 24102 769 24102 4202496 46239 0 0 0 1297 22 0 0 25 0 1 0 524949076 128335872 30781 1283457024 134512640 136080129 4287333408 18446744073709551615 134849100 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/24690/statm: 31332 30781 189 383 0 30947 0 Current children cumulated CPU time (s) 25.12 Current children cumulated vsize (KiB) 132416 [startup+51.1064 s] /proc/loadavg: 1.13 0.74 0.32 2/39 24690 /proc/meminfo: memFree=261472/1048576 swapFree=2095456/2097144 [pid=24685] ppid=24684 vsize=4708 CPUtime=5.38 /proc/24685/stat : 24685 (python) S 24684 24685 24102 769 24102 4202496 1218 18245 0 0 1 0 445 92 18 0 1 0 524948519 4820992 836 1283457024 134512640 135539072 4286733104 18446744073709551615 4160332718 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24685/statm: 1177 836 402 251 0 435 0 [pid=24688] ppid=24685 vsize=2380 CPUtime=6.55 /proc/24688/stat : 24688 (sh) S 24685 24685 24102 769 24102 4194304 442 112341 0 0 0 0 605 50 18 0 1 0 524949074 2437120 251 1283457024 134512640 135191968 4292374624 18446744073709551615 4159498654 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24688/statm: 595 251 214 166 0 27 0 [pid=24690] ppid=24688 vsize=125328 CPUtime=38.55 /proc/24690/stat : 24690 (clasp) R 24688 24685 24102 769 24102 4202496 46239 0 0 0 3820 35 0 0 25 0 1 0 524949076 128335872 30781 1283457024 134512640 136080129 4287333408 18446744073709551615 134608539 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/24690/statm: 31332 30781 189 383 0 30947 0 Current children cumulated CPU time (s) 50.48 Current children cumulated vsize (KiB) 132416 Solver just ended. Dumping a history of the last processes samples [startup+51.2116 s] /proc/loadavg: 1.13 0.74 0.32 2/39 24690 /proc/meminfo: memFree=261472/1048576 swapFree=2095456/2097144 [pid=24685] ppid=24684 vsize=4708 CPUtime=5.38 /proc/24685/stat : 24685 (python) S 24684 24685 24102 769 24102 4202496 1218 18245 0 0 1 0 445 92 18 0 1 0 524948519 4820992 836 1283457024 134512640 135539072 4286733104 18446744073709551615 4160332718 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24685/statm: 1177 836 402 251 0 435 0 [pid=24688] ppid=24685 vsize=2380 CPUtime=6.55 /proc/24688/stat : 24688 (sh) S 24685 24685 24102 769 24102 4194304 442 112341 0 0 0 0 605 50 18 0 1 0 524949074 2437120 251 1283457024 134512640 135191968 4292374624 18446744073709551615 4159498654 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24688/statm: 595 251 214 166 0 27 0 [pid=24690] ppid=24688 vsize=125328 CPUtime=38.65 /proc/24690/stat : 24690 (clasp) R 24688 24685 24102 769 24102 4202496 46239 0 0 0 3830 35 0 0 25 0 1 0 524949076 128335872 30781 1283457024 134512640 136080129 4287333408 18446744073709551615 134779799 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/24690/statm: 31332 30781 189 383 0 30947 0 Current children cumulated CPU time (s) 50.58 Current children cumulated vsize (KiB) 132416 [startup+54.4127 s] /proc/loadavg: 1.12 0.74 0.32 2/39 24690 /proc/meminfo: memFree=247708/1048576 swapFree=2095456/2097144 [pid=24685] ppid=24684 vsize=4708 CPUtime=5.38 /proc/24685/stat : 24685 (python) S 24684 24685 24102 769 24102 4202496 1218 18245 0 0 1 0 445 92 18 0 1 0 524948519 4820992 836 1283457024 134512640 135539072 4286733104 18446744073709551615 4160332718 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24685/statm: 1177 836 402 251 0 435 0 [pid=24688] ppid=24685 vsize=2380 CPUtime=6.55 /proc/24688/stat : 24688 (sh) S 24685 24685 24102 769 24102 4194304 442 112341 0 0 0 0 605 50 18 0 1 0 524949074 2437120 251 1283457024 134512640 135191968 4292374624 18446744073709551615 4159498654 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24688/statm: 595 251 214 166 0 27 0 [pid=24690] ppid=24688 vsize=125328 CPUtime=41.81 /proc/24690/stat : 24690 (clasp) R 24688 24685 24102 769 24102 4202496 46239 0 0 0 4143 38 0 0 25 0 1 0 524949076 128335872 30781 1283457024 134512640 136080129 4287333408 18446744073709551615 134856192 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/24690/statm: 31332 30781 189 383 0 30947 0 Current children cumulated CPU time (s) 53.74 Current children cumulated vsize (KiB) 132416 [startup+56.0136 s] /proc/loadavg: 1.12 0.74 0.32 2/39 24690 /proc/meminfo: memFree=243492/1048576 swapFree=2095456/2097144 [pid=24685] ppid=24684 vsize=4708 CPUtime=5.38 /proc/24685/stat : 24685 (python) S 24684 24685 24102 769 24102 4202496 1218 18245 0 0 1 0 445 92 18 0 1 0 524948519 4820992 836 1283457024 134512640 135539072 4286733104 18446744073709551615 4160332718 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24685/statm: 1177 836 402 251 0 435 0 [pid=24688] ppid=24685 vsize=2380 CPUtime=6.55 /proc/24688/stat : 24688 (sh) S 24685 24685 24102 769 24102 4194304 442 112341 0 0 0 0 605 50 18 0 1 0 524949074 2437120 251 1283457024 134512640 135191968 4292374624 18446744073709551615 4159498654 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24688/statm: 595 251 214 166 0 27 0 [pid=24690] ppid=24688 vsize=125328 CPUtime=43.36 /proc/24690/stat : 24690 (clasp) R 24688 24685 24102 769 24102 4202496 46239 0 0 0 4293 43 0 0 25 0 1 0 524949076 128335872 30781 1283457024 134512640 136080129 4287333408 18446744073709551615 134849991 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/24690/statm: 31332 30781 189 383 0 30947 0 Current children cumulated CPU time (s) 55.29 Current children cumulated vsize (KiB) 132416 [startup+56.8139 s] /proc/loadavg: 1.12 0.74 0.32 2/39 24690 /proc/meminfo: memFree=241384/1048576 swapFree=2095456/2097144 [pid=24685] ppid=24684 vsize=4708 CPUtime=5.38 /proc/24685/stat : 24685 (python) S 24684 24685 24102 769 24102 4202496 1218 18245 0 0 1 0 445 92 18 0 1 0 524948519 4820992 836 1283457024 134512640 135539072 4286733104 18446744073709551615 4160332718 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24685/statm: 1177 836 402 251 0 435 0 [pid=24688] ppid=24685 vsize=2380 CPUtime=6.55 /proc/24688/stat : 24688 (sh) S 24685 24685 24102 769 24102 4194304 442 112341 0 0 0 0 605 50 18 0 1 0 524949074 2437120 251 1283457024 134512640 135191968 4292374624 18446744073709551615 4159498654 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24688/statm: 595 251 214 166 0 27 0 [pid=24690] ppid=24688 vsize=125328 CPUtime=44.16 /proc/24690/stat : 24690 (clasp) R 24688 24685 24102 769 24102 4202496 46239 0 0 0 4372 44 0 0 25 0 1 0 524949076 128335872 30781 1283457024 134512640 136080129 4287333408 18446744073709551615 134779751 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/24690/statm: 31332 30781 189 383 0 30947 0 Current children cumulated CPU time (s) 56.09 Current children cumulated vsize (KiB) 132416 [startup+57.2041 s] /proc/loadavg: 1.12 0.74 0.32 2/39 24690 /proc/meminfo: memFree=240144/1048576 swapFree=2095456/2097144 [pid=24685] ppid=24684 vsize=4708 CPUtime=5.38 /proc/24685/stat : 24685 (python) S 24684 24685 24102 769 24102 4202496 1218 18245 0 0 1 0 445 92 18 0 1 0 524948519 4820992 836 1283457024 134512640 135539072 4286733104 18446744073709551615 4160332718 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24685/statm: 1177 836 402 251 0 435 0 [pid=24688] ppid=24685 vsize=2380 CPUtime=6.55 /proc/24688/stat : 24688 (sh) S 24685 24685 24102 769 24102 4194304 442 112341 0 0 0 0 605 50 18 0 1 0 524949074 2437120 251 1283457024 134512640 135191968 4292374624 18446744073709551615 4159498654 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24688/statm: 595 251 214 166 0 27 0 [pid=24690] ppid=24688 vsize=125328 CPUtime=44.55 /proc/24690/stat : 24690 (clasp) R 24688 24685 24102 769 24102 4202496 46249 0 0 0 4410 45 0 0 25 0 1 0 524949076 128335872 30791 1283457024 134512640 136080129 4287333408 18446744073709551615 135501042 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/24690/statm: 31332 30791 199 383 0 30947 0 Current children cumulated CPU time (s) 56.48 Current children cumulated vsize (KiB) 132416 [startup+57.4041 s] /proc/loadavg: 1.12 0.74 0.32 2/39 24690 /proc/meminfo: memFree=240144/1048576 swapFree=2095456/2097144 [pid=24685] ppid=24684 vsize=4708 CPUtime=56.65 /proc/24685/stat : 24685 (python) S 24684 24685 24102 769 24102 4202496 1299 177289 0 0 1 0 5472 192 18 0 1 0 524948519 4820992 836 1283457024 134512640 135539072 4286733104 18446744073709551615 4160332718 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24685/statm: 1177 836 402 251 0 435 0 Current children cumulated CPU time (s) 56.65 Current children cumulated vsize (KiB) 4708 Child status: 0 Real time (s): 57.4188 CPU time (s): 56.7315 CPU user time (s): 54.7674 CPU system time (s): 1.96412 CPU usage (%): 98.8031 Max. virtual memory (cumulated for all children) (KiB): 583024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 54.7674 system time used= 1.96412 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 179837 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 744 involuntary context switches= 3210 runsolver used 0 second user time and 0 second system time The end