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-3468187-1307109674/watcher-3468187-1307109674 -o /tmp/evaluation-result-3468187-1307109674/solver-3468187-1307109674 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468187-1307109674.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: 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.66 1.96 1.97 3/535 18576
/proc/meminfo: memFree=29135016/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=15056 CPUtime=0.01 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 1149 0 0 0 1 0 0 0 25 0 1 0 822565330 15417344 1075 33554432000 4194304 4933572 140735405500672 18446744073709551615 228244045579 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 3764 1075 329 181 0 773 0
[startup+0.0950359 s]
/proc/loadavg: 1.66 1.96 1.97 3/535 18576
/proc/meminfo: memFree=29135016/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=17124 CPUtime=0.09 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 1693 0 0 0 9 0 0 0 25 0 1 0 822565330 17534976 1602 33554432000 4194304 4933572 140735405500672 18446744073709551615 4711010 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 4281 1602 367 181 0 1290 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17124
[startup+0.101033 s]
/proc/loadavg: 1.66 1.96 1.97 3/535 18576
/proc/meminfo: memFree=29135016/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=17124 CPUtime=0.1 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 1707 0 0 0 10 0 0 0 25 0 1 0 822565330 17534976 1616 33554432000 4194304 4933572 140735405500672 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 4281 1616 367 181 0 1290 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 17124
[startup+0.301 s]
/proc/loadavg: 1.66 1.96 1.97 3/535 18576
/proc/meminfo: memFree=29135016/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=17396 CPUtime=0.3 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 1800 0 0 0 30 0 0 0 25 0 1 0 822565330 17813504 1709 33554432000 4194304 4933572 140735405500672 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 4349 1709 374 181 0 1358 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 17396
[startup+0.700928 s]
/proc/loadavg: 1.66 1.96 1.97 3/535 18576
/proc/meminfo: memFree=29135016/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=17940 CPUtime=0.7 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 1910 0 0 0 70 0 0 0 25 0 1 0 822565330 18370560 1819 33554432000 4194304 4933572 140735405500672 18446744073709551615 4649862 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 4485 1819 379 181 0 1494 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 17940
[startup+1.50079 s]
/proc/loadavg: 1.66 1.96 1.97 3/536 18577
/proc/meminfo: memFree=29127332/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=18080 CPUtime=1.5 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 1944 0 0 0 150 0 0 0 25 0 1 0 822565330 18513920 1853 33554432000 4194304 4933572 140735405500672 18446744073709551615 4713022 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 4520 1853 379 181 0 1529 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 18080
[startup+3.10051 s]
/proc/loadavg: 1.66 1.96 1.97 3/536 18577
/proc/meminfo: memFree=29125968/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=18080 CPUtime=3.1 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 1954 0 0 0 310 0 0 0 25 0 1 0 822565330 18513920 1863 33554432000 4194304 4933572 140735405500672 18446744073709551615 4718393 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 4520 1863 379 181 0 1529 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 18080
[startup+6.30094 s]
/proc/loadavg: 1.68 1.96 1.97 3/536 18577
/proc/meminfo: memFree=29125328/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=18232 CPUtime=6.3 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 1992 0 0 0 630 0 0 0 25 0 1 0 822565330 18669568 1901 33554432000 4194304 4933572 140735405500672 18446744073709551615 4718634 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 4558 1901 379 181 0 1567 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 18232
[startup+12.7008 s]
/proc/loadavg: 1.71 1.96 1.97 3/536 18577
/proc/meminfo: memFree=29123156/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=18512 CPUtime=12.7 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2068 0 0 0 1270 0 0 0 25 0 1 0 822565330 18956288 1977 33554432000 4194304 4933572 140735405500672 18446744073709551615 4718544 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 4628 1977 379 181 0 1637 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 18512
[startup+25.5006 s]
/proc/loadavg: 1.77 1.96 1.97 3/536 18578
/proc/meminfo: memFree=29123156/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=18928 CPUtime=25.5 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2164 0 0 0 2550 0 0 0 25 0 1 0 822565330 19382272 2073 33554432000 4194304 4933572 140735405500672 18446744073709551615 4710923 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 4732 2073 379 181 0 1741 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 18928
[startup+51.1011 s]
/proc/loadavg: 1.85 1.96 1.97 3/536 18578
/proc/meminfo: memFree=29122352/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=19352 CPUtime=51.1 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2268 0 0 0 5110 0 0 0 25 0 1 0 822565330 19816448 2177 33554432000 4194304 4933572 140735405500672 18446744073709551615 4319400 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 4838 2177 379 181 0 1847 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 19352
[startup+102.319 s]
/proc/loadavg: 1.93 1.97 1.97 3/536 18580
/proc/meminfo: memFree=29121704/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=20116 CPUtime=102.32 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2418 0 0 0 10232 0 0 0 25 0 1 0 822565330 20598784 2327 33554432000 4194304 4933572 140735405500672 18446744073709551615 4710923 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5029 2327 379 181 0 2038 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 20116
[startup+162.301 s]
/proc/loadavg: 2.21 2.02 1.99 3/536 18581
/proc/meminfo: memFree=29118824/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=20564 CPUtime=162.3 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2515 0 0 0 16230 0 0 0 25 0 1 0 822565330 21057536 2424 33554432000 4194304 4933572 140735405500672 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5141 2424 379 181 0 2150 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 20564
[startup+222.301 s]
/proc/loadavg: 2.15 2.03 2.00 3/536 18586
/proc/meminfo: memFree=29118840/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=21016 CPUtime=222.3 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2615 0 0 0 22230 0 0 0 25 0 1 0 822565330 21520384 2524 33554432000 4194304 4933572 140735405500672 18446744073709551615 4711305 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5254 2524 379 181 0 2263 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 21016
[startup+282.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/536 18587
/proc/meminfo: memFree=29118636/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=21164 CPUtime=282.3 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2669 0 0 0 28230 0 0 0 25 0 1 0 822565330 21671936 2578 33554432000 4194304 4933572 140735405500672 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5291 2578 379 181 0 2300 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 21164
[startup+342.301 s]
/proc/loadavg: 2.11 2.05 2.00 3/536 18589
/proc/meminfo: memFree=29118472/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=21316 CPUtime=342.3 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2702 0 0 0 34230 0 0 0 25 0 1 0 822565330 21827584 2611 33554432000 4194304 4933572 140735405500672 18446744073709551615 4718393 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5329 2611 379 181 0 2338 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 21316
[startup+402.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/536 18591
/proc/meminfo: memFree=29118196/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=21464 CPUtime=402.3 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2726 0 0 0 40230 0 0 0 25 0 1 0 822565330 21979136 2635 33554432000 4194304 4933572 140735405500672 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5366 2635 379 181 0 2375 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 21464
[startup+462.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 18592
/proc/meminfo: memFree=29117924/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=21616 CPUtime=462.3 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2761 0 0 0 46230 0 0 0 25 0 1 0 822565330 22134784 2670 33554432000 4194304 4933572 140735405500672 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5404 2670 379 181 0 2413 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 21616
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18594
/proc/meminfo: memFree=29119012/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=21764 CPUtime=522.3 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2797 0 0 0 52230 0 0 0 25 0 1 0 822565330 22286336 2706 33554432000 4194304 4933572 140735405500672 18446744073709551615 4649857 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5441 2706 379 181 0 2450 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 21764
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18595
/proc/meminfo: memFree=29118616/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=21764 CPUtime=582.31 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2798 0 0 0 58231 0 0 0 25 0 1 0 822565330 22286336 2707 33554432000 4194304 4933572 140735405500672 18446744073709551615 4713134 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5441 2707 379 181 0 2450 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 21764
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 18629
/proc/meminfo: memFree=29038868/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=22216 CPUtime=822.3 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2915 0 0 0 82230 0 0 0 25 0 1 0 822565330 22749184 2824 33554432000 4194304 4933572 140735405500672 18446744073709551615 4711225 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5554 2824 379 181 0 2563 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 22216
[startup+882.301 s]
/proc/loadavg: 2.12 2.03 2.01 3/536 18630
/proc/meminfo: memFree=29040184/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=22216 CPUtime=882.3 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2915 0 0 0 88230 0 0 0 25 0 1 0 822565330 22749184 2824 33554432000 4194304 4933572 140735405500672 18446744073709551615 4718263 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5554 2824 379 181 0 2563 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 22216
[startup+942.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/536 18632
/proc/meminfo: memFree=29040368/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=22216 CPUtime=942.31 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2918 0 0 0 94231 0 0 0 25 0 1 0 822565330 22749184 2827 33554432000 4194304 4933572 140735405500672 18446744073709551615 4718293 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5554 2827 379 181 0 2563 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 22216
[startup+1002.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/536 18634
/proc/meminfo: memFree=29026424/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=22216 CPUtime=1002.31 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2929 0 0 0 100231 0 0 0 25 0 1 0 822565330 22749184 2838 33554432000 4194304 4933572 140735405500672 18446744073709551615 4718193 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5554 2838 379 181 0 2563 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 22216
[startup+1062.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/536 18635
/proc/meminfo: memFree=29026868/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=22216 CPUtime=1062.31 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2930 0 0 0 106231 0 0 0 25 0 1 0 822565330 22749184 2839 33554432000 4194304 4933572 140735405500672 18446744073709551615 4718266 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5554 2839 379 181 0 2563 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 22216
[startup+1122.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/536 18637
/proc/meminfo: memFree=29026824/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=22216 CPUtime=1122.31 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2931 0 0 0 112231 0 0 0 25 0 1 0 822565330 22749184 2840 33554432000 4194304 4933572 140735405500672 18446744073709551615 4713126 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5554 2840 379 181 0 2563 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 22216
[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 18638
/proc/meminfo: memFree=29026652/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=22216 CPUtime=1182.31 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2932 0 0 0 118231 0 0 0 25 0 1 0 822565330 22749184 2841 33554432000 4194304 4933572 140735405500672 18446744073709551615 4718542 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5554 2841 379 181 0 2563 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 22216
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18640
/proc/meminfo: memFree=29026608/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=22364 CPUtime=1242.31 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2955 0 0 0 124231 0 0 0 25 0 1 0 822565330 22900736 2864 33554432000 4194304 4933572 140735405500672 18446744073709551615 4718304 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5591 2864 379 181 0 2600 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 22364
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18642
/proc/meminfo: memFree=29025328/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=22364 CPUtime=1302.33 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2963 0 0 0 130233 0 0 0 25 0 1 0 822565330 22900736 2872 33554432000 4194304 4933572 140735405500672 18446744073709551615 4718293 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5591 2872 379 181 0 2600 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 22364
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18643
/proc/meminfo: memFree=29027144/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=22364 CPUtime=1362.32 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2965 0 0 0 136232 0 0 0 25 0 1 0 822565330 22900736 2874 33554432000 4194304 4933572 140735405500672 18446744073709551615 4713041 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5591 2874 379 181 0 2600 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 22364
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 18645
/proc/meminfo: memFree=29027216/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=22364 CPUtime=1422.34 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2969 0 0 0 142234 0 0 0 25 0 1 0 822565330 22900736 2878 33554432000 4194304 4933572 140735405500672 18446744073709551615 4711290 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5591 2878 379 181 0 2600 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 22364
[startup+1482.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/536 18646
/proc/meminfo: memFree=29027052/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=22364 CPUtime=1482.32 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2970 0 0 0 148232 0 0 0 25 0 1 0 822565330 22900736 2879 33554432000 4194304 4933572 140735405500672 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5591 2879 379 181 0 2600 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 22364
[startup+1542.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/536 18648
/proc/meminfo: memFree=29027000/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=22516 CPUtime=1542.32 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2979 0 0 0 154232 0 0 0 25 0 1 0 822565330 23056384 2888 33554432000 4194304 4933572 140735405500672 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5629 2888 379 181 0 2638 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 22516
[startup+1602.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/536 18650
/proc/meminfo: memFree=29026832/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=22516 CPUtime=1602.32 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2980 0 0 0 160232 0 0 0 25 0 1 0 822565330 23056384 2889 33554432000 4194304 4933572 140735405500672 18446744073709551615 4710923 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5629 2889 379 181 0 2638 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 22516
[startup+1662.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/536 18651
/proc/meminfo: memFree=29026160/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=22516 CPUtime=1662.32 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2984 0 0 0 166232 0 0 0 25 0 1 0 822565330 23056384 2893 33554432000 4194304 4933572 140735405500672 18446744073709551615 4711299 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5629 2893 379 181 0 2638 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 22516
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/536 18653
/proc/meminfo: memFree=29026732/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=22516 CPUtime=1722.32 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2984 0 0 0 172232 0 0 0 25 0 1 0 822565330 23056384 2893 33554432000 4194304 4933572 140735405500672 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5629 2893 379 181 0 2638 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 22516
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 18654
/proc/meminfo: memFree=29025572/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=22516 CPUtime=1782.33 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2985 0 0 0 178233 0 0 0 25 0 1 0 822565330 23056384 2894 33554432000 4194304 4933572 140735405500672 18446744073709551615 4629757 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5629 2894 379 181 0 2638 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 22516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18655
/proc/meminfo: memFree=29026292/32951124 swapFree=58212616/67111528
[pid=18576] ppid=18574 vsize=22516 CPUtime=1800.04 cores=1,3,5,7
/proc/18576/stat : 18576 (clasp) R 18574 18576 17375 0 -1 4202496 2985 0 0 0 180004 0 0 0 25 0 1 0 822565330 23056384 2894 33554432000 4194304 4933572 140735405500672 18446744073709551615 4711064 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18576/statm: 5629 2894 379 181 0 2638 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 22516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.05
CPU user time (s): 1800.05
CPU system time (s): 0.001999
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 22516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2993
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= 8
involuntary context switches= 2991
runsolver used 8.92764 second user time and 22.0966 second system time
The end