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-3709647-1338179706/watcher-3709647-1338179706 -o /tmp/evaluation-result-3709647-1338179706/solver-3709647-1338179706 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709647-1338179706.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18056
/proc/meminfo: memFree=29657748/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[startup+0.0262629 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18056
/proc/meminfo: memFree=29657748/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100281 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18056
/proc/meminfo: memFree=29657748/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300254 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18056
/proc/meminfo: memFree=29657748/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.70025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18056
/proc/meminfo: memFree=29657748/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18058
/proc/meminfo: memFree=29653872/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=6372 CPUtime=1.49 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 1392 0 0 0 149 0 0 0 20 0 1 0 284094743 6524928 1298 33554432000 4194304 6212839 140736003203664 140736003201672 4307897 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 1593 1298 237 493 0 1098 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15524
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18058
/proc/meminfo: memFree=29652632/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=7296 CPUtime=3.09 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 1597 0 0 0 309 0 0 0 20 0 1 0 284094743 7471104 1503 33554432000 4194304 6212839 140736003203664 140736003201672 4685809 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 1824 1503 237 493 0 1329 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16448
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18058
/proc/meminfo: memFree=29651004/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=8500 CPUtime=6.29 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 1894 0 0 0 629 0 0 0 20 0 1 0 284094743 8704000 1800 33554432000 4194304 6212839 140736003203664 140736003201960 4685291 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 2125 1800 237 493 0 1630 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17652
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 18058
/proc/meminfo: memFree=29648944/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=9744 CPUtime=12.69 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 2225 0 0 0 1269 0 0 0 20 0 1 0 284094743 9977856 2131 33554432000 4194304 6212839 140736003203664 140736003201672 4298175 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 2436 2131 237 493 0 1941 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18896
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 18059
/proc/meminfo: memFree=29646596/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=11240 CPUtime=25.49 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 2579 0 0 0 2549 0 0 0 20 0 1 0 284094743 11509760 2478 33554432000 4194304 6212839 140736003203664 140736003201960 4307552 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 2810 2478 237 493 0 2315 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20392
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18059
/proc/meminfo: memFree=29644604/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=13336 CPUtime=51.08 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 3160 0 0 0 5108 0 0 0 20 0 1 0 284094743 13656064 2988 33554432000 4194304 6212839 140736003203664 140736003201816 4685444 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 3334 2988 237 493 0 2839 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22488
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 18059
/proc/meminfo: memFree=29636264/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=14976 CPUtime=102.28 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 3630 0 0 0 10228 0 0 0 20 0 1 0 284094743 15335424 3429 33554432000 4194304 6212839 140736003203664 140736003201960 4357027 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 3744 3429 237 493 0 3249 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 24128
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 18059
/proc/meminfo: memFree=29629784/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=16884 CPUtime=162.26 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 4175 0 0 0 16226 0 0 0 20 0 1 0 284094743 17289216 3898 33554432000 4194304 6212839 140736003203664 140736003201960 4298171 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 4221 3898 237 493 0 3726 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 26036
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18059
/proc/meminfo: memFree=29627428/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=18116 CPUtime=222.25 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 4437 0 0 0 22225 0 0 0 20 0 1 0 284094743 18550784 4157 33554432000 4194304 6212839 140736003203664 140736003201960 4681500 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 4529 4157 237 493 0 4034 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 27268
[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.00 4/179 18059
/proc/meminfo: memFree=29611536/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=19444 CPUtime=282.24 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 4783 0 0 0 28224 0 0 0 20 0 1 0 284094743 19910656 4477 33554432000 4194304 6212839 140736003203664 140736003201816 4298202 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 4861 4477 237 493 0 4366 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 28596
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 18063
/proc/meminfo: memFree=29607668/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=20084 CPUtime=342.23 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 5114 0 0 0 34223 0 0 0 20 0 1 0 284094743 20566016 4671 33554432000 4194304 6212839 140736003203664 140736003201816 4307907 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 5021 4671 237 493 0 4526 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 29236
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18063
/proc/meminfo: memFree=29606932/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=27024 CPUtime=1122.1 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 8070 0 0 0 112209 1 0 0 20 0 1 0 284094743 27672576 6364 33554432000 4194304 6212839 140736003203664 140736003201960 4333776 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 6756 6364 237 493 0 6261 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 36176
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18108
/proc/meminfo: memFree=29831868/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=27216 CPUtime=1182.1 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 8410 0 0 0 118208 2 0 0 20 0 1 0 284094743 27869184 6486 33554432000 4194304 6212839 140736003203664 140736003201960 4661283 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 6804 6486 237 493 0 6309 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 36368
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18108
/proc/meminfo: memFree=29828152/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=27400 CPUtime=1242.09 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 8739 0 0 0 124207 2 0 0 20 0 1 0 284094743 28057600 6527 33554432000 4194304 6212839 140736003203664 140736003201960 4307645 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 6850 6527 237 493 0 6355 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 36552
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18109
/proc/meminfo: memFree=29826220/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=27568 CPUtime=1302.09 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 9078 0 0 0 130207 2 0 0 20 0 1 0 284094743 28229632 6566 33554432000 4194304 6212839 140736003203664 140736003201960 4674525 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 6892 6566 237 493 0 6397 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 36720
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18109
/proc/meminfo: memFree=29825972/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=27844 CPUtime=1362.07 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 9161 0 0 0 136205 2 0 0 20 0 1 0 284094743 28512256 6610 33554432000 4194304 6212839 140736003203664 140736003201672 5437001 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 6961 6610 237 493 0 6466 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 36996
[startup+1422.31 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 18109
/proc/meminfo: memFree=29822004/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=28012 CPUtime=1422.07 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 9400 0 0 0 142205 2 0 0 20 0 1 0 284094743 28684288 6676 33554432000 4194304 6212839 140736003203664 140736003201960 4356934 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 7003 6676 237 493 0 6508 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 37164
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 18109
/proc/meminfo: memFree=29819088/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=28912 CPUtime=1482.05 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 10167 0 0 0 148203 2 0 0 20 0 1 0 284094743 29605888 6921 33554432000 4194304 6212839 140736003203664 140736003201960 4674608 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 7228 6921 237 493 0 6733 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 38064
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 18112
/proc/meminfo: memFree=29818260/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=29128 CPUtime=1542.03 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 10407 0 0 0 154201 2 0 0 20 0 1 0 284094743 29827072 6955 33554432000 4194304 6212839 140736003203664 140736003201672 4683395 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 7282 6955 237 493 0 6787 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 38280
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18136
/proc/meminfo: memFree=29816964/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=29188 CPUtime=1602.03 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 10560 0 0 0 160200 3 0 0 20 0 1 0 284094743 29888512 6958 33554432000 4194304 6212839 140736003203664 140736003201816 4685264 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 7297 6958 237 493 0 6802 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 38340
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18136
/proc/meminfo: memFree=29813808/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=29188 CPUtime=1662.02 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 10560 0 0 0 166199 3 0 0 20 0 1 0 284094743 29888512 6958 33554432000 4194304 6212839 140736003203664 140736003201816 4685814 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 7297 6958 237 493 0 6802 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 38340
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18136
/proc/meminfo: memFree=29809900/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=29356 CPUtime=1722.01 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 11438 0 0 0 172198 3 0 0 20 0 1 0 284094743 30060544 7027 33554432000 4194304 6212839 140736003203664 140736003201960 4298171 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 7339 7027 237 493 0 6844 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 38508
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 18136
/proc/meminfo: memFree=29809528/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=29788 CPUtime=1782 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 11880 0 0 0 178197 3 0 0 20 0 1 0 284094743 30502912 7109 33554432000 4194304 6212839 140736003203664 140736003201672 4298129 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 7447 7109 237 493 0 6952 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 38940
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 18136
/proc/meminfo: memFree=29809652/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=29772 CPUtime=1800.01 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 12119 0 0 0 179997 4 0 0 20 0 1 0 284094743 30486528 7114 33554432000 4194304 6212839 140736003203664 140736003201672 4674862 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 7443 7114 237 493 0 6948 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 38924
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.04 2.01 2.00 3/179 18136
/proc/meminfo: memFree=29809652/32873648 swapFree=7368/7368
[pid=18056] ppid=18054 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18056/stat : 18056 (clasp-opt.sh) S 18054 18056 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284094743 9371648 274 33554432000 4194304 5064252 140737020984496 140737020983408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18056/statm: 2288 274 232 213 0 73 0
[pid=18057] ppid=18056 vsize=29772 CPUtime=1800.01 cores=0,2,4,6
/proc/18057/stat : 18057 (clasp-R5325) R 18056 18056 15493 0 -1 4202496 12119 0 0 0 179997 4 0 0 20 0 1 0 284094743 30486528 7114 33554432000 4194304 6212839 140736003203664 140736003201672 4674862 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18057/statm: 7443 7114 237 493 0 6948 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 38924
Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.97
CPU system time (s): 0.042993
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 38944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.042993
maximum resident set size= 28488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12491
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= 17
involuntary context switches= 1961
runsolver used 7.71183 second user time and 18.4452 second system time
The end