runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3469492-1307103865/watcher-3469492-1307103865 -o /tmp/evaluation-result-3469492-1307103865/solver-3469492-1307103865 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469492-1307103865.opb --solu --heu=VSIDS
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.99 1.99 2/498 13155
/proc/meminfo: memFree=30335940/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=13064 CPUtime=0 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 703 0 0 0 0 0 0 0 24 0 1 0 821987403 13377536 620 33554432000 4194304 4933572 140735915990928 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13155/statm: 3266 620 365 181 0 275 0
[startup+0.076576 s]
/proc/loadavg: 1.92 1.99 1.99 2/498 13155
/proc/meminfo: memFree=30335940/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=13328 CPUtime=0.07 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 767 0 0 0 7 0 0 0 24 0 1 0 821987403 13647872 684 33554432000 4194304 4933572 140735915990928 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13155/statm: 3332 684 373 181 0 341 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13328
[startup+0.100569 s]
/proc/loadavg: 1.92 1.99 1.99 2/498 13155
/proc/meminfo: memFree=30335940/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=13328 CPUtime=0.09 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 778 0 0 0 9 0 0 0 24 0 1 0 821987403 13647872 695 33554432000 4194304 4933572 140735915990928 18446744073709551615 4717069 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13155/statm: 3332 695 373 181 0 341 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13328
[startup+0.300536 s]
/proc/loadavg: 1.92 1.99 1.99 2/498 13155
/proc/meminfo: memFree=30335940/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=13724 CPUtime=0.29 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 870 0 0 0 29 0 0 0 25 0 1 0 821987403 14053376 787 33554432000 4194304 4933572 140735915990928 18446744073709551615 4664031 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13155/statm: 3431 787 373 181 0 440 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13724
[startup+0.700474 s]
/proc/loadavg: 1.92 1.99 1.99 2/498 13155
/proc/meminfo: memFree=30335940/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=13988 CPUtime=0.69 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 935 0 0 0 69 0 0 0 25 0 1 0 821987403 14323712 852 33554432000 4194304 4933572 140735915990928 18446744073709551615 4632272 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13155/statm: 3497 852 373 181 0 506 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13988
[startup+1.50032 s]
/proc/loadavg: 1.92 1.99 1.99 3/499 13156
/proc/meminfo: memFree=30332372/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=14384 CPUtime=1.49 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 1024 0 0 0 149 0 0 0 25 0 1 0 821987403 14729216 941 33554432000 4194304 4933572 140735915990928 18446744073709551615 4717035 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13155/statm: 3596 941 373 181 0 605 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14384
[startup+3.10104 s]
/proc/loadavg: 1.92 1.99 1.99 3/499 13156
/proc/meminfo: memFree=30330760/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=14912 CPUtime=3.09 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 1174 0 0 0 309 0 0 0 25 0 1 0 821987403 15269888 1091 33554432000 4194304 4933572 140735915990928 18446744073709551615 4717269 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13155/statm: 3728 1091 373 181 0 737 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14912
[startup+6.30047 s]
/proc/loadavg: 2.01 2.01 2.00 3/499 13156
/proc/meminfo: memFree=30329888/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=15756 CPUtime=6.29 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 1376 0 0 0 629 0 0 0 25 0 1 0 821987403 16134144 1293 33554432000 4194304 4933572 140735915990928 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13155/statm: 3939 1293 374 181 0 948 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15756
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/499 13156
/proc/meminfo: memFree=30328016/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=16932 CPUtime=12.69 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 1690 0 0 0 1269 0 0 0 25 0 1 0 821987403 17338368 1589 33554432000 4194304 4933572 140735915990928 18446744073709551615 4632788 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13155/statm: 4233 1589 374 181 0 1242 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16932
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 13157
/proc/meminfo: memFree=30327756/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=17496 CPUtime=25.5 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 1839 0 0 0 2550 0 0 0 25 0 1 0 821987403 17915904 1738 33554432000 4194304 4933572 140735915990928 18446744073709551615 270612769551 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13155/statm: 4374 1738 374 181 0 1383 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 17496
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 13157
/proc/meminfo: memFree=30326240/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=18988 CPUtime=51.09 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 2212 0 0 0 5109 0 0 0 25 0 1 0 821987403 19443712 2093 33554432000 4194304 4933572 140735915990928 18446744073709551615 4377216 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13155/statm: 4747 2093 374 181 0 1756 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18988
[startup+102.318 s]
/proc/loadavg: 2.04 2.01 2.00 3/499 13159
/proc/meminfo: memFree=30324704/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=19776 CPUtime=102.31 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 2409 0 0 0 10231 0 0 0 25 0 1 0 821987403 20250624 2273 33554432000 4194304 4933572 140735915990928 18446744073709551615 4718548 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13155/statm: 4944 2273 374 181 0 1953 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 19776
[startup+162.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/499 13160
/proc/meminfo: memFree=30321944/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=21724 CPUtime=162.22 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 2925 0 0 0 16222 0 0 0 25 0 1 0 821987403 22245376 2773 33554432000 4194304 4933572 140735915990928 18446744073709551615 4719112 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/13155/statm: 5431 2773 374 181 0 2440 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 21724
[startup+222.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/499 13162
/proc/meminfo: memFree=30321036/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=22388 CPUtime=222.21 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3124 0 0 0 22221 0 0 0 25 0 1 0 821987403 22925312 2930 33554432000 4194304 4933572 140735915990928 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 5597 2930 374 181 0 2606 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 22388
[startup+282.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/499 13192
/proc/meminfo: memFree=30421752/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=23100 CPUtime=282.21 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3282 0 0 0 28221 0 0 0 25 0 1 0 821987403 23654400 3088 33554432000 4194304 4933572 140735915990928 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 5775 3088 374 181 0 2784 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 23100
[startup+342.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/499 13193
/proc/meminfo: memFree=30392832/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=23400 CPUtime=342.21 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3332 0 0 0 34221 0 0 0 25 0 1 0 821987403 23961600 3138 33554432000 4194304 4933572 140735915990928 18446744073709551615 4377776 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 5850 3138 374 181 0 2859 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 23400
[startup+402.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/499 13195
/proc/meminfo: memFree=30392692/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=23688 CPUtime=402.21 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3410 0 0 0 40221 0 0 0 25 0 1 0 821987403 24256512 3216 33554432000 4194304 4933572 140735915990928 18446744073709551615 4717035 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 5922 3216 374 181 0 2931 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 23688
[startup+462.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/499 13196
/proc/meminfo: memFree=30384596/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=23824 CPUtime=462.21 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3442 0 0 0 46221 0 0 0 25 0 1 0 821987403 24395776 3248 33554432000 4194304 4933572 140735915990928 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 5956 3248 374 181 0 2965 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 23824
[startup+522.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 13198
/proc/meminfo: memFree=30385424/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=23988 CPUtime=522.22 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3490 0 0 0 52222 0 0 0 25 0 1 0 821987403 24563712 3296 33554432000 4194304 4933572 140735915990928 18446744073709551615 4649567 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 5997 3296 374 181 0 3006 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 23988
[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 13200
/proc/meminfo: memFree=30321916/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=24136 CPUtime=582.22 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3521 0 0 0 58222 0 0 0 25 0 1 0 821987403 24715264 3327 33554432000 4194304 4933572 140735915990928 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 6034 3327 374 181 0 3043 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 24136
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.18 2.06 2.01 3/499 13208
/proc/meminfo: memFree=30320876/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=24748 CPUtime=882.22 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3649 0 0 0 88222 0 0 0 25 0 1 0 821987403 25341952 3455 33554432000 4194304 4933572 140735915990928 18446744073709551615 4637473 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 6187 3455 374 181 0 3196 0
Current children cumulated CPU time (s) 882.22
Current children cumulated vsize (KiB) 24748
[startup+942.301 s]
/proc/loadavg: 2.14 2.07 2.01 3/499 13209
/proc/meminfo: memFree=30320604/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=24748 CPUtime=942.23 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3659 0 0 0 94223 0 0 0 25 0 1 0 821987403 25341952 3465 33554432000 4194304 4933572 140735915990928 18446744073709551615 270612808272 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 6187 3465 374 181 0 3196 0
Current children cumulated CPU time (s) 942.23
Current children cumulated vsize (KiB) 24748
[startup+1002.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/499 13211
/proc/meminfo: memFree=30321564/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=24900 CPUtime=1002.23 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3681 0 0 0 100223 0 0 0 25 0 1 0 821987403 25497600 3487 33554432000 4194304 4933572 140735915990928 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 6225 3487 374 181 0 3234 0
Current children cumulated CPU time (s) 1002.23
Current children cumulated vsize (KiB) 24900
[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 13212
/proc/meminfo: memFree=30321164/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=24900 CPUtime=1062.23 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3681 0 0 0 106223 0 0 0 25 0 1 0 821987403 25497600 3487 33554432000 4194304 4933572 140735915990928 18446744073709551615 4664026 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 6225 3487 374 181 0 3234 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 24900
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 13214
/proc/meminfo: memFree=30321252/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=25048 CPUtime=1122.23 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3730 0 0 0 112223 0 0 0 25 0 1 0 821987403 25649152 3527 33554432000 4194304 4933572 140735915990928 18446744073709551615 4319394 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 6262 3527 374 181 0 3271 0
Current children cumulated CPU time (s) 1122.23
Current children cumulated vsize (KiB) 25048
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 13216
/proc/meminfo: memFree=30320860/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=25048 CPUtime=1182.23 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3754 0 0 0 118223 0 0 0 25 0 1 0 821987403 25649152 3551 33554432000 4194304 4933572 140735915990928 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 6262 3551 374 181 0 3271 0
Current children cumulated CPU time (s) 1182.23
Current children cumulated vsize (KiB) 25048
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 13217
/proc/meminfo: memFree=30320452/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=25160 CPUtime=1242.23 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3780 0 0 0 124223 0 0 0 25 0 1 0 821987403 25763840 3577 33554432000 4194304 4933572 140735915990928 18446744073709551615 4648618 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 6290 3577 374 181 0 3299 0
Current children cumulated CPU time (s) 1242.23
Current children cumulated vsize (KiB) 25160
[startup+1302.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/499 13219
/proc/meminfo: memFree=30319552/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=25276 CPUtime=1302.24 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3842 0 0 0 130224 0 0 0 25 0 1 0 821987403 25882624 3627 33554432000 4194304 4933572 140735915990928 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 6319 3627 374 181 0 3328 0
Current children cumulated CPU time (s) 1302.24
Current children cumulated vsize (KiB) 25276
[startup+1362.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/499 13220
/proc/meminfo: memFree=30320620/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=25276 CPUtime=1362.24 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3842 0 0 0 136224 0 0 0 25 0 1 0 821987403 25882624 3627 33554432000 4194304 4933572 140735915990928 18446744073709551615 4362110 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 6319 3627 374 181 0 3328 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 25276
[startup+1422.32 s]
/proc/loadavg: 2.04 2.04 2.00 3/499 13222
/proc/meminfo: memFree=30320464/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=25276 CPUtime=1422.26 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3842 0 0 0 142226 0 0 0 25 0 1 0 821987403 25882624 3627 33554432000 4194304 4933572 140735915990928 18446744073709551615 4631761 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 6319 3627 374 181 0 3328 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 25276
[startup+1482.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/499 13224
/proc/meminfo: memFree=30318964/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=25276 CPUtime=1482.24 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3842 0 0 0 148224 0 0 0 25 0 1 0 821987403 25882624 3627 33554432000 4194304 4933572 140735915990928 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 6319 3627 374 181 0 3328 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 25276
[startup+1542.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/499 13225
/proc/meminfo: memFree=30319292/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=25276 CPUtime=1542.24 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3842 0 0 0 154224 0 0 0 25 0 1 0 821987403 25882624 3627 33554432000 4194304 4933572 140735915990928 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 6319 3627 374 181 0 3328 0
Current children cumulated CPU time (s) 1542.24
Current children cumulated vsize (KiB) 25276
[startup+1602.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/499 13227
/proc/meminfo: memFree=30319272/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=25276 CPUtime=1602.24 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3842 0 0 0 160224 0 0 0 25 0 1 0 821987403 25882624 3627 33554432000 4194304 4933572 140735915990928 18446744073709551615 4635407 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 6319 3627 374 181 0 3328 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 25276
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 13228
/proc/meminfo: memFree=30319112/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=25276 CPUtime=1662.24 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3842 0 0 0 166224 0 0 0 25 0 1 0 821987403 25882624 3627 33554432000 4194304 4933572 140735915990928 18446744073709551615 4359769 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 6319 3627 374 181 0 3328 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 25276
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 13230
/proc/meminfo: memFree=30318828/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=25424 CPUtime=1722.25 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3865 0 0 0 172225 0 0 0 25 0 1 0 821987403 26034176 3650 33554432000 4194304 4933572 140735915990928 18446744073709551615 4631815 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 6356 3650 374 181 0 3365 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 25424
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 13232
/proc/meminfo: memFree=30318812/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=25460 CPUtime=1782.25 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3882 0 0 0 178225 0 0 0 25 0 1 0 821987403 26071040 3667 33554432000 4194304 4933572 140735915990928 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 6365 3667 374 181 0 3374 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 25460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 13232
/proc/meminfo: memFree=30319556/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=25460 CPUtime=1800.05 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3886 0 0 0 180005 0 0 0 25 0 1 0 821987403 26071040 3671 33554432000 4194304 4933572 140735915990928 18446744073709551615 4319335 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 6365 3671 374 181 0 3374 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 25460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 13232
/proc/meminfo: memFree=30319556/32951124 swapFree=53876548/67111528
[pid=13155] ppid=13153 vsize=25460 CPUtime=1800.05 cores=1,3,5,7
/proc/13155/stat : 13155 (clasp) R 13153 13155 12330 0 -1 4202496 3886 0 0 0 180005 0 0 0 25 0 1 0 821987403 26071040 3671 33554432000 4194304 4933572 140735915990928 18446744073709551615 4319335 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13155/statm: 6365 3671 374 181 0 3374 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 25460
Child status: 10
Real time (s): 1800.12
CPU time (s): 1800.07
CPU user time (s): 1800.07
CPU system time (s): 0.002999
CPU usage (%): 99.9974
Max. virtual memory (cumulated for all children) (KiB): 25556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3896
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= 10
involuntary context switches= 5996
runsolver used 8.15276 second user time and 19.704 second system time
The end