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-3468648-1307080262/watcher-3468648-1307080262 -o /tmp/evaluation-result-3468648-1307080262/solver-3468648-1307080262 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468648-1307080262.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.96 2.01 2.00 2/481 6269
/proc/meminfo: memFree=27084944/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=14060 CPUtime=0 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 889 0 0 0 0 0 0 0 25 0 1 0 819628529 14397440 795 33554432000 4194304 4933572 140735260676208 18446744073709551615 212435714256 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6269/statm: 3515 798 334 181 0 524 0
[startup+0.105566 s]
/proc/loadavg: 1.96 2.01 2.00 2/481 6269
/proc/meminfo: memFree=27084944/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=16292 CPUtime=0.1 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 1723 0 0 0 10 0 0 0 25 0 1 0 819628529 16683008 1438 33554432000 4194304 4933572 140735260676208 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6269/statm: 4073 1438 375 181 0 1082 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16292
[startup+0.200548 s]
/proc/loadavg: 1.96 2.01 2.00 2/481 6269
/proc/meminfo: memFree=27084944/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=16292 CPUtime=0.19 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 1723 0 0 0 19 0 0 0 25 0 1 0 819628529 16683008 1438 33554432000 4194304 4933572 140735260676208 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6269/statm: 4073 1438 375 181 0 1082 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16292
[startup+0.30053 s]
/proc/loadavg: 1.96 2.01 2.00 2/481 6269
/proc/meminfo: memFree=27084944/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=16292 CPUtime=0.29 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 1723 0 0 0 29 0 0 0 25 0 1 0 819628529 16683008 1438 33554432000 4194304 4933572 140735260676208 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6269/statm: 4073 1438 375 181 0 1082 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16292
[startup+0.700453 s]
/proc/loadavg: 1.96 2.01 2.00 2/481 6269
/proc/meminfo: memFree=27084944/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=16424 CPUtime=0.69 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 1741 0 0 0 69 0 0 0 25 0 1 0 819628529 16818176 1456 33554432000 4194304 4933572 140735260676208 18446744073709551615 4632843 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6269/statm: 4106 1456 375 181 0 1115 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16424
[startup+1.5003 s]
/proc/loadavg: 1.96 2.01 2.00 3/482 6270
/proc/meminfo: memFree=27079024/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=17216 CPUtime=1.49 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 1937 0 0 0 149 0 0 0 25 0 1 0 819628529 17629184 1652 33554432000 4194304 4933572 140735260676208 18446744073709551615 4369056 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6269/statm: 4304 1652 375 181 0 1313 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17216
[startup+3.101 s]
/proc/loadavg: 1.96 2.01 2.00 3/482 6270
/proc/meminfo: memFree=27077396/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=18272 CPUtime=3.09 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 2187 0 0 0 309 0 0 0 25 0 1 0 819628529 18710528 1902 33554432000 4194304 4933572 140735260676208 18446744073709551615 4340878 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6269/statm: 4568 1902 375 181 0 1577 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18272
[startup+6.3004 s]
/proc/loadavg: 1.96 2.01 2.00 3/482 6270
/proc/meminfo: memFree=27074920/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=19064 CPUtime=6.29 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 2406 0 0 0 629 0 0 0 25 0 1 0 819628529 19521536 2121 33554432000 4194304 4933572 140735260676208 18446744073709551615 4718558 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6269/statm: 4766 2121 375 181 0 1775 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19064
[startup+12.7002 s]
/proc/loadavg: 1.97 2.01 2.00 3/482 6270
/proc/meminfo: memFree=27072772/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=20840 CPUtime=12.69 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 2846 0 0 0 1269 0 0 0 25 0 1 0 819628529 21340160 2561 33554432000 4194304 4933572 140735260676208 18446744073709551615 4635465 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6269/statm: 5210 2561 375 181 0 2219 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20840
[startup+25.5008 s]
/proc/loadavg: 1.97 2.01 2.00 3/482 6270
/proc/meminfo: memFree=27069296/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=23352 CPUtime=25.49 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 3469 0 0 0 2549 0 0 0 25 0 1 0 819628529 23912448 3184 33554432000 4194304 4933572 140735260676208 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6269/statm: 5838 3184 375 181 0 2847 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23352
[startup+51.1009 s]
/proc/loadavg: 1.98 2.01 2.00 3/482 6271
/proc/meminfo: memFree=27060456/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=27328 CPUtime=51.09 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 4474 0 0 0 5109 0 0 0 25 0 1 0 819628529 27983872 4189 33554432000 4194304 4933572 140735260676208 18446744073709551615 4629757 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6269/statm: 6832 4189 375 181 0 3841 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27328
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/482 6272
/proc/meminfo: memFree=27052116/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=32528 CPUtime=102.3 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 5723 0 0 0 10229 1 0 0 25 0 1 0 819628529 33308672 5438 33554432000 4194304 4933572 140735260676208 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6269/statm: 8132 5438 375 181 0 5141 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 32528
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/482 6274
/proc/meminfo: memFree=27045896/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=35756 CPUtime=162.29 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 6544 0 0 0 16228 1 0 0 25 0 1 0 819628529 36614144 6259 33554432000 4194304 4933572 140735260676208 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6269/statm: 8939 6259 375 181 0 5948 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 35756
[startup+222.319 s]
/proc/loadavg: 2.15 2.03 2.01 3/482 6276
/proc/meminfo: memFree=27041152/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=38340 CPUtime=222.31 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 7186 0 0 0 22230 1 0 0 25 0 1 0 819628529 39260160 6901 33554432000 4194304 4933572 140735260676208 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6269/statm: 9585 6901 375 181 0 6594 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 38340
[startup+282.3 s]
/proc/loadavg: 2.28 2.07 2.02 3/482 6277
/proc/meminfo: memFree=27035940/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=40076 CPUtime=282.24 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 7593 0 0 0 28223 1 0 0 25 0 1 0 819628529 41037824 7308 33554432000 4194304 4933572 140735260676208 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 10019 7308 375 181 0 7028 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 40076
[startup+342.301 s]
/proc/loadavg: 2.17 2.07 2.02 3/482 6279
/proc/meminfo: memFree=27028980/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=45200 CPUtime=342.24 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 8862 0 0 0 34223 1 0 0 25 0 1 0 819628529 46284800 8577 33554432000 4194304 4933572 140735260676208 18446744073709551615 4663992 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 11300 8577 375 181 0 8309 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 45200
[startup+402.301 s]
/proc/loadavg: 2.06 2.06 2.01 3/482 6280
/proc/meminfo: memFree=27026592/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=46656 CPUtime=402.24 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 9361 0 0 0 40223 1 0 0 25 0 1 0 819628529 47775744 8919 33554432000 4194304 4933572 140735260676208 18446744073709551615 4719090 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 11664 8919 375 181 0 8673 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 46656
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/482 6282
/proc/meminfo: memFree=27019636/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=50240 CPUtime=462.25 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 10271 0 0 0 46223 2 0 0 25 0 1 0 819628529 51445760 9829 33554432000 4194304 4933572 140735260676208 18446744073709551615 4663961 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 12560 9829 375 181 0 9569 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 50240
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 6284
/proc/meminfo: memFree=27018492/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=50240 CPUtime=522.26 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 10271 0 0 0 52224 2 0 0 25 0 1 0 819628529 51445760 9829 33554432000 4194304 4933572 140735260676208 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 12560 9829 375 181 0 9569 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 50240
[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 6285
/proc/meminfo: memFree=27017484/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=50820 CPUtime=582.26 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 10392 0 0 0 58224 2 0 0 25 0 1 0 819628529 52039680 9950 33554432000 4194304 4933572 140735260676208 18446744073709551615 4649369 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 12705 9950 375 181 0 9714 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 50820
[startup+642.3 s]
################
# More data... #
################
[startup+882.319 s]
/proc/loadavg: 2.06 2.05 2.01 3/482 6305
/proc/meminfo: memFree=26995628/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=62160 CPUtime=882.28 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 13108 0 0 0 88226 2 0 0 25 0 1 0 819628529 63651840 12666 33554432000 4194304 4933572 140735260676208 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 15540 12666 375 181 0 12549 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 62160
[startup+942.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 6307
/proc/meminfo: memFree=26992992/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=64108 CPUtime=942.27 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 13558 0 0 0 94225 2 0 0 25 0 1 0 819628529 65646592 13116 33554432000 4194304 4933572 140735260676208 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 16027 13116 375 181 0 13036 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 64108
[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 6308
/proc/meminfo: memFree=26991980/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=65196 CPUtime=1002.27 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 13824 0 0 0 100225 2 0 0 25 0 1 0 819628529 66760704 13382 33554432000 4194304 4933572 140735260676208 18446744073709551615 4637187 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 16299 13382 375 181 0 13308 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 65196
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 6310
/proc/meminfo: memFree=26991216/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=65668 CPUtime=1062.27 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 13923 0 0 0 106225 2 0 0 25 0 1 0 819628529 67244032 13481 33554432000 4194304 4933572 140735260676208 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 16417 13481 375 181 0 13426 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 65668
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 6312
/proc/meminfo: memFree=26989952/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=66420 CPUtime=1122.27 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 14101 0 0 0 112225 2 0 0 25 0 1 0 819628529 68014080 13659 33554432000 4194304 4933572 140735260676208 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 16605 13659 375 181 0 13614 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 66420
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 6313
/proc/meminfo: memFree=26988700/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=67180 CPUtime=1182.28 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 14260 0 0 0 118226 2 0 0 25 0 1 0 819628529 68792320 13818 33554432000 4194304 4933572 140735260676208 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 16795 13818 375 181 0 13804 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 67180
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 6315
/proc/meminfo: memFree=26983600/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=68932 CPUtime=1242.28 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 14697 0 0 0 124226 2 0 0 25 0 1 0 819628529 70586368 14255 33554432000 4194304 4933572 140735260676208 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 17233 14255 375 181 0 14242 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 68932
[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/482 6316
/proc/meminfo: memFree=26981708/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=70308 CPUtime=1302.28 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 15011 0 0 0 130226 2 0 0 25 0 1 0 819628529 71995392 14569 33554432000 4194304 4933572 140735260676208 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 17577 14569 375 181 0 14586 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 70308
[startup+1362.3 s]
/proc/loadavg: 2.19 2.06 2.01 3/482 6318
/proc/meminfo: memFree=26980832/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=71048 CPUtime=1362.28 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 15178 0 0 0 136226 2 0 0 25 0 1 0 819628529 72753152 14736 33554432000 4194304 4933572 140735260676208 18446744073709551615 4319400 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 17762 14736 375 181 0 14771 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 71048
[startup+1422.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/482 6320
/proc/meminfo: memFree=26979196/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=71488 CPUtime=1422.29 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 15282 0 0 0 142227 2 0 0 25 0 1 0 819628529 73203712 14840 33554432000 4194304 4933572 140735260676208 18446744073709551615 4631959 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 17872 14840 375 181 0 14881 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 71488
[startup+1482.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/482 6321
/proc/meminfo: memFree=26978672/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=71900 CPUtime=1482.29 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 15362 0 0 0 148227 2 0 0 25 0 1 0 819628529 73625600 14920 33554432000 4194304 4933572 140735260676208 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 17975 14920 375 181 0 14984 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 71900
[startup+1542.32 s]
/proc/loadavg: 2.01 2.04 2.00 3/482 6323
/proc/meminfo: memFree=26978648/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=72472 CPUtime=1542.31 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 15509 0 0 0 154229 2 0 0 25 0 1 0 819628529 74211328 15067 33554432000 4194304 4933572 140735260676208 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 18118 15067 375 181 0 15127 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 72472
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 6324
/proc/meminfo: memFree=26974656/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=76376 CPUtime=1602.29 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 16452 0 0 0 160227 2 0 0 25 0 1 0 819628529 78209024 16010 33554432000 4194304 4933572 140735260676208 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 19094 16010 375 181 0 16103 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 76376
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 6326
/proc/meminfo: memFree=26973884/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=77044 CPUtime=1662.29 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 16618 0 0 0 166227 2 0 0 25 0 1 0 819628529 78893056 16176 33554432000 4194304 4933572 140735260676208 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 19261 16176 375 181 0 16270 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 77044
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 6328
/proc/meminfo: memFree=26971884/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=77176 CPUtime=1722.29 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 16676 0 0 0 172227 2 0 0 25 0 1 0 819628529 79028224 16234 33554432000 4194304 4933572 140735260676208 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 19294 16234 375 181 0 16303 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 77176
[startup+1782.3 s]
/proc/loadavg: 1.95 2.00 1.99 3/482 6465
/proc/meminfo: memFree=27025472/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=78152 CPUtime=1782.3 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 16899 0 0 0 178228 2 0 0 25 0 1 0 819628529 80027648 16457 33554432000 4194304 4933572 140735260676208 18446744073709551615 4632060 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 19538 16457 375 181 0 16547 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 78152
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.96 2.00 1.99 3/482 6466
/proc/meminfo: memFree=27024988/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=78152 CPUtime=1800 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 16899 0 0 0 179998 2 0 0 25 0 1 0 819628529 80027648 16457 33554432000 4194304 4933572 140735260676208 18446744073709551615 4632823 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 19538 16457 375 181 0 16547 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 78152
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: 1.96 2.00 1.99 3/482 6466
/proc/meminfo: memFree=27024988/32951124 swapFree=38422276/67111528
[pid=6269] ppid=6267 vsize=78152 CPUtime=1800 cores=1,3,5,7
/proc/6269/stat : 6269 (clasp) R 6267 6269 30895 0 -1 4202496 16899 0 0 0 179998 2 0 0 25 0 1 0 819628529 80027648 16457 33554432000 4194304 4933572 140735260676208 18446744073709551615 4632823 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6269/statm: 19538 16457 375 181 0 16547 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 78152
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.03
CPU user time (s): 1800
CPU system time (s): 0.031995
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 78152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.031995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16912
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= 5
involuntary context switches= 18706
runsolver used 8.10177 second user time and 20.007 second system time
The end