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-3736824-1338732513/watcher-3736824-1338732513 -o /tmp/evaluation-result-3736824-1338732513/solver-3736824-1338732513 -C 1800 -W 1900 -M 15500 pbclasp instance-3736824-1338732513.opb HOME/temp
running on 4 cores: 1,3,5,7
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.00 2.00 3/178 18548
/proc/meminfo: memFree=27563844/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) R 18546 18548 11312 0 -1 4202496 530 0 0 0 0 0 0 0 20 0 1 0 339375662 26206208 461 33554432000 4194304 4198148 140734404691520 140734404688968 251044269972 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6398 462 345 1 0 193 0
[startup+0.104689 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18548
/proc/meminfo: memFree=27563844/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 642 0 0 0 0 0 0 0 20 0 1 0 339375662 26492928 556 33554432000 4194304 4198148 140734404691520 140734404690408 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 556 368 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.200222 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18548
/proc/meminfo: memFree=27563844/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 642 0 0 0 0 0 0 0 20 0 1 0 339375662 26492928 556 33554432000 4194304 4198148 140734404691520 140734404690408 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 556 368 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18548
/proc/meminfo: memFree=27563844/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 642 0 0 0 0 0 0 0 20 0 1 0 339375662 26492928 556 33554432000 4194304 4198148 140734404691520 140734404690408 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 556 368 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.700175 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18548
/proc/meminfo: memFree=27563844/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=0.63 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 854 6665 0 0 0 0 62 1 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 25872
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18582
/proc/meminfo: memFree=27552860/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=1.28 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1234 20424 0 0 1 0 122 5 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 25872
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18590
/proc/meminfo: memFree=27552728/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=1.28 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1234 20424 0 0 1 0 122 5 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
[pid=18588] ppid=18548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18588/stat : 18588 (sh) S 18548 18548 11312 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339375793 9367552 263 33554432000 4194304 5064252 140736838546272 140736838544528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18588/statm: 2287 263 223 213 0 72 0
[pid=18590] ppid=18588 vsize=13164 CPUtime=1.79 cores=1,3,5,7
/proc/18590/stat : 18590 (clasp-1.0) R 18588 18548 11312 0 -1 4202496 2913 0 0 0 179 0 0 0 20 0 1 0 339375793 13479936 2688 33554432000 134512640 134847168 4293035504 4293034128 134784657 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18590/statm: 3291 2688 272 82 0 2532 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 48184
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18590
/proc/meminfo: memFree=27546184/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=1.28 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1234 20424 0 0 1 0 122 5 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
[pid=18588] ppid=18548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18588/stat : 18588 (sh) S 18548 18548 11312 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339375793 9367552 263 33554432000 4194304 5064252 140736838546272 140736838544528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18588/statm: 2287 263 223 213 0 72 0
[pid=18590] ppid=18588 vsize=17572 CPUtime=4.98 cores=1,3,5,7
/proc/18590/stat : 18590 (clasp-1.0) R 18588 18548 11312 0 -1 4202496 4029 0 0 0 498 0 0 0 20 0 1 0 339375793 17993728 3804 33554432000 134512640 134847168 4293035504 4293034196 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18590/statm: 4393 3804 272 82 0 3634 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 52592
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18590
/proc/meminfo: memFree=27541024/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=1.28 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1234 20424 0 0 1 0 122 5 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
[pid=18588] ppid=18548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18588/stat : 18588 (sh) S 18548 18548 11312 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339375793 9367552 263 33554432000 4194304 5064252 140736838546272 140736838544528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18588/statm: 2287 263 223 213 0 72 0
[pid=18590] ppid=18588 vsize=21704 CPUtime=11.38 cores=1,3,5,7
/proc/18590/stat : 18590 (clasp-1.0) R 18588 18548 11312 0 -1 4202496 5086 0 0 0 1137 1 0 0 20 0 1 0 339375793 22224896 4861 33554432000 134512640 134847168 4293035504 4293033680 2818267 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18590/statm: 5426 4861 272 82 0 4667 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 56724
[startup+25.5004 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 18590
/proc/meminfo: memFree=27534084/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=1.28 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1234 20424 0 0 1 0 122 5 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
[pid=18588] ppid=18548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18588/stat : 18588 (sh) S 18548 18548 11312 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339375793 9367552 263 33554432000 4194304 5064252 140736838546272 140736838544528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18588/statm: 2287 263 223 213 0 72 0
[pid=18590] ppid=18588 vsize=25880 CPUtime=24.18 cores=1,3,5,7
/proc/18590/stat : 18590 (clasp-1.0) R 18588 18548 11312 0 -1 4202496 6107 0 0 0 2417 1 0 0 20 0 1 0 339375793 26501120 5919 33554432000 134512640 134847168 4293035504 4293033940 134735925 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18590/statm: 6470 5919 272 82 0 5711 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 60900
[startup+51.1005 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 18590
/proc/meminfo: memFree=27526516/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=1.28 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1234 20424 0 0 1 0 122 5 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
[pid=18588] ppid=18548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18588/stat : 18588 (sh) S 18548 18548 11312 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339375793 9367552 263 33554432000 4194304 5064252 140736838546272 140736838544528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18588/statm: 2287 263 223 213 0 72 0
[pid=18590] ppid=18588 vsize=31480 CPUtime=49.77 cores=1,3,5,7
/proc/18590/stat : 18590 (clasp-1.0) R 18588 18548 11312 0 -1 4202496 7470 0 0 0 4976 1 0 0 20 0 1 0 339375793 32235520 7281 33554432000 134512640 134847168 4293035504 4293033744 2816926 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18590/statm: 7870 7281 272 82 0 7111 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 66500
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 18601
/proc/meminfo: memFree=27534164/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=91.3 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1362 31050 0 0 1 0 9121 8 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
[pid=18599] ppid=18548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18599/stat : 18599 (sh) S 18548 18548 11312 0 -1 4202496 373 219 0 0 0 0 0 0 20 0 1 0 339384796 9367552 264 33554432000 4194304 5064252 140733273658528 140733273656784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18599/statm: 2287 264 223 213 0 72 0
[pid=18601] ppid=18599 vsize=21328 CPUtime=10.95 cores=1,3,5,7
/proc/18601/stat : 18601 (clasp-1.0) R 18599 18548 11312 0 -1 4202496 4974 0 0 0 1094 1 0 0 20 0 1 0 339384796 21839872 4749 33554432000 134512640 134847168 4287073280 4287071900 134789696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18601/statm: 5332 4749 270 82 0 4573 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 56348
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 18602
/proc/meminfo: memFree=27521140/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=91.3 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1362 31050 0 0 1 0 9121 8 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
[pid=18599] ppid=18548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18599/stat : 18599 (sh) S 18548 18548 11312 0 -1 4202496 373 219 0 0 0 0 0 0 20 0 1 0 339384796 9367552 264 33554432000 4194304 5064252 140733273658528 140733273656784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18599/statm: 2287 264 223 213 0 72 0
[pid=18601] ppid=18599 vsize=31748 CPUtime=70.92 cores=1,3,5,7
/proc/18601/stat : 18601 (clasp-1.0) R 18599 18548 11312 0 -1 4202496 7552 0 0 0 7091 1 0 0 20 0 1 0 339384796 32509952 7362 33554432000 134512640 134847168 4287073280 4287071964 134715964 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18601/statm: 7937 7362 270 82 0 7178 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 66768
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18602
/proc/meminfo: memFree=27512508/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=91.3 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1362 31050 0 0 1 0 9121 8 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
[pid=18599] ppid=18548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18599/stat : 18599 (sh) S 18548 18548 11312 0 -1 4202496 373 219 0 0 0 0 0 0 20 0 1 0 339384796 9367552 264 33554432000 4194304 5064252 140733273658528 140733273656784 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18599/statm: 2287 264 223 213 0 72 0
[pid=18601] ppid=18599 vsize=38572 CPUtime=130.93 cores=1,3,5,7
/proc/18601/stat : 18601 (clasp-1.0) R 18599 18548 11312 0 -1 4202496 9199 0 0 0 13090 3 0 0 20 0 1 0 339384796 39497728 9063 33554432000 134512640 134847168 4287073280 4287071904 134784656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18601/statm: 9643 9063 270 82 0 8884 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 73592
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18602
/proc/meminfo: memFree=27507048/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=91.3 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1362 31050 0 0 1 0 9121 8 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
[pid=18599] ppid=18548 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/18624/stat : 18624 (sh) S 18548 18548 11312 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339459586 9367552 263 33554432000 4194304 5064252 140737255374032 140737255372288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18624/statm: 2287 263 223 213 0 72 0
[pid=18626] ppid=18624 vsize=63100 CPUtime=642.94 cores=1,3,5,7
/proc/18626/stat : 18626 (clasp-1.0) R 18624 18548 11312 0 -1 4202496 15190 0 0 0 64290 4 0 0 20 0 1 0 339459586 64614400 15151 33554432000 134512640 134847168 4291187008 4291185584 134714397 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18626/statm: 15775 15151 272 82 0 15016 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 98120
[startup+1542.31 s]
/proc/loadavg: 2.11 2.08 2.02 3/181 18786
/proc/meminfo: memFree=27058504/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=839.06 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1469 48179 0 0 1 0 83891 14 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
[pid=18624] ppid=18548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18624/stat : 18624 (sh) S 18548 18548 11312 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339459586 9367552 263 33554432000 4194304 5064252 140737255374032 140737255372288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18624/statm: 2287 263 223 213 0 72 0
[pid=18626] ppid=18624 vsize=63100 CPUtime=702.94 cores=1,3,5,7
/proc/18626/stat : 18626 (clasp-1.0) R 18624 18548 11312 0 -1 4202496 15197 0 0 0 70290 4 0 0 20 0 1 0 339459586 64614400 15158 33554432000 134512640 134847168 4291187008 4291185700 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18626/statm: 15775 15158 272 82 0 15016 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 98120
[startup+1602.3 s]
/proc/loadavg: 2.09 2.08 2.02 3/181 18786
/proc/meminfo: memFree=27031540/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=839.06 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1469 48179 0 0 1 0 83891 14 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
[pid=18624] ppid=18548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18624/stat : 18624 (sh) S 18548 18548 11312 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339459586 9367552 263 33554432000 4194304 5064252 140737255374032 140737255372288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18624/statm: 2287 263 223 213 0 72 0
[pid=18626] ppid=18624 vsize=63388 CPUtime=762.93 cores=1,3,5,7
/proc/18626/stat : 18626 (clasp-1.0) R 18624 18548 11312 0 -1 4202496 15231 0 0 0 76289 4 0 0 20 0 1 0 339459586 64909312 15192 33554432000 134512640 134847168 4291187008 4291185764 134737608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18626/statm: 15847 15192 272 82 0 15088 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 98408
[startup+1662.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/181 18787
/proc/meminfo: memFree=27004128/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=839.06 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1469 48179 0 0 1 0 83891 14 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
[pid=18624] ppid=18548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18624/stat : 18624 (sh) S 18548 18548 11312 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339459586 9367552 263 33554432000 4194304 5064252 140737255374032 140737255372288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18624/statm: 2287 263 223 213 0 72 0
[pid=18626] ppid=18624 vsize=67532 CPUtime=822.91 cores=1,3,5,7
/proc/18626/stat : 18626 (clasp-1.0) R 18624 18548 11312 0 -1 4202496 16258 0 0 0 82287 4 0 0 20 0 1 0 339459586 69152768 16271 33554432000 134512640 134847168 4291187008 4291185712 134616633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18626/statm: 16883 16271 272 82 0 16124 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 102552
[startup+1722.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/181 18787
/proc/meminfo: memFree=26979080/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=839.06 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1469 48179 0 0 1 0 83891 14 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
[pid=18624] ppid=18548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18624/stat : 18624 (sh) S 18548 18548 11312 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339459586 9367552 263 33554432000 4194304 5064252 140737255374032 140737255372288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18624/statm: 2287 263 223 213 0 72 0
[pid=18626] ppid=18624 vsize=67532 CPUtime=882.9 cores=1,3,5,7
/proc/18626/stat : 18626 (clasp-1.0) R 18624 18548 11312 0 -1 4202496 16258 0 0 0 88286 4 0 0 20 0 1 0 339459586 69152768 16271 33554432000 134512640 134847168 4291187008 4291185632 134784684 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18626/statm: 16883 16271 272 82 0 16124 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 102552
[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/181 18787
/proc/meminfo: memFree=26917824/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=839.06 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1469 48179 0 0 1 0 83891 14 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
[pid=18624] ppid=18548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18624/stat : 18624 (sh) S 18548 18548 11312 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339459586 9367552 263 33554432000 4194304 5064252 140737255374032 140737255372288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18624/statm: 2287 263 223 213 0 72 0
[pid=18626] ppid=18624 vsize=75488 CPUtime=942.9 cores=1,3,5,7
/proc/18626/stat : 18626 (clasp-1.0) R 18624 18548 11312 0 -1 4202496 18212 0 0 0 94285 5 0 0 20 0 1 0 339459586 77299712 18225 33554432000 134512640 134847168 4291187008 4291185700 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18626/statm: 18872 18225 272 82 0 18113 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 110508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.06 2.01 3/181 18787
/proc/meminfo: memFree=26913732/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=839.06 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1469 48179 0 0 1 0 83891 14 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
[pid=18624] ppid=18548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18624/stat : 18624 (sh) S 18548 18548 11312 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339459586 9367552 263 33554432000 4194304 5064252 140737255374032 140737255372288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18624/statm: 2287 263 223 213 0 72 0
[pid=18626] ppid=18624 vsize=75768 CPUtime=961 cores=1,3,5,7
/proc/18626/stat : 18626 (clasp-1.0) R 18624 18548 11312 0 -1 4202496 18245 0 0 0 96095 5 0 0 20 0 1 0 339459586 77586432 18258 33554432000 134512640 134847168 4291187008 4291185632 134784806 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18626/statm: 18942 18258 272 82 0 18183 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 110788
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18548
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.04 2.06 2.01 3/183 18806
/proc/meminfo: memFree=27518664/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=1800.09 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1649 69200 0 0 1 0 179988 20 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
[pid=18796] ppid=18548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18796/stat : 18796 (sh) S 18548 18548 11312 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339555705 9367552 263 33554432000 4194304 5064252 140735635049616 140735635047872 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18796/statm: 2287 263 223 213 0 72 0
[pid=18798] ppid=18796 vsize=12100 CPUtime=1.06 cores=1,3,5,7
/proc/18798/stat : 18798 (clasp-1.0) R 18796 18548 11312 0 -1 4202496 2634 0 0 0 106 0 0 0 20 0 1 0 339555705 12390400 2409 33554432000 134512640 134847168 4288935088 4288933552 134713811 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18798/statm: 3025 2409 272 82 0 2266 0
Current children cumulated CPU time (s) 1801.15
Current children cumulated vsize (KiB) 47120
[startup+1801.91 s]
/proc/loadavg: 2.04 2.06 2.01 3/182 18806
/proc/meminfo: memFree=27436252/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=1800.09 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1649 69200 0 0 1 0 179988 20 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
[pid=18796] ppid=18548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18796/stat : 18796 (sh) S 18548 18548 11312 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339555705 9367552 263 33554432000 4194304 5064252 140735635049616 140735635047872 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18796/statm: 2287 263 223 213 0 72 0
[pid=18798] ppid=18796 vsize=12100 CPUtime=1.46 cores=1,3,5,7
/proc/18798/stat : 18798 (clasp-1.0) R 18796 18548 11312 0 -1 4202496 2668 0 0 0 146 0 0 0 20 0 1 0 339555705 12390400 2443 33554432000 134512640 134847168 4288935088 4288933772 134715952 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18798/statm: 3025 2443 272 82 0 2266 0
Current children cumulated CPU time (s) 1801.55
Current children cumulated vsize (KiB) 47120
[startup+1802.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/182 18806
/proc/meminfo: memFree=27436252/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=1800.09 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1649 69200 0 0 1 0 179988 20 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
[pid=18796] ppid=18548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18796/stat : 18796 (sh) S 18548 18548 11312 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339555705 9367552 263 33554432000 4194304 5064252 140735635049616 140735635047872 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18796/statm: 2287 263 223 213 0 72 0
[pid=18798] ppid=18796 vsize=12760 CPUtime=1.86 cores=1,3,5,7
/proc/18798/stat : 18798 (clasp-1.0) R 18796 18548 11312 0 -1 4202496 2821 0 0 0 186 0 0 0 20 0 1 0 339555705 13066240 2596 33554432000 134512640 134847168 4288935088 4288933780 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18798/statm: 3190 2596 272 82 0 2431 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 47780
[startup+1802.4 s]
/proc/loadavg: 2.04 2.06 2.01 3/182 18806
/proc/meminfo: memFree=27436252/32873844 swapFree=7628/7628
[pid=18548] ppid=18546 vsize=25872 CPUtime=1800.09 cores=1,3,5,7
/proc/18548/stat : 18548 (pbclasp) S 18546 18548 11312 0 -1 4202496 1649 69200 0 0 1 0 179988 20 20 0 1 0 339375662 26492928 586 33554432000 4194304 4198148 140734404691520 140734404690448 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 6468 586 387 1 0 263 0
[pid=18796] ppid=18548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18796/stat : 18796 (sh) S 18548 18548 11312 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339555705 9367552 263 33554432000 4194304 5064252 140735635049616 140735635047872 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18796/statm: 2287 263 223 213 0 72 0
[pid=18798] ppid=18796 vsize=12892 CPUtime=1.96 cores=1,3,5,7
/proc/18798/stat : 18798 (clasp-1.0) R 18796 18548 11312 0 -1 4202496 2860 0 0 0 196 0 0 0 20 0 1 0 339555705 13201408 2635 33554432000 134512640 134847168 4288935088 4288933264 1582375 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18798/statm: 3223 2635 272 82 0 2464 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 47912
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.1
CPU user time (s): 1801.87
CPU system time (s): 0.221966
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 110788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.87
system time used= 0.221966
maximum resident set size= 73032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74476
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1310
involuntary context switches= 3579
runsolver used 3.15452 second user time and 9.1766 second system time
The end