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-3711540-1338208874/watcher-3711540-1338208874 -o /tmp/evaluation-result-3711540-1338208874/solver-3711540-1338208874 -C 1800 -W 1900 -M 15500 HOME/clasp-wbo.sh HOME/instance-3711540-1338208874.wbo
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.02 2.01 2.00 2/177 15154
/proc/meminfo: memFree=29839896/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[startup+0.024739 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 15154
/proc/meminfo: memFree=29839896/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100271 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 15154
/proc/meminfo: memFree=29839896/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300241 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 15154
/proc/meminfo: memFree=29839896/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700238 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 15154
/proc/meminfo: memFree=29839896/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50028 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 15156
/proc/meminfo: memFree=29838276/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=4176 CPUtime=1.49 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 810 0 0 0 149 0 0 0 20 0 1 0 287011806 4276224 756 33554432000 4194304 6212839 140734370193056 140734370191080 4421962 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 1044 756 242 493 0 549 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13328
[startup+3.10027 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 15156
/proc/meminfo: memFree=29837532/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=4708 CPUtime=3.09 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 940 0 0 0 309 0 0 0 20 0 1 0 287011806 4820992 886 33554432000 4194304 6212839 140734370193056 140734370191064 4365426 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 1177 886 242 493 0 682 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13860
[startup+6.30027 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 15156
/proc/meminfo: memFree=29836664/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=5248 CPUtime=6.29 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 1061 0 0 0 629 0 0 0 20 0 1 0 287011806 5373952 1007 33554432000 4194304 6212839 140734370193056 140734370191208 4358155 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 1312 1007 242 493 0 817 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14400
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15156
/proc/meminfo: memFree=29834928/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=6056 CPUtime=12.69 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 1272 0 0 0 1269 0 0 0 20 0 1 0 287011806 6201344 1218 33554432000 4194304 6212839 140734370193056 140734370191064 4333825 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 1514 1218 242 493 0 1019 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15208
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15156
/proc/meminfo: memFree=29833872/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=7116 CPUtime=25.49 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 1534 0 0 0 2549 0 0 0 20 0 1 0 287011806 7286784 1480 33554432000 4194304 6212839 140734370193056 140734370191208 4363832 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 1779 1480 242 493 0 1284 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16268
[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 15156
/proc/meminfo: memFree=29828540/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=8064 CPUtime=51.08 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 1765 0 0 0 5108 0 0 0 20 0 1 0 287011806 8257536 1712 33554432000 4194304 6212839 140734370193056 140734370191208 4683420 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 2016 1712 242 493 0 1521 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17216
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15157
/proc/meminfo: memFree=29826732/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=9280 CPUtime=102.28 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 2078 0 0 0 10228 0 0 0 20 0 1 0 287011806 9502720 2030 33554432000 4194304 6212839 140734370193056 140734370191208 4686056 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 2320 2030 242 493 0 1825 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 18432
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15157
/proc/meminfo: memFree=29825616/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=10100 CPUtime=162.26 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 2276 0 0 0 16226 0 0 0 20 0 1 0 287011806 10342400 2228 33554432000 4194304 6212839 140734370193056 140734370191208 4745676 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 2525 2228 242 493 0 2030 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 19252
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15157
/proc/meminfo: memFree=29824808/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=10908 CPUtime=222.25 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 2474 0 0 0 22225 0 0 0 20 0 1 0 287011806 11169792 2435 33554432000 4194304 6212839 140734370193056 140734370191208 4355119 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 2727 2435 242 493 0 2232 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 20060
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 15157
/proc/meminfo: memFree=29824560/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=11456 CPUtime=282.24 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 2613 0 0 0 28224 0 0 0 20 0 1 0 287011806 11730944 2574 33554432000 4194304 6212839 140734370193056 140734370191208 4686078 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 2864 2574 242 493 0 2369 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 20608
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15157
/proc/meminfo: memFree=29824312/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=11876 CPUtime=342.23 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 2697 0 0 0 34223 0 0 0 20 0 1 0 287011806 12161024 2658 33554432000 4194304 6212839 140734370193056 140734370191208 4363856 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 2969 2658 242 493 0 2474 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 21028
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15158
/proc/meminfo: memFree=29823940/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=14096 CPUtime=1122.12 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 3249 0 0 0 112211 1 0 0 20 0 1 0 287011806 14434304 3216 33554432000 4194304 6212839 140734370193056 140734370191208 4329888 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 3524 3216 242 493 0 3029 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 23248
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15166
/proc/meminfo: memFree=29820332/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=14232 CPUtime=1182.11 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 3269 0 0 0 118210 1 0 0 20 0 1 0 287011806 14573568 3236 33554432000 4194304 6212839 140734370193056 140734370191208 4705742 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 3558 3236 242 493 0 3063 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 23384
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15189
/proc/meminfo: memFree=29819340/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=14364 CPUtime=1242.1 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 3289 0 0 0 124209 1 0 0 20 0 1 0 287011806 14708736 3256 33554432000 4194304 6212839 140734370193056 140734370191208 4685939 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 3591 3256 242 493 0 3096 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 23516
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15190
/proc/meminfo: memFree=29818976/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=14364 CPUtime=1302.1 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 3309 0 0 0 130209 1 0 0 20 0 1 0 287011806 14708736 3276 33554432000 4194304 6212839 140734370193056 140734370191208 4421873 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 3591 3276 242 493 0 3096 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 23516
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15190
/proc/meminfo: memFree=29819224/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=14504 CPUtime=1362.08 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 3338 0 0 0 136207 1 0 0 20 0 1 0 287011806 14852096 3305 33554432000 4194304 6212839 140734370193056 140734370191208 4329888 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 3626 3305 242 493 0 3131 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 23656
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15190
/proc/meminfo: memFree=29819224/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=14504 CPUtime=1422.08 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 3350 0 0 0 142207 1 0 0 20 0 1 0 287011806 14852096 3317 33554432000 4194304 6212839 140734370193056 140734370191208 4329888 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 3626 3317 242 493 0 3131 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 23656
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15190
/proc/meminfo: memFree=29818728/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=14648 CPUtime=1482.06 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 3378 0 0 0 148205 1 0 0 20 0 1 0 287011806 14999552 3345 33554432000 4194304 6212839 140734370193056 140734370191208 4685484 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 3662 3345 242 493 0 3167 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 23800
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15190
/proc/meminfo: memFree=29818728/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=14780 CPUtime=1542.05 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 3392 0 0 0 154204 1 0 0 20 0 1 0 287011806 15134720 3359 33554432000 4194304 6212839 140734370193056 140734370191208 4358155 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 3695 3359 242 493 0 3200 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 23932
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15191
/proc/meminfo: memFree=29818356/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=14780 CPUtime=1602.04 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 3401 0 0 0 160203 1 0 0 20 0 1 0 287011806 15134720 3368 33554432000 4194304 6212839 140734370193056 140734370191208 4685827 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 3695 3368 242 493 0 3200 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 23932
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15191
/proc/meminfo: memFree=29818604/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=14780 CPUtime=1662.03 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 3409 0 0 0 166202 1 0 0 20 0 1 0 287011806 15134720 3376 33554432000 4194304 6212839 140734370193056 140734370191208 4363792 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 3695 3376 242 493 0 3200 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 23932
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15191
/proc/meminfo: memFree=29818168/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=14912 CPUtime=1722.02 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 3432 0 0 0 172201 1 0 0 20 0 1 0 287011806 15269888 3399 33554432000 4194304 6212839 140734370193056 140734370191208 4358155 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 3728 3399 242 493 0 3233 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 24064
[startup+1782.3 s]
/proc/loadavg: 1.89 1.98 1.99 2/173 15219
/proc/meminfo: memFree=29849240/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=15064 CPUtime=1782.01 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 3461 0 0 0 178200 1 0 0 20 0 1 0 287011806 15425536 3448 33554432000 4194304 6212839 140734370193056 140734370191208 4685305 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 3766 3448 242 493 0 3271 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 24216
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.69 1.93 1.97 2/172 15219
/proc/meminfo: memFree=29849256/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=15064 CPUtime=1800.02 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 3461 0 0 0 180001 1 0 0 20 0 1 0 287011806 15425536 3448 33554432000 4194304 6212839 140734370193056 140734370191208 4300609 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 3766 3448 242 493 0 3271 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 24216
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.69 1.93 1.97 2/172 15219
/proc/meminfo: memFree=29849256/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (clasp-wbo.sh) S 15152 15154 12592 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 287011806 9371648 274 33554432000 4194304 5064252 140735778517424 140735778516336 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15154/statm: 2288 274 232 213 0 73 0
[pid=15155] ppid=15154 vsize=15064 CPUtime=1800.02 cores=0,2,4,6
/proc/15155/stat : 15155 (clasp-R5325) R 15154 15154 12592 0 -1 4202496 3461 0 0 0 180001 1 0 0 20 0 1 0 287011806 15425536 3448 33554432000 4194304 6212839 140734370193056 140734370191208 4300609 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15155/statm: 3766 3448 242 493 0 3271 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 24216
Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1800.01
CPU system time (s): 0.019996
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 24216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.019996
maximum resident set size= 13820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3832
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= 11
involuntary context switches= 1991
runsolver used 2.52961 second user time and 7.35388 second system time
The end