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-3478789-1307440404/watcher-3478789-1307440404 -o /tmp/evaluation-result-3478789-1307440404/solver-3478789-1307440404 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3478789-1307440404.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.17 2.05 1.96 2/575 23103
/proc/meminfo: memFree=23267776/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=22348 CPUtime=0 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 3295 0 0 0 0 0 0 0 23 0 1 0 855638234 22884352 2857 33554432000 4194304 4933572 140736613224240 18446744073709551615 212687336133 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 5587 2857 333 181 0 2596 0
[startup+0.051823 s]
/proc/loadavg: 2.17 2.05 1.96 2/575 23103
/proc/meminfo: memFree=23267776/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 4473 0 0 0 4 0 0 0 23 0 1 0 855638234 27029504 3864 33554432000 4194304 4933572 140736613224240 18446744073709551615 4579839 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 6648 3865 333 181 0 3657 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26396
[startup+0.100843 s]
/proc/loadavg: 2.17 2.05 1.96 2/575 23103
/proc/meminfo: memFree=23267776/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=31840 CPUtime=0.09 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 6108 0 0 0 9 0 0 0 23 0 1 0 855638234 32604160 5197 33554432000 4194304 4933572 140736613224240 18446744073709551615 212687675136 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 7960 5197 333 181 0 4969 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31840
[startup+0.300807 s]
/proc/loadavg: 2.17 2.05 1.96 2/575 23103
/proc/meminfo: memFree=23267776/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=53064 CPUtime=0.29 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 12543 0 0 0 28 1 0 0 25 0 1 0 855638234 54337536 10347 33554432000 4194304 4933572 140736613224240 18446744073709551615 212687336133 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 13266 10349 333 181 0 10275 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53064
[startup+0.700745 s]
/proc/loadavg: 2.17 2.05 1.96 2/575 23103
/proc/meminfo: memFree=23267776/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=94432 CPUtime=0.69 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 24969 0 0 0 66 3 0 0 25 0 1 0 855638234 96698368 20493 33554432000 4194304 4933572 140736613224240 18446744073709551615 212687336133 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 23608 20493 333 181 0 20617 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 94432
[startup+1.50057 s]
/proc/loadavg: 2.16 2.05 1.96 3/576 23104
/proc/meminfo: memFree=23143512/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=143920 CPUtime=1.48 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 37731 0 0 0 144 4 0 0 25 0 1 0 855638234 147374080 32784 33554432000 4194304 4933572 140736613224240 18446744073709551615 4665678 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 35980 32784 348 181 0 32989 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 143920
[startup+3.10026 s]
/proc/loadavg: 2.16 2.05 1.96 3/576 23104
/proc/meminfo: memFree=23123424/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=154364 CPUtime=3.08 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 42209 0 0 0 303 5 0 0 25 0 1 0 855638234 158068736 35290 33554432000 4194304 4933572 140736613224240 18446744073709551615 4648693 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 38591 35290 374 181 0 35600 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 154364
[startup+6.30071 s]
/proc/loadavg: 2.16 2.05 1.96 3/576 23104
/proc/meminfo: memFree=23124296/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=154364 CPUtime=6.29 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 42209 0 0 0 624 5 0 0 25 0 1 0 855638234 158068736 35290 33554432000 4194304 4933572 140736613224240 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 38591 35290 374 181 0 35600 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 154364
[startup+12.7005 s]
/proc/loadavg: 2.29 2.08 1.97 3/576 23104
/proc/meminfo: memFree=23123688/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=154364 CPUtime=12.69 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 42214 0 0 0 1264 5 0 0 25 0 1 0 855638234 158068736 35295 33554432000 4194304 4933572 140736613224240 18446744073709551615 4340895 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 38591 35295 376 181 0 35600 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 154364
[startup+25.5012 s]
/proc/loadavg: 2.25 2.08 1.97 3/576 23105
/proc/meminfo: memFree=23122832/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=154364 CPUtime=25.5 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 42219 0 0 0 2544 6 0 0 25 0 1 0 855638234 158068736 35300 33554432000 4194304 4933572 140736613224240 18446744073709551615 4648641 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 38591 35300 376 181 0 35600 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 154364
[startup+51.1005 s]
/proc/loadavg: 2.31 2.10 1.98 4/576 23105
/proc/meminfo: memFree=23118940/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=154364 CPUtime=51.09 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 42239 0 0 0 5103 6 0 0 25 0 1 0 855638234 158068736 35320 33554432000 4194304 4933572 140736613224240 18446744073709551615 4648920 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 38591 35320 376 181 0 35600 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 154364
[startup+102.322 s]
/proc/loadavg: 2.24 2.12 1.99 3/576 23107
/proc/meminfo: memFree=23115344/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=154364 CPUtime=102.32 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 42239 0 0 0 10226 6 0 0 25 0 1 0 855638234 158068736 35320 33554432000 4194304 4933572 140736613224240 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 38591 35320 376 181 0 35600 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 154364
[startup+162.3 s]
/proc/loadavg: 2.09 2.09 1.99 3/576 23108
/proc/meminfo: memFree=23107976/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=157456 CPUtime=162.3 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 42994 0 0 0 16224 6 0 0 25 0 1 0 855638234 161234944 36075 33554432000 4194304 4933572 140736613224240 18446744073709551615 4710971 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 39364 36075 376 181 0 36373 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 157456
[startup+222.3 s]
/proc/loadavg: 2.03 2.07 1.99 3/576 23110
/proc/meminfo: memFree=23106312/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=159084 CPUtime=222.3 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 43346 0 0 0 22224 6 0 0 25 0 1 0 855638234 162902016 36427 33554432000 4194304 4933572 140736613224240 18446744073709551615 4649369 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 39771 36427 376 181 0 36780 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 159084
[startup+282.3 s]
/proc/loadavg: 2.01 2.06 1.99 3/576 23112
/proc/meminfo: memFree=23103536/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=161068 CPUtime=282.3 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 43770 0 0 0 28224 6 0 0 25 0 1 0 855638234 164933632 36851 33554432000 4194304 4933572 140736613224240 18446744073709551615 4648697 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 40267 36851 376 181 0 37276 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 161068
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 1.99 3/576 23113
/proc/meminfo: memFree=23099412/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=162984 CPUtime=342.3 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 44229 0 0 0 34224 6 0 0 25 0 1 0 855638234 166895616 37310 33554432000 4194304 4933572 140736613224240 18446744073709551615 4319331 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 40746 37310 376 181 0 37755 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 162984
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/576 23115
/proc/meminfo: memFree=23096892/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=164356 CPUtime=402.3 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 44528 0 0 0 40224 6 0 0 25 0 1 0 855638234 168300544 37609 33554432000 4194304 4933572 140736613224240 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 41089 37609 376 181 0 38098 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 164356
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/576 23125
/proc/meminfo: memFree=23096076/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=165164 CPUtime=462.3 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 44685 0 0 0 46224 6 0 0 25 0 1 0 855638234 169127936 37766 33554432000 4194304 4933572 140736613224240 18446744073709551615 4319413 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 41291 37766 376 181 0 38300 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 165164
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 1.99 3/576 23127
/proc/meminfo: memFree=23094460/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=166392 CPUtime=522.3 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 44969 0 0 0 52224 6 0 0 25 0 1 0 855638234 170385408 38050 33554432000 4194304 4933572 140736613224240 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 41598 38050 376 181 0 38607 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 166392
[startup+582.301 s]
/proc/loadavg: 2.13 2.05 2.00 3/576 23129
/proc/meminfo: memFree=23093312/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=167348 CPUtime=582.3 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 45200 0 0 0 58224 6 0 0 25 0 1 0 855638234 171364352 38281 33554432000 4194304 4933572 140736613224240 18446744073709551615 4648673 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 41837 38281 376 181 0 38846 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 167348
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 2.06 2.00 3/576 23138
/proc/meminfo: memFree=23084140/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=173472 CPUtime=822.31 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 46538 0 0 0 82224 7 0 0 25 0 1 0 855638234 177635328 39619 33554432000 4194304 4933572 140736613224240 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 43368 39619 376 181 0 40377 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 173472
[startup+882.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/576 23140
/proc/meminfo: memFree=23083232/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=174160 CPUtime=882.31 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 46678 0 0 0 88224 7 0 0 25 0 1 0 855638234 178339840 39759 33554432000 4194304 4933572 140736613224240 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 43540 39759 376 181 0 40549 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 174160
[startup+942.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 23141
/proc/meminfo: memFree=23080960/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=175168 CPUtime=942.31 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 46886 0 0 0 94224 7 0 0 25 0 1 0 855638234 179372032 39967 33554432000 4194304 4933572 140736613224240 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 43792 39967 376 181 0 40801 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 175168
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 23143
/proc/meminfo: memFree=23079436/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=176516 CPUtime=1002.32 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 47208 0 0 0 100224 8 0 0 25 0 1 0 855638234 180752384 40289 33554432000 4194304 4933572 140736613224240 18446744073709551615 4649417 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 44129 40289 376 181 0 41138 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 176516
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 23144
/proc/meminfo: memFree=23077900/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=178296 CPUtime=1062.33 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 47603 0 0 0 106225 8 0 0 25 0 1 0 855638234 182575104 40684 33554432000 4194304 4933572 140736613224240 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 44574 40684 376 181 0 41583 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 178296
[startup+1122.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/576 23146
/proc/meminfo: memFree=23076368/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=179352 CPUtime=1122.33 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 47858 0 0 0 112225 8 0 0 25 0 1 0 855638234 183656448 40939 33554432000 4194304 4933572 140736613224240 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 44838 40939 376 181 0 41847 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 179352
[startup+1182.3 s]
/proc/loadavg: 2.17 2.08 2.02 3/576 23148
/proc/meminfo: memFree=23076080/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=180044 CPUtime=1182.33 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 47986 0 0 0 118225 8 0 0 25 0 1 0 855638234 184365056 41067 33554432000 4194304 4933572 140736613224240 18446744073709551615 4319377 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 45011 41067 376 181 0 42020 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 180044
[startup+1242.3 s]
/proc/loadavg: 2.15 2.09 2.02 3/576 23149
/proc/meminfo: memFree=23075552/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=180676 CPUtime=1242.33 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 48131 0 0 0 124225 8 0 0 25 0 1 0 855638234 185012224 41212 33554432000 4194304 4933572 140736613224240 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 45169 41212 376 181 0 42178 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 180676
[startup+1302.3 s]
/proc/loadavg: 2.05 2.07 2.02 3/576 23178
/proc/meminfo: memFree=23088852/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=180996 CPUtime=1302.34 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 48218 0 0 0 130226 8 0 0 25 0 1 0 855638234 185339904 41299 33554432000 4194304 4933572 140736613224240 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 45249 41299 376 181 0 42258 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 180996
[startup+1362.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/576 23179
/proc/meminfo: memFree=23083968/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=181248 CPUtime=1362.33 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 48283 0 0 0 136225 8 0 0 25 0 1 0 855638234 185597952 41364 33554432000 4194304 4933572 140736613224240 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 45312 41364 376 181 0 42321 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 181248
[startup+1422.32 s]
/proc/loadavg: 2.00 2.04 2.01 3/576 23181
/proc/meminfo: memFree=23079708/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=181500 CPUtime=1422.35 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 48345 0 0 0 142227 8 0 0 25 0 1 0 855638234 185856000 41426 33554432000 4194304 4933572 140736613224240 18446744073709551615 4648668 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 45375 41426 376 181 0 42384 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 181500
[startup+1482.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/576 23183
/proc/meminfo: memFree=23077796/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=181836 CPUtime=1482.33 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 48433 0 0 0 148225 8 0 0 25 0 1 0 855638234 186200064 41514 33554432000 4194304 4933572 140736613224240 18446744073709551615 4648690 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 45459 41514 376 181 0 42468 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 181836
[startup+1542.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/576 23184
/proc/meminfo: memFree=23075996/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=182260 CPUtime=1542.33 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 48511 0 0 0 154225 8 0 0 25 0 1 0 855638234 186634240 41592 33554432000 4194304 4933572 140736613224240 18446744073709551615 4648403 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 45565 41592 376 181 0 42574 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 182260
[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/576 23186
/proc/meminfo: memFree=23072612/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=183156 CPUtime=1602.33 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 48714 0 0 0 160225 8 0 0 25 0 1 0 855638234 187551744 41795 33554432000 4194304 4933572 140736613224240 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 45789 41795 376 181 0 42798 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 183156
[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/576 23187
/proc/meminfo: memFree=23069076/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=183704 CPUtime=1662.34 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 48875 0 0 0 166225 9 0 0 25 0 1 0 855638234 188112896 41956 33554432000 4194304 4933572 140736613224240 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 45926 41956 376 181 0 42935 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 183704
[startup+1722.3 s]
/proc/loadavg: 2.15 2.08 2.02 3/576 23189
/proc/meminfo: memFree=23067916/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=184464 CPUtime=1722.35 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 49061 0 0 0 172226 9 0 0 25 0 1 0 855638234 188891136 42142 33554432000 4194304 4933572 140736613224240 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 46116 42142 376 181 0 43125 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 184464
[startup+1782.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/576 23191
/proc/meminfo: memFree=23065400/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=184992 CPUtime=1782.35 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 49174 0 0 0 178226 9 0 0 25 0 1 0 855638234 189431808 42255 33554432000 4194304 4933572 140736613224240 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 46248 42255 376 181 0 43257 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 184992
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.06 2.01 3/576 23191
/proc/meminfo: memFree=23065152/32951124 swapFree=58940260/67111528
[pid=23103] ppid=23101 vsize=185308 CPUtime=1800.06 cores=0,2,4,6
/proc/23103/stat : 23103 (clasp) R 23101 23103 22845 0 -1 4202496 49215 0 0 0 179997 9 0 0 25 0 1 0 855638234 189755392 42296 33554432000 4194304 4933572 140736613224240 18446744073709551615 4649190 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/23103/statm: 46327 42296 376 181 0 43336 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 185308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1799.98
CPU system time (s): 0.100984
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 185308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49228
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= 4928
runsolver used 11.1373 second user time and 23.2575 second system time
The end