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-3732416-1338706718/watcher-3732416-1338706718 -o /tmp/evaluation-result-3732416-1338706718/solver-3732416-1338706718 -C 1800 -W 1900 -M 15500 pbclasp instance-3732416-1338706718.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 20918
/proc/meminfo: memFree=27534356/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) D 20916 20918 26887 0 -1 4202496 430 0 0 0 0 0 0 0 20 0 1 0 336798552 26071040 361 33554432000 4194304 4198148 140733378576480 140733378573928 271787572917 0 0 4224 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6365 361 277 1 0 160 0
[startup+0.052817 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20918
/proc/meminfo: memFree=27534356/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=0 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 336798552 26341376 513 33554432000 4194304 4198148 140733378576480 140733378575368 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 513 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.10017 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20918
/proc/meminfo: memFree=27534356/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=0.06 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 934 7041 0 0 0 0 5 1 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25724
[startup+0.300188 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20918
/proc/meminfo: memFree=27534356/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=0.22 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 2114 31864 0 0 0 0 16 6 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 25724
[startup+0.700178 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20918
/proc/meminfo: memFree=27534356/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=0.25 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 2232 34396 0 0 0 0 19 6 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 25724
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21040
/proc/meminfo: memFree=27531800/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=1.09 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 2480 39779 0 0 0 0 102 7 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 25724
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21056
/proc/meminfo: memFree=27530924/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=1.69 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 2598 42501 0 0 1 0 161 7 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
[pid=21054] ppid=20918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21054/stat : 21054 (sh) S 20918 20918 26887 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 336798726 9367552 264 33554432000 4194304 5064252 140734412472848 140734412471104 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21054/statm: 2287 264 223 213 0 72 0
[pid=21056] ppid=21054 vsize=5144 CPUtime=1.34 cores=1,3,5,7
/proc/21056/stat : 21056 (clasp-1.0) R 21054 20918 26887 0 -1 4202496 875 0 0 0 134 0 0 0 20 0 1 0 336798727 5267456 773 33554432000 134512640 134847168 4290958608 4290957232 134784670 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21056/statm: 1286 773 270 82 0 527 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 40016
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21072
/proc/meminfo: memFree=27530168/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=3.42 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 2840 47996 0 0 1 1 332 8 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
[pid=21070] ppid=20918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21070/stat : 21070 (sh) S 20918 20918 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336798899 9367552 263 33554432000 4194304 5064252 140737144148704 140737144146960 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21070/statm: 2287 263 223 213 0 72 0
[pid=21072] ppid=21070 vsize=5668 CPUtime=2.82 cores=1,3,5,7
/proc/21072/stat : 21072 (clasp-1.0) R 21070 20918 26887 0 -1 4202496 988 0 0 0 282 0 0 0 20 0 1 0 336798899 5804032 886 33554432000 134512640 134847168 4287765760 4287764528 134617547 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21072/statm: 1417 886 270 82 0 658 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 40540
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21072
/proc/meminfo: memFree=27528232/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=3.42 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 2840 47996 0 0 1 1 332 8 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
[pid=21070] ppid=20918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21070/stat : 21070 (sh) S 20918 20918 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336798899 9367552 263 33554432000 4194304 5064252 140737144148704 140737144146960 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21070/statm: 2287 263 223 213 0 72 0
[pid=21072] ppid=21070 vsize=6708 CPUtime=9.22 cores=1,3,5,7
/proc/21072/stat : 21072 (clasp-1.0) R 21070 20918 26887 0 -1 4202496 1257 0 0 0 922 0 0 0 20 0 1 0 336798899 6868992 1155 33554432000 134512640 134847168 4287765760 4287764480 134741328 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21072/statm: 1677 1155 270 82 0 918 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 41580
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21088
/proc/meminfo: memFree=27529228/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=24.17 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 3084 54406 0 0 1 1 2406 9 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
[pid=21086] ppid=20918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21086/stat : 21086 (sh) S 20918 20918 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336800974 9367552 264 33554432000 4194304 5064252 140735505732560 140735505730816 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21086/statm: 2287 264 223 213 0 72 0
[pid=21088] ppid=21086 vsize=5128 CPUtime=1.27 cores=1,3,5,7
/proc/21088/stat : 21088 (clasp-1.0) R 21086 20918 26887 0 -1 4202496 867 0 0 0 127 0 0 0 20 0 1 0 336800974 5251072 765 33554432000 134512640 134847168 4289455840 4289454520 134789714 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21088/statm: 1282 765 270 82 0 523 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 40000
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21088
/proc/meminfo: memFree=27524900/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=24.17 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 3084 54406 0 0 1 1 2406 9 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
[pid=21086] ppid=20918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21086/stat : 21086 (sh) S 20918 20918 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336800974 9367552 264 33554432000 4194304 5064252 140735505732560 140735505730816 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21086/statm: 2287 264 223 213 0 72 0
[pid=21088] ppid=21086 vsize=7832 CPUtime=26.86 cores=1,3,5,7
/proc/21088/stat : 21088 (clasp-1.0) R 21086 20918 26887 0 -1 4202496 1549 0 0 0 2686 0 0 0 20 0 1 0 336800974 8019968 1446 33554432000 134512640 134847168 4289455840 4289454464 134784798 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21088/statm: 1958 1446 270 82 0 1199 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 42704
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 21099
/proc/meminfo: memFree=27522760/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=59.9 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 3203 58023 0 0 1 1 5978 10 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
[pid=21094] ppid=20918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21094/stat : 21094 (sh) S 20918 20918 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336804549 9367552 264 33554432000 4194304 5064252 140735165558720 140735165556976 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21094/statm: 2287 264 223 213 0 72 0
[pid=21096] ppid=21094 vsize=8644 CPUtime=42.31 cores=1,3,5,7
/proc/21096/stat : 21096 (clasp-1.0) R 21094 20918 26887 0 -1 4202496 1757 0 0 0 4231 0 0 0 20 0 1 0 336804549 8851456 1654 33554432000 134512640 134847168 4294949376 4294948016 134782472 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21096/statm: 2161 1654 270 82 0 1402 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 43516
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 21130
/proc/meminfo: memFree=27523220/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=150.91 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 3322 62069 0 0 1 1 15077 12 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
[pid=21128] ppid=20918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21128/stat : 21128 (sh) S 20918 20918 26887 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 336813651 9367552 264 33554432000 4194304 5064252 140737010808464 140737010806720 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21128/statm: 2287 264 223 213 0 72 0
[pid=21130] ppid=21128 vsize=6904 CPUtime=11.3 cores=1,3,5,7
/proc/21130/stat : 21130 (clasp-1.0) R 21128 20918 26887 0 -1 4202496 1309 0 0 0 1130 0 0 0 20 0 1 0 336813651 7069696 1206 33554432000 134512640 134847168 4291100624 4291098900 134792583 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21130/statm: 1726 1206 270 82 0 967 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 41776
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21130
/proc/meminfo: memFree=27519944/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=150.91 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 3322 62069 0 0 1 1 15077 12 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
[pid=21128] ppid=20918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21128/stat : 21128 (sh) S 20918 20918 26887 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 336813651 9367552 264 33554432000 4194304 5064252 140737010808464 140737010806720 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21128/statm: 2287 264 223 213 0 72 0
[pid=21130] ppid=21128 vsize=9812 CPUtime=71.28 cores=1,3,5,7
/proc/21130/stat : 21130 (clasp-1.0) R 21128 20918 26887 0 -1 4202496 2040 0 0 0 7128 0 0 0 20 0 1 0 336813651 10047488 1937 33554432000 134512640 134847168 4291100624 4291099248 134784651 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21130/statm: 2453 1937 270 82 0 1694 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 44684
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21131
/proc/meminfo: memFree=27518824/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=150.91 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 3322 62069 0 0 1 1 15077 12 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
[pid=21128] ppid=20918 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/21149/stat : 21149 (sh) S 20918 20918 26887 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336847291 9367552 264 33554432000 4194304 5064252 140735632943792 140735632942048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21149/statm: 2287 264 223 213 0 72 0
[pid=21151] ppid=21149 vsize=17688 CPUtime=934.76 cores=1,3,5,7
/proc/21151/stat : 21151 (clasp-1.0) R 21149 20918 26887 0 -1 4202496 3870 0 0 0 93475 1 0 0 20 0 1 0 336847291 18112512 3886 33554432000 134512640 134847168 4292145360 4292144000 134715396 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21151/statm: 4422 3886 270 82 0 3663 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 52560
[startup+1482.3 s]
/proc/loadavg: 2.02 2.08 2.03 3/181 21284
/proc/meminfo: memFree=27445168/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=487.24 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 3424 67075 0 0 1 1 48709 13 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
[pid=21149] ppid=20918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21149/stat : 21149 (sh) S 20918 20918 26887 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336847291 9367552 264 33554432000 4194304 5064252 140735632943792 140735632942048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21149/statm: 2287 264 223 213 0 72 0
[pid=21151] ppid=21149 vsize=17856 CPUtime=994.74 cores=1,3,5,7
/proc/21151/stat : 21151 (clasp-1.0) R 21149 20918 26887 0 -1 4202496 3908 0 0 0 99473 1 0 0 20 0 1 0 336847291 18284544 3924 33554432000 134512640 134847168 4292145360 4292143612 134793570 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21151/statm: 4464 3924 270 82 0 3705 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 52728
[startup+1542.3 s]
/proc/loadavg: 2.00 2.06 2.02 3/181 21284
/proc/meminfo: memFree=27445044/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=487.24 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 3424 67075 0 0 1 1 48709 13 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
[pid=21149] ppid=20918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21149/stat : 21149 (sh) S 20918 20918 26887 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336847291 9367552 264 33554432000 4194304 5064252 140735632943792 140735632942048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21149/statm: 2287 264 223 213 0 72 0
[pid=21151] ppid=21149 vsize=17940 CPUtime=1054.73 cores=1,3,5,7
/proc/21151/stat : 21151 (clasp-1.0) R 21149 20918 26887 0 -1 4202496 3937 0 0 0 105472 1 0 0 20 0 1 0 336847291 18370560 3953 33554432000 134512640 134847168 4292145360 4292143984 134784657 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21151/statm: 4485 3953 270 82 0 3726 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 52812
[startup+1602.3 s]
/proc/loadavg: 2.00 2.05 2.02 4/181 21284
/proc/meminfo: memFree=27443992/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=487.24 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 3424 67075 0 0 1 1 48709 13 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
[pid=21149] ppid=20918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21149/stat : 21149 (sh) S 20918 20918 26887 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336847291 9367552 264 33554432000 4194304 5064252 140735632943792 140735632942048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21149/statm: 2287 264 223 213 0 72 0
[pid=21151] ppid=21149 vsize=18068 CPUtime=1114.72 cores=1,3,5,7
/proc/21151/stat : 21151 (clasp-1.0) R 21149 20918 26887 0 -1 4202496 3951 0 0 0 111471 1 0 0 20 0 1 0 336847291 18501632 3967 33554432000 134512640 134847168 4292145360 4292143984 134784622 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21151/statm: 4517 3967 270 82 0 3758 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 52940
[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/181 21284
/proc/meminfo: memFree=27443744/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=487.24 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 3424 67075 0 0 1 1 48709 13 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
[pid=21149] ppid=20918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21149/stat : 21149 (sh) S 20918 20918 26887 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336847291 9367552 264 33554432000 4194304 5064252 140735632943792 140735632942048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21149/statm: 2287 264 223 213 0 72 0
[pid=21151] ppid=21149 vsize=18068 CPUtime=1174.71 cores=1,3,5,7
/proc/21151/stat : 21151 (clasp-1.0) R 21149 20918 26887 0 -1 4202496 3958 0 0 0 117470 1 0 0 20 0 1 0 336847291 18501632 3974 33554432000 134512640 134847168 4292145360 4292144128 134617331 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21151/statm: 4517 3974 270 82 0 3758 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 52940
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/181 21284
/proc/meminfo: memFree=27443372/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=487.24 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 3424 67075 0 0 1 1 48709 13 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
[pid=21149] ppid=20918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21149/stat : 21149 (sh) S 20918 20918 26887 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336847291 9367552 264 33554432000 4194304 5064252 140735632943792 140735632942048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21149/statm: 2287 264 223 213 0 72 0
[pid=21151] ppid=21149 vsize=18196 CPUtime=1234.71 cores=1,3,5,7
/proc/21151/stat : 21151 (clasp-1.0) R 21149 20918 26887 0 -1 4202496 3995 0 0 0 123470 1 0 0 20 0 1 0 336847291 18632704 4011 33554432000 134512640 134847168 4292145360 4292144044 134784496 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21151/statm: 4549 4011 270 82 0 3790 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 53068
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 21285
/proc/meminfo: memFree=27441760/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=487.24 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 3424 67075 0 0 1 1 48709 13 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
[pid=21149] ppid=20918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21149/stat : 21149 (sh) S 20918 20918 26887 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336847291 9367552 264 33554432000 4194304 5064252 140735632943792 140735632942048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21149/statm: 2287 264 223 213 0 72 0
[pid=21151] ppid=21149 vsize=18700 CPUtime=1294.7 cores=1,3,5,7
/proc/21151/stat : 21151 (clasp-1.0) R 21149 20918 26887 0 -1 4202496 4075 0 0 0 129469 1 0 0 20 0 1 0 336847291 19148800 4140 33554432000 134512640 134847168 4292145360 4292143984 134784800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21151/statm: 4675 4140 270 82 0 3916 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 53572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 21285
/proc/meminfo: memFree=27441264/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=487.24 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 3424 67075 0 0 1 1 48709 13 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
[pid=21149] ppid=20918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21149/stat : 21149 (sh) S 20918 20918 26887 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336847291 9367552 264 33554432000 4194304 5064252 140735632943792 140735632942048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21149/statm: 2287 264 223 213 0 72 0
[pid=21151] ppid=21149 vsize=19168 CPUtime=1312.8 cores=1,3,5,7
/proc/21151/stat : 21151 (clasp-1.0) R 21149 20918 26887 0 -1 4202496 4195 0 0 0 131279 1 0 0 20 0 1 0 336847291 19628032 4260 33554432000 134512640 134847168 4292145360 4292144040 134789702 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21151/statm: 4792 4260 270 82 0 4033 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 54040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -20918
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 21304
/proc/meminfo: memFree=27521980/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=1800.06 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 3591 74039 0 0 1 1 179989 15 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
[pid=21295] ppid=20918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21295/stat : 21295 (sh) S 20918 20918 26887 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 336978594 9367552 264 33554432000 4194304 5064252 140737176386064 140737176384320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21295/statm: 2287 264 223 213 0 72 0
[pid=21297] ppid=21295 vsize=5016 CPUtime=0.96 cores=1,3,5,7
/proc/21297/stat : 21297 (clasp-1.0) R 21295 20918 26887 0 -1 4202496 840 0 0 0 96 0 0 0 20 0 1 0 336978594 5136384 738 33554432000 134512640 134847168 4293929008 4293927308 134792767 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21297/statm: 1254 738 270 82 0 495 0
Current children cumulated CPU time (s) 1801.02
Current children cumulated vsize (KiB) 39888
[startup+1802.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 21304
/proc/meminfo: memFree=27521160/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=1800.06 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 3591 74039 0 0 1 1 179989 15 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
[pid=21295] ppid=20918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21295/stat : 21295 (sh) S 20918 20918 26887 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 336978594 9367552 264 33554432000 4194304 5064252 140737176386064 140737176384320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21295/statm: 2287 264 223 213 0 72 0
[pid=21297] ppid=21295 vsize=5276 CPUtime=1.76 cores=1,3,5,7
/proc/21297/stat : 21297 (clasp-1.0) R 21295 20918 26887 0 -1 4202496 921 0 0 0 176 0 0 0 20 0 1 0 336978594 5402624 819 33554432000 134512640 134847168 4293929008 4293927276 134793560 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21297/statm: 1319 819 270 82 0 560 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 40148
[startup+1802.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 21304
/proc/meminfo: memFree=27521160/32873648 swapFree=6852/6852
[pid=20918] ppid=20916 vsize=25724 CPUtime=1800.06 cores=1,3,5,7
/proc/20918/stat : 20918 (pbclasp) S 20916 20918 26887 0 -1 4202496 3591 74039 0 0 1 1 179989 15 20 0 1 0 336798552 26341376 544 33554432000 4194304 4198148 140733378576480 140733378575408 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20918/statm: 6431 544 387 1 0 226 0
[pid=21295] ppid=20918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21295/stat : 21295 (sh) S 20918 20918 26887 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 336978594 9367552 264 33554432000 4194304 5064252 140737176386064 140737176384320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21295/statm: 2287 264 223 213 0 72 0
[pid=21297] ppid=21295 vsize=5404 CPUtime=1.96 cores=1,3,5,7
/proc/21297/stat : 21297 (clasp-1.0) R 21295 20918 26887 0 -1 4202496 926 0 0 0 196 0 0 0 20 0 1 0 336978594 5533696 824 33554432000 134512640 134847168 4293929008 4293927688 134784582 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21297/statm: 1351 824 270 82 0 592 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 40276
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.07
CPU user time (s): 1801.89
CPU system time (s): 0.174973
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 54040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.89
system time used= 0.174973
maximum resident set size= 17040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79277
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 669
involuntary context switches= 3022
runsolver used 5.9131 second user time and 12.6601 second system time
The end