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-3462601-1307181425/watcher-3462601-1307181425 -o /tmp/evaluation-result-3462601-1307181425/solver-3462601-1307181425 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462601-1307181425.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.04 2.03 2.00 3/424 1385
/proc/meminfo: memFree=25274840/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=10800 CPUtime=0 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 272 0 0 0 0 0 0 0 25 0 1 0 829740720 11059200 227 33554432000 134512640 137138936 4288550336 18446744073709551615 136525335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 2700 227 173 642 0 2054 0
[startup+0.107698 s]
/proc/loadavg: 2.04 2.03 2.00 3/424 1385
/proc/meminfo: memFree=25274840/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=11952 CPUtime=0.1 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 601 0 0 0 10 0 0 0 25 0 1 0 829740720 12238848 554 33554432000 134512640 137138936 4288550336 18446744073709551615 134599718 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 2988 554 192 642 0 2344 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11952
[startup+0.200682 s]
/proc/loadavg: 2.04 2.03 2.00 3/424 1385
/proc/meminfo: memFree=25274840/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=12852 CPUtime=0.19 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 808 0 0 0 19 0 0 0 25 0 1 0 829740720 13160448 761 33554432000 134512640 137138936 4288550336 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 3213 761 192 642 0 2569 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12852
[startup+0.300666 s]
/proc/loadavg: 2.04 2.03 2.00 3/424 1385
/proc/meminfo: memFree=25274840/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=13484 CPUtime=0.29 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 973 0 0 0 29 0 0 0 25 0 1 0 829740720 13807616 926 33554432000 134512640 137138936 4288550336 18446744073709551615 134575829 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 3371 926 192 642 0 2727 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13484
[startup+0.700603 s]
/proc/loadavg: 2.04 2.03 2.00 3/424 1385
/proc/meminfo: memFree=25274840/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=15680 CPUtime=0.69 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 1519 0 0 0 69 0 0 0 25 0 1 0 829740720 16056320 1472 33554432000 134512640 137138936 4288550336 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 3920 1472 192 642 0 3276 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15680
[startup+1.50044 s]
/proc/loadavg: 2.04 2.03 2.00 3/425 1386
/proc/meminfo: memFree=25267516/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=18632 CPUtime=1.49 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 2268 0 0 0 149 0 0 0 25 0 1 0 829740720 19079168 2221 33554432000 134512640 137138936 4288550336 18446744073709551615 136504108 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 4658 2221 192 642 0 4014 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18632
[startup+3.10019 s]
/proc/loadavg: 2.04 2.03 2.00 3/425 1386
/proc/meminfo: memFree=25264148/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=19788 CPUtime=3.09 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 2558 0 0 0 308 1 0 0 25 0 1 0 829740720 20262912 2511 33554432000 134512640 137138936 4288550336 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 4947 2511 192 642 0 4303 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19788
[startup+6.3006 s]
/proc/loadavg: 2.04 2.03 2.00 3/425 1386
/proc/meminfo: memFree=25260872/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=22984 CPUtime=6.29 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 3339 0 0 0 627 2 0 0 25 0 1 0 829740720 23535616 3292 33554432000 134512640 137138936 4288550336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 5746 3292 192 642 0 5102 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22984
[startup+12.7004 s]
/proc/loadavg: 2.03 2.03 2.00 3/425 1386
/proc/meminfo: memFree=25247864/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=25552 CPUtime=12.69 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 4001 0 0 0 1266 3 0 0 25 0 1 0 829740720 26165248 3954 33554432000 134512640 137138936 4288550336 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 6388 3954 192 642 0 5744 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25552
[startup+25.5011 s]
/proc/loadavg: 2.10 2.04 2.00 3/425 1386
/proc/meminfo: memFree=25228028/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=28120 CPUtime=25.49 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 4645 0 0 0 2545 4 0 0 25 0 1 0 829740720 28794880 4598 33554432000 134512640 137138936 4288550336 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7030 4598 192 642 0 6386 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28120
[startup+51.1004 s]
/proc/loadavg: 2.06 2.04 2.00 3/425 1387
/proc/meminfo: memFree=25174116/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31376 CPUtime=51.09 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5456 0 0 0 5102 7 0 0 25 0 1 0 829740720 32129024 5409 33554432000 134512640 137138936 4288550336 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7844 5409 192 642 0 7200 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 31376
[startup+102.301 s]
/proc/loadavg: 2.28 2.09 2.02 3/425 1388
/proc/meminfo: memFree=25103532/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=32152 CPUtime=102.3 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 10218 12 0 0 25 0 1 0 829740720 32923648 5611 33554432000 134512640 137138936 4288550336 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8038 5611 192 642 0 7394 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 32152
[startup+162.301 s]
/proc/loadavg: 2.22 2.10 2.02 3/425 1390
/proc/meminfo: memFree=25014832/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=32144 CPUtime=162.29 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 16208 21 0 0 25 0 1 0 829740720 32915456 5611 33554432000 134512640 137138936 4288550336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8036 5611 192 642 0 7392 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 32144
[startup+222.316 s]
/proc/loadavg: 2.08 2.08 2.02 3/425 1392
/proc/meminfo: memFree=24946848/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31912 CPUtime=222.31 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 22204 27 0 0 25 0 1 0 829740720 32677888 5554 33554432000 134512640 137138936 4288550336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7978 5554 192 642 0 7334 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 31912
[startup+282.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/425 1402
/proc/meminfo: memFree=24943676/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31908 CPUtime=282.3 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 28198 32 0 0 25 0 1 0 829740720 32673792 5553 33554432000 134512640 137138936 4288550336 18446744073709551615 134618206 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7977 5553 192 642 0 7333 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 31908
[startup+342.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/425 1404
/proc/meminfo: memFree=24943124/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31904 CPUtime=342.3 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 34191 39 0 0 25 0 1 0 829740720 32669696 5552 33554432000 134512640 137138936 4288550336 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7976 5552 192 642 0 7332 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 31904
[startup+402.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/425 1405
/proc/meminfo: memFree=24943700/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31844 CPUtime=402.3 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 40182 48 0 0 25 0 1 0 829740720 32608256 5537 33554432000 134512640 137138936 4288550336 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7961 5537 192 642 0 7317 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 31844
[startup+462.301 s]
/proc/loadavg: 2.18 2.08 2.01 3/425 1410
/proc/meminfo: memFree=24943480/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31840 CPUtime=462.3 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 46177 53 0 0 25 0 1 0 829740720 32604160 5536 33554432000 134512640 137138936 4288550336 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7960 5536 192 642 0 7316 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 31840
[startup+522.301 s]
/proc/loadavg: 2.06 2.06 2.00 3/425 1412
/proc/meminfo: memFree=24943624/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31824 CPUtime=522.3 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 52170 60 0 0 25 0 1 0 829740720 32587776 5532 33554432000 134512640 137138936 4288550336 18446744073709551615 136501664 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7956 5532 192 642 0 7312 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 31824
[startup+582.301 s]
/proc/loadavg: 2.06 2.06 2.00 3/425 1413
/proc/meminfo: memFree=24944200/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31824 CPUtime=582.3 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 58164 66 0 0 25 0 1 0 829740720 32587776 5532 33554432000 134512640 137138936 4288550336 18446744073709551615 134542557 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7956 5532 192 642 0 7312 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 31824
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=24943308/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31824 CPUtime=762.32 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5658 0 0 0 76147 85 0 0 25 0 1 0 829740720 32587776 5532 33554432000 134512640 137138936 4288550336 18446744073709551615 134599684 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7956 5532 192 642 0 7312 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 31824
[startup+822.301 s]
/proc/loadavg: 2.03 2.08 2.01 3/425 1420
/proc/meminfo: memFree=24944508/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31984 CPUtime=822.32 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5692 0 0 0 82141 91 0 0 25 0 1 0 829740720 32751616 5566 33554432000 134512640 137138936 4288550336 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7996 5566 192 642 0 7352 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 31984
[startup+882.316 s]
/proc/loadavg: 2.01 2.06 2.01 3/425 1421
/proc/meminfo: memFree=24943964/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=31984 CPUtime=882.33 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 5692 0 0 0 88136 97 0 0 25 0 1 0 829740720 32751616 5566 33554432000 134512640 137138936 4288550336 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 7996 5566 192 642 0 7352 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 31984
[startup+942.301 s]
/proc/loadavg: 2.00 2.05 2.00 3/425 1423
/proc/meminfo: memFree=24943544/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=33304 CPUtime=942.32 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6022 0 0 0 94130 102 0 0 25 0 1 0 829740720 34103296 5896 33554432000 134512640 137138936 4288550336 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8326 5896 192 642 0 7682 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 33304
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 1424
/proc/meminfo: memFree=24856820/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=33304 CPUtime=1002.32 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6024 0 0 0 100125 107 0 0 25 0 1 0 829740720 34103296 5898 33554432000 134512640 137138936 4288550336 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8326 5898 192 642 0 7682 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 33304
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 1426
/proc/meminfo: memFree=24819836/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=33692 CPUtime=1062.32 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6120 0 0 0 106120 112 0 0 25 0 1 0 829740720 34500608 5994 33554432000 134512640 137138936 4288550336 18446744073709551615 134603111 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8423 5994 192 642 0 7779 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 33692
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1428
/proc/meminfo: memFree=24819304/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=33928 CPUtime=1122.32 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6179 0 0 0 112113 119 0 0 25 0 1 0 829740720 34742272 6053 33554432000 134512640 137138936 4288550336 18446744073709551615 134603164 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8482 6053 192 642 0 7838 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 33928
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 1429
/proc/meminfo: memFree=24818520/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=33924 CPUtime=1182.32 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6180 0 0 0 118108 124 0 0 25 0 1 0 829740720 34738176 6054 33554432000 134512640 137138936 4288550336 18446744073709551615 136504116 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8481 6054 192 642 0 7837 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 33924
[startup+1242.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/425 1431
/proc/meminfo: memFree=24817232/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35252 CPUtime=1242.33 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 124103 130 0 0 25 0 1 0 829740720 36098048 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8813 6387 192 642 0 8169 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 35252
[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/425 1459
/proc/meminfo: memFree=25846924/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1302.32 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 130097 135 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 35248
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/425 1461
/proc/meminfo: memFree=25845252/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1362.33 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 136094 139 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 35248
Solver just ended. Dumping a history of the last processes samples
[startup+1369.62 s]
/proc/loadavg: 2.01 2.02 2.00 3/425 1461
/proc/meminfo: memFree=25845248/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1369.64 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 136825 139 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1369.64
Current children cumulated vsize (KiB) 35248
[startup+1382.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/425 1461
/proc/meminfo: memFree=25845248/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1382.43 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 138102 141 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1382.43
Current children cumulated vsize (KiB) 35248
[startup+1385.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1462
/proc/meminfo: memFree=25845248/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1385.63 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 138422 141 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1385.63
Current children cumulated vsize (KiB) 35248
[startup+1388.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1462
/proc/meminfo: memFree=25845244/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1388.83 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 138742 141 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1388.83
Current children cumulated vsize (KiB) 35248
[startup+1389.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1462
/proc/meminfo: memFree=25845244/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1389.63 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 138822 141 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1389.63
Current children cumulated vsize (KiB) 35248
[startup+1390.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1462
/proc/meminfo: memFree=25845244/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1390.44 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 138903 141 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1390.44
Current children cumulated vsize (KiB) 35248
[startup+1390.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1462
/proc/meminfo: memFree=25845244/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1390.83 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 138942 141 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1390.83
Current children cumulated vsize (KiB) 35248
[startup+1390.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1462
/proc/meminfo: memFree=25845244/32951124 swapFree=44043516/67111528
[pid=1385] ppid=1383 vsize=35248 CPUtime=1390.93 cores=0,2,4,6
/proc/1385/stat : 1385 (bsolo) R 1383 1385 31765 0 -1 4202496 6513 0 0 0 138952 141 0 0 25 0 1 0 829740720 36093952 6387 33554432000 134512640 137138936 4288550336 18446744073709551615 136504045 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1385/statm: 8812 6387 192 642 0 8168 0
Current children cumulated CPU time (s) 1390.93
Current children cumulated vsize (KiB) 35248
Child status: 0
Real time (s): 1390.97
CPU time (s): 1391.01
CPU user time (s): 1389.59
CPU system time (s): 1.41279
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 35256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1389.59
system time used= 1.41278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6514
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= 4
involuntary context switches= 2885
runsolver used 5.96809 second user time and 13.007 second system time
The end