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-3462780-1307182816/watcher-3462780-1307182816 -o /tmp/evaluation-result-3462780-1307182816/solver-3462780-1307182816 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462780-1307182816.opb
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.00 2.02 2.00 3/424 1515
/proc/meminfo: memFree=25871552/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/1515/stat : 1515 (runsolver) R 1513 1515 31765 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 829879864 12079104 51 33554432000 4194304 5432328 140734707041072 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/1515/statm: 2949 51 31 303 0 2643 0
[startup+0.0496331 s]
/proc/loadavg: 2.00 2.02 2.00 3/424 1515
/proc/meminfo: memFree=25871552/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=16808 CPUtime=0.04 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 1739 0 0 0 4 0 0 0 25 0 1 0 829879864 17211392 1694 33554432000 134512640 137138936 4288075648 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 4202 1695 229 642 0 3456 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16808
[startup+0.100615 s]
/proc/loadavg: 2.00 2.02 2.00 3/424 1515
/proc/meminfo: memFree=25871552/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=26948 CPUtime=0.08 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 4428 0 0 0 8 0 0 0 25 0 1 0 829879864 27594752 4241 33554432000 134512640 137138936 4288075648 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 6770 4247 183 642 0 6126 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26948
[startup+0.300588 s]
/proc/loadavg: 2.00 2.02 2.00 3/424 1515
/proc/meminfo: memFree=25871552/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=28704 CPUtime=0.28 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 4821 0 0 0 28 0 0 0 25 0 1 0 829879864 29392896 4634 33554432000 134512640 137138936 4288075648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 7176 4634 185 642 0 6532 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 28704
[startup+0.700502 s]
/proc/loadavg: 2.00 2.02 2.00 3/424 1515
/proc/meminfo: memFree=25871552/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=31212 CPUtime=0.68 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 5897 0 0 0 66 2 0 0 25 0 1 0 829879864 31961088 5262 33554432000 134512640 137138936 4288075648 18446744073709551615 134551474 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 7803 5262 192 642 0 7159 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 31212
[startup+1.50038 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1516
/proc/meminfo: memFree=25847732/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=38044 CPUtime=1.48 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 7605 0 0 0 146 2 0 0 25 0 1 0 829879864 38957056 6970 33554432000 134512640 137138936 4288075648 18446744073709551615 136501668 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 9511 6970 192 642 0 8867 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 38044
[startup+3.1011 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1516
/proc/meminfo: memFree=25837432/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=51844 CPUtime=3.09 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 11052 0 0 0 306 3 0 0 25 0 1 0 829879864 53088256 10417 33554432000 134512640 137138936 4288075648 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 12961 10417 192 642 0 12317 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51844
[startup+6.30052 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1516
/proc/meminfo: memFree=25808044/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=79428 CPUtime=6.28 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 17942 0 0 0 624 4 0 0 25 0 1 0 829879864 81334272 17307 33554432000 134512640 137138936 4288075648 18446744073709551615 136505243 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 19857 17307 192 642 0 19213 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 79428
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1516
/proc/meminfo: memFree=25753204/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=131400 CPUtime=12.68 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 30923 0 0 0 1261 7 0 0 25 0 1 0 829879864 134553600 30288 33554432000 134512640 137138936 4288075648 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 32850 30288 192 642 0 32206 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 131400
[startup+25.501 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1516
/proc/meminfo: memFree=25670244/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=211056 CPUtime=25.48 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 50840 0 0 0 2538 10 0 0 25 0 1 0 829879864 216121344 50205 33554432000 134512640 137138936 4288075648 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 52764 50205 192 642 0 52120 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 211056
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 1517
/proc/meminfo: memFree=25517400/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=365476 CPUtime=51.08 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 89468 0 0 0 5091 17 0 0 25 0 1 0 829879864 374247424 88833 33554432000 134512640 137138936 4288075648 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 91369 88833 192 642 0 90725 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 365476
[startup+102.316 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 1518
/proc/meminfo: memFree=25323564/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=553968 CPUtime=102.31 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 136584 0 0 0 10203 28 0 0 25 0 1 0 829879864 567263232 135949 33554432000 134512640 137138936 4288075648 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 138492 135949 192 642 0 137848 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 553968
[startup+162.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/425 1520
/proc/meminfo: memFree=25323780/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=553968 CPUtime=162.29 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 136584 0 0 0 16199 30 0 0 25 0 1 0 829879864 567263232 135949 33554432000 134512640 137138936 4288075648 18446744073709551615 134544837 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 138492 135949 192 642 0 137848 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 553968
[startup+222.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/425 1522
/proc/meminfo: memFree=25291508/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=586204 CPUtime=222.29 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 144626 0 0 0 22195 34 0 0 25 0 1 0 829879864 600272896 143991 33554432000 134512640 137138936 4288075648 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 146551 143991 192 642 0 145907 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 586204
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 1523
/proc/meminfo: memFree=25290968/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=586204 CPUtime=282.29 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 144626 0 0 0 28192 37 0 0 25 0 1 0 829879864 600272896 143991 33554432000 134512640 137138936 4288075648 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 146551 143991 192 642 0 145907 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 586204
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/425 1525
/proc/meminfo: memFree=25270588/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=606428 CPUtime=342.29 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 149683 0 0 0 34189 40 0 0 25 0 1 0 829879864 620982272 149048 33554432000 134512640 137138936 4288075648 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 151607 149048 192 642 0 150963 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 606428
[startup+402.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/425 1526
/proc/meminfo: memFree=25270176/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=606428 CPUtime=402.3 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 149683 0 0 0 40188 42 0 0 25 0 1 0 829879864 620982272 149048 33554432000 134512640 137138936 4288075648 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 151607 149048 192 642 0 150963 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 606428
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/425 1528
/proc/meminfo: memFree=25251300/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=625148 CPUtime=462.29 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 154373 0 0 0 46185 44 0 0 25 0 1 0 829879864 640151552 153738 33554432000 134512640 137138936 4288075648 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 156287 153738 192 642 0 155643 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 625148
[startup+522.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/425 1530
/proc/meminfo: memFree=25251272/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=625148 CPUtime=522.3 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 154373 0 0 0 52183 47 0 0 25 0 1 0 829879864 640151552 153738 33554432000 134512640 137138936 4288075648 18446744073709551615 134603220 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 156287 153738 192 642 0 155643 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 625148
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1531
/proc/meminfo: memFree=25245788/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=632524 CPUtime=582.3 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 156217 0 0 0 58181 49 0 0 25 0 1 0 829879864 647704576 155582 33554432000 134512640 137138936 4288075648 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 158131 155582 192 642 0 157487 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 632524
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=25202312/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=674032 CPUtime=1062.31 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 177312 0 0 0 106159 72 0 0 25 0 1 0 829879864 690208768 165946 33554432000 134512640 137138936 4288075648 18446744073709551615 134606999 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 168508 165946 192 642 0 167864 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 674032
[startup+1122.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/425 1546
/proc/meminfo: memFree=25224980/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=650880 CPUtime=1122.31 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 177312 0 0 0 112158 73 0 0 25 0 1 0 829879864 666501120 160190 33554432000 134512640 137138936 4288075648 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 162720 160190 192 642 0 162076 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 650880
[startup+1182.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/425 1547
/proc/meminfo: memFree=25224596/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=650880 CPUtime=1182.32 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 177313 0 0 0 118157 75 0 0 25 0 1 0 829879864 666501120 160191 33554432000 134512640 137138936 4288075648 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 162720 160191 192 642 0 162076 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 650880
[startup+1242.3 s]
/proc/loadavg: 2.15 2.08 2.02 3/425 1549
/proc/meminfo: memFree=25224572/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=650880 CPUtime=1242.32 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 177313 0 0 0 124155 77 0 0 25 0 1 0 829879864 666501120 160191 33554432000 134512640 137138936 4288075648 18446744073709551615 134551034 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 162720 160191 192 642 0 162076 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 650880
[startup+1302.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/425 1550
/proc/meminfo: memFree=25224424/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=650880 CPUtime=1302.32 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 177313 0 0 0 130153 79 0 0 25 0 1 0 829879864 666501120 160191 33554432000 134512640 137138936 4288075648 18446744073709551615 134606628 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 162720 160191 192 642 0 162076 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 650880
[startup+1362.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/425 1552
/proc/meminfo: memFree=25212980/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=662956 CPUtime=1362.32 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 180300 0 0 0 136151 81 0 0 25 0 1 0 829879864 678866944 163178 33554432000 134512640 137138936 4288075648 18446744073709551615 136520965 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 165739 163178 192 642 0 165095 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 662956
[startup+1422.32 s]
/proc/loadavg: 2.03 2.05 2.00 3/425 1554
/proc/meminfo: memFree=25212720/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=662956 CPUtime=1422.34 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 180300 0 0 0 142151 83 0 0 25 0 1 0 829879864 678866944 163178 33554432000 134512640 137138936 4288075648 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 165739 163178 192 642 0 165095 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 662956
[startup+1482.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/425 1555
/proc/meminfo: memFree=25212576/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=662956 CPUtime=1482.32 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 180300 0 0 0 148148 84 0 0 25 0 1 0 829879864 678866944 163178 33554432000 134512640 137138936 4288075648 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 165739 163178 192 642 0 165095 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 662956
[startup+1542.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/425 1557
/proc/meminfo: memFree=25174984/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=700448 CPUtime=1542.33 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 189705 0 0 0 154145 88 0 0 25 0 1 0 829879864 717258752 172583 33554432000 134512640 137138936 4288075648 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 175112 172583 192 642 0 174468 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 700448
[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/425 1558
/proc/meminfo: memFree=25175092/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=700448 CPUtime=1602.34 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 189705 0 0 0 160142 92 0 0 25 0 1 0 829879864 717258752 172583 33554432000 134512640 137138936 4288075648 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 175112 172583 192 642 0 174468 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 700448
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/425 1587
/proc/meminfo: memFree=25182228/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=700448 CPUtime=1662.34 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 189705 0 0 0 166139 95 0 0 25 0 1 0 829879864 717258752 172583 33554432000 134512640 137138936 4288075648 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 175112 172583 192 642 0 174468 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 700448
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 1589
/proc/meminfo: memFree=25157444/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=634596 CPUtime=1722.34 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 189705 0 0 0 172137 97 0 0 25 0 1 0 829879864 649826304 156120 33554432000 134512640 137138936 4288075648 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 158649 156120 192 642 0 158005 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 634596
[startup+1782.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/425 1590
/proc/meminfo: memFree=25105580/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=634596 CPUtime=1782.33 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 189705 0 0 0 178135 98 0 0 25 0 1 0 829879864 649826304 156120 33554432000 134512640 137138936 4288075648 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 158649 156120 192 642 0 158005 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 634596
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.09 2.05 2.01 3/425 1590
/proc/meminfo: memFree=25104712/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=634596 CPUtime=1785.53 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 189705 0 0 0 178455 98 0 0 25 0 1 0 829879864 649826304 156120 33554432000 134512640 137138936 4288075648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 158649 156120 192 642 0 158005 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 634596
[startup+1791.92 s]
/proc/loadavg: 2.07 2.05 2.01 3/425 1591
/proc/meminfo: memFree=25099996/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=634596 CPUtime=1791.95 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 189705 0 0 0 179096 99 0 0 25 0 1 0 829879864 649826304 156120 33554432000 134512640 137138936 4288075648 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 158649 156120 192 642 0 158005 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 634596
[startup+1795.1 s]
/proc/loadavg: 2.07 2.05 2.01 3/425 1591
/proc/meminfo: memFree=25097268/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=634596 CPUtime=1795.14 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 189705 0 0 0 179415 99 0 0 25 0 1 0 829879864 649826304 156120 33554432000 134512640 137138936 4288075648 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 158649 156120 192 642 0 158005 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 634596
[startup+1796.7 s]
/proc/loadavg: 2.07 2.05 2.01 3/425 1591
/proc/meminfo: memFree=25096648/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=634596 CPUtime=1796.74 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 189705 0 0 0 179575 99 0 0 25 0 1 0 829879864 649826304 156120 33554432000 134512640 137138936 4288075648 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 158649 156120 192 642 0 158005 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 634596
[startup+1797.5 s]
/proc/loadavg: 2.07 2.05 2.01 3/425 1591
/proc/meminfo: memFree=25095408/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=634596 CPUtime=1797.53 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 189705 0 0 0 179654 99 0 0 25 0 1 0 829879864 649826304 156120 33554432000 134512640 137138936 4288075648 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 158649 156120 192 642 0 158005 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 634596
[startup+1797.9 s]
/proc/loadavg: 2.07 2.05 2.01 3/425 1591
/proc/meminfo: memFree=25095408/32951124 swapFree=44043516/67111528
[pid=1515] ppid=1513 vsize=634596 CPUtime=1797.94 cores=0,2,4,6
/proc/1515/stat : 1515 (bsolo) R 1513 1515 31765 0 -1 4202496 189705 0 0 0 179695 99 0 0 25 0 1 0 829879864 649826304 156120 33554432000 134512640 137138936 4288075648 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1515/statm: 158649 156120 192 642 0 158005 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 634596
Child status: 0
Real time (s): 1797.99
CPU time (s): 1798.03
CPU user time (s): 1797.01
CPU system time (s): 1.02384
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 700448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.01
system time used= 1.02384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189706
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= 2582
runsolver used 7.8628 second user time and 16.6605 second system time
The end