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-3462967-1307179162/watcher-3462967-1307179162 -o /tmp/evaluation-result-3462967-1307179162/solver-3462967-1307179162 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462967-1307179162.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.07 2.03 2.01 2/511 6900
/proc/meminfo: memFree=16727620/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=26416 CPUtime=0 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 298 0 0 0 0 0 0 0 19 0 1 0 810332357 27049984 250 33554432000 134512640 137138936 4287845072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 6604 250 192 642 0 5960 0
[startup+0.051495 s]
/proc/loadavg: 2.07 2.03 2.01 2/511 6900
/proc/meminfo: memFree=16727620/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=18860 CPUtime=0.05 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 371 0 0 0 5 0 0 0 19 0 1 0 810332357 19312640 323 33554432000 134512640 137138936 4287845072 18446744073709551615 134539257 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 4715 323 192 642 0 4071 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18860
[startup+0.100498 s]
/proc/loadavg: 2.07 2.03 2.01 2/511 6900
/proc/meminfo: memFree=16727620/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=19244 CPUtime=0.1 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 461 0 0 0 10 0 0 0 19 0 1 0 810332357 19705856 413 33554432000 134512640 137138936 4287845072 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 4811 413 192 642 0 4167 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 19244
[startup+0.30045 s]
/proc/loadavg: 2.07 2.03 2.01 2/511 6900
/proc/meminfo: memFree=16727620/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=20660 CPUtime=0.3 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 827 0 0 0 30 0 0 0 20 0 1 0 810332357 21155840 779 33554432000 134512640 137138936 4287845072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 5165 779 192 642 0 4521 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 20660
[startup+0.70038 s]
/proc/loadavg: 2.07 2.03 2.01 2/511 6900
/proc/meminfo: memFree=16727620/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=21948 CPUtime=0.69 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 1137 0 0 0 69 0 0 0 21 0 1 0 810332357 22474752 1089 33554432000 134512640 137138936 4287845072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 5487 1089 192 642 0 4843 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21948
[startup+1.50025 s]
/proc/loadavg: 2.07 2.03 2.01 3/512 6901
/proc/meminfo: memFree=16722412/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=22708 CPUtime=1.49 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 1320 0 0 0 149 0 0 0 23 0 1 0 810332357 23252992 1272 33554432000 134512640 137138936 4287845072 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 5677 1272 192 642 0 5033 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22708
[startup+3.10096 s]
/proc/loadavg: 2.07 2.03 2.01 3/512 6901
/proc/meminfo: memFree=16721172/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=23608 CPUtime=3.09 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 1557 0 0 0 308 1 0 0 25 0 1 0 810332357 24174592 1509 33554432000 134512640 137138936 4287845072 18446744073709551615 136504108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 5902 1509 192 642 0 5258 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23608
[startup+6.30041 s]
/proc/loadavg: 2.14 2.05 2.01 3/512 6901
/proc/meminfo: memFree=16718968/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=24380 CPUtime=6.29 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 1750 0 0 0 626 3 0 0 25 0 1 0 810332357 24965120 1702 33554432000 134512640 137138936 4287845072 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 6095 1702 192 642 0 5451 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24380
[startup+12.7003 s]
/proc/loadavg: 2.13 2.05 2.01 3/512 6901
/proc/meminfo: memFree=16716424/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=25284 CPUtime=12.69 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 1989 0 0 0 1264 5 0 0 25 0 1 0 810332357 25890816 1941 33554432000 134512640 137138936 4287845072 18446744073709551615 134618552 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 6321 1941 192 642 0 5677 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25284
[startup+25.501 s]
/proc/loadavg: 2.10 2.05 2.01 3/512 6902
/proc/meminfo: memFree=16715324/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=26396 CPUtime=25.49 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 2246 0 0 0 2539 10 0 0 25 0 1 0 810332357 27029504 2198 33554432000 134512640 137138936 4287845072 18446744073709551615 136504048 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 6599 2198 192 642 0 5955 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26396
[startup+51.1005 s]
/proc/loadavg: 2.06 2.04 2.01 3/512 6902
/proc/meminfo: memFree=16713632/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=27748 CPUtime=51.09 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 2585 0 0 0 5091 18 0 0 25 0 1 0 810332357 28413952 2537 33554432000 134512640 137138936 4287845072 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 6937 2537 192 642 0 6293 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27748
[startup+102.319 s]
/proc/loadavg: 2.03 2.03 2.00 3/512 6904
/proc/meminfo: memFree=16709896/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=30008 CPUtime=102.31 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 3159 0 0 0 10198 33 0 0 25 0 1 0 810332357 30728192 3111 33554432000 134512640 137138936 4287845072 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 7502 3111 192 642 0 6858 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 30008
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/512 6905
/proc/meminfo: memFree=16708020/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=30080 CPUtime=162.29 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 3180 0 0 0 16185 44 0 0 25 0 1 0 810332357 30801920 3132 33554432000 134512640 137138936 4287845072 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 7520 3132 192 642 0 6876 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 30080
[startup+222.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/512 6907
/proc/meminfo: memFree=16708252/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=30984 CPUtime=222.29 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 3416 0 0 0 22174 55 0 0 25 0 1 0 810332357 31727616 3368 33554432000 134512640 137138936 4287845072 18446744073709551615 134542955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 7746 3368 192 642 0 7102 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 30984
[startup+282.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/512 6908
/proc/meminfo: memFree=16708480/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=31800 CPUtime=282.29 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 3603 0 0 0 28163 66 0 0 25 0 1 0 810332357 32563200 3555 33554432000 134512640 137138936 4287845072 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 7950 3555 192 642 0 7306 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 31800
[startup+342.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/512 6912
/proc/meminfo: memFree=16708288/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=32156 CPUtime=342.29 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 3698 0 0 0 34150 79 0 0 25 0 1 0 810332357 32927744 3650 33554432000 134512640 137138936 4287845072 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 8039 3650 192 642 0 7395 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 32156
[startup+402.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/512 6915
/proc/meminfo: memFree=16708596/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=32132 CPUtime=402.29 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 3698 0 0 0 40138 91 0 0 25 0 1 0 810332357 32903168 3650 33554432000 134512640 137138936 4287845072 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 8033 3650 192 642 0 7389 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 32132
[startup+462.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/512 6943
/proc/meminfo: memFree=16619980/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=32908 CPUtime=462.29 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 3897 0 0 0 46121 108 0 0 25 0 1 0 810332357 33697792 3849 33554432000 134512640 137138936 4287845072 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 8227 3849 192 642 0 7583 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 32908
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 6945
/proc/meminfo: memFree=16618884/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=32908 CPUtime=522.3 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 3897 0 0 0 52111 119 0 0 25 0 1 0 810332357 33697792 3849 33554432000 134512640 137138936 4287845072 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 8227 3849 192 642 0 7583 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 32908
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 6946
/proc/meminfo: memFree=16593704/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=33208 CPUtime=582.29 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 3957 0 0 0 58100 129 0 0 25 0 1 0 810332357 34004992 3909 33554432000 134512640 137138936 4287845072 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 8302 3909 192 642 0 7658 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 33208
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=16450792/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=36952 CPUtime=1122.27 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 4906 0 0 0 112015 212 0 0 25 0 1 0 810332357 37838848 4849 33554432000 134512640 137138936 4287845072 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 9238 4849 192 642 0 8594 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 36952
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 6962
/proc/meminfo: memFree=16451392/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=36952 CPUtime=1182.28 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 4909 0 0 0 118008 220 0 0 25 0 1 0 810332357 37838848 4852 33554432000 134512640 137138936 4287845072 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 9238 4852 192 642 0 8594 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 36952
[startup+1242.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/512 6964
/proc/meminfo: memFree=16451132/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=37132 CPUtime=1242.27 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 4951 0 0 0 124001 226 0 0 25 0 1 0 810332357 38023168 4894 33554432000 134512640 137138936 4287845072 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 9283 4894 192 642 0 8639 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 37132
[startup+1302.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/512 6966
/proc/meminfo: memFree=16451232/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=37132 CPUtime=1302.27 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 4951 0 0 0 129994 233 0 0 25 0 1 0 810332357 38023168 4894 33554432000 134512640 137138936 4287845072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 9283 4894 192 642 0 8639 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 37132
[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/512 6967
/proc/meminfo: memFree=16451348/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=37124 CPUtime=1362.28 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 4951 0 0 0 135987 241 0 0 25 0 1 0 810332357 38014976 4894 33554432000 134512640 137138936 4287845072 18446744073709551615 136504500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 9281 4894 192 642 0 8637 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 37124
[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 6969
/proc/meminfo: memFree=16451568/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=37120 CPUtime=1422.3 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 4951 0 0 0 141981 249 0 0 25 0 1 0 810332357 38010880 4894 33554432000 134512640 137138936 4287845072 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 9280 4894 192 642 0 8636 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 37120
[startup+1482.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/512 6970
/proc/meminfo: memFree=16451180/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=37116 CPUtime=1482.27 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 4951 0 0 0 147972 255 0 0 25 0 1 0 810332357 38006784 4894 33554432000 134512640 137138936 4287845072 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 9279 4894 192 642 0 8635 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 37116
[startup+1542.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/512 6972
/proc/meminfo: memFree=16439624/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=37108 CPUtime=1542.28 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 4951 0 0 0 153964 264 0 0 25 0 1 0 810332357 37998592 4894 33554432000 134512640 137138936 4287845072 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 9277 4894 192 642 0 8633 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 37108
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/512 6974
/proc/meminfo: memFree=16439348/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=37108 CPUtime=1602.28 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 4951 0 0 0 159957 271 0 0 25 0 1 0 810332357 37998592 4894 33554432000 134512640 137138936 4287845072 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 9277 4894 192 642 0 8633 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 37108
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 6975
/proc/meminfo: memFree=16429652/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=37104 CPUtime=1662.28 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 4951 0 0 0 165951 277 0 0 25 0 1 0 810332357 37994496 4894 33554432000 134512640 137138936 4287845072 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 9276 4894 192 642 0 8632 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 37104
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 6977
/proc/meminfo: memFree=16430748/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=37104 CPUtime=1722.28 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 4951 0 0 0 171944 284 0 0 25 0 1 0 810332357 37994496 4894 33554432000 134512640 137138936 4287845072 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 9276 4894 192 642 0 8632 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 37104
[startup+1782.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/512 6978
/proc/meminfo: memFree=16427628/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=38136 CPUtime=1782.27 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 5207 0 0 0 177934 293 0 0 25 0 1 0 810332357 39051264 5150 33554432000 134512640 137138936 4287845072 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 9534 5150 192 642 0 8890 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 38136
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.13 2.05 2.01 3/512 6978
/proc/meminfo: memFree=16428744/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=38136 CPUtime=1785.47 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 5207 0 0 0 178254 293 0 0 25 0 1 0 810332357 39051264 5150 33554432000 134512640 137138936 4287845072 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 9534 5150 192 642 0 8890 0
Current children cumulated CPU time (s) 1785.47
Current children cumulated vsize (KiB) 38136
[startup+1791.92 s]
/proc/loadavg: 2.12 2.05 2.01 3/512 6979
/proc/meminfo: memFree=16429736/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=38136 CPUtime=1791.89 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 5207 0 0 0 178895 294 0 0 25 0 1 0 810332357 39051264 5150 33554432000 134512640 137138936 4287845072 18446744073709551615 134543220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 9534 5150 192 642 0 8890 0
Current children cumulated CPU time (s) 1791.89
Current children cumulated vsize (KiB) 38136
[startup+1795.1 s]
/proc/loadavg: 2.11 2.05 2.01 3/512 6979
/proc/meminfo: memFree=16429612/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=38136 CPUtime=1795.08 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 5207 0 0 0 179214 294 0 0 25 0 1 0 810332357 39051264 5150 33554432000 134512640 137138936 4287845072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 9534 5150 192 642 0 8890 0
Current children cumulated CPU time (s) 1795.08
Current children cumulated vsize (KiB) 38136
[startup+1796.7 s]
/proc/loadavg: 2.11 2.05 2.01 3/512 6979
/proc/meminfo: memFree=16429612/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=38136 CPUtime=1796.67 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 5207 0 0 0 179373 294 0 0 25 0 1 0 810332357 39051264 5150 33554432000 134512640 137138936 4287845072 18446744073709551615 134576423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 9534 5150 192 642 0 8890 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (KiB) 38136
[startup+1797.5 s]
/proc/loadavg: 2.11 2.05 2.01 3/512 6979
/proc/meminfo: memFree=16429360/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=38136 CPUtime=1797.47 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 5207 0 0 0 179453 294 0 0 25 0 1 0 810332357 39051264 5150 33554432000 134512640 137138936 4287845072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 9534 5150 192 642 0 8890 0
Current children cumulated CPU time (s) 1797.47
Current children cumulated vsize (KiB) 38136
[startup+1797.9 s]
/proc/loadavg: 2.11 2.05 2.01 3/512 6979
/proc/meminfo: memFree=16429360/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=38136 CPUtime=1797.87 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 5207 0 0 0 179493 294 0 0 25 0 1 0 810332357 39051264 5150 33554432000 134512640 137138936 4287845072 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 9534 5150 192 642 0 8890 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 38136
[startup+1798 s]
/proc/loadavg: 2.11 2.05 2.01 3/512 6979
/proc/meminfo: memFree=16429360/32951124 swapFree=67111204/67111528
[pid=6900] ppid=6898 vsize=38136 CPUtime=1797.97 cores=1,3,5,7
/proc/6900/stat : 6900 (bsolo) R 6898 6900 5093 0 -1 4202496 5207 0 0 0 179503 294 0 0 25 0 1 0 810332357 39051264 5150 33554432000 134512640 137138936 4287845072 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6900/statm: 9534 5150 192 642 0 8890 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 38136
Child status: 0
Real time (s): 1798.02
CPU time (s): 1798
CPU user time (s): 1795.05
CPU system time (s): 2.94955
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 38136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.05
system time used= 2.94955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5207
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= 3060
runsolver used 8.75167 second user time and 20.7258 second system time
The end