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-3709638-1338180938/watcher-3709638-1338180938 -o /tmp/evaluation-result-3709638-1338180938/solver-3709638-1338180938 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709638-1338180938.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.93 1.99 1.99 3/177 21538
/proc/meminfo: memFree=30385224/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[startup+0.0182899 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 21538
/proc/meminfo: memFree=30385224/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100251 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 21538
/proc/meminfo: memFree=30385224/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300221 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 21538
/proc/meminfo: memFree=30385224/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.70022 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 21538
/proc/meminfo: memFree=30385224/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/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.99 1.99 3/179 21540
/proc/meminfo: memFree=30382728/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=4616 CPUtime=1.49 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 893 0 0 0 149 0 0 0 20 0 1 0 284222348 4726784 838 33554432000 4194304 6212839 140734068820928 140734068818936 4307907 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 1154 838 237 493 0 659 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13768
[startup+3.10026 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 21540
/proc/meminfo: memFree=30381860/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=5296 CPUtime=3.09 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 1040 0 0 0 309 0 0 0 20 0 1 0 284222348 5423104 985 33554432000 4194304 6212839 140734068820928 140734068818936 4674882 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 1324 985 237 493 0 829 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14448
[startup+6.30026 s]
/proc/loadavg: 1.93 1.99 1.99 3/178 21540
/proc/meminfo: memFree=30381124/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=5700 CPUtime=6.29 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 1165 0 0 0 629 0 0 0 20 0 1 0 284222348 5836800 1110 33554432000 4194304 6212839 140734068820928 140734068819080 4307880 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 1425 1110 237 493 0 930 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14852
[startup+12.7003 s]
/proc/loadavg: 1.94 1.99 1.99 3/179 21541
/proc/meminfo: memFree=30380008/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=6508 CPUtime=12.69 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 1361 0 0 0 1269 0 0 0 20 0 1 0 284222348 6664192 1306 33554432000 4194304 6212839 140734068820928 140734068819080 4298175 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 1627 1306 237 493 0 1132 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15660
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 21541
/proc/meminfo: memFree=30378952/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=7520 CPUtime=25.48 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 1590 0 0 0 2548 0 0 0 20 0 1 0 284222348 7700480 1534 33554432000 4194304 6212839 140734068820928 140734068819080 4307964 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 1880 1534 237 493 0 1385 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16672
[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/179 21541
/proc/meminfo: memFree=30377960/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=8440 CPUtime=51.08 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 1822 0 0 0 5108 0 0 0 20 0 1 0 284222348 8642560 1766 33554432000 4194304 6212839 140734068820928 140734068819080 4676415 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 2110 1766 237 493 0 1615 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17592
[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.99 3/179 21541
/proc/meminfo: memFree=30376220/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=10236 CPUtime=102.28 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 2204 0 0 0 10228 0 0 0 20 0 1 0 284222348 10481664 2182 33554432000 4194304 6212839 140734068820928 140734068818936 4683129 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 2559 2182 237 493 0 2064 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 19388
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 21541
/proc/meminfo: memFree=30375104/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=10908 CPUtime=162.26 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 2351 0 0 0 16226 0 0 0 20 0 1 0 284222348 11169792 2329 33554432000 4194304 6212839 140734068820928 140734068819080 4298186 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 2727 2329 237 493 0 2232 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 20060
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 21541
/proc/meminfo: memFree=30374980/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=11164 CPUtime=222.25 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 2412 0 0 0 22225 0 0 0 20 0 1 0 284222348 11431936 2390 33554432000 4194304 6212839 140734068820928 140734068819080 4298169 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 2791 2390 237 493 0 2296 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 20316
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/180 21583
/proc/meminfo: memFree=30380996/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=11572 CPUtime=282.24 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 2560 0 0 0 28224 0 0 0 20 0 1 0 284222348 11849728 2520 33554432000 4194304 6212839 140734068820928 140734068819224 4411611 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 2893 2520 237 493 0 2398 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 20724
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/180 21607
/proc/meminfo: memFree=30377520/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=11712 CPUtime=342.23 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 2573 0 0 0 34223 0 0 0 20 0 1 0 284222348 11993088 2567 33554432000 4194304 6212839 140734068820928 140734068819080 4681551 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 2928 2567 237 493 0 2433 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 20864
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 21607
/proc/meminfo: memFree=30375540/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=11796 CPUtime=402.22 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 2619 0 0 0 40222 0 0 0 20 0 1 0 284222348 12079104 2613 33554432000 4194304 6212839 140734068820928 140734068819224 4298193 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 2949 2613 237 493 0 2454 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 20948
[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 21607
/proc/meminfo: memFree=30374796/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=11880 CPUtime=462.22 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 2624 0 0 0 46222 0 0 0 20 0 1 0 284222348 12165120 2618 33554432000 4194304 6212839 140734068820928 140734068819224 5433926 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 2970 2618 237 493 0 2475 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 21032
[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 21607
/proc/meminfo: memFree=30374176/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=11992 CPUtime=522.21 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 2641 0 0 0 52221 0 0 0 20 0 1 0 284222348 12279808 2635 33554432000 4194304 6212839 140734068820928 140734068819224 4303984 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 2998 2635 237 493 0 2503 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 21144
[startup+582.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/179 21607
/proc/meminfo: memFree=30373492/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=11992 CPUtime=582.2 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 2661 0 0 0 58220 0 0 0 20 0 1 0 284222348 12279808 2655 33554432000 4194304 6212839 140734068820928 140734068819224 4298317 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 2998 2655 237 493 0 2503 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 21144
[startup+642.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 21608
/proc/meminfo: memFree=30373368/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=11992 CPUtime=642.19 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 2661 0 0 0 64219 0 0 0 20 0 1 0 284222348 12279808 2655 33554432000 4194304 6212839 140734068820928 140734068819224 4298175 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 2998 2655 237 493 0 2503 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 21144
Solver just ended. Dumping a history of the last processes samples
[startup+652.7 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 21608
/proc/meminfo: memFree=30373368/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=11992 CPUtime=652.58 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 2661 0 0 0 65258 0 0 0 20 0 1 0 284222348 12279808 2655 33554432000 4194304 6212839 140734068820928 140734068819224 4681500 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 2998 2655 237 493 0 2503 0
Current children cumulated CPU time (s) 652.58
Current children cumulated vsize (KiB) 21144
[startup+659.1 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 21608
/proc/meminfo: memFree=30373368/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=11992 CPUtime=658.98 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 2661 0 0 0 65898 0 0 0 20 0 1 0 284222348 12279808 2655 33554432000 4194304 6212839 140734068820928 140734068819224 4685417 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 2998 2655 237 493 0 2503 0
Current children cumulated CPU time (s) 658.98
Current children cumulated vsize (KiB) 21144
[startup+665.506 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 21608
/proc/meminfo: memFree=30373368/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=11992 CPUtime=665.39 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 2661 0 0 0 66539 0 0 0 20 0 1 0 284222348 12279808 2655 33554432000 4194304 6212839 140734068820928 140734068819224 4685515 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 2998 2655 237 493 0 2503 0
Current children cumulated CPU time (s) 665.39
Current children cumulated vsize (KiB) 21144
[startup+668.7 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 21608
/proc/meminfo: memFree=30373368/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=11992 CPUtime=668.59 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 2661 0 0 0 66859 0 0 0 20 0 1 0 284222348 12279808 2655 33554432000 4194304 6212839 140734068820928 140734068819224 4685317 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 2998 2655 237 493 0 2503 0
Current children cumulated CPU time (s) 668.59
Current children cumulated vsize (KiB) 21144
[startup+670.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 21608
/proc/meminfo: memFree=30373368/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=11992 CPUtime=670.18 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 2661 0 0 0 67018 0 0 0 20 0 1 0 284222348 12279808 2655 33554432000 4194304 6212839 140734068820928 140734068819224 4685294 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 2998 2655 237 493 0 2503 0
Current children cumulated CPU time (s) 670.18
Current children cumulated vsize (KiB) 21144
[startup+671.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 21608
/proc/meminfo: memFree=30373368/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=11992 CPUtime=670.98 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 2661 0 0 0 67098 0 0 0 20 0 1 0 284222348 12279808 2655 33554432000 4194304 6212839 140734068820928 140734068819224 4685321 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 2998 2655 237 493 0 2503 0
Current children cumulated CPU time (s) 670.98
Current children cumulated vsize (KiB) 21144
[startup+671.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 21608
/proc/meminfo: memFree=30373368/32873844 swapFree=7108/7108
[pid=21538] ppid=21536 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (clasp-opt.sh) S 21536 21538 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284222348 9371648 275 33554432000 4194304 5064252 140736249823504 140736249822416 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21538/statm: 2288 275 232 213 0 73 0
[pid=21539] ppid=21538 vsize=11628 CPUtime=671.38 cores=0,2,4,6
/proc/21539/stat : 21539 (clasp-R5325) R 21538 21538 19533 0 -1 4202496 2661 0 0 0 67138 0 0 0 20 0 1 0 284222348 11907072 2587 33554432000 4194304 6212839 140734068820928 140734068819224 4664645 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/21539/statm: 2907 2587 237 493 0 2412 0
Current children cumulated CPU time (s) 671.38
Current children cumulated vsize (KiB) 20780
Child status: 10
Real time (s): 671.521
CPU time (s): 671.417
CPU user time (s): 671.407
CPU system time (s): 0.009998
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 21164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 671.407
system time used= 0.009998
maximum resident set size= 10620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3033
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= 715
runsolver used 1.01285 second user time and 2.6536 second system time
The end