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-3709071-1338151164/watcher-3709071-1338151164 -o /tmp/evaluation-result-3709071-1338151164/solver-3709071-1338151164 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709071-1338151164.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: 1.92 1.98 1.99 3/179 25001
/proc/meminfo: memFree=29357416/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[startup+0.056855 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 25001
/proc/meminfo: memFree=29357416/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100253 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 25001
/proc/meminfo: memFree=29357416/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300252 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 25001
/proc/meminfo: memFree=29357416/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700238 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 25001
/proc/meminfo: memFree=29357416/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50026 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 25003
/proc/meminfo: memFree=29345768/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=14912 CPUtime=1.49 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 3493 0 0 0 149 0 0 0 20 0 1 0 281241214 15269888 3418 33554432000 4194304 6212839 140737216255200 140737216253368 4357159 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 3728 3418 234 493 0 3233 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24064
[startup+3.10029 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 25003
/proc/meminfo: memFree=29341800/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=18268 CPUtime=3.09 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 4318 0 0 0 309 0 0 0 20 0 1 0 281241214 18706432 4242 33554432000 4194304 6212839 140737216255200 140737216253368 4681551 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 4567 4242 234 493 0 4072 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27420
[startup+6.30026 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 25003
/proc/meminfo: memFree=29310676/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=23912 CPUtime=6.28 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 5748 0 0 0 628 0 0 0 20 0 1 0 281241214 24485888 5672 33554432000 4194304 6212839 140737216255200 140737216253208 4674574 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 5978 5672 234 493 0 5483 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 33064
[startup+12.7003 s]
/proc/loadavg: 1.94 1.98 1.99 3/181 25003
/proc/meminfo: memFree=29299656/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=31172 CPUtime=12.69 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 7464 0 0 0 1268 1 0 0 20 0 1 0 281241214 31920128 7344 33554432000 4194304 6212839 140737216255200 140737216253496 4676440 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 7793 7344 234 493 0 7298 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40324
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/181 25003
/proc/meminfo: memFree=29294696/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=35636 CPUtime=25.48 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 8921 0 0 0 2547 1 0 0 20 0 1 0 281241214 36491264 8575 33554432000 4194304 6212839 140737216255200 140737216253368 4334710 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 8909 8575 234 493 0 8414 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44788
[startup+51.1003 s]
/proc/loadavg: 1.97 1.98 1.99 3/182 25006
/proc/meminfo: memFree=29289852/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=40128 CPUtime=51.08 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 10282 0 0 0 5107 1 0 0 20 0 1 0 281241214 41091072 9705 33554432000 4194304 6212839 140737216255200 140737216253496 4411590 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 10032 9705 234 493 0 9537 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49280
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/181 25007
/proc/meminfo: memFree=29275724/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=54128 CPUtime=102.27 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 14563 0 0 0 10225 2 0 0 20 0 1 0 281241214 55427072 13135 33554432000 4194304 6212839 140737216255200 140737216253496 4705130 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 13532 13135 234 493 0 13037 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 63280
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 25047
/proc/meminfo: memFree=29782008/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=60948 CPUtime=162.25 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 17081 0 0 0 16222 3 0 0 20 0 1 0 281241214 62410752 14922 33554432000 4194304 6212839 140737216255200 140737216253496 4334688 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 15237 14922 234 493 0 14742 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 70100
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 25047
/proc/meminfo: memFree=29767776/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=65920 CPUtime=222.25 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 19018 0 0 0 22221 4 0 0 20 0 1 0 281241214 67502080 16167 33554432000 4194304 6212839 140737216255200 140737216253496 4334788 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 16480 16167 234 493 0 15985 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 75072
[startup+282.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/181 25047
/proc/meminfo: memFree=29754864/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=71816 CPUtime=282.23 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 21361 0 0 0 28219 4 0 0 20 0 1 0 281241214 73539584 17647 33554432000 4194304 6212839 140737216255200 140737216253208 4424532 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 17954 17647 234 493 0 17459 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 80968
[startup+342.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/181 25047
/proc/meminfo: memFree=29730976/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=83424 CPUtime=342.22 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 24816 0 0 0 34217 5 0 0 20 0 1 0 281241214 85426176 20560 33554432000 4194304 6212839 140737216255200 140737216253496 4333789 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 20856 20560 234 493 0 20361 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 92576
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 25048
/proc/meminfo: memFree=29721040/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=127112 CPUtime=1122.1 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 43475 0 0 0 112201 9 0 0 20 0 1 0 281241214 130162688 31482 33554432000 4194304 6212839 140737216255200 140737216253368 4335564 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 31778 31482 234 493 0 31283 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 136264
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25053
/proc/meminfo: memFree=29644144/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=129236 CPUtime=1182.09 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 44376 0 0 0 118200 9 0 0 20 0 1 0 281241214 132337664 31991 33554432000 4194304 6212839 140737216255200 140737216253272 4674443 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 32309 31991 234 493 0 31814 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 138388
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 25056
/proc/meminfo: memFree=29631888/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=130288 CPUtime=1242.09 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 45562 0 0 0 124199 10 0 0 20 0 1 0 281241214 133414912 32276 33554432000 4194304 6212839 140737216255200 140737216253496 4334731 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 32572 32276 234 493 0 32077 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 139440
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 25080
/proc/meminfo: memFree=29625400/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=131344 CPUtime=1302.08 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 46522 0 0 0 130198 10 0 0 20 0 1 0 281241214 134496256 32522 33554432000 4194304 6212839 140737216255200 140737216253496 4333845 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 32836 32522 234 493 0 32341 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 140496
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25080
/proc/meminfo: memFree=29623604/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=132192 CPUtime=1362.06 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 47529 0 0 0 136196 10 0 0 20 0 1 0 281241214 135364608 32750 33554432000 4194304 6212839 140737216255200 140737216253496 4411564 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 33048 32750 234 493 0 32553 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 141344
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25080
/proc/meminfo: memFree=29617648/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=137484 CPUtime=1422.06 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 49128 0 0 0 142195 11 0 0 20 0 1 0 281241214 140783616 34054 33554432000 4194304 6212839 140737216255200 140737216253368 4335240 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 34371 34054 234 493 0 33876 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 146636
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25080
/proc/meminfo: memFree=29614792/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=138880 CPUtime=1482.05 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 50195 0 0 0 148194 11 0 0 20 0 1 0 281241214 142213120 34414 33554432000 4194304 6212839 140737216255200 140737216253496 4674527 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 34720 34414 234 493 0 34225 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 148032
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 25080
/proc/meminfo: memFree=29608840/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=140236 CPUtime=1542.03 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 51433 0 0 0 154192 11 0 0 20 0 1 0 281241214 143601664 34758 33554432000 4194304 6212839 140737216255200 140737216253496 4411578 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 35059 34758 234 493 0 34564 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 149388
[startup+1602.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/180 25080
/proc/meminfo: memFree=29606176/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=141404 CPUtime=1602.03 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 52502 0 0 0 160191 12 0 0 20 0 1 0 281241214 144797696 35055 33554432000 4194304 6212839 140737216255200 140737216253496 4674599 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 35351 35055 234 493 0 34856 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 150556
[startup+1662.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/181 25081
/proc/meminfo: memFree=29604488/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=141296 CPUtime=1662.02 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 52880 0 0 0 166190 12 0 0 20 0 1 0 281241214 144687104 35028 33554432000 4194304 6212839 140737216255200 140737216253496 4676611 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 35324 35028 234 493 0 34829 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 150448
[startup+1722.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/181 25081
/proc/meminfo: memFree=29601636/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=143972 CPUtime=1722.01 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 53857 0 0 0 172189 12 0 0 20 0 1 0 281241214 147427328 35691 33554432000 4194304 6212839 140737216255200 140737216253208 4421920 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 35993 35691 234 493 0 35498 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 153124
[startup+1782.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/181 25081
/proc/meminfo: memFree=29600888/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=144564 CPUtime=1782 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 54891 0 0 0 178188 12 0 0 20 0 1 0 281241214 148033536 35814 33554432000 4194304 6212839 140737216255200 140737216253368 4335560 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 36141 35814 234 493 0 35646 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 153716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/181 25081
/proc/meminfo: memFree=29600020/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=144744 CPUtime=1800 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 55357 0 0 0 179988 12 0 0 20 0 1 0 281241214 148217856 35881 33554432000 4194304 6212839 140737216255200 140737216253496 4356934 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 36186 35881 234 493 0 35691 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 153896
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/181 25081
/proc/meminfo: memFree=29600020/32873844 swapFree=7372/7372
[pid=25001] ppid=24999 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25001/stat : 25001 (clasp-opt.sh) S 24999 25001 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281241214 9371648 275 33554432000 4194304 5064252 140734879155888 140734879154800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25001/statm: 2288 275 232 213 0 73 0
[pid=25002] ppid=25001 vsize=144744 CPUtime=1800 cores=0,2,4,6
/proc/25002/stat : 25002 (clasp-R5325) R 25001 25001 24451 0 -1 4202496 55357 0 0 0 179988 12 0 0 20 0 1 0 281241214 148217856 35881 33554432000 4194304 6212839 140737216255200 140737216253496 4356934 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25002/statm: 36186 35881 234 493 0 35691 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 153896
Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.89
CPU system time (s): 0.12598
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 153976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.12598
maximum resident set size= 143616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55730
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= 61
involuntary context switches= 1871
runsolver used 2.91056 second user time and 9.1756 second system time
The end