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-3468569-1307074780/watcher-3468569-1307074780 -o /tmp/evaluation-result-3468569-1307074780/solver-3468569-1307074780 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468569-1307074780.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: 1.94 2.02 2.00 1/479 5567
/proc/meminfo: memFree=27101900/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=13364 CPUtime=0 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 810 0 0 0 0 0 0 0 25 0 1 0 819080328 13684736 696 33554432000 4194304 4933572 140736424316336 18446744073709551615 4378670 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5567/statm: 3341 696 367 181 0 350 0
[startup+0.102453 s]
/proc/loadavg: 1.94 2.02 2.00 1/479 5567
/proc/meminfo: memFree=27101900/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=14552 CPUtime=0.1 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 1091 0 0 0 10 0 0 0 25 0 1 0 819080328 14901248 977 33554432000 4194304 4933572 140736424316336 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5567/statm: 3638 977 374 181 0 647 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14552
[startup+0.200431 s]
/proc/loadavg: 1.94 2.02 2.00 1/479 5567
/proc/meminfo: memFree=27101900/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=14816 CPUtime=0.19 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 1176 0 0 0 19 0 0 0 25 0 1 0 819080328 15171584 1062 33554432000 4194304 4933572 140736424316336 18446744073709551615 212435677893 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5567/statm: 3704 1062 374 181 0 713 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14816
[startup+0.300412 s]
/proc/loadavg: 1.94 2.02 2.00 1/479 5567
/proc/meminfo: memFree=27101900/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=15080 CPUtime=0.29 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 1231 0 0 0 29 0 0 0 25 0 1 0 819080328 15441920 1117 33554432000 4194304 4933572 140736424316336 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5567/statm: 3770 1117 375 181 0 779 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15080
[startup+0.700337 s]
/proc/loadavg: 1.94 2.02 2.00 1/479 5567
/proc/meminfo: memFree=27101900/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=15868 CPUtime=0.69 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 1416 0 0 0 69 0 0 0 25 0 1 0 819080328 16248832 1302 33554432000 4194304 4933572 140736424316336 18446744073709551615 4717487 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5567/statm: 3967 1302 375 181 0 976 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15868
[startup+1.50019 s]
/proc/loadavg: 1.94 2.02 2.00 2/480 5569
/proc/meminfo: memFree=27097060/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=16524 CPUtime=1.49 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 1588 0 0 0 149 0 0 0 25 0 1 0 819080328 16920576 1474 33554432000 4194304 4933572 140736424316336 18446744073709551615 4717456 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5567/statm: 4131 1474 375 181 0 1140 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16524
[startup+3.10086 s]
/proc/loadavg: 1.94 2.02 2.00 3/482 5596
/proc/meminfo: memFree=27097864/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=17456 CPUtime=3.09 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 1813 0 0 0 309 0 0 0 25 0 1 0 819080328 17874944 1699 33554432000 4194304 4933572 140736424316336 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5567/statm: 4364 1699 375 181 0 1373 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17456
[startup+6.30019 s]
/proc/loadavg: 1.95 2.02 2.00 3/482 5596
/proc/meminfo: memFree=27092384/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=18508 CPUtime=6.26 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 2107 0 0 0 626 0 0 0 25 0 1 0 819080328 18952192 1993 33554432000 4194304 4933572 140736424316336 18446744073709551615 4717658 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/5567/statm: 4627 1993 375 181 0 1636 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 18508
[startup+12.7011 s]
/proc/loadavg: 1.95 2.02 2.00 3/482 5596
/proc/meminfo: memFree=27089080/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=19824 CPUtime=12.64 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 2405 0 0 0 1264 0 0 0 25 0 1 0 819080328 20299776 2291 33554432000 4194304 4933572 140736424316336 18446744073709551615 4663904 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 4956 2291 375 181 0 1965 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 19824
[startup+25.5006 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 5596
/proc/meminfo: memFree=27087972/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=20796 CPUtime=25.44 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 2654 0 0 0 2544 0 0 0 25 0 1 0 819080328 21295104 2540 33554432000 4194304 4933572 140736424316336 18446744073709551615 4319453 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 5199 2540 375 181 0 2208 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 20796
[startup+51.1008 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 5597
/proc/meminfo: memFree=27085216/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=22828 CPUtime=51.04 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 3162 0 0 0 5104 0 0 0 25 0 1 0 819080328 23375872 3048 33554432000 4194304 4933572 140736424316336 18446744073709551615 4330032 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 5707 3048 375 181 0 2716 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 22828
[startup+102.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 5598
/proc/meminfo: memFree=27080372/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=24912 CPUtime=102.25 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 3704 0 0 0 10225 0 0 0 25 0 1 0 819080328 25509888 3590 33554432000 4194304 4933572 140736424316336 18446744073709551615 4717458 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 6228 3590 375 181 0 3237 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 24912
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5600
/proc/meminfo: memFree=27077256/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=26404 CPUtime=162.24 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 4349 0 0 0 16224 0 0 0 25 0 1 0 819080328 27037696 3956 33554432000 4194304 4933572 140736424316336 18446744073709551615 4631904 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 6601 3956 375 181 0 3610 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 26404
[startup+222.318 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 5601
/proc/meminfo: memFree=27076976/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=28244 CPUtime=222.26 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 4926 0 0 0 22226 0 0 0 25 0 1 0 819080328 28921856 4389 33554432000 4194304 4933572 140736424316336 18446744073709551615 4328681 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 7061 4389 375 181 0 4070 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 28244
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 5603
/proc/meminfo: memFree=27075468/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=29240 CPUtime=282.25 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 5419 0 0 0 28225 0 0 0 25 0 1 0 819080328 29941760 4639 33554432000 4194304 4933572 140736424316336 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 7310 4639 375 181 0 4319 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 29240
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 5605
/proc/meminfo: memFree=27073960/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=30688 CPUtime=342.25 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 5820 0 0 0 34225 0 0 0 25 0 1 0 819080328 31424512 5016 33554432000 4194304 4933572 140736424316336 18446744073709551615 4632840 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 7672 5016 375 181 0 4681 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 30688
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 5606
/proc/meminfo: memFree=27072456/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=31724 CPUtime=402.25 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 6136 0 0 0 40225 0 0 0 25 0 1 0 819080328 32485376 5289 33554432000 4194304 4933572 140736424316336 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 7931 5289 375 181 0 4940 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 31724
[startup+462.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/482 5608
/proc/meminfo: memFree=27072072/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=32140 CPUtime=462.25 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 6285 0 0 0 46224 1 0 0 25 0 1 0 819080328 32911360 5369 33554432000 4194304 4933572 140736424316336 18446744073709551615 4631928 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 8035 5369 375 181 0 5044 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 32140
[startup+522.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/482 5609
/proc/meminfo: memFree=27071312/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=32308 CPUtime=522.25 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 6390 0 0 0 52224 1 0 0 25 0 1 0 819080328 33083392 5435 33554432000 4194304 4933572 140736424316336 18446744073709551615 4340876 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 8077 5435 375 181 0 5086 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 32308
[startup+582.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/482 5611
/proc/meminfo: memFree=27070680/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=33056 CPUtime=582.26 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 6632 0 0 0 58225 1 0 0 25 0 1 0 819080328 33849344 5622 33554432000 4194304 4933572 140736424316336 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 8264 5622 375 181 0 5273 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 33056
[startup+642.301 s]
################
# More data... #
################
[startup+882.318 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 5619
/proc/meminfo: memFree=27066836/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=35440 CPUtime=882.28 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 7813 0 0 0 88227 1 0 0 25 0 1 0 819080328 36290560 6217 33554432000 4194304 4933572 140736424316336 18446744073709551615 4635468 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 8860 6217 375 181 0 5869 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 35440
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 5621
/proc/meminfo: memFree=27067684/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=35064 CPUtime=942.27 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 7973 0 0 0 94226 1 0 0 25 0 1 0 819080328 35905536 6123 33554432000 4194304 4933572 140736424316336 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 8766 6123 375 181 0 5775 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 35064
[startup+1002.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/482 5622
/proc/meminfo: memFree=27067548/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=35376 CPUtime=1002.27 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 8122 0 0 0 100226 1 0 0 25 0 1 0 819080328 36225024 6201 33554432000 4194304 4933572 140736424316336 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 8844 6201 375 181 0 5853 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 35376
[startup+1062.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/482 5624
/proc/meminfo: memFree=27067040/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=35936 CPUtime=1062.28 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 8370 0 0 0 106226 2 0 0 25 0 1 0 819080328 36798464 6340 33554432000 4194304 4933572 140736424316336 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 8984 6340 375 181 0 5993 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 35936
[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 5625
/proc/meminfo: memFree=27066656/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=35936 CPUtime=1122.28 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 8370 0 0 0 112226 2 0 0 25 0 1 0 819080328 36798464 6340 33554432000 4194304 4933572 140736424316336 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 8984 6340 375 181 0 5993 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 35936
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 5627
/proc/meminfo: memFree=27066276/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=35936 CPUtime=1182.28 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 8512 0 0 0 118226 2 0 0 25 0 1 0 819080328 36798464 6340 33554432000 4194304 4933572 140736424316336 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 8984 6340 375 181 0 5993 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 35936
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5629
/proc/meminfo: memFree=27065504/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=36644 CPUtime=1242.28 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 8749 0 0 0 124226 2 0 0 25 0 1 0 819080328 37523456 6516 33554432000 4194304 4933572 140736424316336 18446744073709551615 4319477 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 9161 6516 375 181 0 6170 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 36644
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 5630
/proc/meminfo: memFree=27063744/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=37292 CPUtime=1302.28 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 8903 0 0 0 130226 2 0 0 25 0 1 0 819080328 38187008 6670 33554432000 4194304 4933572 140736424316336 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 9323 6670 375 181 0 6332 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 37292
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 5632
/proc/meminfo: memFree=27064720/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=37292 CPUtime=1362.29 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 8903 0 0 0 136227 2 0 0 25 0 1 0 819080328 38187008 6670 33554432000 4194304 4933572 140736424316336 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 9323 6670 375 181 0 6332 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 37292
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 5633
/proc/meminfo: memFree=27064316/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=37376 CPUtime=1422.29 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 8960 0 0 0 142227 2 0 0 25 0 1 0 819080328 38273024 6699 33554432000 4194304 4933572 140736424316336 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 9344 6699 375 181 0 6353 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 37376
[startup+1482.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/482 5635
/proc/meminfo: memFree=27064288/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=37376 CPUtime=1482.29 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 8960 0 0 0 148227 2 0 0 25 0 1 0 819080328 38273024 6699 33554432000 4194304 4933572 140736424316336 18446744073709551615 4717596 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 9344 6699 375 181 0 6353 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 37376
[startup+1542.32 s]
/proc/loadavg: 2.26 2.07 2.02 3/482 5637
/proc/meminfo: memFree=27064388/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=37376 CPUtime=1542.31 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 9131 0 0 0 154229 2 0 0 25 0 1 0 819080328 38273024 6699 33554432000 4194304 4933572 140736424316336 18446744073709551615 4718416 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 9344 6699 375 181 0 6353 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 37376
[startup+1602.3 s]
/proc/loadavg: 2.17 2.07 2.02 3/482 5638
/proc/meminfo: memFree=27064504/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=37376 CPUtime=1602.29 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 9244 0 0 0 160227 2 0 0 25 0 1 0 819080328 38273024 6699 33554432000 4194304 4933572 140736424316336 18446744073709551615 4717487 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 9344 6699 375 181 0 6353 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 37376
[startup+1662.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/482 5640
/proc/meminfo: memFree=27064368/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=37556 CPUtime=1662.3 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 9428 0 0 0 166227 3 0 0 25 0 1 0 819080328 38457344 6744 33554432000 4194304 4933572 140736424316336 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 9389 6744 375 181 0 6398 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 37556
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/482 5641
/proc/meminfo: memFree=27064356/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=37372 CPUtime=1722.3 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 9603 0 0 0 172227 3 0 0 25 0 1 0 819080328 38268928 6698 33554432000 4194304 4933572 140736424316336 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 9343 6698 375 181 0 6352 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 37372
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 5643
/proc/meminfo: memFree=27062360/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=37372 CPUtime=1782.3 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 9754 0 0 0 178227 3 0 0 25 0 1 0 819080328 38268928 6698 33554432000 4194304 4933572 140736424316336 18446744073709551615 4649594 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 9343 6698 375 181 0 6352 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 37372
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 5643
/proc/meminfo: memFree=27062352/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=37372 CPUtime=1800.01 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 9754 0 0 0 179998 3 0 0 25 0 1 0 819080328 38268928 6698 33554432000 4194304 4933572 140736424316336 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 9343 6698 375 181 0 6352 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 37372
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.00 2.03 2.00 3/482 5643
/proc/meminfo: memFree=27062352/32951124 swapFree=38422276/67111528
[pid=5567] ppid=5564 vsize=37372 CPUtime=1800.01 cores=0,2,4,6
/proc/5567/stat : 5567 (clasp) R 5564 5567 30895 0 -1 4202496 9754 0 0 0 179998 3 0 0 25 0 1 0 819080328 38268928 6698 33554432000 4194304 4933572 140736424316336 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5567/statm: 9343 6698 375 181 0 6352 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 37372
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.03
CPU user time (s): 1800
CPU system time (s): 0.037994
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 38300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.037994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9766
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 3618
runsolver used 8.94464 second user time and 18.9191 second system time
The end