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-3462728-1307182325/watcher-3462728-1307182325 -o /tmp/evaluation-result-3462728-1307182325/solver-3462728-1307182325 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462728-1307182325.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: 2.00 2.00 2.00 2/505 11402
/proc/meminfo: memFree=29621028/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=12008 CPUtime=0 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 601 0 0 0 0 0 0 0 25 0 1 0 829835157 12296192 546 33554432000 134512640 137138936 4289720736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11402/statm: 3002 546 185 642 0 2358 0
[startup+0.034218 s]
/proc/loadavg: 2.00 2.00 2.00 2/505 11402
/proc/meminfo: memFree=29621028/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=12272 CPUtime=0.03 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 682 0 0 0 3 0 0 0 25 0 1 0 829835157 12566528 627 33554432000 134512640 137138936 4289720736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11402/statm: 3068 627 186 642 0 2424 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12272
[startup+0.100217 s]
/proc/loadavg: 2.00 2.00 2.00 2/505 11402
/proc/meminfo: memFree=29621028/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=12300 CPUtime=0.09 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 726 0 0 0 8 1 0 0 25 0 1 0 829835157 12595200 623 33554432000 134512640 137138936 4289720736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11402/statm: 3075 623 192 642 0 2431 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12300
[startup+0.300168 s]
/proc/loadavg: 2.00 2.00 2.00 2/505 11402
/proc/meminfo: memFree=29621028/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=12960 CPUtime=0.29 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 896 0 0 0 28 1 0 0 25 0 1 0 829835157 13271040 793 33554432000 134512640 137138936 4289720736 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11402/statm: 3240 793 192 642 0 2596 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12960
[startup+0.70011 s]
/proc/loadavg: 2.00 2.00 2.00 2/505 11402
/proc/meminfo: memFree=29621028/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=14176 CPUtime=0.69 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 1215 0 0 0 68 1 0 0 25 0 1 0 829835157 14516224 1112 33554432000 134512640 137138936 4289720736 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11402/statm: 3544 1112 192 642 0 2900 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14176
[startup+1.50096 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 11403
/proc/meminfo: memFree=29615328/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=16660 CPUtime=1.49 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 1832 0 0 0 148 1 0 0 25 0 1 0 829835157 17059840 1729 33554432000 134512640 137138936 4289720736 18446744073709551615 134602721 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11402/statm: 4165 1729 192 642 0 3521 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16660
[startup+3.10068 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 11403
/proc/meminfo: memFree=29611112/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=21224 CPUtime=3.09 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 2961 0 0 0 308 1 0 0 25 0 1 0 829835157 21733376 2858 33554432000 134512640 137138936 4289720736 18446744073709551615 136504016 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11402/statm: 5306 2858 192 642 0 4662 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21224
[startup+6.30011 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 11404
/proc/meminfo: memFree=29601432/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=29600 CPUtime=6.29 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 5077 0 0 0 626 3 0 0 25 0 1 0 829835157 30310400 4974 33554432000 134512640 137138936 4289720736 18446744073709551615 134575188 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11402/statm: 7400 4974 192 642 0 6756 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29600
[startup+12.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 11404
/proc/meminfo: memFree=29587068/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=42484 CPUtime=12.69 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 8299 0 0 0 1264 5 0 0 25 0 1 0 829835157 43503616 8196 33554432000 134512640 137138936 4289720736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11402/statm: 10621 8196 192 642 0 9977 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42484
[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 11404
/proc/meminfo: memFree=29564504/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=64416 CPUtime=25.49 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 13776 0 0 0 2540 9 0 0 25 0 1 0 829835157 65961984 13673 33554432000 134512640 137138936 4289720736 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11402/statm: 16104 13673 192 642 0 15460 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 64416
[startup+51.1002 s]
/proc/loadavg: 2.08 2.02 2.01 3/506 11405
/proc/meminfo: memFree=29533560/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=95824 CPUtime=51.09 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 21619 0 0 0 5094 15 0 0 25 0 1 0 829835157 98123776 21516 33554432000 134512640 137138936 4289720736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11402/statm: 23956 21516 192 642 0 23312 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 95824
[startup+102.319 s]
/proc/loadavg: 2.11 2.04 2.01 3/506 11406
/proc/meminfo: memFree=29490764/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=136544 CPUtime=102.31 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 31791 0 0 0 10208 23 0 0 25 0 1 0 829835157 139821056 31688 33554432000 134512640 137138936 4289720736 18446744073709551615 134543100 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11402/statm: 34136 31688 192 642 0 33492 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 136544
[startup+162.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/506 11408
/proc/meminfo: memFree=29471908/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=155548 CPUtime=162.28 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 36661 0 0 0 16198 30 0 0 25 0 1 0 829835157 159281152 36452 33554432000 134512640 137138936 4289720736 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 38887 36452 192 642 0 38243 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 155548
[startup+222.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/506 11409
/proc/meminfo: memFree=29472636/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=155548 CPUtime=222.28 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 36661 0 0 0 22191 37 0 0 25 0 1 0 829835157 159281152 36452 33554432000 134512640 137138936 4289720736 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 38887 36452 192 642 0 38243 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 155548
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/506 11411
/proc/meminfo: memFree=29452292/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=177444 CPUtime=282.28 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 42133 0 0 0 28184 44 0 0 25 0 1 0 829835157 181702656 41924 33554432000 134512640 137138936 4289720736 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 44361 41924 192 642 0 43717 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 177444
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 11440
/proc/meminfo: memFree=30080496/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=216224 CPUtime=342.28 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 51942 0 0 0 34178 50 0 0 25 0 1 0 829835157 221413376 51605 33554432000 134512640 137138936 4289720736 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 54056 51605 192 642 0 53412 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 216224
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 11441
/proc/meminfo: memFree=29766152/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=216224 CPUtime=402.28 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 51942 0 0 0 40175 53 0 0 25 0 1 0 829835157 221413376 51605 33554432000 134512640 137138936 4289720736 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 54056 51605 192 642 0 53412 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 216224
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 11443
/proc/meminfo: memFree=29563392/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=216224 CPUtime=462.28 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 51942 0 0 0 46171 57 0 0 25 0 1 0 829835157 221413376 51605 33554432000 134512640 137138936 4289720736 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 54056 51605 192 642 0 53412 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 216224
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 11444
/proc/meminfo: memFree=29402804/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=232792 CPUtime=522.28 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 56088 0 0 0 52166 62 0 0 25 0 1 0 829835157 238379008 55751 33554432000 134512640 137138936 4289720736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 58198 55751 192 642 0 57554 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 232792
[startup+582.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/506 11446
/proc/meminfo: memFree=29231432/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=279068 CPUtime=582.29 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 67676 0 0 0 58159 70 0 0 25 0 1 0 829835157 285765632 67339 33554432000 134512640 137138936 4289720736 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 69767 67339 192 642 0 69123 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 279068
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28941616/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=349456 CPUtime=1062.3 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 85549 0 0 0 106125 105 0 0 25 0 1 0 829835157 357842944 84918 33554432000 134512640 137138936 4289720736 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 87364 84918 192 642 0 86720 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 349456
[startup+1122.3 s]
/proc/loadavg: 2.15 2.05 2.01 4/506 11460
/proc/meminfo: memFree=28941480/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=349456 CPUtime=1122.3 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 85549 0 0 0 112121 109 0 0 25 0 1 0 829835157 357842944 84918 33554432000 134512640 137138936 4289720736 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 87364 84918 192 642 0 86720 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 349456
[startup+1182.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/506 11462
/proc/meminfo: memFree=28941108/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=349456 CPUtime=1182.3 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 85549 0 0 0 118118 112 0 0 25 0 1 0 829835157 357842944 84918 33554432000 134512640 137138936 4289720736 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 87364 84918 192 642 0 86720 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 349456
[startup+1242.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/506 11464
/proc/meminfo: memFree=29085184/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=349456 CPUtime=1242.3 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 85549 0 0 0 124115 115 0 0 25 0 1 0 829835157 357842944 84918 33554432000 134512640 137138936 4289720736 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 87364 84918 192 642 0 86720 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 349456
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/506 11465
/proc/meminfo: memFree=29085916/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=349456 CPUtime=1302.31 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 85549 0 0 0 130114 117 0 0 25 0 1 0 829835157 357842944 84918 33554432000 134512640 137138936 4289720736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 87364 84918 192 642 0 86720 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 349456
[startup+1362.3 s]
/proc/loadavg: 2.23 2.08 2.02 3/506 11467
/proc/meminfo: memFree=29085904/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=349456 CPUtime=1362.31 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 85549 0 0 0 136111 120 0 0 25 0 1 0 829835157 357842944 84918 33554432000 134512640 137138936 4289720736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 87364 84918 192 642 0 86720 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 349456
[startup+1422.32 s]
/proc/loadavg: 2.08 2.06 2.01 3/506 11468
/proc/meminfo: memFree=29044600/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=373940 CPUtime=1422.32 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 91691 0 0 0 142108 124 0 0 25 0 1 0 829835157 382914560 91060 33554432000 134512640 137138936 4289720736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 93485 91060 192 642 0 92841 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 373940
[startup+1482.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/506 11470
/proc/meminfo: memFree=28901748/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=403568 CPUtime=1482.31 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 99098 0 0 0 148102 129 0 0 25 0 1 0 829835157 413253632 98467 33554432000 134512640 137138936 4289720736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 100892 98467 192 642 0 100248 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 403568
[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/506 11472
/proc/meminfo: memFree=28863032/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=428312 CPUtime=1542.31 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 105425 0 0 0 154097 134 0 0 25 0 1 0 829835157 438591488 104641 33554432000 134512640 137138936 4289720736 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 107078 104641 192 642 0 106434 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 428312
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 11473
/proc/meminfo: memFree=28863000/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=428312 CPUtime=1602.31 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 105425 0 0 0 160093 138 0 0 25 0 1 0 829835157 438591488 104641 33554432000 134512640 137138936 4289720736 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 107078 104641 192 642 0 106434 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 428312
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 11475
/proc/meminfo: memFree=28862988/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=428312 CPUtime=1662.31 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 105425 0 0 0 166089 142 0 0 25 0 1 0 829835157 438591488 104641 33554432000 134512640 137138936 4289720736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 107078 104641 192 642 0 106434 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 428312
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/506 11476
/proc/meminfo: memFree=28863472/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=428312 CPUtime=1722.31 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 105425 0 0 0 172086 145 0 0 25 0 1 0 829835157 438591488 104641 33554432000 134512640 137138936 4289720736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 107078 104641 192 642 0 106434 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 428312
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/506 11478
/proc/meminfo: memFree=28862340/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=428312 CPUtime=1782.31 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 105425 0 0 0 178083 148 0 0 25 0 1 0 829835157 438591488 104641 33554432000 134512640 137138936 4289720736 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 107078 104641 192 642 0 106434 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 428312
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/506 11478
/proc/meminfo: memFree=28940708/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=428312 CPUtime=1785.51 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 105425 0 0 0 178403 148 0 0 25 0 1 0 829835157 438591488 104641 33554432000 134512640 137138936 4289720736 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 107078 104641 192 642 0 106434 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 428312
[startup+1791.92 s]
/proc/loadavg: 2.04 2.03 2.00 3/506 11478
/proc/meminfo: memFree=28942940/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=428312 CPUtime=1791.94 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 105425 0 0 0 179045 149 0 0 25 0 1 0 829835157 438591488 104641 33554432000 134512640 137138936 4289720736 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 107078 104641 192 642 0 106434 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 428312
[startup+1795.1 s]
/proc/loadavg: 2.04 2.03 2.00 3/506 11478
/proc/meminfo: memFree=29000104/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=428312 CPUtime=1795.13 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 105425 0 0 0 179364 149 0 0 25 0 1 0 829835157 438591488 104641 33554432000 134512640 137138936 4289720736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 107078 104641 192 642 0 106434 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 428312
[startup+1796.7 s]
/proc/loadavg: 2.04 2.03 2.00 3/506 11478
/proc/meminfo: memFree=29000476/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=428312 CPUtime=1796.72 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 105425 0 0 0 179523 149 0 0 25 0 1 0 829835157 438591488 104641 33554432000 134512640 137138936 4289720736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 107078 104641 192 642 0 106434 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 428312
[startup+1797.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/506 11478
/proc/meminfo: memFree=29000104/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=428312 CPUtime=1797.51 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 105425 0 0 0 179602 149 0 0 25 0 1 0 829835157 438591488 104641 33554432000 134512640 137138936 4289720736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 107078 104641 192 642 0 106434 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 428312
[startup+1797.9 s]
/proc/loadavg: 2.04 2.03 2.00 3/506 11478
/proc/meminfo: memFree=29000104/32951124 swapFree=51712236/67111528
[pid=11402] ppid=11400 vsize=428312 CPUtime=1797.91 cores=1,3,5,7
/proc/11402/stat : 11402 (bsolo) R 11400 11402 9506 0 -1 4202496 105425 0 0 0 179642 149 0 0 25 0 1 0 829835157 438591488 104641 33554432000 134512640 137138936 4289720736 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11402/statm: 107078 104641 192 642 0 106434 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 428312
Child status: 0
Real time (s): 1798
CPU time (s): 1798.02
CPU user time (s): 1796.51
CPU system time (s): 1.51377
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 428924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.51
system time used= 1.51377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105426
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= 19030
runsolver used 8.82266 second user time and 20.6059 second system time
The end