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/201108300820/aspuncud-user-1.0/rand929.cudf.dudf-random.log.runsolver ./aspuncud-user-1.0 /home/misc2010/data/2011/dudf-random//rand929.cudf /home/misc2010/tmp/201108300820/aspuncud-user-1.0/rand929.cudf.dudf-random.result +sum(installedsize) 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.00 1.02 1.00 1/34 11061 /proc/meminfo: memFree=947764/1048576 swapFree=0/0 [pid=11061] ppid=11060 vsize=3020 CPUtime=0 /proc/11061/stat : 11061 (runsolver) D 11060 11061 2160 34817 2160 4202560 73 0 0 0 0 0 0 0 25 0 1 0 55506466 3092480 94 1283457024 134512640 134586868 4290979200 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/11061/statm: 755 94 62 19 0 54 0 [startup+0.194823 s] /proc/loadavg: 1.00 1.02 1.00 1/34 11061 /proc/meminfo: memFree=947764/1048576 swapFree=0/0 [pid=11061] ppid=11060 vsize=2588 CPUtime=0 /proc/11061/stat : 11061 (aspuncud-user-1) S 11060 11061 2160 34817 2160 4202496 573 1516 0 3 0 0 0 0 25 0 1 0 55506466 2650112 297 1283457024 134512640 135304128 4287163024 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/11061/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2588 [startup+0.206828 s] /proc/loadavg: 1.00 1.02 1.00 1/34 11061 /proc/meminfo: memFree=947764/1048576 swapFree=0/0 [pid=11061] ppid=11060 vsize=2588 CPUtime=0 /proc/11061/stat : 11061 (aspuncud-user-1) S 11060 11061 2160 34817 2160 4202496 573 1516 0 3 0 0 0 0 25 0 1 0 55506466 2650112 297 1283457024 134512640 135304128 4287163024 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/11061/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2588 [startup+0.316165 s] /proc/loadavg: 1.00 1.02 1.00 1/34 11061 /proc/meminfo: memFree=947764/1048576 swapFree=0/0 [pid=11061] ppid=11060 vsize=2588 CPUtime=0 /proc/11061/stat : 11061 (aspuncud-user-1) S 11060 11061 2160 34817 2160 4202496 573 1516 0 3 0 0 0 0 25 0 1 0 55506466 2650112 297 1283457024 134512640 135304128 4287163024 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/11061/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2588 [startup+0.706263 s] /proc/loadavg: 1.00 1.02 1.00 1/34 11061 /proc/meminfo: memFree=947764/1048576 swapFree=0/0 [pid=11061] ppid=11060 vsize=2588 CPUtime=0 /proc/11061/stat : 11061 (aspuncud-user-1) S 11060 11061 2160 34817 2160 4202496 573 1516 0 3 0 0 0 0 25 0 1 0 55506466 2650112 297 1283457024 134512640 135304128 4287163024 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/11061/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2588 [startup+1.50647 s] /proc/loadavg: 1.00 1.02 1.00 2/38 11072 /proc/meminfo: memFree=929268/1048576 swapFree=0/0 [pid=11061] ppid=11060 vsize=2588 CPUtime=0 /proc/11061/stat : 11061 (aspuncud-user-1) S 11060 11061 2160 34817 2160 4202496 573 1516 0 3 0 0 0 0 25 0 1 0 55506466 2650112 297 1283457024 134512640 135304128 4287163024 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/11061/statm: 647 297 251 194 0 34 0 [pid=11070] ppid=11061 vsize=3844 CPUtime=0 /proc/11070/stat : 11070 (unclasp) S 11061 11061 2160 34817 2160 4202496 534 0 6 0 0 0 0 0 18 0 1 0 55506471 3936256 405 1283457024 134512640 135121179 4292464624 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/11070/statm: 961 405 275 149 0 152 0 [pid=11071] ppid=11061 vsize=3260 CPUtime=0.01 /proc/11071/stat : 11071 (gringo) R 11061 11061 2160 34817 2160 4202496 525 0 23 0 1 0 0 0 18 0 1 0 55506471 3338240 421 1283457024 134512640 137056543 4286873184 18446744073709551615 136301968 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/11071/statm: 815 421 253 622 0 190 0 [pid=11072] ppid=11061 vsize=26524 CPUtime=1.27 /proc/11072/stat : 11072 (cudf2lp) R 11061 11061 2160 34817 2160 4202496 8662 0 15 0 126 1 0 0 25 0 1 0 55506471 27160576 6438 1283457024 134512640 135786343 4292468112 18446744073709551615 135258574 0 0 6 0 0 0 0 17 0 0 0 0 /proc/11072/statm: 6631 6438 139 311 0 6318 0 Current children cumulated CPU time (s) 1.28 Current children cumulated vsize (KiB) 36216 [startup+3.1068 s] /proc/loadavg: 1.00 1.02 1.00 3/38 11072 /proc/meminfo: memFree=894984/1048576 swapFree=0/0 [pid=11061] ppid=11060 vsize=2588 CPUtime=0 /proc/11061/stat : 11061 (aspuncud-user-1) S 11060 11061 2160 34817 2160 4202496 573 1516 0 3 0 0 0 0 25 0 1 0 55506466 2650112 297 1283457024 134512640 135304128 4287163024 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/11061/statm: 647 297 251 194 0 34 0 [pid=11070] ppid=11061 vsize=25992 CPUtime=0.1 /proc/11070/stat : 11070 (unclasp) S 11061 11061 2160 34817 2160 4202496 7023 0 6 0 10 0 0 0 18 0 1 0 55506471 26615808 5830 1283457024 134512640 135121179 4292464624 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/11070/statm: 6498 5830 275 149 0 5689 0 [pid=11071] ppid=11061 vsize=36500 CPUtime=1.29 /proc/11071/stat : 11071 (gringo) R 11061 11061 2160 34817 2160 4202496 11231 0 23 0 123 6 0 0 18 0 1 0 55506471 37376000 7097 1283457024 134512640 137056543 4286873184 18446744073709551615 134699577 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/11071/statm: 9125 7097 253 622 0 8500 0 [pid=11072] ppid=11061 vsize=26524 CPUtime=1.48 /proc/11072/stat : 11072 (cudf2lp) R 11061 11061 2160 34817 2160 4202496 8662 0 15 0 146 2 0 0 25 0 1 0 55506471 27160576 6438 1283457024 134512640 135786343 4292468112 18446744073709551615 135258574 0 0 6 0 0 0 0 17 0 0 0 0 /proc/11072/statm: 6631 6438 139 311 0 6318 0 Current children cumulated CPU time (s) 2.87 Current children cumulated vsize (KiB) 91604 [startup+6.30772 s] /proc/loadavg: 1.00 1.02 1.00 2/36 11072 /proc/meminfo: memFree=882376/1048576 swapFree=0/0 [pid=11061] ppid=11060 vsize=2588 CPUtime=4.14 /proc/11061/stat : 11061 (aspuncud-user-1) S 11060 11061 2160 34817 2160 4202496 573 37591 0 41 0 0 394 20 18 0 1 0 55506466 2650112 297 1283457024 134512640 135304128 4287163024 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/11061/statm: 647 297 251 194 0 34 0 [pid=11070] ppid=11061 vsize=65268 CPUtime=1.93 /proc/11070/stat : 11070 (unclasp) R 11061 11061 2160 34817 2160 4202496 30805 0 7 0 185 8 0 0 20 0 1 0 55506471 66834432 14986 1283457024 134512640 135121179 4292464624 18446744073709551615 134734450 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/11070/statm: 16317 14986 319 149 0 15508 0 Current children cumulated CPU time (s) 6.07 Current children cumulated vsize (KiB) 67856 [startup+12.7096 s] /proc/loadavg: 1.00 1.02 1.00 2/36 11072 /proc/meminfo: memFree=883492/1048576 swapFree=0/0 [pid=11061] ppid=11060 vsize=2588 CPUtime=4.14 /proc/11061/stat : 11061 (aspuncud-user-1) S 11060 11061 2160 34817 2160 4202496 573 37591 0 41 0 0 394 20 18 0 1 0 55506466 2650112 297 1283457024 134512640 135304128 4287163024 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/11061/statm: 647 297 251 194 0 34 0 [pid=11070] ppid=11061 vsize=66496 CPUtime=8.32 /proc/11070/stat : 11070 (unclasp) R 11061 11061 2160 34817 2160 4202496 95307 0 7 0 797 35 0 0 25 0 1 0 55506471 68091904 15265 1283457024 134512640 135121179 4292464624 18446744073709551615 134713296 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/11070/statm: 16624 15265 319 149 0 15815 0 Current children cumulated CPU time (s) 12.46 Current children cumulated vsize (KiB) 69084 [startup+25.5048 s] /proc/loadavg: 1.00 1.02 1.00 2/36 11075 /proc/meminfo: memFree=882004/1048576 swapFree=0/0 [pid=11061] ppid=11060 vsize=2588 CPUtime=4.14 /proc/11061/stat : 11061 (aspuncud-user-1) S 11060 11061 2160 34817 2160 4202496 573 37591 0 41 0 0 394 20 18 0 1 0 55506466 2650112 297 1283457024 134512640 135304128 4287163024 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/11061/statm: 647 297 251 194 0 34 0 [pid=11070] ppid=11061 vsize=65492 CPUtime=21.08 /proc/11070/stat : 11070 (unclasp) R 11061 11061 2160 34817 2160 4202496 204100 0 7 0 2036 72 0 0 25 0 1 0 55506471 67063808 14994 1283457024 134512640 135121179 4292464624 18446744073709551615 134734331 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/11070/statm: 16373 14994 319 149 0 15564 0 Current children cumulated CPU time (s) 25.22 Current children cumulated vsize (KiB) 68080 [startup+51.1041 s] /proc/loadavg: 1.00 1.02 1.00 2/36 11075 /proc/meminfo: memFree=883996/1048576 swapFree=0/0 [pid=11061] ppid=11060 vsize=2588 CPUtime=4.14 /proc/11061/stat : 11061 (aspuncud-user-1) S 11060 11061 2160 34817 2160 4202496 573 37591 0 41 0 0 394 20 18 0 1 0 55506466 2650112 297 1283457024 134512640 135304128 4287163024 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/11061/statm: 647 297 251 194 0 34 0 [pid=11070] ppid=11061 vsize=64992 CPUtime=46.67 /proc/11070/stat : 11070 (unclasp) R 11061 11061 2160 34817 2160 4202496 510590 0 7 0 4457 210 0 0 25 0 1 0 55506471 66551808 14869 1283457024 134512640 135121179 4292464624 18446744073709551615 4158425878 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/11070/statm: 16248 14869 319 149 0 15439 0 Current children cumulated CPU time (s) 50.81 Current children cumulated vsize (KiB) 67580 [startup+102.314 s] /proc/loadavg: 1.00 1.01 1.00 2/35 11075 /proc/meminfo: memFree=882268/1048576 swapFree=0/0 [pid=11061] ppid=11060 vsize=2588 CPUtime=4.14 /proc/11061/stat : 11061 (aspuncud-user-1) S 11060 11061 2160 34817 2160 4202496 573 37591 0 41 0 0 394 20 18 0 1 0 55506466 2650112 297 1283457024 134512640 135304128 4287163024 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/11061/statm: 647 297 251 194 0 34 0 [pid=11070] ppid=11061 vsize=67072 CPUtime=97.83 /proc/11070/stat : 11070 (unclasp) R 11061 11061 2160 34817 2160 4202496 1107253 0 7 0 9325 458 0 0 25 0 1 0 55506471 68681728 15481 1283457024 134512640 135121179 4292464624 18446744073709551615 134981267 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/11070/statm: 16768 15481 321 149 0 15959 0 Current children cumulated CPU time (s) 101.97 Current children cumulated vsize (KiB) 69660 [startup+162.307 s] /proc/loadavg: 1.00 1.01 1.00 2/35 11075 /proc/meminfo: memFree=883508/1048576 swapFree=0/0 [pid=11061] ppid=11060 vsize=2588 CPUtime=4.14 /proc/11061/stat : 11061 (aspuncud-user-1) S 11060 11061 2160 34817 2160 4202496 573 37591 0 41 0 0 394 20 18 0 1 0 55506466 2650112 297 1283457024 134512640 135304128 4287163024 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/11061/statm: 647 297 251 194 0 34 0 [pid=11070] ppid=11061 vsize=65352 CPUtime=157.78 /proc/11070/stat : 11070 (unclasp) R 11061 11061 2160 34817 2160 4202496 1803871 0 7 0 15008 770 0 0 25 0 1 0 55506471 66920448 15085 1283457024 134512640 135121179 4292464624 18446744073709551615 134873456 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/11070/statm: 16338 15085 321 149 0 15529 0 Current children cumulated CPU time (s) 161.92 Current children cumulated vsize (KiB) 67940 [startup+222.311 s] /proc/loadavg: 1.00 1.00 1.00 2/35 11075 /proc/meminfo: memFree=883136/1048576 swapFree=0/0 [pid=11061] ppid=11060 vsize=2588 CPUtime=4.14 /proc/11061/stat : 11061 (aspuncud-user-1) S 11060 11061 2160 34817 2160 4202496 573 37591 0 41 0 0 394 20 18 0 1 0 55506466 2650112 297 1283457024 134512640 135304128 4287163024 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/11061/statm: 647 297 251 194 0 34 0 [pid=11070] ppid=11061 vsize=65560 CPUtime=217.7 /proc/11070/stat : 11070 (unclasp) R 11061 11061 2160 34817 2160 4202496 2564137 0 7 0 20646 1124 0 0 25 0 1 0 55506471 67133440 15114 1283457024 134512640 135121179 4292464624 18446744073709551615 134891259 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/11070/statm: 16390 15114 321 149 0 15581 0 Current children cumulated CPU time (s) 221.84 Current children cumulated vsize (KiB) 68148 [startup+282.311 s] /proc/loadavg: 1.00 1.00 1.00 2/37 11078 /proc/meminfo: memFree=882244/1048576 swapFree=0/0 [pid=11061] ppid=11060 vsize=2588 CPUtime=4.14 /proc/11061/stat : 11061 (aspuncud-user-1) S 11060 11061 2160 34817 2160 4202496 573 37591 0 41 0 0 394 20 18 0 1 0 55506466 2650112 297 1283457024 134512640 135304128 4287163024 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/11061/statm: 647 297 251 194 0 34 0 [pid=11070] ppid=11061 vsize=65800 CPUtime=277.65 /proc/11070/stat : 11070 (unclasp) R 11061 11061 2160 34817 2160 4202496 3346952 0 7 0 26337 1428 0 0 25 0 1 0 55506471 67379200 15138 1283457024 134512640 135121179 4292464624 18446744073709551615 4159960133 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/11070/statm: 16450 15138 323 149 0 15641 0 Current children cumulated CPU time (s) 281.79 Current children cumulated vsize (KiB) 68388 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.614 s] /proc/loadavg: 1.00 1.00 1.00 2/37 11079 /proc/meminfo: memFree=878896/1048576 swapFree=0/0 [pid=11061] ppid=11060 vsize=2588 CPUtime=4.14 /proc/11061/stat : 11061 (aspuncud-user-1) S 11060 11061 2160 34817 2160 4202496 573 37591 0 41 0 0 394 20 18 0 1 0 55506466 2650112 297 1283457024 134512640 135304128 4287163024 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/11061/statm: 647 297 251 194 0 34 0 [pid=11070] ppid=11061 vsize=69356 CPUtime=285.95 /proc/11070/stat : 11070 (unclasp) R 11061 11061 2160 34817 2160 4202496 3450620 0 7 0 27118 1477 0 0 25 0 1 0 55506471 71020544 16122 1283457024 134512640 135121179 4292464624 18446744073709551615 134980988 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/11070/statm: 17339 16122 323 149 0 16530 0 Current children cumulated CPU time (s) 290.09 Current children cumulated vsize (KiB) 71944 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples [startup+290.614 s] /proc/loadavg: 1.00 1.00 1.00 2/37 11079 /proc/meminfo: memFree=878896/1048576 swapFree=0/0 [pid=11061] ppid=11060 vsize=2588 CPUtime=4.14 /proc/11061/stat : 11061 (aspuncud-user-1) S 11060 11061 2160 34817 2160 4202496 573 37591 0 41 0 0 394 20 18 0 1 0 55506466 2650112 297 1283457024 134512640 135304128 4287163024 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/11061/statm: 647 297 251 194 0 34 0 [pid=11070] ppid=11061 vsize=69356 CPUtime=285.95 /proc/11070/stat : 11070 (unclasp) R 11061 11061 2160 34817 2160 4202496 3450620 0 7 0 27118 1477 0 0 25 0 1 0 55506471 71020544 16122 1283457024 134512640 135121179 4292464624 18446744073709551615 134980988 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/11070/statm: 17339 16122 323 149 0 16530 0 Current children cumulated CPU time (s) 290.09 Current children cumulated vsize (KiB) 71944 Child status: 0 Real time (s): 290.647 CPU time (s): 290.118 CPU user time (s): 275.141 CPU system time (s): 14.9769 CPU usage (%): 99.8179 Max. virtual memory (cumulated for all children) (KiB): 149768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 275.141 system time used= 14.9769 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3491167 page faults= 50 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4326 involuntary context switches= 6889 runsolver used 0 second user time and 0 second system time The end