runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3732262-1338704836/watcher-3732262-1338704836 -o /tmp/evaluation-result-3732262-1338704836/solver-3732262-1338704836 -C 1800 -W 1900 -M 15500 pbclasp instance-3732262-1338704836.opb HOME/temp
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 8664
/proc/meminfo: memFree=27658952/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) R 8662 8664 14418 0 -1 4202496 529 0 0 0 0 0 0 0 20 0 1 0 336609088 26206208 459 33554432000 4194304 4198148 140735032067088 140735032064536 239872741268 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6398 459 345 1 0 193 0
[startup+0.0247741 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 8664
/proc/meminfo: memFree=27658952/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=26180 CPUtime=0.01 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) R 8662 8664 14418 0 -1 4202496 696 0 0 0 1 0 0 0 20 0 1 0 336609088 26808320 626 33554432000 4194304 4198148 140735032067088 140735032064536 239872741268 0 0 4224 16384 0 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6545 626 361 1 0 340 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26180
[startup+0.100257 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 8664
/proc/meminfo: memFree=27658952/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=26444 CPUtime=0.09 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) R 8662 8664 14418 0 -1 4202496 758 0 0 0 9 0 0 0 20 0 1 0 336609088 27078656 688 33554432000 4194304 4198148 140735032067088 140735032064536 239872786274 0 0 4224 16384 0 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6611 688 361 1 0 406 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26444
[startup+0.300225 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 8664
/proc/meminfo: memFree=27658952/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27140 CPUtime=0.2 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 980 0 0 0 20 0 0 0 20 0 1 0 336609088 27791360 893 33554432000 4194304 4198148 140735032067088 140735032065976 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6785 893 368 1 0 580 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 27140
[startup+0.700222 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 8664
/proc/meminfo: memFree=27658952/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27140 CPUtime=0.2 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 980 0 0 0 20 0 0 0 20 0 1 0 336609088 27791360 893 33554432000 4194304 4198148 140735032067088 140735032065976 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6785 893 368 1 0 580 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 27140
[startup+1.50026 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 8674
/proc/meminfo: memFree=27652200/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=0.88 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 1330 2123 0 0 21 0 66 1 20 0 1 0 336609088 28332032 1035 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1035 387 1 0 712 0
[pid=8672] ppid=8664 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8672/stat : 8672 (sh) S 8664 8664 14418 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 336609179 9367552 264 33554432000 4194304 5064252 140737281484608 140737281482864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8672/statm: 2287 264 223 213 0 72 0
[pid=8674] ppid=8672 vsize=7836 CPUtime=0.59 cores=0,2,4,6
/proc/8674/stat : 8674 (clasp-1.0) R 8672 8664 14418 0 -1 4202496 1550 0 0 0 59 0 0 0 20 0 1 0 336609179 8024064 1447 33554432000 134512640 134847168 4289383840 4289382608 134617496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8674/statm: 1959 1447 268 82 0 1200 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 44652
[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 8682
/proc/meminfo: memFree=27648232/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=2.36 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 1826 9260 0 0 22 0 211 3 20 0 1 0 336609088 28332032 1039 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1039 387 1 0 712 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 27668
heavy processes:
[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 8706
/proc/meminfo: memFree=27645984/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=3.87 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 2161 16542 0 0 22 0 359 6 20 0 1 0 336609088 28332032 1039 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1039 387 1 0 712 0
[pid=8704] ppid=8664 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8704/stat : 8704 (sh) S 8664 8664 14418 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 336609478 9367552 264 33554432000 4194304 5064252 140734247311264 140734247309520 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8704/statm: 2287 264 223 213 0 72 0
[pid=8706] ppid=8704 vsize=10912 CPUtime=2.4 cores=0,2,4,6
/proc/8706/stat : 8706 (clasp-1.0) R 8704 8664 14418 0 -1 4202496 2328 0 0 0 240 0 0 0 20 0 1 0 336609478 11173888 2225 33554432000 134512640 134847168 4293557888 4293556656 134617536 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8706/statm: 2728 2225 270 82 0 1969 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 47728
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 8722
/proc/meminfo: memFree=27645908/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=11.44 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 2571 25268 0 0 23 1 1112 8 20 0 1 0 336609088 28332032 1039 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1039 387 1 0 712 0
[pid=8720] ppid=8664 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8720/stat : 8720 (sh) S 8664 8664 14418 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 336610233 9367552 264 33554432000 4194304 5064252 140734795880928 140734795879184 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8720/statm: 2287 264 223 213 0 72 0
[pid=8722] ppid=8720 vsize=8452 CPUtime=1.24 cores=0,2,4,6
/proc/8722/stat : 8722 (clasp-1.0) R 8720 8664 14418 0 -1 4202496 1681 0 0 0 124 0 0 0 20 0 1 0 336610234 8654848 1579 33554432000 134512640 134847168 4294705856 4294704624 134617547 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8722/statm: 2113 1579 270 82 0 1354 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45268
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 8722
/proc/meminfo: memFree=27636196/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=11.44 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 2571 25268 0 0 23 1 1112 8 20 0 1 0 336609088 28332032 1039 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1039 387 1 0 712 0
[pid=8720] ppid=8664 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8720/stat : 8720 (sh) S 8664 8664 14418 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 336610233 9367552 264 33554432000 4194304 5064252 140734795880928 140734795879184 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8720/statm: 2287 264 223 213 0 72 0
[pid=8722] ppid=8720 vsize=17528 CPUtime=14.03 cores=0,2,4,6
/proc/8722/stat : 8722 (clasp-1.0) R 8720 8664 14418 0 -1 4202496 3977 0 0 0 1403 0 0 0 20 0 1 0 336610234 17948672 3872 33554432000 134512640 134847168 4294705856 4294704496 134715268 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8722/statm: 4382 3872 270 82 0 3623 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 54344
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8723
/proc/meminfo: memFree=27630600/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=11.44 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 2571 25268 0 0 23 1 1112 8 20 0 1 0 336609088 28332032 1039 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1039 387 1 0 712 0
[pid=8720] ppid=8664 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8720/stat : 8720 (sh) S 8664 8664 14418 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 336610233 9367552 264 33554432000 4194304 5064252 140734795880928 140734795879184 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8720/statm: 2287 264 223 213 0 72 0
[pid=8722] ppid=8720 vsize=21396 CPUtime=39.62 cores=0,2,4,6
/proc/8722/stat : 8722 (clasp-1.0) R 8720 8664 14418 0 -1 4202496 4937 0 0 0 3962 0 0 0 20 0 1 0 336610234 21909504 4832 33554432000 134512640 134847168 4294705856 4294704540 134616169 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8722/statm: 5349 4832 270 82 0 4590 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 58212
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8747
/proc/meminfo: memFree=27638108/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=97.75 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 3049 42012 0 0 24 1 9736 14 20 0 1 0 336609088 28332032 1039 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1039 387 1 0 712 0
[pid=8745] ppid=8664 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8745/stat : 8745 (sh) S 8664 8664 14418 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336618867 9367552 263 33554432000 4194304 5064252 140733413891424 140733413889680 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8745/statm: 2287 263 223 213 0 72 0
[pid=8747] ppid=8745 vsize=12208 CPUtime=4.5 cores=0,2,4,6
/proc/8747/stat : 8747 (clasp-1.0) R 8745 8664 14418 0 -1 4202496 2646 0 0 0 450 0 0 0 20 0 1 0 336618868 12500992 2544 33554432000 134512640 134847168 4288809952 4288808228 134792544 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8747/statm: 3052 2544 272 82 0 2293 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 49024
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8747
/proc/meminfo: memFree=27627616/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=97.75 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 3049 42012 0 0 24 1 9736 14 20 0 1 0 336609088 28332032 1039 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1039 387 1 0 712 0
[pid=8745] ppid=8664 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8745/stat : 8745 (sh) S 8664 8664 14418 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336618867 9367552 263 33554432000 4194304 5064252 140733413891424 140733413889680 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8745/statm: 2287 263 223 213 0 72 0
[pid=8747] ppid=8745 vsize=20568 CPUtime=64.48 cores=0,2,4,6
/proc/8747/stat : 8747 (clasp-1.0) R 8745 8664 14418 0 -1 4202496 4949 0 0 0 6447 1 0 0 20 0 1 0 336618868 21061632 4641 33554432000 134512640 134847168 4288809952 4288808592 134715276 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 5142 4641 272 82 0 4383 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 57384
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 8750
/proc/meminfo: memFree=27622272/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=97.75 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 3049 42012 0 0 24 1 9736 14 20 0 1 0 336609088 28332032 1039 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1039 387 1 0 712 0
[pid=8745] ppid=8664 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8745/stat : 8745 (sh) S 8664 8664 14418 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336618867 9367552 263 33554432000 4194304 5064252 140733413891424 140733413889680 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8745/statm: 2287 263 223 213 0 72 0
[pid=8747] ppid=8745 vsize=25080 CPUtime=124.47 cores=0,2,4,6
/proc/8747/stat : 8747 (clasp-1.0) R 8745 8664 14418 0 -1 4202496 6074 0 0 0 12446 1 0 0 20 0 1 0 336618868 25681920 5763 33554432000 134512640 134847168 4288809952 4288808720 134617331 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8747/statm: 6270 5763 272 82 0 5511 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 61896
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8750
/proc/meminfo: memFree=27617996/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=97.75 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 3049 42012 0 0 24 1 9736 14 20 0 1 0 336609088 28332032 1039 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1039 387 1 0 712 0
################
# More data... #
################
/proc/8745/stat : 8745 (sh) S 8664 8664 14418 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336618867 9367552 263 33554432000 4194304 5064252 140733413891424 140733413889680 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8745/statm: 2287 263 223 213 0 72 0
[pid=8747] ppid=8745 vsize=51460 CPUtime=1324.28 cores=0,2,4,6
/proc/8747/stat : 8747 (clasp-1.0) R 8745 8664 14418 0 -1 4202496 14682 0 0 0 132425 3 0 0 20 0 1 0 336618868 52695040 12335 33554432000 134512640 134847168 4288809952 4288808576 134784604 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8747/statm: 12865 12335 272 82 0 12106 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 88276
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 8850
/proc/meminfo: memFree=27578032/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=97.75 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 3049 42012 0 0 24 1 9736 14 20 0 1 0 336609088 28332032 1039 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1039 387 1 0 712 0
[pid=8745] ppid=8664 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8745/stat : 8745 (sh) S 8664 8664 14418 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336618867 9367552 263 33554432000 4194304 5064252 140733413891424 140733413889680 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8745/statm: 2287 263 223 213 0 72 0
[pid=8747] ppid=8745 vsize=52400 CPUtime=1384.26 cores=0,2,4,6
/proc/8747/stat : 8747 (clasp-1.0) R 8745 8664 14418 0 -1 4202496 14981 0 0 0 138423 3 0 0 20 0 1 0 336618868 53657600 12595 33554432000 134512640 134847168 4288809952 4288808636 134784496 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8747/statm: 13100 12595 272 82 0 12341 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 89216
[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 8850
/proc/meminfo: memFree=27577720/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=97.75 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 3049 42012 0 0 24 1 9736 14 20 0 1 0 336609088 28332032 1039 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1039 387 1 0 712 0
[pid=8745] ppid=8664 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8745/stat : 8745 (sh) S 8664 8664 14418 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336618867 9367552 263 33554432000 4194304 5064252 140733413891424 140733413889680 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8745/statm: 2287 263 223 213 0 72 0
[pid=8747] ppid=8745 vsize=52528 CPUtime=1444.25 cores=0,2,4,6
/proc/8747/stat : 8747 (clasp-1.0) R 8745 8664 14418 0 -1 4202496 15012 0 0 0 144422 3 0 0 20 0 1 0 336618868 53788672 12627 33554432000 134512640 134847168 4288809952 4288808572 134789696 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8747/statm: 13132 12627 272 82 0 12373 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 89344
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 8851
/proc/meminfo: memFree=27576108/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=97.75 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 3049 42012 0 0 24 1 9736 14 20 0 1 0 336609088 28332032 1039 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1039 387 1 0 712 0
[pid=8745] ppid=8664 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8745/stat : 8745 (sh) S 8664 8664 14418 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336618867 9367552 263 33554432000 4194304 5064252 140733413891424 140733413889680 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8745/statm: 2287 263 223 213 0 72 0
[pid=8747] ppid=8745 vsize=53100 CPUtime=1504.25 cores=0,2,4,6
/proc/8747/stat : 8747 (clasp-1.0) R 8745 8664 14418 0 -1 4202496 15363 0 0 0 150421 4 0 0 20 0 1 0 336618868 54374400 12755 33554432000 134512640 134847168 4288809952 4288808416 134713671 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8747/statm: 13275 12755 272 82 0 12516 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 89916
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 8851
/proc/meminfo: memFree=27574928/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=97.75 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 3049 42012 0 0 24 1 9736 14 20 0 1 0 336609088 28332032 1039 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1039 387 1 0 712 0
[pid=8745] ppid=8664 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8745/stat : 8745 (sh) S 8664 8664 14418 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336618867 9367552 263 33554432000 4194304 5064252 140733413891424 140733413889680 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8745/statm: 2287 263 223 213 0 72 0
[pid=8747] ppid=8745 vsize=52988 CPUtime=1564.24 cores=0,2,4,6
/proc/8747/stat : 8747 (clasp-1.0) R 8745 8664 14418 0 -1 4202496 15432 0 0 0 156420 4 0 0 20 0 1 0 336618868 54259712 12744 33554432000 134512640 134847168 4288809952 4288808592 134715268 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8747/statm: 13247 12744 272 82 0 12488 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 89804
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8851
/proc/meminfo: memFree=27574680/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=97.75 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 3049 42012 0 0 24 1 9736 14 20 0 1 0 336609088 28332032 1039 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1039 387 1 0 712 0
[pid=8745] ppid=8664 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8745/stat : 8745 (sh) S 8664 8664 14418 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336618867 9367552 263 33554432000 4194304 5064252 140733413891424 140733413889680 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8745/statm: 2287 263 223 213 0 72 0
[pid=8747] ppid=8745 vsize=53412 CPUtime=1624.23 cores=0,2,4,6
/proc/8747/stat : 8747 (clasp-1.0) R 8745 8664 14418 0 -1 4202496 15752 0 0 0 162419 4 0 0 20 0 1 0 336618868 54693888 12848 33554432000 134512640 134847168 4288809952 4288808576 134784634 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8747/statm: 13353 12848 272 82 0 12594 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 90228
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 8851
/proc/meminfo: memFree=27573192/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=97.75 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 3049 42012 0 0 24 1 9736 14 20 0 1 0 336609088 28332032 1039 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1039 387 1 0 712 0
[pid=8745] ppid=8664 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8745/stat : 8745 (sh) S 8664 8664 14418 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336618867 9367552 263 33554432000 4194304 5064252 140733413891424 140733413889680 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8745/statm: 2287 263 223 213 0 72 0
[pid=8747] ppid=8745 vsize=54176 CPUtime=1684.22 cores=0,2,4,6
/proc/8747/stat : 8747 (clasp-1.0) R 8745 8664 14418 0 -1 4202496 16288 0 0 0 168418 4 0 0 20 0 1 0 336618868 55476224 13036 33554432000 134512640 134847168 4288809952 4288808592 134715276 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8747/statm: 13544 13036 272 82 0 12785 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 90992
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 8851
/proc/meminfo: memFree=27572820/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=97.75 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 3049 42012 0 0 24 1 9736 14 20 0 1 0 336609088 28332032 1039 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1039 387 1 0 712 0
[pid=8745] ppid=8664 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8745/stat : 8745 (sh) S 8664 8664 14418 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336618867 9367552 263 33554432000 4194304 5064252 140733413891424 140733413889680 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8745/statm: 2287 263 223 213 0 72 0
[pid=8747] ppid=8745 vsize=54696 CPUtime=1702.32 cores=0,2,4,6
/proc/8747/stat : 8747 (clasp-1.0) R 8745 8664 14418 0 -1 4202496 16412 0 0 0 170228 4 0 0 20 0 1 0 336618868 56008704 13160 33554432000 134512640 134847168 4288809952 4288808592 134715316 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8747/statm: 13674 13160 272 82 0 12915 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 91512
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8664
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 8870
/proc/meminfo: memFree=27644252/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=1800.1 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 3229 61209 0 0 24 1 179965 20 20 0 1 0 336609088 28332032 1040 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1040 387 1 0 712 0
[pid=8864] ppid=8664 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8864/stat : 8864 (sh) S 8664 8664 14418 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336789131 9367552 263 33554432000 4194304 5064252 140736229178784 140736229177040 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8864/statm: 2287 263 223 213 0 72 0
[pid=8867] ppid=8864 vsize=8452 CPUtime=0.96 cores=0,2,4,6
/proc/8867/stat : 8867 (clasp-1.0) R 8864 8664 14418 0 -1 4202496 1677 0 0 0 96 0 0 0 20 0 1 0 336789132 8654848 1575 33554432000 134512640 134847168 4292277712 4292276352 134715319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8867/statm: 2113 1575 270 82 0 1354 0
Current children cumulated CPU time (s) 1801.06
Current children cumulated vsize (KiB) 45268
[startup+1802.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 8870
/proc/meminfo: memFree=27643788/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=1800.1 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 3229 61209 0 0 24 1 179965 20 20 0 1 0 336609088 28332032 1040 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1040 387 1 0 712 0
[pid=8864] ppid=8664 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8864/stat : 8864 (sh) S 8664 8664 14418 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336789131 9367552 263 33554432000 4194304 5064252 140736229178784 140736229177040 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8864/statm: 2287 263 223 213 0 72 0
[pid=8867] ppid=8864 vsize=8708 CPUtime=1.76 cores=0,2,4,6
/proc/8867/stat : 8867 (clasp-1.0) R 8864 8664 14418 0 -1 4202496 1773 0 0 0 176 0 0 0 20 0 1 0 336789132 8916992 1671 33554432000 134512640 134847168 4292277712 4292276336 134784653 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8867/statm: 2177 1671 270 82 0 1418 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 45524
[startup+1802.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 8870
/proc/meminfo: memFree=27643788/32873844 swapFree=7384/7384
[pid=8664] ppid=8662 vsize=27668 CPUtime=1800.1 cores=0,2,4,6
/proc/8664/stat : 8664 (pbclasp) S 8662 8664 14418 0 -1 4202496 3229 61209 0 0 24 1 179965 20 20 0 1 0 336609088 28332032 1040 33554432000 4194304 4198148 140735032067088 140735032066016 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8664/statm: 6917 1040 387 1 0 712 0
[pid=8864] ppid=8664 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8864/stat : 8864 (sh) S 8664 8664 14418 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336789131 9367552 263 33554432000 4194304 5064252 140736229178784 140736229177040 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8864/statm: 2287 263 223 213 0 72 0
[pid=8867] ppid=8864 vsize=9092 CPUtime=1.96 cores=0,2,4,6
/proc/8867/stat : 8867 (clasp-1.0) R 8864 8664 14418 0 -1 4202496 1872 0 0 0 196 0 0 0 20 0 1 0 336789132 9310208 1770 33554432000 134512640 134847168 4292277712 4292275968 7513383 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8867/statm: 2273 1770 270 82 0 1514 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 45908
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.12
CPU user time (s): 1801.88
CPU system time (s): 0.235964
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 91512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.88
system time used= 0.235964
maximum resident set size= 52640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 23528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2740
involuntary context switches= 2028
runsolver used 2.6066 second user time and 7.2459 second system time
The end