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-3478786-1307438580/watcher-3478786-1307438580 -o /tmp/evaluation-result-3478786-1307438580/solver-3478786-1307438580 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3478786-1307438580.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.02 1.72 2/517 11181
/proc/meminfo: memFree=21372208/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=60900 CPUtime=0.01 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 416 0 0 0 1 0 0 0 22 0 1 0 855454777 62361600 370 33554432000 134512640 137138936 4294880864 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 15225 370 203 642 0 2157 0
[startup+0.059949 s]
/proc/loadavg: 2.00 2.02 1.72 2/517 11181
/proc/meminfo: memFree=21372208/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=63356 CPUtime=0.05 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 1217 0 0 0 5 0 0 0 22 0 1 0 855454777 64876544 1171 33554432000 134512640 137138936 4294880864 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 15839 1172 392 642 0 2771 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 63356
[startup+0.100937 s]
/proc/loadavg: 2.00 2.02 1.72 2/517 11181
/proc/meminfo: memFree=21372208/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=65400 CPUtime=0.09 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 1886 0 0 0 9 0 0 0 22 0 1 0 855454777 66969600 1840 33554432000 134512640 137138936 4294880864 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 16350 1840 558 642 0 3282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 65400
[startup+0.300902 s]
/proc/loadavg: 2.00 2.02 1.72 2/517 11181
/proc/meminfo: memFree=21372208/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=74548 CPUtime=0.29 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 4950 0 0 0 29 0 0 0 23 0 1 0 855454777 76337152 4904 33554432000 134512640 137138936 4294880864 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 18637 4904 1321 642 0 5569 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 74548
[startup+0.700817 s]
/proc/loadavg: 2.00 2.02 1.72 2/517 11181
/proc/meminfo: memFree=21372208/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=92760 CPUtime=0.69 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 11037 0 0 0 68 1 0 0 25 0 1 0 855454777 94986240 10991 33554432000 134512640 137138936 4294880864 18446744073709551615 134523143 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 23190 10992 2851 642 0 10122 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92760
[startup+1.50066 s]
/proc/loadavg: 2.00 2.02 1.72 3/518 11182
/proc/meminfo: memFree=21325576/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=126396 CPUtime=1.49 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 22473 0 0 0 146 3 0 0 25 0 1 0 855454777 129429504 22387 33554432000 134512640 137138936 4294880864 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 31599 22387 5864 642 0 18531 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 126396
[startup+3.10035 s]
/proc/loadavg: 2.00 2.02 1.72 3/518 11182
/proc/meminfo: memFree=21279960/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=189264 CPUtime=3.09 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 43867 0 0 0 303 6 0 0 25 0 1 0 855454777 193806336 43702 33554432000 134512640 137138936 4294880864 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 47316 43702 11515 642 0 34248 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 189264
[startup+6.30071 s]
/proc/loadavg: 2.16 2.05 1.73 3/518 11183
/proc/meminfo: memFree=21108280/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=281608 CPUtime=6.29 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 80405 0 0 0 612 17 0 0 25 0 1 0 855454777 288366592 67721 33554432000 134512640 137138936 4294880864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 70402 67721 184 642 0 69758 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 281608
[startup+12.7004 s]
/proc/loadavg: 2.15 2.05 1.73 3/518 11183
/proc/meminfo: memFree=21099224/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=281608 CPUtime=12.69 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 80411 0 0 0 1242 27 0 0 25 0 1 0 855454777 288366592 67727 33554432000 134512640 137138936 4294880864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 70402 67727 184 642 0 69758 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 281608
[startup+25.5009 s]
/proc/loadavg: 2.11 2.05 1.73 3/518 11183
/proc/meminfo: memFree=21086696/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=281608 CPUtime=25.49 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 80418 0 0 0 2511 38 0 0 25 0 1 0 855454777 288366592 67734 33554432000 134512640 137138936 4294880864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 70402 67734 184 642 0 69758 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 281608
[startup+51.1008 s]
/proc/loadavg: 2.14 2.06 1.74 3/518 11184
/proc/meminfo: memFree=21072256/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=281608 CPUtime=51.1 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 80428 0 0 0 5054 56 0 0 25 0 1 0 855454777 288366592 67744 33554432000 134512640 137138936 4294880864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 70402 67744 184 642 0 69758 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 281608
[startup+102.321 s]
/proc/loadavg: 2.06 2.05 1.75 3/518 11185
/proc/meminfo: memFree=21051912/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=281740 CPUtime=102.31 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 80442 0 0 0 10151 80 0 0 25 0 1 0 855454777 288501760 67758 33554432000 134512640 137138936 4294880864 18446744073709551615 134540085 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 70435 67758 184 642 0 69791 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 281740
[startup+162.301 s]
/proc/loadavg: 2.02 2.04 1.77 3/518 11187
/proc/meminfo: memFree=21024596/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=281740 CPUtime=162.3 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 80456 0 0 0 16127 103 0 0 25 0 1 0 855454777 288501760 67772 33554432000 134512640 137138936 4294880864 18446744073709551615 134540085 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 70435 67772 184 642 0 69791 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 281740
[startup+222.301 s]
/proc/loadavg: 2.00 2.03 1.78 3/518 11188
/proc/meminfo: memFree=21016988/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=279196 CPUtime=222.3 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 80494 0 0 0 22051 179 0 0 25 0 1 0 855454777 285896704 67155 33554432000 134512640 137138936 4294880864 18446744073709551615 134575311 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 69799 67155 192 642 0 69155 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 279196
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 1.79 3/518 11190
/proc/meminfo: memFree=20961280/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=330232 CPUtime=282.31 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 93223 0 0 0 28041 190 0 0 25 0 1 0 855454777 338157568 79884 33554432000 134512640 137138936 4294880864 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 82558 79884 192 642 0 81914 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 330232
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 1.80 3/518 11191
/proc/meminfo: memFree=20897760/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=384652 CPUtime=342.31 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 106827 0 0 0 34038 193 0 0 25 0 1 0 855454777 393883648 93488 33554432000 134512640 137138936 4294880864 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 96163 93488 192 642 0 95519 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 384652
[startup+402.301 s]
/proc/loadavg: 2.09 2.04 1.82 3/518 11193
/proc/meminfo: memFree=20847876/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=427844 CPUtime=402.31 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 117631 0 0 0 40035 196 0 0 25 0 1 0 855454777 438112256 104292 33554432000 134512640 137138936 4294880864 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 106961 104292 192 642 0 106317 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 427844
[startup+462.301 s]
/proc/loadavg: 2.07 2.04 1.83 3/518 11195
/proc/meminfo: memFree=20795756/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=473092 CPUtime=462.31 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 128940 0 0 0 46013 218 0 0 25 0 1 0 855454777 484446208 115601 33554432000 134512640 137138936 4294880864 18446744073709551615 134542439 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 118273 115601 192 642 0 117629 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 473092
[startup+522.301 s]
/proc/loadavg: 2.11 2.06 1.85 3/518 11196
/proc/meminfo: memFree=20716976/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=513848 CPUtime=522.32 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 139129 0 0 0 52001 231 0 0 25 0 1 0 855454777 526180352 125790 33554432000 134512640 137138936 4294880864 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 128462 125790 192 642 0 127818 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 513848
[startup+582.301 s]
/proc/loadavg: 2.08 2.06 1.86 3/518 11198
/proc/meminfo: memFree=20635232/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=557428 CPUtime=582.32 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 150043 0 0 0 57999 233 0 0 25 0 1 0 855454777 570806272 136704 33554432000 134512640 137138936 4294880864 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 139357 136704 192 642 0 138713 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 557428
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=20411676/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=831516 CPUtime=1122.34 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 218546 0 0 0 111966 268 0 0 25 0 1 0 855454777 851472384 205207 33554432000 134512640 137138936 4294880864 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 207879 205207 192 642 0 207235 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 831516
[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 1.93 3/518 11241
/proc/meminfo: memFree=20376688/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=859200 CPUtime=1182.35 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 225467 0 0 0 117965 270 0 0 25 0 1 0 855454777 879820800 212128 33554432000 134512640 137138936 4294880864 18446744073709551615 136511084 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 214800 212128 192 642 0 214156 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 859200
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 1.93 4/518 11242
/proc/meminfo: memFree=20336852/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=893152 CPUtime=1242.35 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 233955 0 0 0 123963 272 0 0 25 0 1 0 855454777 914587648 220616 33554432000 134512640 137138936 4294880864 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 223288 220616 192 642 0 222644 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 893152
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/518 11244
/proc/meminfo: memFree=20273096/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=926928 CPUtime=1302.37 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 242399 0 0 0 129962 275 0 0 25 0 1 0 855454777 949174272 229060 33554432000 134512640 137138936 4294880864 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 231732 229060 192 642 0 231088 0
Current children cumulated CPU time (s) 1302.37
Current children cumulated vsize (KiB) 926928
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/518 11246
/proc/meminfo: memFree=20117448/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=959140 CPUtime=1362.36 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 250452 0 0 0 135959 277 0 0 25 0 1 0 855454777 982159360 237113 33554432000 134512640 137138936 4294880864 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 239785 237113 192 642 0 239141 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 959140
[startup+1422.32 s]
/proc/loadavg: 2.07 2.04 1.94 3/518 11247
/proc/meminfo: memFree=20064844/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=989052 CPUtime=1422.38 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 257930 0 0 0 141960 278 0 0 25 0 1 0 855454777 1012789248 244591 33554432000 134512640 137138936 4294880864 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 247263 244591 192 642 0 246619 0
Current children cumulated CPU time (s) 1422.38
Current children cumulated vsize (KiB) 989052
[startup+1482.3 s]
/proc/loadavg: 2.06 2.05 1.94 3/518 11249
/proc/meminfo: memFree=20029476/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=1016288 CPUtime=1482.36 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 264740 0 0 0 147956 280 0 0 25 0 1 0 855454777 1040678912 251401 33554432000 134512640 137138936 4294880864 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 254072 251401 192 642 0 253428 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 1016288
[startup+1542.3 s]
/proc/loadavg: 2.10 2.06 1.95 3/518 11250
/proc/meminfo: memFree=19996588/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=1043900 CPUtime=1542.36 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 271642 0 0 0 153954 282 0 0 25 0 1 0 855454777 1068953600 258303 33554432000 134512640 137138936 4294880864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 260975 258303 192 642 0 260331 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 1043900
[startup+1602.3 s]
/proc/loadavg: 2.07 2.06 1.96 3/518 11252
/proc/meminfo: memFree=19985144/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=1047688 CPUtime=1602.36 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 272834 0 0 0 159953 283 0 0 25 0 1 0 855454777 1072832512 259250 33554432000 134512640 137138936 4294880864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 261922 259250 192 642 0 261278 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 1047688
[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 1.96 3/518 11254
/proc/meminfo: memFree=19974084/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=1047688 CPUtime=1662.37 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 272834 0 0 0 165935 302 0 0 25 0 1 0 855454777 1072832512 259250 33554432000 134512640 137138936 4294880864 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 261922 259250 192 642 0 261278 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 1047688
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 1.96 3/518 11255
/proc/meminfo: memFree=19967728/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=1047688 CPUtime=1722.37 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 272834 0 0 0 171931 306 0 0 25 0 1 0 855454777 1072832512 259250 33554432000 134512640 137138936 4294880864 18446744073709551615 134543015 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 261922 259250 192 642 0 261278 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 1047688
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.96 3/518 11257
/proc/meminfo: memFree=19959648/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=1047688 CPUtime=1782.38 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 272834 0 0 0 177931 307 0 0 25 0 1 0 855454777 1072832512 259250 33554432000 134512640 137138936 4294880864 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 261922 259250 192 642 0 261278 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 1047688
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.03 1.96 3/518 11257
/proc/meminfo: memFree=19961000/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=1047688 CPUtime=1785.58 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 272834 0 0 0 178251 307 0 0 25 0 1 0 855454777 1072832512 259250 33554432000 134512640 137138936 4294880864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 261922 259250 192 642 0 261278 0
Current children cumulated CPU time (s) 1785.58
Current children cumulated vsize (KiB) 1047688
[startup+1791.92 s]
/proc/loadavg: 2.00 2.03 1.96 3/518 11257
/proc/meminfo: memFree=19961124/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=1047688 CPUtime=1792 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 272834 0 0 0 178893 307 0 0 25 0 1 0 855454777 1072832512 259250 33554432000 134512640 137138936 4294880864 18446744073709551615 134543208 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 261922 259250 192 642 0 261278 0
Current children cumulated CPU time (s) 1792
Current children cumulated vsize (KiB) 1047688
[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 1.96 3/518 11257
/proc/meminfo: memFree=19960752/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=1047688 CPUtime=1795.19 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 272834 0 0 0 179212 307 0 0 25 0 1 0 855454777 1072832512 259250 33554432000 134512640 137138936 4294880864 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 261922 259250 192 642 0 261278 0
Current children cumulated CPU time (s) 1795.19
Current children cumulated vsize (KiB) 1047688
[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 1.96 3/518 11257
/proc/meminfo: memFree=19960752/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=1047688 CPUtime=1796.78 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 272834 0 0 0 179371 307 0 0 25 0 1 0 855454777 1072832512 259250 33554432000 134512640 137138936 4294880864 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 261922 259250 192 642 0 261278 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 1047688
[startup+1797.5 s]
/proc/loadavg: 2.00 2.03 1.96 3/518 11257
/proc/meminfo: memFree=19960376/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=1047688 CPUtime=1797.58 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 272834 0 0 0 179451 307 0 0 25 0 1 0 855454777 1072832512 259250 33554432000 134512640 137138936 4294880864 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 261922 259250 192 642 0 261278 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 1047688
[startup+1797.9 s]
/proc/loadavg: 2.00 2.03 1.96 3/518 11257
/proc/meminfo: memFree=19960376/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=1047688 CPUtime=1797.98 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202496 272834 0 0 0 179491 307 0 0 25 0 1 0 855454777 1072832512 259250 33554432000 134512640 137138936 4294880864 18446744073709551615 136504068 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11181/statm: 261922 259250 192 642 0 261278 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 1047688
[startup+1798 s]
/proc/loadavg: 2.00 2.03 1.96 3/518 11257
/proc/meminfo: memFree=19960376/32950928 swapFree=34259960/67111528
[pid=11181] ppid=11179 vsize=0 CPUtime=1798.07 cores=1,3,5,7
/proc/11181/stat : 11181 (bsolo) R 11179 11181 11029 0 -1 4202500 272834 0 0 0 179497 310 0 0 25 0 1 0 855454777 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/11181/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.07
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.01
CPU time (s): 1798.09
CPU user time (s): 1794.98
CPU system time (s): 3.11553
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 1048668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.98
system time used= 3.11553
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272834
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= 1582
runsolver used 8.5207 second user time and 22.5416 second system time
The end