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/201007051419/aspcud-trendy-1.2/rand14ba69.cudf.difficult.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/difficult//rand14ba69.cudf /home/misc2010/tmp/201007051419/aspcud-trendy-1.2/rand14ba69.cudf.difficult.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.09 1.08 1.06 2/95 27316 /proc/meminfo: memFree=1247056/2097152 swapFree=2055676/2097144 [pid=27316] ppid=27315 vsize=2880 CPUtime=0 /proc/27316/stat : 27316 (runsolver) R 27315 27316 13759 34823 13904 4202560 74 0 0 0 0 0 0 0 25 0 1 0 415594255 2949120 93 1283457024 134512640 134586868 4293228048 18446744073709551615 4157674778 0 2147483391 0 24578 0 0 0 17 0 0 0 0 /proc/27316/statm: 720 93 62 19 0 52 0 [startup+0.161835 s] /proc/loadavg: 1.09 1.08 1.06 2/95 27316 /proc/meminfo: memFree=1247056/2097152 swapFree=2055676/2097144 [pid=27316] ppid=27315 vsize=4708 CPUtime=0.01 /proc/27316/stat : 27316 (aspcud-trendy-1) S 27315 27316 13759 34823 13904 4202496 1052 0 0 0 1 0 0 0 25 0 1 0 415594255 4820992 837 1283457024 134512640 135539072 4289815424 18446744073709551615 4160308142 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/27316/statm: 1177 837 399 251 0 435 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4708 [startup+0.205816 s] /proc/loadavg: 1.09 1.08 1.06 2/95 27316 /proc/meminfo: memFree=1247056/2097152 swapFree=2055676/2097144 [pid=27316] ppid=27315 vsize=4708 CPUtime=0.01 /proc/27316/stat : 27316 (aspcud-trendy-1) S 27315 27316 13759 34823 13904 4202496 1052 0 0 0 1 0 0 0 25 0 1 0 415594255 4820992 837 1283457024 134512640 135539072 4289815424 18446744073709551615 4160308142 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/27316/statm: 1177 837 399 251 0 435 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4708 [startup+0.305832 s] /proc/loadavg: 1.09 1.08 1.06 2/95 27316 /proc/meminfo: memFree=1247056/2097152 swapFree=2055676/2097144 [pid=27316] ppid=27315 vsize=4708 CPUtime=0.01 /proc/27316/stat : 27316 (aspcud-trendy-1) S 27315 27316 13759 34823 13904 4202496 1052 0 0 0 1 0 0 0 25 0 1 0 415594255 4820992 837 1283457024 134512640 135539072 4289815424 18446744073709551615 4160308142 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/27316/statm: 1177 837 399 251 0 435 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4708 [startup+0.705871 s] /proc/loadavg: 1.09 1.08 1.06 2/95 27316 /proc/meminfo: memFree=1247056/2097152 swapFree=2055676/2097144 [pid=27316] ppid=27315 vsize=4708 CPUtime=0.01 /proc/27316/stat : 27316 (aspcud-trendy-1) S 27315 27316 13759 34823 13904 4202496 1052 0 0 0 1 0 0 0 25 0 1 0 415594255 4820992 837 1283457024 134512640 135539072 4289815424 18446744073709551615 4160308142 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/27316/statm: 1177 837 399 251 0 435 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4708 [startup+1.50589 s] /proc/loadavg: 1.09 1.08 1.06 2/97 27318 /proc/meminfo: memFree=1236408/2097152 swapFree=2055676/2097144 [pid=27316] ppid=27315 vsize=4708 CPUtime=0.01 /proc/27316/stat : 27316 (aspcud-trendy-1) S 27315 27316 13759 34823 13904 4202496 1052 0 0 0 1 0 0 0 25 0 1 0 415594255 4820992 837 1283457024 134512640 135539072 4289815424 18446744073709551615 4160308142 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/27316/statm: 1177 837 399 251 0 435 0 [pid=27318] ppid=27316 vsize=15152 CPUtime=1.45 /proc/27318/stat : 27318 (cudf2lp) R 27316 27316 13759 34823 13904 4202496 3627 0 0 0 144 1 0 0 19 0 1 0 415594259 15515648 3426 1283457024 134512640 135993029 4288518800 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/27318/statm: 3788 3426 110 362 0 3370 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 19860 [startup+3.10596 s] /proc/loadavg: 1.09 1.08 1.06 2/97 27318 /proc/meminfo: memFree=1226488/2097152 swapFree=2055676/2097144 [pid=27316] ppid=27315 vsize=4708 CPUtime=0.01 /proc/27316/stat : 27316 (aspcud-trendy-1) S 27315 27316 13759 34823 13904 4202496 1052 0 0 0 1 0 0 0 25 0 1 0 415594255 4820992 837 1283457024 134512640 135539072 4289815424 18446744073709551615 4160308142 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/27316/statm: 1177 837 399 251 0 435 0 [pid=27318] ppid=27316 vsize=29668 CPUtime=3.05 /proc/27318/stat : 27318 (cudf2lp) R 27316 27316 13759 34823 13904 4202496 7187 0 0 0 304 1 0 0 24 0 1 0 415594259 30380032 6986 1283457024 134512640 135993029 4288518800 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/27318/statm: 7417 6986 110 362 0 6999 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 34376 [startup+6.30608 s] /proc/loadavg: 1.08 1.08 1.06 2/97 27318 /proc/meminfo: memFree=1197720/2097152 swapFree=2055676/2097144 [pid=27316] ppid=27315 vsize=4708 CPUtime=0.01 /proc/27316/stat : 27316 (aspcud-trendy-1) S 27315 27316 13759 34823 13904 4202496 1052 0 0 0 1 0 0 0 25 0 1 0 415594255 4820992 837 1283457024 134512640 135539072 4289815424 18446744073709551615 4160308142 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/27316/statm: 1177 837 399 251 0 435 0 [pid=27318] ppid=27316 vsize=75568 CPUtime=6.25 /proc/27318/stat : 27318 (cudf2lp) R 27316 27316 13759 34823 13904 4202496 18553 0 0 0 594 31 0 0 25 0 1 0 415594259 77381632 18352 1283457024 134512640 135993029 4288518800 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/27318/statm: 18892 18353 134 362 0 18474 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 80276 [startup+12.7063 s] /proc/loadavg: 1.07 1.08 1.06 2/98 27321 /proc/meminfo: memFree=1006512/2097152 swapFree=2055676/2097144 [pid=27316] ppid=27315 vsize=4708 CPUtime=7.75 /proc/27316/stat : 27316 (aspcud-trendy-1) S 27315 27316 13759 34823 13904 4202496 1238 27435 0 0 1 0 691 83 18 0 1 0 415594255 4820992 840 1283457024 134512640 135539072 4289815424 18446744073709551615 4160308142 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/27316/statm: 1177 840 402 251 0 435 0 [pid=27319] ppid=27316 vsize=186912 CPUtime=4.9 /proc/27319/stat : 27319 (bingo) R 27316 27316 13759 34823 13904 4202496 55133 0 0 0 463 27 0 0 19 0 1 0 415595034 191397888 36939 1283457024 134512640 136195415 4287424944 18446744073709551615 134775253 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/27319/statm: 46728 36939 220 411 0 46315 0 [pid=27320] ppid=27316 vsize=111844 CPUtime=0.46 /proc/27320/stat : 27320 (clasp) S 27316 27316 13759 34823 13904 4202496 31529 0 0 0 42 4 0 0 18 0 1 0 415595034 114528256 27293 1283457024 134512640 136080129 4293832640 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 1 0 0 0 /proc/27320/statm: 27961 27293 144 383 0 27576 0 Current children cumulated CPU time (s) 13.11 Current children cumulated vsize (KiB) 303464 [startup+25.507 s] /proc/loadavg: 1.12 1.09 1.06 2/98 27321 /proc/meminfo: memFree=1041744/2097152 swapFree=2055676/2097144 [pid=27316] ppid=27315 vsize=4708 CPUtime=7.75 /proc/27316/stat : 27316 (aspcud-trendy-1) S 27315 27316 13759 34823 13904 4202496 1238 27435 0 0 1 0 691 83 18 0 1 0 415594255 4820992 840 1283457024 134512640 135539072 4289815424 18446744073709551615 4160308142 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/27316/statm: 1177 840 402 251 0 435 0 [pid=27319] ppid=27316 vsize=0 CPUtime=10.34 /proc/27319/stat : 27319 (bingo) Z 27316 27316 13759 34823 13904 4202508 174602 0 0 0 954 80 0 0 25 0 1 0 415595034 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 1 0 0 0 /proc/27319/statm: 0 0 0 0 0 0 0 [pid=27320] ppid=27316 vsize=195884 CPUtime=8.09 /proc/27320/stat : 27320 (clasp) R 27316 27316 13759 34823 13904 4202496 75722 0 0 0 782 27 0 0 25 0 1 0 415595034 200585216 48159 1283457024 134512640 136080129 4293832640 18446744073709551615 134608504 0 0 16781312 16386 0 0 0 17 1 0 0 0 /proc/27320/statm: 48971 48159 186 383 0 48586 0 Current children cumulated CPU time (s) 26.18 Current children cumulated vsize (KiB) 200592 [startup+51.1091 s] /proc/loadavg: 1.08 1.08 1.06 2/97 27327 /proc/meminfo: memFree=1228248/2097152 swapFree=2055676/2097144 [pid=27316] ppid=27315 vsize=4712 CPUtime=52.19 /proc/27316/stat : 27316 (aspcud-trendy-1) S 27315 27316 13759 34823 13904 4202496 1616 529251 0 0 2 0 4920 297 18 0 1 0 415594255 4825088 854 1283457024 134512640 135539072 4289815424 18446744073709551615 4160308142 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/27316/statm: 1178 854 402 251 0 436 0 [pid=27326] ppid=27316 vsize=18328 CPUtime=0.55 /proc/27326/stat : 27326 (bingo) R 27316 27316 13759 34823 13904 4202496 5906 0 0 0 54 1 0 0 24 0 1 0 415599307 18767872 3947 1283457024 134512640 136195415 4287474096 18446744073709551615 135594668 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/27326/statm: 4582 3947 205 411 0 4169 0 [pid=27327] ppid=27316 vsize=14736 CPUtime=0 /proc/27327/stat : 27327 (clasp) S 27316 27316 13759 34823 13904 4202496 4136 0 0 0 0 0 0 0 18 0 1 0 415599308 15089664 3313 1283457024 134512640 136080129 4294469712 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 1 0 0 0 /proc/27327/statm: 3684 3313 149 383 0 3299 0 Current children cumulated CPU time (s) 52.74 Current children cumulated vsize (KiB) 37776 [startup+102.315 s] /proc/loadavg: 1.13 1.10 1.07 2/97 27333 /proc/meminfo: memFree=1034764/2097152 swapFree=2055676/2097144 [pid=27316] ppid=27315 vsize=4712 CPUtime=72.54 /proc/27316/stat : 27316 (aspcud-trendy-1) S 27315 27316 13759 34823 13904 4202496 1812 781371 0 0 2 0 6829 423 18 0 1 0 415594255 4825088 854 1283457024 134512640 135539072 4289815424 18446744073709551615 4160308142 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/27316/statm: 1178 854 402 251 0 436 0 [pid=27329] ppid=27316 vsize=0 CPUtime=10.35 /proc/27329/stat : 27329 (bingo) Z 27316 27316 13759 34823 13904 4202508 177055 0 0 0 952 83 0 0 25 0 1 0 415601270 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/27329/statm: 0 0 0 0 0 0 0 [pid=27330] ppid=27316 vsize=200124 CPUtime=22.67 /proc/27330/stat : 27330 (clasp) R 27316 27316 13759 34823 13904 4202496 76227 0 0 0 2247 20 0 0 25 0 1 0 415601270 204926976 49288 1283457024 134512640 136080129 4291974624 18446744073709551615 134845911 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/27330/statm: 50031 49288 193 383 0 49646 0 Current children cumulated CPU time (s) 105.56 Current children cumulated vsize (KiB) 204836 [startup+162.314 s] /proc/loadavg: 1.05 1.08 1.06 2/97 27337 /proc/meminfo: memFree=1034764/2097152 swapFree=2055676/2097144 [pid=27316] ppid=27315 vsize=4712 CPUtime=72.54 /proc/27316/stat : 27316 (aspcud-trendy-1) S 27315 27316 13759 34823 13904 4202496 1812 781371 0 0 2 0 6829 423 18 0 1 0 415594255 4825088 854 1283457024 134512640 135539072 4289815424 18446744073709551615 4160308142 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/27316/statm: 1178 854 402 251 0 436 0 [pid=27329] ppid=27316 vsize=0 CPUtime=10.35 /proc/27329/stat : 27329 (bingo) Z 27316 27316 13759 34823 13904 4202508 177055 0 0 0 952 83 0 0 25 0 1 0 415601270 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/27329/statm: 0 0 0 0 0 0 0 [pid=27330] ppid=27316 vsize=200124 CPUtime=82.63 /proc/27330/stat : 27330 (clasp) R 27316 27316 13759 34823 13904 4202496 76227 0 0 0 8241 22 0 0 25 0 1 0 415601270 204926976 49288 1283457024 134512640 136080129 4291974624 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/27330/statm: 50031 49288 193 383 0 49646 0 Current children cumulated CPU time (s) 165.52 Current children cumulated vsize (KiB) 204836 [startup+222.308 s] /proc/loadavg: 1.02 1.06 1.05 2/97 27341 /proc/meminfo: memFree=1035012/2097152 swapFree=2055676/2097144 [pid=27316] ppid=27315 vsize=4712 CPUtime=72.54 /proc/27316/stat : 27316 (aspcud-trendy-1) S 27315 27316 13759 34823 13904 4202496 1812 781371 0 0 2 0 6829 423 18 0 1 0 415594255 4825088 854 1283457024 134512640 135539072 4289815424 18446744073709551615 4160308142 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/27316/statm: 1178 854 402 251 0 436 0 [pid=27329] ppid=27316 vsize=0 CPUtime=10.35 /proc/27329/stat : 27329 (bingo) Z 27316 27316 13759 34823 13904 4202508 177055 0 0 0 952 83 0 0 25 0 1 0 415601270 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/27329/statm: 0 0 0 0 0 0 0 [pid=27330] ppid=27316 vsize=200124 CPUtime=142.59 /proc/27330/stat : 27330 (clasp) R 27316 27316 13759 34823 13904 4202496 76227 0 0 0 14235 24 0 0 25 0 1 0 415601270 204926976 49288 1283457024 134512640 136080129 4291974624 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 1 0 0 0 /proc/27330/statm: 50031 49288 193 383 0 49646 0 Current children cumulated CPU time (s) 225.48 Current children cumulated vsize (KiB) 204836 [startup+282.306 s] /proc/loadavg: 1.00 1.05 1.05 2/97 27345 /proc/meminfo: memFree=1035384/2097152 swapFree=2055676/2097144 [pid=27316] ppid=27315 vsize=4712 CPUtime=72.54 /proc/27316/stat : 27316 (aspcud-trendy-1) S 27315 27316 13759 34823 13904 4202496 1812 781371 0 0 2 0 6829 423 18 0 1 0 415594255 4825088 854 1283457024 134512640 135539072 4289815424 18446744073709551615 4160308142 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/27316/statm: 1178 854 402 251 0 436 0 [pid=27329] ppid=27316 vsize=0 CPUtime=10.35 /proc/27329/stat : 27329 (bingo) Z 27316 27316 13759 34823 13904 4202508 177055 0 0 0 952 83 0 0 25 0 1 0 415601270 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/27329/statm: 0 0 0 0 0 0 0 [pid=27330] ppid=27316 vsize=200124 CPUtime=202.59 /proc/27330/stat : 27330 (clasp) R 27316 27316 13759 34823 13904 4202496 76227 0 0 0 20235 24 0 0 25 0 1 0 415601270 204926976 49288 1283457024 134512640 136080129 4291974624 18446744073709551615 134808837 0 0 16781312 16386 0 0 0 17 1 0 0 0 /proc/27330/statm: 50031 49288 193 383 0 49646 0 Current children cumulated CPU time (s) 285.48 Current children cumulated vsize (KiB) 204836 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+286.906 s] /proc/loadavg: 1.00 1.05 1.05 2/97 27345 /proc/meminfo: memFree=1035384/2097152 swapFree=2055676/2097144 [pid=27316] ppid=27315 vsize=4712 CPUtime=72.54 /proc/27316/stat : 27316 (aspcud-trendy-1) S 27315 27316 13759 34823 13904 4202496 1812 781371 0 0 2 0 6829 423 18 0 1 0 415594255 4825088 854 1283457024 134512640 135539072 4289815424 18446744073709551615 4160308142 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/27316/statm: 1178 854 402 251 0 436 0 [pid=27329] ppid=27316 vsize=0 CPUtime=10.35 /proc/27329/stat : 27329 (bingo) Z 27316 27316 13759 34823 13904 4202508 177055 0 0 0 952 83 0 0 25 0 1 0 415601270 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/27329/statm: 0 0 0 0 0 0 0 [pid=27330] ppid=27316 vsize=200124 CPUtime=207.19 /proc/27330/stat : 27330 (clasp) R 27316 27316 13759 34823 13904 4202496 76227 0 0 0 20695 24 0 0 25 0 1 0 415601270 204926976 49288 1283457024 134512640 136080129 4291974624 18446744073709551615 134842240 0 0 16781312 16386 0 0 0 17 1 0 0 0 /proc/27330/statm: 50031 49288 193 383 0 49646 0 Current children cumulated CPU time (s) 290.08 Current children cumulated vsize (KiB) 204836 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 286.983 CPU time (s): 290.182 CPU user time (s): 284.818 CPU system time (s): 5.36433 CPU usage (%): 101.115 Max. virtual memory (cumulated for all children) (KiB): 821008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 284.818 system time used= 5.36433 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1038254 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= 20917 involuntary context switches= 6039 runsolver used 0.008 second user time and 0.060003 second system time The end