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-3709113-1338160281/watcher-3709113-1338160281 -o /tmp/evaluation-result-3709113-1338160281/solver-3709113-1338160281 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709113-1338160281.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.02 2.01 2.00 3/179 25718
/proc/meminfo: memFree=29671656/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[startup+0.015358 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25718
/proc/meminfo: memFree=29671656/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100305 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25718
/proc/meminfo: memFree=29671656/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300224 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25718
/proc/meminfo: memFree=29671656/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700226 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25718
/proc/meminfo: memFree=29671656/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/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.02 2.01 2.00 3/181 25720
/proc/meminfo: memFree=29643840/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=45524 CPUtime=1.49 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 11577 0 0 0 147 2 0 0 20 0 1 0 282152910 46616576 11065 33554432000 4194304 6212839 140733854742880 140733854740888 5437001 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 11381 11065 234 493 0 10886 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54676
[startup+3.10031 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 25720
/proc/meminfo: memFree=29626108/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=65584 CPUtime=3.09 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 16583 0 0 0 306 3 0 0 20 0 1 0 282152910 67158016 16071 33554432000 4194304 6212839 140733854742880 140733854740888 4674896 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 16396 16071 234 493 0 15901 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 74736
[startup+6.30026 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 25720
/proc/meminfo: memFree=29595984/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=76772 CPUtime=6.29 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 19390 0 0 0 626 3 0 0 20 0 1 0 282152910 78614528 18877 33554432000 4194304 6212839 140733854742880 140733854740888 4334710 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 19193 18877 234 493 0 18698 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85924
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 25720
/proc/meminfo: memFree=29561776/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=98056 CPUtime=12.68 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 24696 0 0 0 1264 4 0 0 20 0 1 0 282152910 100409344 24182 33554432000 4194304 6212839 140733854742880 140733854741288 4674374 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 24514 24182 234 493 0 24019 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 107208
[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 25720
/proc/meminfo: memFree=29523204/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=126148 CPUtime=25.48 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 31685 0 0 0 2543 5 0 0 20 0 1 0 282152910 129175552 31170 33554432000 4194304 6212839 140733854742880 140733854740888 4681504 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 31537 31170 234 493 0 31042 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 135300
[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 25720
/proc/meminfo: memFree=29476408/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=162908 CPUtime=51.08 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 40798 0 0 0 5101 7 0 0 20 0 1 0 282152910 166817792 40283 33554432000 4194304 6212839 140733854742880 140733854741032 4333789 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 40727 40283 234 493 0 40232 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 172060
[startup+102.307 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 25720
/proc/meminfo: memFree=29421272/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=197696 CPUtime=102.28 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 49426 0 0 0 10218 10 0 0 20 0 1 0 282152910 202440704 48910 33554432000 4194304 6212839 140733854742880 140733854740888 4308160 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 49424 48910 234 493 0 48929 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 206848
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 25720
/proc/meminfo: memFree=29366988/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=228588 CPUtime=162.26 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 59874 0 0 0 16214 12 0 0 20 0 1 0 282152910 234074112 56633 33554432000 4194304 6212839 140733854742880 140733854740888 4676401 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 57147 56633 234 493 0 56652 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 237740
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25721
/proc/meminfo: memFree=29325848/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=249448 CPUtime=222.23 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 65145 0 0 0 22210 13 0 0 20 0 1 0 282152910 255434752 61881 33554432000 4194304 6212839 140733854742880 140733854740888 4334727 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 62362 61881 234 493 0 61867 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 258600
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25721
/proc/meminfo: memFree=29277640/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=283320 CPUtime=282.19 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 73839 0 0 0 28203 16 0 0 20 0 1 0 282152910 290119680 70225 33554432000 4194304 6212839 140733854742880 140733854740888 4334721 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 70830 70225 234 493 0 70335 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 292472
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 25721
/proc/meminfo: memFree=29238732/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=299968 CPUtime=342.15 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 77534 0 0 0 34198 17 0 0 20 0 1 0 282152910 307167232 74012 33554432000 4194304 6212839 140733854742880 140733854740888 4334704 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 74992 74012 234 493 0 74497 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 309120
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 25721
/proc/meminfo: memFree=29208172/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/25719/statm: 110484 109785 234 493 0 109989 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 451088
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25730
/proc/meminfo: memFree=28959440/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=445760 CPUtime=1241.98 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 122103 0 0 0 124172 26 0 0 20 0 1 0 282152910 456458240 110752 33554432000 4194304 6212839 140733854742880 140733854741176 4681500 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 111440 110752 234 493 0 110945 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 454912
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25730
/proc/meminfo: memFree=28948776/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=454720 CPUtime=1301.97 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 124994 0 0 0 130171 26 0 0 20 0 1 0 282152910 465633280 112917 33554432000 4194304 6212839 140733854742880 140733854740888 4674504 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 113680 112917 234 493 0 113185 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 463872
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25730
/proc/meminfo: memFree=28920884/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=454852 CPUtime=1361.96 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 125017 0 0 0 136170 26 0 0 20 0 1 0 282152910 465768448 112940 33554432000 4194304 6212839 140733854742880 140733854740888 4685827 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 113713 112940 234 493 0 113218 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 464004
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25732
/proc/meminfo: memFree=28891364/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=476552 CPUtime=1421.94 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 133190 0 0 0 142165 29 0 0 20 0 1 0 282152910 487989248 118832 33554432000 4194304 6212839 140733854742880 140733854741176 4298110 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 119138 118832 234 493 0 118643 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 485704
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25732
/proc/meminfo: memFree=28872172/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=485284 CPUtime=1481.92 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 135370 0 0 0 148163 29 0 0 20 0 1 0 282152910 496930816 121007 33554432000 4194304 6212839 140733854742880 140733854740888 4357006 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 121321 121007 234 493 0 120826 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 494436
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25732
/proc/meminfo: memFree=28857292/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=495108 CPUtime=1541.91 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 138738 0 0 0 154161 30 0 0 20 0 1 0 282152910 506990592 123477 33554432000 4194304 6212839 140733854742880 140733854740888 4681533 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 123777 123477 234 493 0 123282 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 504260
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25732
/proc/meminfo: memFree=28853324/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=494412 CPUtime=1601.9 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 139379 0 0 0 160160 30 0 0 20 0 1 0 282152910 506277888 123280 33554432000 4194304 6212839 140733854742880 140733854740888 4335192 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 123603 123280 234 493 0 123108 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 503564
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25732
/proc/meminfo: memFree=28850348/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=496232 CPUtime=1661.9 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 139812 0 0 0 166159 31 0 0 20 0 1 0 282152910 508141568 123713 33554432000 4194304 6212839 140733854742880 140733854740888 4674552 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 124058 123713 234 493 0 123563 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 505384
[startup+1722.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/182 25815
/proc/meminfo: memFree=29330276/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=502664 CPUtime=1721.88 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 141961 0 0 0 172157 31 0 0 20 0 1 0 282152910 514727936 125335 33554432000 4194304 6212839 140733854742880 140733854740888 4308147 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 125666 125335 234 493 0 125171 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 511816
[startup+1782.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/181 25815
/proc/meminfo: memFree=29321116/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=509204 CPUtime=1781.87 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 143951 0 0 0 178156 31 0 0 20 0 1 0 282152910 521424896 126972 33554432000 4194304 6212839 140733854742880 140733854740888 4685336 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 127301 126972 234 493 0 126806 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 518356
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.98 1.98 1.99 3/181 25815
/proc/meminfo: memFree=29318760/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=510788 CPUtime=1800.08 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 144358 0 0 0 179977 31 0 0 20 0 1 0 282152910 523046912 127379 33554432000 4194304 6212839 140733854742880 140733854740888 4308157 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 127697 127379 234 493 0 127202 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 519940
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 1.98 1.98 1.99 3/181 25815
/proc/meminfo: memFree=29318760/32873844 swapFree=7372/7372
[pid=25718] ppid=25716 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25718/stat : 25718 (clasp-opt.sh) S 25716 25718 24451 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282152910 9371648 275 33554432000 4194304 5064252 140734179832928 140734179831840 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25718/statm: 2288 275 232 213 0 73 0
[pid=25719] ppid=25718 vsize=510788 CPUtime=1800.08 cores=1,3,5,7
/proc/25719/stat : 25719 (clasp-R5325) R 25718 25718 24451 0 -1 4202496 144358 0 0 0 179977 31 0 0 20 0 1 0 282152910 523046912 127379 33554432000 4194304 6212839 140733854742880 140733854740888 4308157 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25719/statm: 127697 127379 234 493 0 127202 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 519940
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25718 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.77
CPU system time (s): 0.31
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 519940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
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= 4
involuntary context switches= 1
runsolver used 3.14152 second user time and 11.0643 second system time
The end