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-3708538-1338155927/watcher-3708538-1338155927 -o /tmp/evaluation-result-3708538-1338155927/solver-3708538-1338155927 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708538-1338155927.opb
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/175 15779
/proc/meminfo: memFree=31346848/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[startup+0.00992702 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15779
/proc/meminfo: memFree=31346848/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100254 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15779
/proc/meminfo: memFree=31346848/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300228 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15779
/proc/meminfo: memFree=31346848/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700231 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15779
/proc/meminfo: memFree=31346848/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15781
/proc/meminfo: memFree=31340764/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=10256 CPUtime=1.49 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 2399 0 0 0 149 0 0 0 20 0 1 0 281721159 10502144 2227 33554432000 4194304 6212839 140733618759568 140733618757576 4676428 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 2564 2227 227 493 0 2069 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19408
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15781
/proc/meminfo: memFree=31336540/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=14216 CPUtime=3.09 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 3407 0 0 0 309 0 0 0 20 0 1 0 281721159 14557184 3235 33554432000 4194304 6212839 140733618759568 140733618757576 4354025 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 3554 3235 227 493 0 3059 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23368
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15781
/proc/meminfo: memFree=31332076/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=17572 CPUtime=6.29 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 4228 0 0 0 629 0 0 0 20 0 1 0 281721159 17993728 4056 33554432000 4194304 6212839 140733618759568 140733618757864 4298175 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 4393 4056 227 493 0 3898 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26724
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15781
/proc/meminfo: memFree=31324404/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=23736 CPUtime=12.68 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 5748 0 0 0 1268 0 0 0 20 0 1 0 281721159 24305664 5576 33554432000 4194304 6212839 140733618759568 140733618757576 4357006 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 5934 5576 227 493 0 5439 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32888
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15781
/proc/meminfo: memFree=31316660/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=31016 CPUtime=25.48 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 7561 0 0 0 2547 1 0 0 20 0 1 0 281721159 31760384 7390 33554432000 4194304 6212839 140733618759568 140733618757576 4743836 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 7754 7390 227 493 0 7259 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40168
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15781
/proc/meminfo: memFree=31299276/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=47384 CPUtime=51.07 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 11622 0 0 0 5105 2 0 0 20 0 1 0 281721159 48521216 11484 33554432000 4194304 6212839 140733618759568 140733618757576 4743696 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 11846 11484 227 493 0 11351 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 56536
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15784
/proc/meminfo: memFree=31272664/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=72220 CPUtime=102.26 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 17833 0 0 0 10223 3 0 0 20 0 1 0 281721159 73953280 17695 33554432000 4194304 6212839 140733618759568 140733618757864 4298171 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 18055 17695 227 493 0 17560 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 81372
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15807
/proc/meminfo: memFree=31262404/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=81488 CPUtime=162.24 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 20034 0 0 0 16220 4 0 0 20 0 1 0 281721159 83443712 19944 33554432000 4194304 6212839 140733618759568 140733618757720 4685275 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 20372 19947 227 493 0 19877 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 90640
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15807
/proc/meminfo: memFree=31248816/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=94496 CPUtime=222.23 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 23132 0 0 0 22218 5 0 0 20 0 1 0 281721159 96763904 23221 33554432000 4194304 6212839 140733618759568 140733618757720 4334969 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 23624 23221 227 493 0 23129 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 103648
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15808
/proc/meminfo: memFree=31230464/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=112336 CPUtime=282.22 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 27527 0 0 0 28216 6 0 0 20 0 1 0 281721159 115032064 27578 33554432000 4194304 6212839 140733618759568 140733618757864 4356888 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 28084 27578 227 493 0 27589 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 121488
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15808
/proc/meminfo: memFree=31210788/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=130772 CPUtime=342.21 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 32017 0 0 0 34213 8 0 0 20 0 1 0 281721159 133910528 32221 33554432000 4194304 6212839 140733618759568 140733618757720 4685347 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 32693 32221 227 493 0 32198 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 139924
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15808
/proc/meminfo: memFree=31198820/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=239940 CPUtime=1062.08 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 56437 0 0 0 106194 14 0 0 20 0 1 0 281721159 245698560 59240 33554432000 4194304 6212839 140733618759568 140733618757720 4308147 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 59985 59240 227 493 0 59490 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 249092
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15813
/proc/meminfo: memFree=31090324/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=248648 CPUtime=1122.07 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 58328 0 0 0 112192 15 0 0 20 0 1 0 281721159 254615552 61538 33554432000 4194304 6212839 140733618759568 140733618757720 4661886 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 62162 61538 227 493 0 61667 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 257800
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 15814
/proc/meminfo: memFree=31085860/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=253128 CPUtime=1182.07 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 59304 0 0 0 118191 16 0 0 20 0 1 0 281721159 259203072 62514 33554432000 4194304 6212839 140733618759568 140733618757720 4333818 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 63282 62514 227 493 0 62787 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 262280
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15814
/proc/meminfo: memFree=31079784/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=259432 CPUtime=1242.05 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 60704 0 0 0 124189 16 0 0 20 0 1 0 281721159 265658368 63914 33554432000 4194304 6212839 140733618759568 140733618757720 4676511 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 64858 63914 227 493 0 64363 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 268584
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15817
/proc/meminfo: memFree=31072812/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=263444 CPUtime=1302.05 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 61553 0 0 0 130189 16 0 0 20 0 1 0 281721159 269766656 65409 33554432000 4194304 6212839 140733618759568 140733618757720 4308220 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 65861 65409 227 493 0 65366 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 272596
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15817
/proc/meminfo: memFree=31067488/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=268844 CPUtime=1362.03 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 62726 0 0 0 136187 16 0 0 20 0 1 0 281721159 275296256 66582 33554432000 4194304 6212839 140733618759568 140733618757720 4372028 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 67211 66582 227 493 0 66716 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 277996
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15817
/proc/meminfo: memFree=31064884/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=271476 CPUtime=1422.03 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 63301 0 0 0 142186 17 0 0 20 0 1 0 281721159 277991424 67157 33554432000 4194304 6212839 140733618759568 140733618757720 4334724 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 67869 67157 227 493 0 67374 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 280628
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15817
/proc/meminfo: memFree=31060292/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=274432 CPUtime=1482.02 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 63917 0 0 0 148185 17 0 0 20 0 1 0 281721159 281018368 68198 33554432000 4194304 6212839 140733618759568 140733618757864 4661914 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 68608 68198 227 493 0 68113 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 283584
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15818
/proc/meminfo: memFree=31056560/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=278436 CPUtime=1542.01 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 64791 0 0 0 154184 17 0 0 20 0 1 0 281721159 285118464 69072 33554432000 4194304 6212839 140733618759568 140733618757720 4685291 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 69609 69072 227 493 0 69114 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 287588
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15818
/proc/meminfo: memFree=31051600/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=283412 CPUtime=1602 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 65854 0 0 0 160183 17 0 0 20 0 1 0 281721159 290213888 70135 33554432000 4194304 6212839 140733618759568 140733618757720 4328891 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 70853 70135 227 493 0 70358 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 292564
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 15818
/proc/meminfo: memFree=31047880/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=287416 CPUtime=1661.98 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 66700 0 0 0 166181 17 0 0 20 0 1 0 281721159 294313984 70981 33554432000 4194304 6212839 140733618759568 140733618757720 4685433 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 71854 70981 227 493 0 71359 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 296568
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15818
/proc/meminfo: memFree=31040424/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=292888 CPUtime=1721.98 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 67852 0 0 0 172180 18 0 0 20 0 1 0 281721159 299917312 72650 33554432000 4194304 6212839 140733618759568 140733618757720 4298186 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 73222 72650 227 493 0 72727 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 302040
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15858
/proc/meminfo: memFree=31057200/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=296616 CPUtime=1781.97 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 68666 0 0 0 178179 18 0 0 20 0 1 0 281721159 303734784 73464 33554432000 4194304 6212839 140733618759568 140733618757720 4298129 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 74154 73464 227 493 0 73659 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 305768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15859
/proc/meminfo: memFree=31054968/32873844 swapFree=6088/6088
[pid=15779] ppid=15777 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (clasp-dec.sh) S 15777 15779 15656 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 281721159 9371648 274 33554432000 4194304 5064252 140735124528688 140735124527600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15779/statm: 2288 274 232 213 0 73 0
[pid=15780] ppid=15779 vsize=299536 CPUtime=1800.07 cores=1,3,5,7
/proc/15780/stat : 15780 (clasp-R5325) R 15779 15779 15656 0 -1 4202496 69268 0 0 0 179989 18 0 0 20 0 1 0 281721159 306724864 74066 33554432000 4194304 6212839 140733618759568 140733618757720 4683129 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 74884 74066 227 493 0 74389 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 308688
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.9
CPU system time (s): 0.187971
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 308688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.187971
maximum resident set size= 296308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69642
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107
involuntary context switches= 1854
runsolver used 2.65759 second user time and 7.2089 second system time
The end