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-3463117-1307175438/watcher-3463117-1307175438 -o /tmp/evaluation-result-3463117-1307175438/solver-3463117-1307175438 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463117-1307175438.opb
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: 0.97 1.45 1.76 2/424 587
/proc/meminfo: memFree=25884388/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=10792 CPUtime=0 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 306 0 0 0 0 0 0 0 25 0 1 0 829142022 11051008 255 33554432000 134512640 137138936 4292009648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 2698 255 184 642 0 2054 0
[startup+0.0269381 s]
/proc/loadavg: 0.97 1.45 1.76 2/424 587
/proc/meminfo: memFree=25884388/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=10976 CPUtime=0.02 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 503 0 0 0 2 0 0 0 25 0 1 0 829142022 11239424 407 33554432000 134512640 137138936 4292009648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 2744 408 284 642 0 2100 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10976
[startup+0.100916 s]
/proc/loadavg: 0.97 1.45 1.76 2/424 587
/proc/meminfo: memFree=25884388/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=11504 CPUtime=0.09 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 637 0 0 0 9 0 0 0 25 0 1 0 829142022 11780096 541 33554432000 134512640 137138936 4292009648 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 2876 542 284 642 0 2232 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11504
[startup+0.300878 s]
/proc/loadavg: 0.97 1.45 1.76 2/424 587
/proc/meminfo: memFree=25884388/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=12696 CPUtime=0.29 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 920 0 0 0 29 0 0 0 25 0 1 0 829142022 13000704 824 33554432000 134512640 137138936 4292009648 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 3174 825 284 642 0 2530 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12696
[startup+0.700806 s]
/proc/loadavg: 0.97 1.45 1.76 2/424 587
/proc/meminfo: memFree=25884388/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=14552 CPUtime=0.69 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 1376 0 0 0 69 0 0 0 25 0 1 0 829142022 14901248 1280 33554432000 134512640 137138936 4292009648 18446744073709551615 134606620 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 3638 1280 284 642 0 2994 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14552
[startup+1.50067 s]
/proc/loadavg: 1.13 1.48 1.77 3/425 588
/proc/meminfo: memFree=25877188/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=16672 CPUtime=1.49 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 1912 0 0 0 149 0 0 0 25 0 1 0 829142022 17072128 1816 33554432000 134512640 137138936 4292009648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 4168 1816 284 642 0 3524 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16672
[startup+3.10037 s]
/proc/loadavg: 1.13 1.48 1.77 3/425 588
/proc/meminfo: memFree=25874616/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=17072 CPUtime=3.09 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 2008 0 0 0 308 1 0 0 25 0 1 0 829142022 17481728 1912 33554432000 134512640 137138936 4292009648 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 4268 1912 284 642 0 3624 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17072
[startup+6.3008 s]
/proc/loadavg: 1.13 1.48 1.77 3/425 588
/proc/meminfo: memFree=25873988/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=18004 CPUtime=6.3 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 2264 0 0 0 627 3 0 0 25 0 1 0 829142022 18436096 2168 33554432000 134512640 137138936 4292009648 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 4501 2168 284 642 0 3857 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 18004
[startup+12.7006 s]
/proc/loadavg: 1.27 1.50 1.77 3/425 588
/proc/meminfo: memFree=25871720/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=18668 CPUtime=12.69 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 2420 0 0 0 1264 5 0 0 25 0 1 0 829142022 19116032 2324 33554432000 134512640 137138936 4292009648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 4667 2324 284 642 0 4023 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18668
[startup+25.5003 s]
/proc/loadavg: 1.38 1.51 1.77 3/425 589
/proc/meminfo: memFree=25870660/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=20400 CPUtime=25.49 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 2833 0 0 0 2542 7 0 0 25 0 1 0 829142022 20889600 2737 33554432000 134512640 137138936 4292009648 18446744073709551615 136521046 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 5100 2737 284 642 0 4456 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20400
[startup+51.1006 s]
/proc/loadavg: 1.66 1.57 1.78 3/425 589
/proc/meminfo: memFree=25868576/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=22408 CPUtime=51.09 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 3335 0 0 0 5095 14 0 0 25 0 1 0 829142022 22945792 3239 33554432000 134512640 137138936 4292009648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 5602 3239 284 642 0 4958 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22408
[startup+102.315 s]
/proc/loadavg: 1.97 1.67 1.81 3/425 591
/proc/meminfo: memFree=25865576/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=23468 CPUtime=102.31 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 3625 0 0 0 10206 25 0 0 25 0 1 0 829142022 24031232 3529 33554432000 134512640 137138936 4292009648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 5867 3529 284 642 0 5223 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 23468
[startup+162.3 s]
/proc/loadavg: 2.15 1.76 1.83 3/425 629
/proc/meminfo: memFree=25730172/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=24796 CPUtime=162.29 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 3939 0 0 0 16193 36 0 0 25 0 1 0 829142022 25391104 3843 33554432000 134512640 137138936 4292009648 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 6199 3843 284 642 0 5555 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 24796
[startup+222.3 s]
/proc/loadavg: 2.11 1.81 1.84 3/425 631
/proc/meminfo: memFree=25643424/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=26152 CPUtime=222.3 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 4271 0 0 0 22186 44 0 0 25 0 1 0 829142022 26779648 4175 33554432000 134512640 137138936 4292009648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 6538 4175 284 642 0 5894 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 26152
[startup+282.301 s]
/proc/loadavg: 2.04 1.85 1.85 3/425 632
/proc/meminfo: memFree=25585604/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=26152 CPUtime=282.29 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 4271 0 0 0 28180 49 0 0 25 0 1 0 829142022 26779648 4175 33554432000 134512640 137138936 4292009648 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 6538 4175 284 642 0 5894 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 26152
[startup+342.301 s]
/proc/loadavg: 2.01 1.87 1.85 3/425 634
/proc/meminfo: memFree=25546016/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=26152 CPUtime=342.3 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 4271 0 0 0 34174 56 0 0 25 0 1 0 829142022 26779648 4175 33554432000 134512640 137138936 4292009648 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 6538 4175 284 642 0 5894 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 26152
[startup+402.301 s]
/proc/loadavg: 2.00 1.89 1.86 4/425 636
/proc/meminfo: memFree=25509160/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=27504 CPUtime=402.3 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 4621 0 0 0 40165 65 0 0 25 0 1 0 829142022 28164096 4525 33554432000 134512640 137138936 4292009648 18446744073709551615 136504143 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 6876 4525 284 642 0 6232 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 27504
[startup+462.301 s]
/proc/loadavg: 2.04 1.92 1.87 3/425 637
/proc/meminfo: memFree=25455920/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=27684 CPUtime=462.31 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 4681 0 0 0 46157 74 0 0 25 0 1 0 829142022 28348416 4585 33554432000 134512640 137138936 4292009648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 6921 4585 284 642 0 6277 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 27684
[startup+522.301 s]
/proc/loadavg: 2.10 1.96 1.88 3/425 639
/proc/meminfo: memFree=25428956/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=27904 CPUtime=522.3 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 4820 0 0 0 52147 83 0 0 25 0 1 0 829142022 28573696 4645 33554432000 134512640 137138936 4292009648 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 6976 4645 284 642 0 6332 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 27904
[startup+582.301 s]
/proc/loadavg: 2.03 1.97 1.89 3/425 640
/proc/meminfo: memFree=25394932/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=29548 CPUtime=582.31 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 5205 0 0 0 58142 89 0 0 25 0 1 0 829142022 30257152 5030 33554432000 134512640 137138936 4292009648 18446744073709551615 136520963 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 7387 5030 284 642 0 6743 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 29548
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=25184676/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=31180 CPUtime=1062.33 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 5629 0 0 0 106090 143 0 0 25 0 1 0 829142022 31928320 5432 33554432000 134512640 137138936 4292009648 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 7795 5432 284 642 0 7151 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 31180
[startup+1122.3 s]
/proc/loadavg: 2.13 2.06 1.95 3/425 655
/proc/meminfo: memFree=25126116/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=31180 CPUtime=1122.32 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 5629 0 0 0 112084 148 0 0 25 0 1 0 829142022 31928320 5432 33554432000 134512640 137138936 4292009648 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 7795 5432 284 642 0 7151 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 31180
[startup+1182.3 s]
/proc/loadavg: 2.13 2.06 1.95 3/425 656
/proc/meminfo: memFree=25065564/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=31180 CPUtime=1182.32 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 5629 0 0 0 118079 153 0 0 25 0 1 0 829142022 31928320 5432 33554432000 134512640 137138936 4292009648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 7795 5432 284 642 0 7151 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 31180
[startup+1242.3 s]
/proc/loadavg: 2.08 2.06 1.96 3/425 658
/proc/meminfo: memFree=25016680/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=31180 CPUtime=1242.33 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 5629 0 0 0 124072 161 0 0 25 0 1 0 829142022 31928320 5432 33554432000 134512640 137138936 4292009648 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 7795 5432 284 642 0 7151 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 31180
[startup+1302.3 s]
/proc/loadavg: 2.03 2.05 1.96 3/425 660
/proc/meminfo: memFree=24957872/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=31180 CPUtime=1302.33 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 5629 0 0 0 130066 167 0 0 25 0 1 0 829142022 31928320 5432 33554432000 134512640 137138936 4292009648 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 7795 5432 284 642 0 7151 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 31180
[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 1.96 3/425 661
/proc/meminfo: memFree=24899552/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=31180 CPUtime=1362.34 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 5629 0 0 0 136056 178 0 0 25 0 1 0 829142022 31928320 5432 33554432000 134512640 137138936 4292009648 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 7795 5432 284 642 0 7151 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 31180
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 1.96 3/425 663
/proc/meminfo: memFree=24813576/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=32772 CPUtime=1422.34 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6056 0 0 0 142050 184 0 0 25 0 1 0 829142022 33558528 5859 33554432000 134512640 137138936 4292009648 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8193 5859 284 642 0 7549 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 32772
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/425 664
/proc/meminfo: memFree=24800388/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=33120 CPUtime=1482.33 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6114 0 0 0 148042 191 0 0 25 0 1 0 829142022 33914880 5917 33554432000 134512640 137138936 4292009648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8280 5917 284 642 0 7636 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 33120
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 1.96 3/425 666
/proc/meminfo: memFree=24800480/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=33120 CPUtime=1542.34 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6124 0 0 0 154037 197 0 0 25 0 1 0 829142022 33914880 5927 33554432000 134512640 137138936 4292009648 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8280 5927 284 642 0 7636 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 33120
[startup+1602.3 s]
/proc/loadavg: 2.19 2.08 1.98 3/425 668
/proc/meminfo: memFree=24800072/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=33452 CPUtime=1602.34 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6227 0 0 0 160030 204 0 0 25 0 1 0 829142022 34254848 6030 33554432000 134512640 137138936 4292009648 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8363 6030 284 642 0 7719 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 33452
[startup+1662.3 s]
/proc/loadavg: 2.07 2.06 1.98 3/425 669
/proc/meminfo: memFree=24800156/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=33588 CPUtime=1662.34 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6263 0 0 0 166021 213 0 0 25 0 1 0 829142022 34394112 6066 33554432000 134512640 137138936 4292009648 18446744073709551615 135984561 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8397 6066 284 642 0 7753 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 33588
[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 1.98 3/425 671
/proc/meminfo: memFree=24800372/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=34040 CPUtime=1722.34 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6344 0 0 0 172012 222 0 0 25 0 1 0 829142022 34856960 6147 33554432000 134512640 137138936 4292009648 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8510 6147 284 642 0 7866 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 34040
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 1.98 3/425 672
/proc/meminfo: memFree=24799120/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=34040 CPUtime=1782.35 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6344 0 0 0 178005 230 0 0 25 0 1 0 829142022 34856960 6147 33554432000 134512640 137138936 4292009648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8510 6147 284 642 0 7866 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 34040
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.04 1.98 3/425 673
/proc/meminfo: memFree=24799988/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=34040 CPUtime=1785.54 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6344 0 0 0 178323 231 0 0 25 0 1 0 829142022 34856960 6147 33554432000 134512640 137138936 4292009648 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8510 6147 284 642 0 7866 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 34040
[startup+1791.92 s]
/proc/loadavg: 2.00 2.03 1.98 3/425 673
/proc/meminfo: memFree=24800108/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=34040 CPUtime=1791.96 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6344 0 0 0 178964 232 0 0 25 0 1 0 829142022 34856960 6147 33554432000 134512640 137138936 4292009648 18446744073709551615 134542823 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8510 6147 284 642 0 7866 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 34040
[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 1.98 3/425 673
/proc/meminfo: memFree=24800108/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=34040 CPUtime=1795.15 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6344 0 0 0 179282 233 0 0 25 0 1 0 829142022 34856960 6147 33554432000 134512640 137138936 4292009648 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8510 6147 284 642 0 7866 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 34040
[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 1.98 3/425 673
/proc/meminfo: memFree=24800108/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=34040 CPUtime=1796.74 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6344 0 0 0 179441 233 0 0 25 0 1 0 829142022 34856960 6147 33554432000 134512640 137138936 4292009648 18446744073709551615 134542537 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8510 6147 284 642 0 7866 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 34040
[startup+1797.5 s]
/proc/loadavg: 2.00 2.03 1.98 3/425 673
/proc/meminfo: memFree=24799860/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=34040 CPUtime=1797.54 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6344 0 0 0 179521 233 0 0 25 0 1 0 829142022 34856960 6147 33554432000 134512640 137138936 4292009648 18446744073709551615 136296964 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8510 6147 284 642 0 7866 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 34040
[startup+1797.9 s]
/proc/loadavg: 2.00 2.03 1.98 3/425 673
/proc/meminfo: memFree=24799860/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=34040 CPUtime=1797.94 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6344 0 0 0 179561 233 0 0 25 0 1 0 829142022 34856960 6147 33554432000 134512640 137138936 4292009648 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8510 6147 284 642 0 7866 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 34040
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798
CPU user time (s): 1795.66
CPU system time (s): 2.33864
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 34040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.66
system time used= 2.33864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6344
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= 3104
runsolver used 7.29689 second user time and 17.2174 second system time
The end