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-3462399-1307184523/watcher-3462399-1307184523 -o /tmp/evaluation-result-3462399-1307184523/solver-3462399-1307184523 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462399-1307184523.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 2/498 19446
/proc/meminfo: memFree=28021556/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=12532 CPUtime=0.01 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 723 0 0 0 1 0 0 0 25 0 1 0 830051908 12832768 678 33554432000 134512640 137138936 4288443088 18446744073709551615 134531237 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 3133 678 188 642 0 2469 0
[startup+0.10655 s]
/proc/loadavg: 2.00 2.03 2.00 2/498 19446
/proc/meminfo: memFree=28021556/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=14024 CPUtime=0.1 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 1134 0 0 0 10 0 0 0 25 0 1 0 830051908 14360576 1069 33554432000 134512640 137138936 4288443088 18446744073709551615 134543044 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 3506 1069 185 642 0 2862 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14024
[startup+0.200533 s]
/proc/loadavg: 2.00 2.03 2.00 2/498 19446
/proc/meminfo: memFree=28021556/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=14024 CPUtime=0.19 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 1135 0 0 0 19 0 0 0 25 0 1 0 830051908 14360576 1070 33554432000 134512640 137138936 4288443088 18446744073709551615 136500582 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 3506 1070 185 642 0 2862 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14024
[startup+0.30052 s]
/proc/loadavg: 2.00 2.03 2.00 2/498 19446
/proc/meminfo: memFree=28021556/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=14024 CPUtime=0.29 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 1135 0 0 0 29 0 0 0 25 0 1 0 830051908 14360576 1070 33554432000 134512640 137138936 4288443088 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 3506 1070 185 642 0 2862 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14024
[startup+0.700451 s]
/proc/loadavg: 2.00 2.03 2.00 2/498 19446
/proc/meminfo: memFree=28021556/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=14024 CPUtime=0.69 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 1135 0 0 0 69 0 0 0 25 0 1 0 830051908 14360576 1070 33554432000 134512640 137138936 4288443088 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 3506 1070 185 642 0 2862 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14024
[startup+1.50032 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 19447
/proc/meminfo: memFree=28017828/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=14024 CPUtime=1.49 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 1136 0 0 0 149 0 0 0 25 0 1 0 830051908 14360576 1071 33554432000 134512640 137138936 4288443088 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 3506 1071 185 642 0 2862 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14024
[startup+3.10104 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 19447
/proc/meminfo: memFree=28016580/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=14024 CPUtime=3.09 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 1136 0 0 0 309 0 0 0 25 0 1 0 830051908 14360576 1071 33554432000 134512640 137138936 4288443088 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 3506 1071 185 642 0 2862 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14024
[startup+6.30052 s]
/proc/loadavg: 2.16 2.06 2.01 3/499 19447
/proc/meminfo: memFree=28016580/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=14024 CPUtime=6.29 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 1136 0 0 0 629 0 0 0 25 0 1 0 830051908 14360576 1071 33554432000 134512640 137138936 4288443088 18446744073709551615 136504355 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 3506 1071 185 642 0 2862 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14024
[startup+12.7004 s]
/proc/loadavg: 2.15 2.06 2.01 3/499 19447
/proc/meminfo: memFree=28007824/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=23560 CPUtime=12.69 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 3800 0 0 0 1263 6 0 0 25 0 1 0 830051908 24125440 3473 33554432000 134512640 137138936 4288443088 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 5890 3473 192 642 0 5246 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23560
[startup+25.5013 s]
/proc/loadavg: 2.13 2.06 2.01 3/499 19447
/proc/meminfo: memFree=27984384/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=46148 CPUtime=25.49 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 9432 0 0 0 2535 14 0 0 25 0 1 0 830051908 47255552 9105 33554432000 134512640 137138936 4288443088 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 11537 9105 192 642 0 10893 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46148
[startup+51.1009 s]
/proc/loadavg: 2.08 2.05 2.01 3/499 19447
/proc/meminfo: memFree=27955180/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=75764 CPUtime=51.09 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 16835 0 0 0 5083 26 0 0 25 0 1 0 830051908 77582336 16508 33554432000 134512640 137138936 4288443088 18446744073709551615 136502600 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 18941 16508 192 642 0 18297 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 75764
[startup+102.301 s]
/proc/loadavg: 2.11 2.07 2.01 3/499 19449
/proc/meminfo: memFree=27917708/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=111752 CPUtime=102.31 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 25836 0 0 0 10193 38 0 0 25 0 1 0 830051908 114434048 25509 33554432000 134512640 137138936 4288443088 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 27938 25509 192 642 0 27294 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 111752
[startup+162.301 s]
/proc/loadavg: 2.23 2.12 2.03 3/499 19451
/proc/meminfo: memFree=27881988/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=146112 CPUtime=162.29 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 34423 0 0 0 16178 51 0 0 25 0 1 0 830051908 149618688 34096 33554432000 134512640 137138936 4288443088 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 36528 34096 192 642 0 35884 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 146112
[startup+222.319 s]
/proc/loadavg: 2.08 2.09 2.02 3/499 19453
/proc/meminfo: memFree=27858040/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=171556 CPUtime=222.32 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 40783 0 0 0 22170 62 0 0 25 0 1 0 830051908 175673344 40456 33554432000 134512640 137138936 4288443088 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 42889 40456 192 642 0 42245 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 171556
[startup+282.301 s]
/proc/loadavg: 2.03 2.07 2.02 4/499 19453
/proc/meminfo: memFree=27832616/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=197560 CPUtime=282.29 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 47301 0 0 0 28161 68 0 0 25 0 1 0 830051908 202301440 46974 33554432000 134512640 137138936 4288443088 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 49390 46974 192 642 0 48746 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 197560
[startup+342.301 s]
/proc/loadavg: 2.01 2.06 2.01 3/499 19455
/proc/meminfo: memFree=27810148/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=219936 CPUtime=342.3 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 52894 0 0 0 34154 76 0 0 25 0 1 0 830051908 225214464 52567 33554432000 134512640 137138936 4288443088 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 54984 52567 192 642 0 54340 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 219936
[startup+402.301 s]
/proc/loadavg: 2.00 2.05 2.00 3/499 19457
/proc/meminfo: memFree=27792152/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=238544 CPUtime=402.3 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 57536 0 0 0 40147 83 0 0 25 0 1 0 830051908 244269056 57209 33554432000 134512640 137138936 4288443088 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 59636 57209 192 642 0 58992 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 238544
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 19459
/proc/meminfo: memFree=27773916/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=256524 CPUtime=462.29 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 62026 0 0 0 46141 88 0 0 25 0 1 0 830051908 262680576 61699 33554432000 134512640 137138936 4288443088 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 64131 61699 192 642 0 63487 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 256524
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 19461
/proc/meminfo: memFree=27758284/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=272808 CPUtime=522.3 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 66111 0 0 0 52135 95 0 0 25 0 1 0 830051908 279355392 65784 33554432000 134512640 137138936 4288443088 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 68202 65784 192 642 0 67558 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 272808
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 19461
/proc/meminfo: memFree=27742780/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=287812 CPUtime=582.3 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 69862 0 0 0 58131 99 0 0 25 0 1 0 830051908 294719488 69535 33554432000 134512640 137138936 4288443088 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 71953 69535 192 642 0 71309 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 287812
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28481824/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=434952 CPUtime=1122.31 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 106633 0 0 0 112091 140 0 0 25 0 1 0 830051908 445390848 106306 33554432000 134512640 137138936 4288443088 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 108738 106306 192 642 0 108094 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 434952
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 19543
/proc/meminfo: memFree=28457876/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=447120 CPUtime=1182.31 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 109679 0 0 0 118088 143 0 0 25 0 1 0 830051908 457850880 109352 33554432000 134512640 137138936 4288443088 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 111780 109352 192 642 0 111136 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 447120
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 19545
/proc/meminfo: memFree=28435672/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=456040 CPUtime=1242.31 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 111904 0 0 0 124086 145 0 0 25 0 1 0 830051908 466984960 111577 33554432000 134512640 137138936 4288443088 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 114010 111577 192 642 0 113366 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 456040
[startup+1302.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/499 19547
/proc/meminfo: memFree=28421644/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=469264 CPUtime=1302.31 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 115214 0 0 0 130084 147 0 0 25 0 1 0 830051908 480526336 114887 33554432000 134512640 137138936 4288443088 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 117316 114887 192 642 0 116672 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 469264
[startup+1362.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/499 19549
/proc/meminfo: memFree=28408000/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=482564 CPUtime=1362.31 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 118540 0 0 0 136080 151 0 0 25 0 1 0 830051908 494145536 118213 33554432000 134512640 137138936 4288443088 18446744073709551615 134542439 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 120641 118213 192 642 0 119997 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 482564
[startup+1422.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/499 19551
/proc/meminfo: memFree=28399432/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=492856 CPUtime=1422.33 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 121109 0 0 0 142079 154 0 0 25 0 1 0 830051908 504684544 120782 33554432000 134512640 137138936 4288443088 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 123214 120782 192 642 0 122570 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 492856
[startup+1482.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/499 19551
/proc/meminfo: memFree=28385532/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=506268 CPUtime=1482.31 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 124461 0 0 0 148074 157 0 0 25 0 1 0 830051908 518418432 124134 33554432000 134512640 137138936 4288443088 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 126567 124134 192 642 0 125923 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 506268
[startup+1542.32 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 19553
/proc/meminfo: memFree=28375096/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=517320 CPUtime=1542.33 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 127224 0 0 0 154073 160 0 0 25 0 1 0 830051908 529735680 126897 33554432000 134512640 137138936 4288443088 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 129330 126897 192 642 0 128686 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 517320
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 19555
/proc/meminfo: memFree=28361936/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=530236 CPUtime=1602.32 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 130454 0 0 0 160069 163 0 0 25 0 1 0 830051908 542961664 130127 33554432000 134512640 137138936 4288443088 18446744073709551615 136297742 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 132559 130127 192 642 0 131915 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 530236
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 19557
/proc/meminfo: memFree=28351012/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=540864 CPUtime=1662.32 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 133112 0 0 0 166066 166 0 0 25 0 1 0 830051908 553844736 132785 33554432000 134512640 137138936 4288443088 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 135216 132785 192 642 0 134572 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 540864
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 19559
/proc/meminfo: memFree=28341460/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=550656 CPUtime=1722.32 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 135573 0 0 0 172063 169 0 0 25 0 1 0 830051908 563871744 135246 33554432000 134512640 137138936 4288443088 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 137664 135246 192 642 0 137020 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 550656
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 19559
/proc/meminfo: memFree=28329540/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=561224 CPUtime=1782.32 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 138203 0 0 0 178060 172 0 0 25 0 1 0 830051908 574693376 137876 33554432000 134512640 137138936 4288443088 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 140306 137876 192 642 0 139662 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 561224
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 19559
/proc/meminfo: memFree=28330284/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=561576 CPUtime=1785.62 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 138290 0 0 0 178390 172 0 0 25 0 1 0 830051908 575053824 137963 33554432000 134512640 137138936 4288443088 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 140394 137963 192 642 0 139750 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (KiB) 561576
[startup+1792.02 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 19561
/proc/meminfo: memFree=28328916/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=562920 CPUtime=1792.04 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 138644 0 0 0 179031 173 0 0 25 0 1 0 830051908 576430080 138317 33554432000 134512640 137138936 4288443088 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 140730 138317 192 642 0 140086 0
Current children cumulated CPU time (s) 1792.04
Current children cumulated vsize (KiB) 562920
[startup+1795.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 19561
/proc/meminfo: memFree=28328416/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=563416 CPUtime=1795.24 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 138760 0 0 0 179351 173 0 0 25 0 1 0 830051908 576937984 138433 33554432000 134512640 137138936 4288443088 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 140854 138433 192 642 0 140210 0
Current children cumulated CPU time (s) 1795.24
Current children cumulated vsize (KiB) 563416
[startup+1796.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 19561
/proc/meminfo: memFree=28328168/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=563764 CPUtime=1796.82 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 138850 0 0 0 179509 173 0 0 25 0 1 0 830051908 577294336 138523 33554432000 134512640 137138936 4288443088 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 140941 138523 192 642 0 140297 0
Current children cumulated CPU time (s) 1796.82
Current children cumulated vsize (KiB) 563764
[startup+1797.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 19561
/proc/meminfo: memFree=28327548/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=564008 CPUtime=1797.62 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 138909 0 0 0 179589 173 0 0 25 0 1 0 830051908 577544192 138582 33554432000 134512640 137138936 4288443088 18446744073709551615 135984567 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 141002 138582 192 642 0 140358 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 564008
[startup+1797.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 19561
/proc/meminfo: memFree=28327548/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=564008 CPUtime=1797.82 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 138915 0 0 0 179609 173 0 0 25 0 1 0 830051908 577544192 138588 33554432000 134512640 137138936 4288443088 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 141002 138588 192 642 0 140358 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 564008
[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 19561
/proc/meminfo: memFree=28327548/32951132 swapFree=57925096/67111528
[pid=19446] ppid=19444 vsize=564084 CPUtime=1797.92 cores=0,2,4,6
/proc/19446/stat : 19446 (bsolo) R 19444 19446 16811 0 -1 4202496 138930 0 0 0 179619 173 0 0 25 0 1 0 830051908 577622016 138603 33554432000 134512640 137138936 4288443088 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19446/statm: 141021 138603 192 642 0 140377 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 564084
Child status: 0
Real time (s): 1798
CPU time (s): 1798.03
CPU user time (s): 1796.27
CPU system time (s): 1.75973
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 564084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.27
system time used= 1.75973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138930
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= 1896
runsolver used 9.33358 second user time and 20.1139 second system time
The end