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-3709479-1338190777/watcher-3709479-1338190777 -o /tmp/evaluation-result-3709479-1338190777/solver-3709479-1338190777 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709479-1338190777.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 26523
/proc/meminfo: memFree=30458336/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[startup+0.065185 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26523
/proc/meminfo: memFree=30458336/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100311 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26523
/proc/meminfo: memFree=30458336/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300281 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26523
/proc/meminfo: memFree=30458336/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700276 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26523
/proc/meminfo: memFree=30458336/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26525
/proc/meminfo: memFree=30455352/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=5360 CPUtime=1.49 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 1129 0 0 0 149 0 0 0 20 0 1 0 285202089 5488640 1017 33554432000 4194304 6212839 140737283702656 140737283700664 4354249 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 1340 1017 230 493 0 845 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14512
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26525
/proc/meminfo: memFree=30454120/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=5756 CPUtime=3.09 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 1235 0 0 0 309 0 0 0 20 0 1 0 285202089 5894144 1123 33554432000 4194304 6212839 140737283702656 140737283700664 4406208 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 1439 1123 230 493 0 944 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14908
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26525
/proc/meminfo: memFree=30452756/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=6416 CPUtime=6.29 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 1414 0 0 0 629 0 0 0 20 0 1 0 285202089 6569984 1302 33554432000 4194304 6212839 140737283702656 140737283700664 4685736 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 1604 1302 230 493 0 1109 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15568
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26525
/proc/meminfo: memFree=30451168/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=7244 CPUtime=12.69 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 1615 0 0 0 1269 0 0 0 20 0 1 0 285202089 7417856 1503 33554432000 4194304 6212839 140737283702656 140737283700808 4674360 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 1811 1503 230 493 0 1316 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16396
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 26528
/proc/meminfo: memFree=30449060/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=8564 CPUtime=25.48 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 1950 0 0 0 2548 0 0 0 20 0 1 0 285202089 8769536 1837 33554432000 4194304 6212839 140737283702656 140737283700664 4635202 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 2141 1837 230 493 0 1646 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17716
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 26528
/proc/meminfo: memFree=30444640/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=10552 CPUtime=51.08 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 2415 0 0 0 5108 0 0 0 20 0 1 0 285202089 10805248 2301 33554432000 4194304 6212839 140737283702656 140737283700808 4683471 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 2638 2301 230 493 0 2143 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19704
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26528
/proc/meminfo: memFree=30438692/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=13148 CPUtime=102.27 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 3090 0 0 0 10227 0 0 0 20 0 1 0 285202089 13463552 2977 33554432000 4194304 6212839 140737283702656 140737283700808 4298198 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 3287 2977 230 493 0 2792 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22300
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26528
/proc/meminfo: memFree=30434348/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=15016 CPUtime=162.26 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 3548 0 0 0 16226 0 0 0 20 0 1 0 285202089 15376384 3434 33554432000 4194304 6212839 140737283702656 140737283700808 4406467 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 3754 3434 230 493 0 3259 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 24168
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26529
/proc/meminfo: memFree=30430188/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=16532 CPUtime=222.24 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 3929 0 0 0 22224 0 0 0 20 0 1 0 285202089 16928768 3814 33554432000 4194304 6212839 140737283702656 140737283700808 4635162 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 4133 3814 230 493 0 3638 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 25684
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26529
/proc/meminfo: memFree=30428264/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=17332 CPUtime=282.24 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 4135 0 0 0 28223 1 0 0 20 0 1 0 285202089 17747968 4020 33554432000 4194304 6212839 140737283702656 140737283700808 4685449 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 4333 4020 230 493 0 3838 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 26484
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26529
/proc/meminfo: memFree=30426216/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=18280 CPUtime=342.23 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 4363 0 0 0 34222 1 0 0 20 0 1 0 285202089 18718720 4254 33554432000 4194304 6212839 140737283702656 140737283700808 4333789 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 4570 4254 230 493 0 4075 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 27432
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26529
/proc/meminfo: memFree=30424416/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=28164 CPUtime=1122.1 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 6860 0 0 0 112208 2 0 0 20 0 1 0 285202089 28839936 6737 33554432000 4194304 6212839 140737283702656 140737283700808 4634964 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 7041 6737 230 493 0 6546 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 37316
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 26535
/proc/meminfo: memFree=30409584/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=28856 CPUtime=1182.09 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 7022 0 0 0 118207 2 0 0 20 0 1 0 285202089 29548544 6899 33554432000 4194304 6212839 140737283702656 140737283700808 4685814 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 7214 6899 230 493 0 6719 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 38008
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 26538
/proc/meminfo: memFree=30408832/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=29260 CPUtime=1242.08 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 7101 0 0 0 124206 2 0 0 20 0 1 0 285202089 29962240 6978 33554432000 4194304 6212839 140737283702656 140737283700808 4635113 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 7315 6978 230 493 0 6820 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 38412
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 26561
/proc/meminfo: memFree=30408336/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=29660 CPUtime=1302.08 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 7200 0 0 0 130206 2 0 0 20 0 1 0 285202089 30371840 7077 33554432000 4194304 6212839 140737283702656 140737283700808 4685305 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 7415 7077 230 493 0 6920 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 38812
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26561
/proc/meminfo: memFree=30407164/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=30068 CPUtime=1362.06 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 7312 0 0 0 136204 2 0 0 20 0 1 0 285202089 30789632 7189 33554432000 4194304 6212839 140737283702656 140737283700808 4674443 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 7517 7189 230 493 0 7022 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 39220
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26561
/proc/meminfo: memFree=30406852/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=30340 CPUtime=1422.06 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 7374 0 0 0 142204 2 0 0 20 0 1 0 285202089 31068160 7261 33554432000 4194304 6212839 140737283702656 140737283700808 4685294 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 7585 7261 230 493 0 7090 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 39492
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26562
/proc/meminfo: memFree=30406604/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=30472 CPUtime=1482.04 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 7408 0 0 0 148202 2 0 0 20 0 1 0 285202089 31203328 7295 33554432000 4194304 6212839 140737283702656 140737283700808 4635067 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 7618 7295 230 493 0 7123 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 39624
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 26562
/proc/meminfo: memFree=30406232/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=30728 CPUtime=1542.04 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 7483 0 0 0 154202 2 0 0 20 0 1 0 285202089 31465472 7359 33554432000 4194304 6212839 140737283702656 140737283700808 4298140 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 7682 7359 230 493 0 7187 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 39880
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 26562
/proc/meminfo: memFree=30404868/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=31812 CPUtime=1602.04 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 7759 0 0 0 160201 3 0 0 20 0 1 0 285202089 32575488 7635 33554432000 4194304 6212839 140737283702656 140737283700808 4685939 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 7953 7635 230 493 0 7458 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 40964
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26562
/proc/meminfo: memFree=30403936/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=32776 CPUtime=1662.02 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 7969 0 0 0 166199 3 0 0 20 0 1 0 285202089 33562624 7852 33554432000 4194304 6212839 140737283702656 140737283700808 4356866 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 8194 7852 230 493 0 7699 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 41928
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26562
/proc/meminfo: memFree=30403192/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=33320 CPUtime=1722.02 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 8119 0 0 0 172199 3 0 0 20 0 1 0 285202089 34119680 8002 33554432000 4194304 6212839 140737283702656 140737283700808 4685372 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 8330 8002 230 493 0 7835 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 42472
[startup+1782.3 s]
/proc/loadavg: 1.78 1.95 1.98 2/172 26588
/proc/meminfo: memFree=30440796/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=34016 CPUtime=1782.01 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 8261 0 0 0 178198 3 0 0 20 0 1 0 285202089 34832384 8144 33554432000 4194304 6212839 140737283702656 140737283700808 4674348 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 8504 8144 230 493 0 8009 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 43168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.56 1.89 1.96 2/172 26588
/proc/meminfo: memFree=30440548/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=34156 CPUtime=1800.01 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 8300 0 0 0 179998 3 0 0 20 0 1 0 285202089 34975744 8183 33554432000 4194304 6212839 140737283702656 140737283700808 4635082 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 8539 8183 230 493 0 8044 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 43308
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 1.56 1.89 1.96 2/172 26588
/proc/meminfo: memFree=30440548/32873844 swapFree=7388/7388
[pid=26523] ppid=26521 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26523/stat : 26523 (clasp-opt.sh) S 26521 26523 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285202089 9371648 275 33554432000 4194304 5064252 140735330906304 140735330905216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26523/statm: 2288 275 232 213 0 73 0
[pid=26524] ppid=26523 vsize=34156 CPUtime=1800.01 cores=0,2,4,6
/proc/26524/stat : 26524 (clasp-R5325) R 26523 26523 23256 0 -1 4202496 8300 0 0 0 179998 3 0 0 20 0 1 0 285202089 34975744 8183 33554432000 4194304 6212839 140737283702656 140737283700808 4635082 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26524/statm: 8539 8183 230 493 0 8044 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 43308
Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.99
CPU system time (s): 0.031995
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 43308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.031995
maximum resident set size= 32776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8675
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= 19
involuntary context switches= 1940
runsolver used 7.19091 second user time and 18.5682 second system time
The end