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-3468256-1307090369/watcher-3468256-1307090369 -o /tmp/evaluation-result-3468256-1307090369/solver-3468256-1307090369 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468256-1307090369.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
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.04 2.02 2.00 2/437 2104
/proc/meminfo: memFree=24753788/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=12440 CPUtime=0 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 534 0 0 0 0 0 0 0 25 0 1 0 801452533 12738560 468 33554432000 4194304 4933572 140735764123680 18446744073709551615 270338383744 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/2104/statm: 3110 468 377 181 0 119 0
[startup+0.111449 s]
/proc/loadavg: 2.04 2.02 2.00 2/437 2104
/proc/meminfo: memFree=24753788/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=13236 CPUtime=0.11 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 723 0 0 0 11 0 0 0 25 0 1 0 801452533 13553664 657 33554432000 4194304 4933572 140735764123680 18446744073709551615 4414963 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/2104/statm: 3309 657 384 181 0 318 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13236
[startup+0.200436 s]
/proc/loadavg: 2.04 2.02 2.00 2/437 2104
/proc/meminfo: memFree=24753788/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=13496 CPUtime=0.19 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 802 0 0 0 19 0 0 0 25 0 1 0 801452533 13819904 736 33554432000 4194304 4933572 140735764123680 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/2104/statm: 3374 736 385 181 0 383 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13496
[startup+0.300412 s]
/proc/loadavg: 2.04 2.02 2.00 2/437 2104
/proc/meminfo: memFree=24753788/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=13628 CPUtime=0.29 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 845 0 0 0 29 0 0 0 25 0 1 0 801452533 13955072 779 33554432000 4194304 4933572 140735764123680 18446744073709551615 4363392 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/2104/statm: 3407 779 385 181 0 416 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13628
[startup+0.700336 s]
/proc/loadavg: 2.04 2.02 2.00 2/437 2104
/proc/meminfo: memFree=24753788/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=14024 CPUtime=0.69 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 936 0 0 0 69 0 0 0 25 0 1 0 801452533 14360576 870 33554432000 4194304 4933572 140735764123680 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/2104/statm: 3506 870 385 181 0 515 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14024
[startup+1.50018 s]
/proc/loadavg: 2.04 2.02 2.00 3/438 2105
/proc/meminfo: memFree=24751180/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=14684 CPUtime=1.49 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 1108 0 0 0 149 0 0 0 25 0 1 0 801452533 15036416 1042 33554432000 4194304 4933572 140735764123680 18446744073709551615 4428619 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/2104/statm: 3671 1042 385 181 0 680 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14684
[startup+3.10083 s]
/proc/loadavg: 2.04 2.02 2.00 3/438 2105
/proc/meminfo: memFree=24749692/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=15344 CPUtime=3.09 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 1263 0 0 0 309 0 0 0 25 0 1 0 801452533 15712256 1197 33554432000 4194304 4933572 140735764123680 18446744073709551615 270338080224 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/2104/statm: 3836 1197 385 181 0 845 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15344
[startup+6.30023 s]
/proc/loadavg: 2.04 2.02 2.00 3/438 2105
/proc/meminfo: memFree=24748304/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=16404 CPUtime=6.29 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 1524 0 0 0 629 0 0 0 25 0 1 0 801452533 16797696 1458 33554432000 4194304 4933572 140735764123680 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/2104/statm: 4101 1458 385 181 0 1110 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16404
[startup+12.701 s]
/proc/loadavg: 2.04 2.02 2.00 3/438 2105
/proc/meminfo: memFree=24746840/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=17340 CPUtime=12.69 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 1755 0 0 0 1269 0 0 0 25 0 1 0 801452533 17756160 1689 33554432000 4194304 4933572 140735764123680 18446744073709551615 4331712 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 4335 1689 385 181 0 1344 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17340
[startup+25.5004 s]
/proc/loadavg: 2.03 2.02 2.00 3/438 2106
/proc/meminfo: memFree=24745716/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=18336 CPUtime=25.49 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 1989 0 0 0 2549 0 0 0 25 0 1 0 801452533 18776064 1923 33554432000 4194304 4933572 140735764123680 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 4584 1923 385 181 0 1593 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18336
[startup+51.1003 s]
/proc/loadavg: 2.08 2.03 2.00 3/438 2106
/proc/meminfo: memFree=24744056/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=19840 CPUtime=51.09 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 2330 0 0 0 5109 0 0 0 25 0 1 0 801452533 20316160 2264 33554432000 4194304 4933572 140735764123680 18446744073709551615 4428566 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 4960 2264 385 181 0 1969 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19840
[startup+102.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/438 2108
/proc/meminfo: memFree=24743152/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=20964 CPUtime=102.3 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 2593 0 0 0 10230 0 0 0 25 0 1 0 801452533 21467136 2527 33554432000 4194304 4933572 140735764123680 18446744073709551615 4663961 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 5241 2527 385 181 0 2250 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 20964
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/438 2109
/proc/meminfo: memFree=24740884/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=21780 CPUtime=162.3 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 2778 0 0 0 16230 0 0 0 25 0 1 0 801452533 22302720 2712 33554432000 4194304 4933572 140735764123680 18446744073709551615 4632120 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 5445 2712 385 181 0 2454 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 21780
[startup+222.316 s]
/proc/loadavg: 2.05 2.03 2.00 3/438 2111
/proc/meminfo: memFree=24740476/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=22804 CPUtime=222.32 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3003 0 0 0 22232 0 0 0 25 0 1 0 801452533 23351296 2937 33554432000 4194304 4933572 140735764123680 18446744073709551615 270338050976 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 5701 2937 385 181 0 2710 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 22804
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/438 2113
/proc/meminfo: memFree=24739836/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=23388 CPUtime=282.3 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3158 0 0 0 28230 0 0 0 25 0 1 0 801452533 23949312 3092 33554432000 4194304 4933572 140735764123680 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 5847 3092 385 181 0 2856 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23388
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 2114
/proc/meminfo: memFree=24739072/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=23852 CPUtime=342.31 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3261 0 0 0 34231 0 0 0 25 0 1 0 801452533 24424448 3195 33554432000 4194304 4933572 140735764123680 18446744073709551615 4332800 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 5963 3195 385 181 0 2972 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 23852
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2204
/proc/meminfo: memFree=24774272/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=24300 CPUtime=402.31 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3344 0 0 0 40231 0 0 0 25 0 1 0 801452533 24883200 3278 33554432000 4194304 4933572 140735764123680 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6075 3278 385 181 0 3084 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 24300
[startup+462.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/438 2205
/proc/meminfo: memFree=24771520/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=24600 CPUtime=462.31 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3437 0 0 0 46231 0 0 0 25 0 1 0 801452533 25190400 3371 33554432000 4194304 4933572 140735764123680 18446744073709551615 4340852 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6150 3371 385 181 0 3159 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 24600
[startup+522.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/438 2207
/proc/meminfo: memFree=24769384/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=24900 CPUtime=522.31 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3492 0 0 0 52231 0 0 0 25 0 1 0 801452533 25497600 3426 33554432000 4194304 4933572 140735764123680 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6225 3426 385 181 0 3234 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 24900
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2210
/proc/meminfo: memFree=24769236/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=25052 CPUtime=582.32 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3519 0 0 0 58232 0 0 0 25 0 1 0 801452533 25653248 3453 33554432000 4194304 4933572 140735764123680 18446744073709551615 4635716 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6263 3453 385 181 0 3272 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 25052
[startup+642.301 s]
################
# More data... #
################
[startup+882.316 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 2218
/proc/meminfo: memFree=24765000/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=25800 CPUtime=882.34 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3695 0 0 0 88234 0 0 0 25 0 1 0 801452533 26419200 3629 33554432000 4194304 4933572 140735764123680 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6450 3629 385 181 0 3459 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 25800
[startup+942.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/438 2219
/proc/meminfo: memFree=24764108/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=25952 CPUtime=942.33 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3736 0 0 0 94233 0 0 0 25 0 1 0 801452533 26574848 3670 33554432000 4194304 4933572 140735764123680 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6488 3670 385 181 0 3497 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 25952
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/438 2221
/proc/meminfo: memFree=24762816/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=25952 CPUtime=1002.33 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3751 0 0 0 100233 0 0 0 25 0 1 0 801452533 26574848 3685 33554432000 4194304 4933572 140735764123680 18446744073709551615 4632099 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6488 3685 385 181 0 3497 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 25952
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/438 2222
/proc/meminfo: memFree=24763292/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=25952 CPUtime=1062.34 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3761 0 0 0 106234 0 0 0 25 0 1 0 801452533 26574848 3695 33554432000 4194304 4933572 140735764123680 18446744073709551615 4363241 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6488 3695 385 181 0 3497 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 25952
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 2224
/proc/meminfo: memFree=24762768/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=26100 CPUtime=1122.34 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3779 0 0 0 112234 0 0 0 25 0 1 0 801452533 26726400 3713 33554432000 4194304 4933572 140735764123680 18446744073709551615 4330137 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6525 3713 385 181 0 3534 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 26100
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 2226
/proc/meminfo: memFree=24762248/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=26100 CPUtime=1182.34 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3794 0 0 0 118234 0 0 0 25 0 1 0 801452533 26726400 3728 33554432000 4194304 4933572 140735764123680 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6525 3728 385 181 0 3534 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 26100
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/438 2227
/proc/meminfo: memFree=24761968/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=26100 CPUtime=1242.35 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3799 0 0 0 124235 0 0 0 25 0 1 0 801452533 26726400 3733 33554432000 4194304 4933572 140735764123680 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6525 3733 385 181 0 3534 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 26100
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 2239
/proc/meminfo: memFree=24761628/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=26100 CPUtime=1302.35 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3802 0 0 0 130235 0 0 0 25 0 1 0 801452533 26726400 3736 33554432000 4194304 4933572 140735764123680 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6525 3736 385 181 0 3534 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 26100
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 2240
/proc/meminfo: memFree=24761372/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=26252 CPUtime=1362.35 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3828 0 0 0 136235 0 0 0 25 0 1 0 801452533 26882048 3762 33554432000 4194304 4933572 140735764123680 18446744073709551615 4637168 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6563 3762 385 181 0 3572 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 26252
[startup+1422.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/438 2242
/proc/meminfo: memFree=24761232/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=26552 CPUtime=1422.36 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3888 0 0 0 142236 0 0 0 25 0 1 0 801452533 27189248 3822 33554432000 4194304 4933572 140735764123680 18446744073709551615 4330162 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6638 3822 385 181 0 3647 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 26552
[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/438 2244
/proc/meminfo: memFree=24760588/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=26700 CPUtime=1482.35 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3916 0 0 0 148235 0 0 0 25 0 1 0 801452533 27340800 3850 33554432000 4194304 4933572 140735764123680 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6675 3850 385 181 0 3684 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 26700
[startup+1542.32 s]
/proc/loadavg: 2.02 2.03 2.00 3/438 2245
/proc/meminfo: memFree=24761176/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=26852 CPUtime=1542.37 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3960 0 0 0 154237 0 0 0 25 0 1 0 801452533 27496448 3894 33554432000 4194304 4933572 140735764123680 18446744073709551615 4631996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6713 3894 385 181 0 3722 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 26852
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/438 2247
/proc/meminfo: memFree=24759884/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=26852 CPUtime=1602.36 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3982 0 0 0 160236 0 0 0 25 0 1 0 801452533 27496448 3916 33554432000 4194304 4933572 140735764123680 18446744073709551615 4428016 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6713 3916 385 181 0 3722 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 26852
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2248
/proc/meminfo: memFree=24758736/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=26852 CPUtime=1662.36 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 3982 0 0 0 166236 0 0 0 25 0 1 0 801452533 27496448 3916 33554432000 4194304 4933572 140735764123680 18446744073709551615 4360906 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6713 3916 385 181 0 3722 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 26852
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/438 2250
/proc/meminfo: memFree=24758824/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=27000 CPUtime=1722.37 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 4007 0 0 0 172237 0 0 0 25 0 1 0 801452533 27648000 3941 33554432000 4194304 4933572 140735764123680 18446744073709551615 4631794 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6750 3941 385 181 0 3759 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 27000
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/438 2252
/proc/meminfo: memFree=24757676/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=27000 CPUtime=1782.37 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 4016 0 0 0 178237 0 0 0 25 0 1 0 801452533 27648000 3950 33554432000 4194304 4933572 140735764123680 18446744073709551615 4631794 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6750 3950 385 181 0 3759 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 27000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.02 2.00 3/438 2252
/proc/meminfo: memFree=24758160/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=27000 CPUtime=1800.07 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 4016 0 0 0 180007 0 0 0 25 0 1 0 801452533 27648000 3950 33554432000 4194304 4933572 140735764123680 18446744073709551615 4635418 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6750 3950 385 181 0 3759 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 27000
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.01 2.02 2.00 3/438 2252
/proc/meminfo: memFree=24758160/32951124 swapFree=50923800/67111528
[pid=2104] ppid=2102 vsize=27000 CPUtime=1800.07 cores=0,2,4,6
/proc/2104/stat : 2104 (clasp) R 2102 2104 29572 0 -1 4202496 4016 0 0 0 180007 0 0 0 25 0 1 0 801452533 27648000 3950 33554432000 4194304 4933572 140735764123680 18446744073709551615 4635418 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2104/statm: 6750 3950 385 181 0 3759 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 27000
Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.1
CPU user time (s): 1800.09
CPU system time (s): 0.009998
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 27000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.09
system time used= 0.009998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4024
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= 7
involuntary context switches= 2964
runsolver used 7.97379 second user time and 16.5905 second system time
The end