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-3732669-1338708327/watcher-3732669-1338708327 -o /tmp/evaluation-result-3732669-1338708327/solver-3732669-1338708327 -C 1800 -W 1900 -M 15500 pbclasp instance-3732669-1338708327.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.01 2.00 3/178 30654
/proc/meminfo: memFree=27703564/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) R 30652 30654 29645 0 -1 4202496 548 0 0 0 0 0 0 0 20 0 1 0 336957619 26206208 478 33554432000 4194304 4198148 140736184367296 140736184364744 223676784640 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6398 478 355 1 0 193 0
[startup+0.0957839 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 30654
/proc/meminfo: memFree=27703564/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=0.06 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 702 2091 0 0 0 0 6 0 20 0 1 0 336957619 26341376 547 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 547 387 1 0 226 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25724
[startup+0.100184 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 30654
/proc/meminfo: memFree=27703564/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=0.06 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 702 2091 0 0 0 0 6 0 20 0 1 0 336957619 26341376 547 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 547 387 1 0 226 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25724
[startup+0.30018 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 30654
/proc/meminfo: memFree=27703564/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=0.26 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 1704 22639 0 0 1 0 20 5 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 25724
[startup+0.70023 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 30654
/proc/meminfo: memFree=27703564/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=0.62 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 2932 48715 0 0 1 1 49 11 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 25724
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 30848
/proc/meminfo: memFree=27700916/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=1.38 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 3906 70028 0 0 2 2 117 17 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 25724
[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 30888
/proc/meminfo: memFree=27699908/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=2.82 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 4391 81282 0 0 3 2 258 19 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 25724
[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 30904
/proc/meminfo: memFree=27697964/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=2.82 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 4391 81282 0 0 3 2 258 19 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
[pid=30902] ppid=30654 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30902/stat : 30902 (sh) S 30654 30654 29645 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 336957909 9367552 263 33554432000 4194304 5064252 140735012081872 140735012080128 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30902/statm: 2287 263 223 213 0 72 0
[pid=30904] ppid=30902 vsize=6464 CPUtime=3.39 cores=1,3,5,7
/proc/30904/stat : 30904 (clasp-1.0) R 30902 30654 29645 0 -1 4202496 1202 0 0 0 339 0 0 0 20 0 1 0 336957909 6619136 1100 33554432000 134512640 134847168 4290485376 4290484016 134715383 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30904/statm: 1616 1100 270 82 0 857 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 41336
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30904
/proc/meminfo: memFree=27696184/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=2.82 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 4391 81282 0 0 3 2 258 19 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
[pid=30902] ppid=30654 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30902/stat : 30902 (sh) S 30654 30654 29645 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 336957909 9367552 263 33554432000 4194304 5064252 140735012081872 140735012080128 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30902/statm: 2287 263 223 213 0 72 0
[pid=30904] ppid=30902 vsize=7372 CPUtime=9.79 cores=1,3,5,7
/proc/30904/stat : 30904 (clasp-1.0) R 30902 30654 29645 0 -1 4202496 1414 0 0 0 979 0 0 0 20 0 1 0 336957909 7548928 1312 33554432000 134512640 134847168 4290485376 4290484096 134741925 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30904/statm: 1843 1312 270 82 0 1084 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 42244
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30904
/proc/meminfo: memFree=27695276/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=2.82 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 4391 81282 0 0 3 2 258 19 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
[pid=30902] ppid=30654 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30902/stat : 30902 (sh) S 30654 30654 29645 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 336957909 9367552 263 33554432000 4194304 5064252 140735012081872 140735012080128 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30902/statm: 2287 263 223 213 0 72 0
[pid=30904] ppid=30902 vsize=8060 CPUtime=22.59 cores=1,3,5,7
/proc/30904/stat : 30904 (clasp-1.0) R 30902 30654 29645 0 -1 4202496 1604 0 0 0 2259 0 0 0 20 0 1 0 336957909 8253440 1501 33554432000 134512640 134847168 4290485376 4290484000 134784663 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30904/statm: 2015 1501 270 82 0 1256 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 42932
[startup+51.1003 s]
/proc/loadavg: 2.02 2.00 2.00 3/181 31240
/proc/meminfo: memFree=27690096/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=25.88 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 4500 84811 0 0 3 2 2563 20 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
[pid=30921] ppid=30654 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30921/stat : 30921 (sh) S 30654 30654 29645 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336960216 9367552 264 33554432000 4194304 5064252 140736980067600 140736980065856 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30921/statm: 2287 264 223 213 0 72 0
[pid=30923] ppid=30921 vsize=8056 CPUtime=25.12 cores=1,3,5,7
/proc/30923/stat : 30923 (clasp-1.0) R 30921 30654 29645 0 -1 4202496 1609 0 0 0 2512 0 0 0 20 0 1 0 336960216 8249344 1506 33554432000 134512640 134847168 4289205552 4289204192 134715353 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30923/statm: 2014 1506 270 82 0 1255 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 42928
[startup+102.306 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 31248
/proc/meminfo: memFree=27680612/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=25.88 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 4500 84811 0 0 3 2 2563 20 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
[pid=30921] ppid=30654 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30921/stat : 30921 (sh) S 30654 30654 29645 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336960216 9367552 264 33554432000 4194304 5064252 140736980067600 140736980065856 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30921/statm: 2287 264 223 213 0 72 0
[pid=30923] ppid=30921 vsize=9924 CPUtime=76.32 cores=1,3,5,7
/proc/30923/stat : 30923 (clasp-1.0) R 30921 30654 29645 0 -1 4202496 2077 0 0 0 7631 1 0 0 20 0 1 0 336960216 10162176 1953 33554432000 134512640 134847168 4289205552 4289204192 134715353 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30923/statm: 2481 1953 270 82 0 1722 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 44796
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 31248
/proc/meminfo: memFree=27675584/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=25.88 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 4500 84811 0 0 3 2 2563 20 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
[pid=30921] ppid=30654 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30921/stat : 30921 (sh) S 30654 30654 29645 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336960216 9367552 264 33554432000 4194304 5064252 140736980067600 140736980065856 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30921/statm: 2287 264 223 213 0 72 0
[pid=30923] ppid=30921 vsize=10580 CPUtime=136.3 cores=1,3,5,7
/proc/30923/stat : 30923 (clasp-1.0) R 30921 30654 29645 0 -1 4202496 2223 0 0 0 13629 1 0 0 20 0 1 0 336960216 10833920 2099 33554432000 134512640 134847168 4289205552 4289204256 134616720 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30923/statm: 2645 2099 270 82 0 1886 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 45452
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31249
/proc/meminfo: memFree=27671992/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=25.88 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 4500 84811 0 0 3 2 2563 20 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
[pid=30921] ppid=30654 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30921/stat : 30921 (sh) S 30654 30654 29645 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336960216 9367552 264 33554432000 4194304 5064252 140736980067600 140736980065856 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30921/statm: 2287 264 223 213 0 72 0
[pid=30923] ppid=30921 vsize=11000 CPUtime=196.29 cores=1,3,5,7
/proc/30923/stat : 30923 (clasp-1.0) R 30921 30654 29645 0 -1 4202496 2389 0 0 0 19628 1 0 0 20 0 1 0 336960216 11264000 2245 33554432000 134512640 134847168 4289205552 4289204192 134715380 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30923/statm: 2750 2245 270 82 0 1991 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 45872
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 31252
/proc/meminfo: memFree=27669896/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=25.88 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 4500 84811 0 0 3 2 2563 20 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
[pid=30921] ppid=30654 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30921/stat : 30921 (sh) S 30654 30654 29645 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336960216 9367552 264 33554432000 4194304 5064252 140736980067600 140736980065856 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30921/statm: 2287 264 223 213 0 72 0
[pid=30923] ppid=30921 vsize=11592 CPUtime=256.28 cores=1,3,5,7
/proc/30923/stat : 30923 (clasp-1.0) R 30921 30654 29645 0 -1 4202496 2512 0 0 0 25627 1 0 0 20 0 1 0 336960216 11870208 2368 33554432000 134512640 134847168 4289205552 4289204192 134715278 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30923/statm: 2898 2368 270 82 0 2139 0
Current children cumulated CPU time (s) 282.16
################
# More data... #
################
/proc/30921/stat : 30921 (sh) S 30654 30654 29645 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336960216 9367552 264 33554432000 4194304 5064252 140736980067600 140736980065856 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30921/statm: 2287 264 223 213 0 72 0
[pid=30923] ppid=30921 vsize=14640 CPUtime=1396.11 cores=1,3,5,7
/proc/30923/stat : 30923 (clasp-1.0) R 30921 30654 29645 0 -1 4202496 4321 0 0 0 139610 1 0 0 20 0 1 0 336960216 14991360 3128 33554432000 134512640 134847168 4289205552 4289204320 134737311 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30923/statm: 3660 3128 270 82 0 2901 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 49512
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 31279
/proc/meminfo: memFree=27657744/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=25.88 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 4500 84811 0 0 3 2 2563 20 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
[pid=30921] ppid=30654 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30921/stat : 30921 (sh) S 30654 30654 29645 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336960216 9367552 264 33554432000 4194304 5064252 140736980067600 140736980065856 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30921/statm: 2287 264 223 213 0 72 0
[pid=30923] ppid=30921 vsize=15324 CPUtime=1456.09 cores=1,3,5,7
/proc/30923/stat : 30923 (clasp-1.0) R 30921 30654 29645 0 -1 4202496 4472 0 0 0 145608 1 0 0 20 0 1 0 336960216 15691776 3279 33554432000 134512640 134847168 4289205552 4289204176 134784673 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30923/statm: 3831 3279 270 82 0 3072 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 50196
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31287
/proc/meminfo: memFree=27675892/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=25.88 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 4500 84811 0 0 3 2 2563 20 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
[pid=30921] ppid=30654 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30921/stat : 30921 (sh) S 30654 30654 29645 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336960216 9367552 264 33554432000 4194304 5064252 140736980067600 140736980065856 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30921/statm: 2287 264 223 213 0 72 0
[pid=30923] ppid=30921 vsize=15324 CPUtime=1516.08 cores=1,3,5,7
/proc/30923/stat : 30923 (clasp-1.0) R 30921 30654 29645 0 -1 4202496 4490 0 0 0 151607 1 0 0 20 0 1 0 336960216 15691776 3314 33554432000 134512640 134847168 4289205552 4289204176 134784711 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30923/statm: 3831 3314 270 82 0 3072 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 50196
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 31287
/proc/meminfo: memFree=27671860/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=25.88 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 4500 84811 0 0 3 2 2563 20 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
[pid=30921] ppid=30654 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30921/stat : 30921 (sh) S 30654 30654 29645 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336960216 9367552 264 33554432000 4194304 5064252 140736980067600 140736980065856 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30921/statm: 2287 264 223 213 0 72 0
[pid=30923] ppid=30921 vsize=15452 CPUtime=1576.08 cores=1,3,5,7
/proc/30923/stat : 30923 (clasp-1.0) R 30921 30654 29645 0 -1 4202496 4525 0 0 0 157607 1 0 0 20 0 1 0 336960216 15822848 3324 33554432000 134512640 134847168 4289205552 4289204176 134784610 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30923/statm: 3863 3324 270 82 0 3104 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 50324
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 31287
/proc/meminfo: memFree=27669700/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=25.88 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 4500 84811 0 0 3 2 2563 20 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
[pid=30921] ppid=30654 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30921/stat : 30921 (sh) S 30654 30654 29645 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336960216 9367552 264 33554432000 4194304 5064252 140736980067600 140736980065856 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30921/statm: 2287 264 223 213 0 72 0
[pid=30923] ppid=30921 vsize=15452 CPUtime=1636.07 cores=1,3,5,7
/proc/30923/stat : 30923 (clasp-1.0) R 30921 30654 29645 0 -1 4202496 4575 0 0 0 163606 1 0 0 20 0 1 0 336960216 15822848 3331 33554432000 134512640 134847168 4289205552 4289204320 134617553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30923/statm: 3863 3331 270 82 0 3104 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 50324
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31289
/proc/meminfo: memFree=27666096/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=25.88 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 4500 84811 0 0 3 2 2563 20 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
[pid=30921] ppid=30654 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30921/stat : 30921 (sh) S 30654 30654 29645 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336960216 9367552 264 33554432000 4194304 5064252 140736980067600 140736980065856 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30921/statm: 2287 264 223 213 0 72 0
[pid=30923] ppid=30921 vsize=15324 CPUtime=1696.07 cores=1,3,5,7
/proc/30923/stat : 30923 (clasp-1.0) R 30921 30654 29645 0 -1 4202496 4670 0 0 0 169605 2 0 0 20 0 1 0 336960216 15691776 3324 33554432000 134512640 134847168 4289205552 4289204176 134784656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30923/statm: 3831 3324 270 82 0 3072 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 50196
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31289
/proc/meminfo: memFree=27664728/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=25.88 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 4500 84811 0 0 3 2 2563 20 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
[pid=30921] ppid=30654 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30921/stat : 30921 (sh) S 30654 30654 29645 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336960216 9367552 264 33554432000 4194304 5064252 140736980067600 140736980065856 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30921/statm: 2287 264 223 213 0 72 0
[pid=30923] ppid=30921 vsize=15456 CPUtime=1756.06 cores=1,3,5,7
/proc/30923/stat : 30923 (clasp-1.0) R 30921 30654 29645 0 -1 4202496 4742 0 0 0 175604 2 0 0 20 0 1 0 336960216 15826944 3347 33554432000 134512640 134847168 4289205552 4289204176 134784608 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30923/statm: 3864 3347 270 82 0 3105 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 50328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31289
/proc/meminfo: memFree=27664728/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=25.88 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 4500 84811 0 0 3 2 2563 20 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
[pid=30921] ppid=30654 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30921/stat : 30921 (sh) S 30654 30654 29645 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336960216 9367552 264 33554432000 4194304 5064252 140736980067600 140736980065856 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30921/statm: 2287 264 223 213 0 72 0
[pid=30923] ppid=30921 vsize=15456 CPUtime=1774.16 cores=1,3,5,7
/proc/30923/stat : 30923 (clasp-1.0) R 30921 30654 29645 0 -1 4202496 4803 0 0 0 177414 2 0 0 20 0 1 0 336960216 15826944 3356 33554432000 134512640 134847168 4289205552 4289204192 134782416 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30923/statm: 3864 3356 270 82 0 3105 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 50328
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -30654
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 31308
/proc/meminfo: memFree=27697588/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=1800.07 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 4675 92389 0 0 3 2 179979 23 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
[pid=31298] ppid=30654 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31298/stat : 31298 (sh) S 30654 30654 29645 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 337137661 9367552 263 33554432000 4194304 5064252 140736303717200 140736303715456 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31298/statm: 2287 263 223 213 0 72 0
[pid=31301] ppid=31298 vsize=5940 CPUtime=0.96 cores=1,3,5,7
/proc/31301/stat : 31301 (clasp-1.0) R 31298 30654 29645 0 -1 4202496 1053 0 0 0 96 0 0 0 20 0 1 0 337137661 6082560 951 33554432000 134512640 134847168 4289998976 4289997232 9495847 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31301/statm: 1485 951 270 82 0 726 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 40812
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 31308
/proc/meminfo: memFree=27693496/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=1800.07 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 4675 92389 0 0 3 2 179979 23 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
[pid=31298] ppid=30654 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31298/stat : 31298 (sh) S 30654 30654 29645 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 337137661 9367552 263 33554432000 4194304 5064252 140736303717200 140736303715456 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31298/statm: 2287 263 223 213 0 72 0
[pid=31301] ppid=31298 vsize=6204 CPUtime=1.76 cores=1,3,5,7
/proc/31301/stat : 31301 (clasp-1.0) R 31298 30654 29645 0 -1 4202496 1119 0 0 0 176 0 0 0 20 0 1 0 337137661 6352896 1017 33554432000 134512640 134847168 4289998976 4289997696 134741346 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31301/statm: 1551 1017 270 82 0 792 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 41076
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 31308
/proc/meminfo: memFree=27693496/32873844 swapFree=7628/7628
[pid=30654] ppid=30652 vsize=25724 CPUtime=1800.07 cores=1,3,5,7
/proc/30654/stat : 30654 (pbclasp) S 30652 30654 29645 0 -1 4202496 4675 92389 0 0 3 2 179979 23 20 0 1 0 336957619 26341376 551 33554432000 4194304 4198148 140736184367296 140736184366224 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30654/statm: 6431 551 387 1 0 226 0
[pid=31298] ppid=30654 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31298/stat : 31298 (sh) S 30654 30654 29645 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 337137661 9367552 263 33554432000 4194304 5064252 140736303717200 140736303715456 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31298/statm: 2287 263 223 213 0 72 0
[pid=31301] ppid=31298 vsize=6204 CPUtime=1.96 cores=1,3,5,7
/proc/31301/stat : 31301 (clasp-1.0) R 31298 30654 29645 0 -1 4202496 1136 0 0 0 196 0 0 0 20 0 1 0 337137661 6352896 1034 33554432000 134512640 134847168 4289998976 4289997616 134715316 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31301/statm: 1551 1034 270 82 0 792 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 41076
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.08
CPU user time (s): 1801.81
CPU system time (s): 0.268959
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 50356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.81
system time used= 0.268959
maximum resident set size= 13424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98925
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 870
involuntary context switches= 2838
runsolver used 2.86356 second user time and 6.97794 second system time
The end