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-3709639-1338178367/watcher-3709639-1338178367 -o /tmp/evaluation-result-3709639-1338178367/solver-3709639-1338178367 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709639-1338178367.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.14 2.05 2.01 3/179 20636
/proc/meminfo: memFree=31359344/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[startup+0.019519 s]
/proc/loadavg: 2.14 2.05 2.01 3/179 20636
/proc/meminfo: memFree=31359344/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100236 s]
/proc/loadavg: 2.14 2.05 2.01 3/179 20636
/proc/meminfo: memFree=31359344/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300205 s]
/proc/loadavg: 2.14 2.05 2.01 3/179 20636
/proc/meminfo: memFree=31359344/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.70021 s]
/proc/loadavg: 2.14 2.05 2.01 3/179 20636
/proc/meminfo: memFree=31359344/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50024 s]
/proc/loadavg: 2.14 2.05 2.01 3/181 20638
/proc/meminfo: memFree=31357220/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=4612 CPUtime=1.49 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 889 0 0 0 149 0 0 0 20 0 1 0 283961500 4722688 834 33554432000 4194304 6212839 140736168643296 140736168641448 4683176 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 1153 834 237 493 0 658 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13764
[startup+3.10024 s]
/proc/loadavg: 2.14 2.05 2.01 3/181 20638
/proc/meminfo: memFree=31356336/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=5176 CPUtime=3.09 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 1022 0 0 0 309 0 0 0 20 0 1 0 283961500 5300224 967 33554432000 4194304 6212839 140736168643296 140736168641448 4681562 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 1294 967 237 493 0 799 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14328
[startup+6.30025 s]
/proc/loadavg: 2.13 2.05 2.01 3/181 20638
/proc/meminfo: memFree=31355592/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=5760 CPUtime=6.29 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 1188 0 0 0 629 0 0 0 20 0 1 0 283961500 5898240 1133 33554432000 4194304 6212839 140736168643296 140736168641448 4685530 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 1440 1133 237 493 0 945 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14912
[startup+12.7002 s]
/proc/loadavg: 2.12 2.05 2.01 3/181 20638
/proc/meminfo: memFree=31354120/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=6604 CPUtime=12.68 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 1381 0 0 0 1268 0 0 0 20 0 1 0 283961500 6762496 1326 33554432000 4194304 6212839 140736168643296 140736168641592 4705024 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 1651 1326 237 493 0 1156 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15756
[startup+25.5003 s]
/proc/loadavg: 2.09 2.05 2.01 3/181 20638
/proc/meminfo: memFree=31353560/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=7448 CPUtime=25.48 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 1576 0 0 0 2548 0 0 0 20 0 1 0 283961500 7626752 1521 33554432000 4194304 6212839 140736168643296 140736168641592 4676463 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 1862 1521 237 493 0 1367 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16600
[startup+51.1003 s]
/proc/loadavg: 2.06 2.04 2.00 3/181 20638
/proc/meminfo: memFree=31352320/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=8348 CPUtime=51.08 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 1784 0 0 0 5108 0 0 0 20 0 1 0 283961500 8548352 1729 33554432000 4194304 6212839 140736168643296 140736168641448 4307907 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 2087 1729 237 493 0 1592 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17500
[startup+102.306 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 20639
/proc/meminfo: memFree=31349340/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=10184 CPUtime=102.27 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 2163 0 0 0 10227 0 0 0 20 0 1 0 283961500 10428416 2130 33554432000 4194304 6212839 140736168643296 140736168641304 4674552 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 2546 2130 237 493 0 2051 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19336
[startup+162.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/181 20639
/proc/meminfo: memFree=31347912/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=10972 CPUtime=162.26 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 2358 0 0 0 16226 0 0 0 20 0 1 0 283961500 11235328 2400 33554432000 4194304 6212839 140736168643296 140736168641592 4328883 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 2743 2400 237 493 0 2248 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 20124
[startup+222.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/181 20639
/proc/meminfo: memFree=31346608/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=11196 CPUtime=222.25 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 2396 0 0 0 22225 0 0 0 20 0 1 0 283961500 11464704 2438 33554432000 4194304 6212839 140736168643296 140736168641448 4421869 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 2799 2438 237 493 0 2304 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 20348
[startup+282.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/181 20639
/proc/meminfo: memFree=31345740/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=11784 CPUtime=282.25 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 2552 0 0 0 28224 1 0 0 20 0 1 0 283961500 12066816 2565 33554432000 4194304 6212839 140736168643296 140736168641448 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 2946 2565 237 493 0 2451 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 20936
[startup+342.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/181 20639
/proc/meminfo: memFree=31344748/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=12288 CPUtime=342.24 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 2669 0 0 0 34223 1 0 0 20 0 1 0 283961500 12582912 2682 33554432000 4194304 6212839 140736168643296 140736168641448 4683120 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 3072 2682 237 493 0 2577 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 21440
[startup+402.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/181 20640
/proc/meminfo: memFree=31343380/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+762.306 s]
/proc/loadavg: 2.02 2.06 2.00 3/181 20644
/proc/meminfo: memFree=31340216/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=12964 CPUtime=762.18 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 2784 0 0 0 76217 1 0 0 20 0 1 0 283961500 13275136 2858 33554432000 4194304 6212839 140736168643296 140736168641448 4423556 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 3241 2858 237 493 0 2746 0
Current children cumulated CPU time (s) 762.18
Current children cumulated vsize (KiB) 22116
[startup+822.3 s]
/proc/loadavg: 2.04 2.06 2.00 3/181 20644
/proc/meminfo: memFree=31339284/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=12964 CPUtime=822.16 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 2784 0 0 0 82215 1 0 0 20 0 1 0 283961500 13275136 2858 33554432000 4194304 6212839 140736168643296 140736168641448 4685291 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 3241 2858 237 493 0 2746 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 22116
[startup+882.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/181 20644
/proc/meminfo: memFree=31339160/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=12964 CPUtime=882.15 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 2784 0 0 0 88214 1 0 0 20 0 1 0 283961500 13275136 2858 33554432000 4194304 6212839 140736168643296 140736168641448 4685458 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 3241 2858 237 493 0 2746 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 22116
[startup+942.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/181 20644
/proc/meminfo: memFree=31339036/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=12964 CPUtime=942.14 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 2784 0 0 0 94213 1 0 0 20 0 1 0 283961500 13275136 2858 33554432000 4194304 6212839 140736168643296 140736168641448 4683176 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 3241 2858 237 493 0 2746 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 22116
[startup+1002.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/181 20645
/proc/meminfo: memFree=31338664/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=12964 CPUtime=1002.14 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 2784 0 0 0 100213 1 0 0 20 0 1 0 283961500 13275136 2858 33554432000 4194304 6212839 140736168643296 140736168641448 4685476 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 3241 2858 237 493 0 2746 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 22116
[startup+1062.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/182 20648
/proc/meminfo: memFree=31338160/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=12964 CPUtime=1062.13 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 2784 0 0 0 106212 1 0 0 20 0 1 0 283961500 13275136 2858 33554432000 4194304 6212839 140736168643296 140736168641448 4298198 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 3241 2858 237 493 0 2746 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 22116
Solver just ended. Dumping a history of the last processes samples
[startup+1075.1 s]
/proc/loadavg: 2.11 2.07 2.00 3/182 20648
/proc/meminfo: memFree=31338036/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=12964 CPUtime=1074.92 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 2784 0 0 0 107491 1 0 0 20 0 1 0 283961500 13275136 2858 33554432000 4194304 6212839 140736168643296 140736168641448 4685303 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 3241 2858 237 493 0 2746 0
Current children cumulated CPU time (s) 1074.92
Current children cumulated vsize (KiB) 22116
[startup+1081.5 s]
/proc/loadavg: 2.10 2.07 2.00 3/182 20648
/proc/meminfo: memFree=31338036/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=12964 CPUtime=1081.32 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 2784 0 0 0 108131 1 0 0 20 0 1 0 283961500 13275136 2858 33554432000 4194304 6212839 140736168643296 140736168641448 4683423 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 3241 2858 237 493 0 2746 0
Current children cumulated CPU time (s) 1081.32
Current children cumulated vsize (KiB) 22116
[startup+1084.7 s]
/proc/loadavg: 2.10 2.07 2.00 3/182 20648
/proc/meminfo: memFree=31338160/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=12964 CPUtime=1084.52 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 2784 0 0 0 108451 1 0 0 20 0 1 0 283961500 13275136 2858 33554432000 4194304 6212839 140736168643296 140736168641448 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 3241 2858 237 493 0 2746 0
Current children cumulated CPU time (s) 1084.52
Current children cumulated vsize (KiB) 22116
[startup+1087.91 s]
/proc/loadavg: 2.10 2.07 2.00 3/182 20648
/proc/meminfo: memFree=31338160/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=12964 CPUtime=1087.73 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 2784 0 0 0 108772 1 0 0 20 0 1 0 283961500 13275136 2858 33554432000 4194304 6212839 140736168643296 140736168641448 4308793 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 3241 2858 237 493 0 2746 0
Current children cumulated CPU time (s) 1087.73
Current children cumulated vsize (KiB) 22116
[startup+1089.5 s]
/proc/loadavg: 2.09 2.07 2.00 3/182 20648
/proc/meminfo: memFree=31338160/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=12964 CPUtime=1089.32 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 2784 0 0 0 108931 1 0 0 20 0 1 0 283961500 13275136 2858 33554432000 4194304 6212839 140736168643296 140736168641448 4685794 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 3241 2858 237 493 0 2746 0
Current children cumulated CPU time (s) 1089.32
Current children cumulated vsize (KiB) 22116
[startup+1089.9 s]
/proc/loadavg: 2.09 2.07 2.00 3/182 20648
/proc/meminfo: memFree=31338160/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=12964 CPUtime=1089.72 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 2784 0 0 0 108971 1 0 0 20 0 1 0 283961500 13275136 2858 33554432000 4194304 6212839 140736168643296 140736168641448 4685776 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 3241 2858 237 493 0 2746 0
Current children cumulated CPU time (s) 1089.72
Current children cumulated vsize (KiB) 22116
[startup+1090.3 s]
/proc/loadavg: 2.09 2.07 2.00 3/182 20648
/proc/meminfo: memFree=31338160/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=12964 CPUtime=1090.12 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 2784 0 0 0 109011 1 0 0 20 0 1 0 283961500 13275136 2858 33554432000 4194304 6212839 140736168643296 140736168641448 4705068 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 3241 2858 237 493 0 2746 0
Current children cumulated CPU time (s) 1090.12
Current children cumulated vsize (KiB) 22116
[startup+1090.4 s]
/proc/loadavg: 2.09 2.07 2.00 3/182 20648
/proc/meminfo: memFree=31338160/32873844 swapFree=7616/7616
[pid=20636] ppid=20634 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20636/stat : 20636 (clasp-opt.sh) S 20634 20636 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283961500 9371648 274 33554432000 4194304 5064252 140736464708464 140736464707376 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20636/statm: 2288 274 232 213 0 73 0
[pid=20637] ppid=20636 vsize=12964 CPUtime=1090.22 cores=1,3,5,7
/proc/20637/stat : 20637 (clasp-R5325) R 20636 20636 18057 0 -1 4202496 2784 0 0 0 109021 1 0 0 20 0 1 0 283961500 13275136 2858 33554432000 4194304 6212839 140736168643296 140736168641448 4308867 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20637/statm: 3241 2858 237 493 0 2746 0
Current children cumulated CPU time (s) 1090.22
Current children cumulated vsize (KiB) 22116
Child status: 10
Real time (s): 1090.41
CPU time (s): 1090.24
CPU user time (s): 1090.23
CPU system time (s): 0.012998
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 22116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1090.23
system time used= 0.012998
maximum resident set size= 11460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3155
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= 9
involuntary context switches= 1122
runsolver used 1.62975 second user time and 4.32234 second system time
The end