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-3463093-1307175366/watcher-3463093-1307175366 -o /tmp/evaluation-result-3463093-1307175366/solver-3463093-1307175366 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463093-1307175366.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: 1.97 1.27 1.38 4/434 8065
/proc/meminfo: memFree=12336668/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=12848 CPUtime=0 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 338 0 0 0 0 0 0 0 23 0 1 0 829136686 13156352 293 33554432000 134512640 137138936 4293324976 18446744073709551615 134534954 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8065/statm: 3212 294 182 642 0 2090 0
[startup+0.0266301 s]
/proc/loadavg: 1.97 1.27 1.38 4/434 8065
/proc/meminfo: memFree=12336668/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=14240 CPUtime=0.02 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 763 0 0 0 2 0 0 0 23 0 1 0 829136686 14581760 718 33554432000 134512640 137138936 4293324976 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8065/statm: 3560 718 258 642 0 2438 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14240
[startup+0.10062 s]
/proc/loadavg: 1.97 1.27 1.38 4/434 8065
/proc/meminfo: memFree=12336668/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=19088 CPUtime=0.09 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 2233 0 0 0 9 0 0 0 23 0 1 0 829136686 19546112 2188 33554432000 134512640 137138936 4293324976 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8065/statm: 4772 2189 536 642 0 3650 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19088
[startup+0.300584 s]
/proc/loadavg: 1.97 1.27 1.38 4/434 8065
/proc/meminfo: memFree=12336668/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=24048 CPUtime=0.29 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 4068 0 0 0 29 0 0 0 25 0 1 0 829136686 24625152 3505 33554432000 134512640 137138936 4293324976 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8065/statm: 6012 3505 184 642 0 5368 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24048
[startup+0.700518 s]
/proc/loadavg: 1.97 1.27 1.38 4/434 8065
/proc/meminfo: memFree=12336668/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=24180 CPUtime=0.69 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 4088 0 0 0 69 0 0 0 25 0 1 0 829136686 24760320 3525 33554432000 134512640 137138936 4293324976 18446744073709551615 136504358 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8065/statm: 6045 3525 184 642 0 5401 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24180
[startup+1.50038 s]
/proc/loadavg: 1.97 1.27 1.38 3/435 8066
/proc/meminfo: memFree=12321432/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=24180 CPUtime=1.48 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 4101 0 0 0 148 0 0 0 25 0 1 0 829136686 24760320 3538 33554432000 134512640 137138936 4293324976 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8065/statm: 6045 3538 184 642 0 5401 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 24180
[startup+3.10111 s]
/proc/loadavg: 1.97 1.27 1.38 3/435 8066
/proc/meminfo: memFree=12320512/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=24312 CPUtime=3.09 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 4118 0 0 0 308 1 0 0 25 0 1 0 829136686 24895488 3555 33554432000 134512640 137138936 4293324976 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8065/statm: 6078 3555 184 642 0 5434 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24312
[startup+6.30056 s]
/proc/loadavg: 1.97 1.28 1.39 3/435 8066
/proc/meminfo: memFree=12321248/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=24312 CPUtime=6.29 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 4127 0 0 0 628 1 0 0 25 0 1 0 829136686 24895488 3564 33554432000 134512640 137138936 4293324976 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8065/statm: 6078 3564 184 642 0 5434 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24312
[startup+12.7004 s]
/proc/loadavg: 2.06 1.31 1.40 3/435 8066
/proc/meminfo: memFree=12306008/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=39892 CPUtime=12.69 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 8220 0 0 0 1261 8 0 0 25 0 1 0 829136686 40849408 7447 33554432000 134512640 137138936 4293324976 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8065/statm: 9973 7447 192 642 0 9329 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39892
[startup+25.5002 s]
/proc/loadavg: 2.04 1.34 1.40 3/435 8066
/proc/meminfo: memFree=12273768/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=71840 CPUtime=25.47 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 16208 0 0 0 2536 11 0 0 25 0 1 0 829136686 73564160 15435 33554432000 134512640 137138936 4293324976 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 17960 15435 192 642 0 17316 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 71840
[startup+51.1008 s]
/proc/loadavg: 2.03 1.40 1.42 3/435 8067
/proc/meminfo: memFree=12242388/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=102680 CPUtime=51.07 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 23917 0 0 0 5092 15 0 0 25 0 1 0 829136686 105144320 23144 33554432000 134512640 137138936 4293324976 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 25670 23144 192 642 0 25026 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 102680
[startup+102.317 s]
/proc/loadavg: 2.01 1.49 1.45 3/435 8068
/proc/meminfo: memFree=12195928/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=147508 CPUtime=102.29 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 35125 0 0 0 10209 20 0 0 25 0 1 0 829136686 151048192 34352 33554432000 134512640 137138936 4293324976 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 36877 34352 192 642 0 36233 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 147508
[startup+162.301 s]
/proc/loadavg: 2.00 1.58 1.48 3/435 8070
/proc/meminfo: memFree=12149796/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=192892 CPUtime=162.27 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 46471 0 0 0 16202 25 0 0 25 0 1 0 829136686 197521408 45698 33554432000 134512640 137138936 4293324976 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 48223 45698 192 642 0 47579 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 192892
[startup+222.301 s]
/proc/loadavg: 2.00 1.65 1.51 3/435 8072
/proc/meminfo: memFree=12108124/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=231808 CPUtime=222.27 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 56200 0 0 0 22196 31 0 0 25 0 1 0 829136686 237371392 55427 33554432000 134512640 137138936 4293324976 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 57952 55427 192 642 0 57308 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 231808
[startup+282.301 s]
/proc/loadavg: 2.00 1.71 1.54 3/435 8073
/proc/meminfo: memFree=12065336/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=268788 CPUtime=282.28 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 65445 0 0 0 28191 37 0 0 25 0 1 0 829136686 275238912 64672 33554432000 134512640 137138936 4293324976 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 67197 64672 192 642 0 66553 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 268788
[startup+342.3 s]
/proc/loadavg: 2.00 1.76 1.56 3/435 8075
/proc/meminfo: memFree=12033720/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=291708 CPUtime=342.27 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 71175 0 0 0 34187 40 0 0 25 0 1 0 829136686 298708992 70402 33554432000 134512640 137138936 4293324976 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 72927 70402 192 642 0 72283 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 291708
[startup+402.301 s]
/proc/loadavg: 2.00 1.80 1.59 3/435 8076
/proc/meminfo: memFree=12003828/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=314196 CPUtime=402.27 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 76801 0 0 0 40184 43 0 0 25 0 1 0 829136686 321736704 76028 33554432000 134512640 137138936 4293324976 18446744073709551615 134602762 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 78549 76028 192 642 0 77905 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 314196
[startup+462.301 s]
/proc/loadavg: 2.00 1.84 1.61 3/435 8078
/proc/meminfo: memFree=11972080/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=337824 CPUtime=462.28 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 82704 0 0 0 46181 47 0 0 25 0 1 0 829136686 345931776 81931 33554432000 134512640 137138936 4293324976 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 84456 81931 192 642 0 83812 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 337824
[startup+522.301 s]
/proc/loadavg: 2.25 1.93 1.65 3/435 8079
/proc/meminfo: memFree=11946032/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=356584 CPUtime=522.27 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 87394 0 0 0 52177 50 0 0 25 0 1 0 829136686 365142016 86621 33554432000 134512640 137138936 4293324976 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 89146 86621 192 642 0 88502 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 356584
[startup+582.301 s]
/proc/loadavg: 2.21 1.97 1.68 3/435 8081
/proc/meminfo: memFree=11914896/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=377520 CPUtime=582.28 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 92628 0 0 0 58173 55 0 0 25 0 1 0 829136686 386580480 91855 33554432000 134512640 137138936 4293324976 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 94380 91855 192 642 0 93736 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 377520
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=11939936/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=540724 CPUtime=1122.29 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 133428 0 0 0 112147 82 0 0 25 0 1 0 829136686 553701376 132655 33554432000 134512640 137138936 4293324976 18446744073709551615 136504080 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 135181 132655 192 642 0 134537 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 540724
[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 1.83 3/435 8313
/proc/meminfo: memFree=11922944/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=557124 CPUtime=1182.29 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 137529 0 0 0 118145 84 0 0 25 0 1 0 829136686 570494976 136756 33554432000 134512640 137138936 4293324976 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 139281 136756 192 642 0 138637 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 557124
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.83 3/435 8315
/proc/meminfo: memFree=11908552/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=570736 CPUtime=1242.29 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 140936 0 0 0 124141 88 0 0 25 0 1 0 829136686 584433664 140163 33554432000 134512640 137138936 4293324976 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 142684 140163 192 642 0 142040 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 570736
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/435 8316
/proc/meminfo: memFree=11893420/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=583620 CPUtime=1302.29 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 144153 0 0 0 130138 91 0 0 25 0 1 0 829136686 597626880 143380 33554432000 134512640 137138936 4293324976 18446744073709551615 134544827 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 145905 143380 192 642 0 145261 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 583620
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/435 8318
/proc/meminfo: memFree=11877168/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=601556 CPUtime=1362.29 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 148637 0 0 0 136130 99 0 0 25 0 1 0 829136686 615993344 147864 33554432000 134512640 137138936 4293324976 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 150389 147864 192 642 0 149745 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 601556
[startup+1422.32 s]
/proc/loadavg: 2.07 2.03 1.86 3/435 8320
/proc/meminfo: memFree=11863028/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=616296 CPUtime=1422.3 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 152322 0 0 0 142129 101 0 0 25 0 1 0 829136686 631087104 151549 33554432000 134512640 137138936 4293324976 18446744073709551615 135984584 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 154074 151549 192 642 0 153430 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 616296
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 1.87 3/435 8321
/proc/meminfo: memFree=11847896/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=629596 CPUtime=1482.3 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 155647 0 0 0 148126 104 0 0 25 0 1 0 829136686 644706304 154874 33554432000 134512640 137138936 4293324976 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 157399 154874 192 642 0 156755 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 629596
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 1.87 3/435 8323
/proc/meminfo: memFree=11827556/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=643632 CPUtime=1542.29 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 159156 0 0 0 154123 106 0 0 25 0 1 0 829136686 659079168 158383 33554432000 134512640 137138936 4293324976 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 160908 158383 192 642 0 160264 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 643632
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/435 8324
/proc/meminfo: memFree=11813164/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=656128 CPUtime=1602.3 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 162280 0 0 0 160121 109 0 0 25 0 1 0 829136686 671875072 161507 33554432000 134512640 137138936 4293324976 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 164032 161507 192 642 0 163388 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 656128
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/435 8326
/proc/meminfo: memFree=11799020/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=669260 CPUtime=1662.3 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 165563 0 0 0 166118 112 0 0 25 0 1 0 829136686 685322240 164790 33554432000 134512640 137138936 4293324976 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 167315 164790 192 642 0 166671 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 669260
[startup+1722.3 s]
/proc/loadavg: 2.10 2.03 1.90 3/435 8327
/proc/meminfo: memFree=11786988/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=680556 CPUtime=1722.3 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 168387 0 0 0 172116 114 0 0 25 0 1 0 829136686 696889344 167614 33554432000 134512640 137138936 4293324976 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 170139 167614 192 642 0 169495 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 680556
[startup+1782.3 s]
/proc/loadavg: 2.08 2.04 1.91 3/435 8329
/proc/meminfo: memFree=11780784/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=684648 CPUtime=1782.31 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 169741 0 0 0 178115 116 0 0 25 0 1 0 829136686 701079552 168637 33554432000 134512640 137138936 4293324976 18446744073709551615 134606673 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 171162 168637 192 642 0 170518 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 684648
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.07 2.03 1.91 3/435 8329
/proc/meminfo: memFree=11781156/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=684648 CPUtime=1785.5 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 169741 0 0 0 178434 116 0 0 25 0 1 0 829136686 701079552 168637 33554432000 134512640 137138936 4293324976 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 171162 168637 192 642 0 170518 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (KiB) 684648
[startup+1791.92 s]
/proc/loadavg: 2.07 2.03 1.91 3/435 8329
/proc/meminfo: memFree=11781032/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=684648 CPUtime=1791.92 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 169741 0 0 0 179075 117 0 0 25 0 1 0 829136686 701079552 168637 33554432000 134512640 137138936 4293324976 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 171162 168637 192 642 0 170518 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 684648
[startup+1795.1 s]
/proc/loadavg: 2.06 2.03 1.91 3/435 8329
/proc/meminfo: memFree=11781776/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=684648 CPUtime=1795.11 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 169741 0 0 0 179393 118 0 0 25 0 1 0 829136686 701079552 168637 33554432000 134512640 137138936 4293324976 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 171162 168637 192 642 0 170518 0
Current children cumulated CPU time (s) 1795.11
Current children cumulated vsize (KiB) 684648
[startup+1796.7 s]
/proc/loadavg: 2.06 2.03 1.91 3/435 8329
/proc/meminfo: memFree=11781156/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=684648 CPUtime=1796.7 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 169741 0 0 0 179552 118 0 0 25 0 1 0 829136686 701079552 168637 33554432000 134512640 137138936 4293324976 18446744073709551615 134606623 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 171162 168637 192 642 0 170518 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 684648
[startup+1797.5 s]
/proc/loadavg: 2.06 2.03 1.91 3/435 8330
/proc/meminfo: memFree=11781652/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=684648 CPUtime=1797.5 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 169741 0 0 0 179632 118 0 0 25 0 1 0 829136686 701079552 168637 33554432000 134512640 137138936 4293324976 18446744073709551615 134602758 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 171162 168637 192 642 0 170518 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 684648
[startup+1797.9 s]
/proc/loadavg: 2.06 2.03 1.91 3/435 8330
/proc/meminfo: memFree=11781652/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=684648 CPUtime=1797.9 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202496 169741 0 0 0 179672 118 0 0 25 0 1 0 829136686 701079552 168637 33554432000 134512640 137138936 4293324976 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8065/statm: 171162 168637 192 642 0 170518 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 684648
[startup+1798 s]
/proc/loadavg: 2.06 2.03 1.91 3/435 8330
/proc/meminfo: memFree=11781652/32951132 swapFree=67093840/67111528
[pid=8065] ppid=8063 vsize=0 CPUtime=1798 cores=1,3,5,7
/proc/8065/stat : 8065 (bsolo) R 8063 8065 6192 0 -1 4202500 169741 0 0 0 179682 118 0 0 25 0 1 0 829136686 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/8065/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.03
CPU time (s): 1798.04
CPU user time (s): 1796.82
CPU system time (s): 1.21681
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 685972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.82
system time used= 1.21681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169741
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= 3084
runsolver used 7.66383 second user time and 18.2622 second system time
The end