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-3709604-1338176332/watcher-3709604-1338176332 -o /tmp/evaluation-result-3709604-1338176332/solver-3709604-1338176332 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709604-1338176332.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 25080
/proc/meminfo: memFree=30476376/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[startup+0.105089 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 25080
/proc/meminfo: memFree=30476376/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.200282 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 25080
/proc/meminfo: memFree=30476376/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.404329 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 25080
/proc/meminfo: memFree=30476376/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700286 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 25080
/proc/meminfo: memFree=30476376/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50029 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 25082
/proc/meminfo: memFree=30408668/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=70728 CPUtime=1.49 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 17796 0 0 0 148 1 0 0 20 0 1 0 283757643 72425472 17028 33554432000 4194304 6212839 140733783374224 140733783372632 4685438 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 17682 17028 236 493 0 17187 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 79880
[startup+3.10028 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 25082
/proc/meminfo: memFree=30407924/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=70728 CPUtime=3.09 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 17817 0 0 0 308 1 0 0 20 0 1 0 283757643 72425472 17049 33554432000 4194304 6212839 140733783374224 140733783372632 4685347 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 17682 17049 237 493 0 17187 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79880
[startup+6.30028 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 25082
/proc/meminfo: memFree=30407304/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=70728 CPUtime=6.29 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 17848 0 0 0 628 1 0 0 20 0 1 0 283757643 72425472 17080 33554432000 4194304 6212839 140733783374224 140733783372632 4685294 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 17682 17080 237 493 0 17187 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 79880
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25082
/proc/meminfo: memFree=30406592/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=70728 CPUtime=12.68 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 17888 0 0 0 1267 1 0 0 20 0 1 0 283757643 72425472 17120 33554432000 4194304 6212839 140733783374224 140733783372632 4685736 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 17682 17120 237 493 0 17187 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 79880
[startup+25.5065 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25082
/proc/meminfo: memFree=30403468/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=71984 CPUtime=25.48 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 18351 0 0 0 2547 1 0 0 20 0 1 0 283757643 73711616 17621 33554432000 4194304 6212839 140733783374224 140733783372232 4685336 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 17996 17621 237 493 0 17501 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 81136
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 25082
/proc/meminfo: memFree=30394820/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=79276 CPUtime=51.05 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 20136 0 0 0 5103 2 0 0 20 0 1 0 283757643 81178624 19494 33554432000 4194304 6212839 140733783374224 140733783372232 4683126 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 19819 19494 237 493 0 19324 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 88428
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 25085
/proc/meminfo: memFree=30380360/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=90908 CPUtime=102.24 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 23044 0 0 0 10222 2 0 0 20 0 1 0 283757643 93089792 22401 33554432000 4194304 6212839 140733783374224 140733783372232 4307907 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 22727 22401 237 493 0 22232 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 100060
[startup+162.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 25085
/proc/meminfo: memFree=30376080/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=93568 CPUtime=162.23 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 23702 0 0 0 16221 2 0 0 20 0 1 0 283757643 95813632 23065 33554432000 4194304 6212839 140733783374224 140733783372376 4634964 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 23392 23065 237 493 0 22897 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 102720
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25085
/proc/meminfo: memFree=30365844/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=103144 CPUtime=222.22 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 26036 0 0 0 22220 2 0 0 20 0 1 0 283757643 105619456 25415 33554432000 4194304 6212839 140733783374224 140733783372232 4333840 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 25786 25415 237 493 0 25291 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 112296
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25085
/proc/meminfo: memFree=30361184/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=107208 CPUtime=282.2 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 27009 0 0 0 28218 2 0 0 20 0 1 0 283757643 109780992 26438 33554432000 4194304 6212839 140733783374224 140733783372232 4685305 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 26802 26438 237 493 0 26307 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 116360
[startup+342.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25086
/proc/meminfo: memFree=30356344/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=110924 CPUtime=342.2 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 27918 0 0 0 34217 3 0 0 20 0 1 0 283757643 113586176 27397 33554432000 4194304 6212839 140733783374224 140733783372632 4424413 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 27731 27397 237 493 0 27236 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 120076
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25086
/proc/meminfo: memFree=30354108/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=140020 CPUtime=1062.07 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 35029 0 0 0 106202 5 0 0 20 0 1 0 283757643 143380480 34648 33554432000 4194304 6212839 140733783374224 140733783372376 4685283 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 35005 34648 237 493 0 34510 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 149172
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25092
/proc/meminfo: memFree=30319788/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=143648 CPUtime=1122.06 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 35893 0 0 0 112200 6 0 0 20 0 1 0 283757643 147095552 35542 33554432000 4194304 6212839 140733783374224 140733783372376 4685484 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 35912 35542 237 493 0 35417 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 152800
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25092
/proc/meminfo: memFree=30318672/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=144784 CPUtime=1182.05 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 36185 0 0 0 118199 6 0 0 20 0 1 0 283757643 148258816 35834 33554432000 4194304 6212839 140733783374224 140733783372376 4685336 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 36196 35834 237 493 0 35701 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 153936
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25093
/proc/meminfo: memFree=30317800/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=145156 CPUtime=1242.04 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 36241 0 0 0 124198 6 0 0 20 0 1 0 283757643 148639744 35949 33554432000 4194304 6212839 140733783374224 140733783372376 4685336 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 36289 35949 237 493 0 35794 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 154308
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25096
/proc/meminfo: memFree=30314320/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=148312 CPUtime=1302.03 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 37000 0 0 0 130197 6 0 0 20 0 1 0 283757643 151871488 36708 33554432000 4194304 6212839 140733783374224 140733783372376 4685321 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 37078 36708 237 493 0 36583 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 157464
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25119
/proc/meminfo: memFree=30310164/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=152404 CPUtime=1362.01 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 38052 0 0 0 136195 6 0 0 20 0 1 0 283757643 156061696 37780 33554432000 4194304 6212839 140733783374224 140733783372232 4685294 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 38101 37780 237 493 0 37606 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 161556
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25119
/proc/meminfo: memFree=30307560/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=155044 CPUtime=1422 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 38690 0 0 0 142194 6 0 0 20 0 1 0 283757643 158765056 38438 33554432000 4194304 6212839 140733783374224 140733783372232 4685305 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 38761 38438 237 493 0 38266 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 164196
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25119
/proc/meminfo: memFree=30307560/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=155044 CPUtime=1482 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 38690 0 0 0 148193 7 0 0 20 0 1 0 283757643 158765056 38438 33554432000 4194304 6212839 140733783374224 140733783372232 4357006 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 38761 38438 237 493 0 38266 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 164196
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25120
/proc/meminfo: memFree=30302348/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=160472 CPUtime=1541.99 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 39999 0 0 0 154192 7 0 0 20 0 1 0 283757643 164323328 39780 33554432000 4194304 6212839 140733783374224 140733783372376 4685321 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 40118 39780 237 493 0 39623 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 169624
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25120
/proc/meminfo: memFree=30297200/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=165964 CPUtime=1601.98 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 41247 0 0 0 160190 8 0 0 20 0 1 0 283757643 169947136 41028 33554432000 4194304 6212839 140733783374224 140733783372232 4422301 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 41491 41028 237 493 0 40996 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 175116
[startup+1662.31 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 25120
/proc/meminfo: memFree=30293284/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=169584 CPUtime=1661.97 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 42051 0 0 0 166189 8 0 0 20 0 1 0 283757643 173654016 42058 33554432000 4194304 6212839 140733783374224 140733783372376 4685336 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 42396 42058 237 493 0 41901 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 178736
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25120
/proc/meminfo: memFree=30291300/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=171216 CPUtime=1721.95 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 42414 0 0 0 172187 8 0 0 20 0 1 0 283757643 175325184 42421 33554432000 4194304 6212839 140733783374224 140733783372376 4685336 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 42804 42421 237 493 0 42309 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 180368
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25120
/proc/meminfo: memFree=30291052/32873844 swapFree=7392/7392
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=171468 CPUtime=1781.94 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 42462 0 0 0 178186 8 0 0 20 0 1 0 283757643 175583232 42469 33554432000 4194304 6212839 140733783374224 140733783372376 4685809 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 42867 42469 237 493 0 42372 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 180620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25160
/proc/meminfo: memFree=30292788/32873844 swapFree=7388/7388
[pid=25080] ppid=25078 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (clasp-opt.sh) S 25078 25080 23256 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283757643 9371648 275 33554432000 4194304 5064252 140735739614576 140735739613488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25080/statm: 2288 275 232 213 0 73 0
[pid=25081] ppid=25080 vsize=171724 CPUtime=1800.04 cores=0,2,4,6
/proc/25081/stat : 25081 (clasp-R5325) R 25080 25080 23256 0 -1 4202496 42487 0 0 0 179996 8 0 0 20 0 1 0 283757643 175845376 42494 33554432000 4194304 6212839 140733783374224 140733783372376 4411564 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25081/statm: 42931 42494 237 493 0 42436 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 180876
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.97
CPU system time (s): 0.087986
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 180876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.087986
maximum resident set size= 170004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42859
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= 77
involuntary context switches= 2079
runsolver used 3.52746 second user time and 9.16161 second system time
The end