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-3478731-1307436781/watcher-3478731-1307436781 -o /tmp/evaluation-result-3478731-1307436781/solver-3478731-1307436781 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3478731-1307436781.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: 0.00 0.00 0.00 3/516 11066
/proc/meminfo: memFree=21453164/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=20508 CPUtime=0.01 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 420 0 0 0 1 0 0 0 25 0 1 0 855274840 21000192 374 33554432000 134512640 137138936 4288999840 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 5127 375 204 642 0 2157 0
[startup+0.0907779 s]
/proc/loadavg: 0.00 0.00 0.00 3/516 11066
/proc/meminfo: memFree=21453164/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=24464 CPUtime=0.09 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 1736 0 0 0 9 0 0 0 25 0 1 0 855274840 25051136 1690 33554432000 134512640 137138936 4288999840 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 6116 1690 520 642 0 3146 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24464
[startup+0.100772 s]
/proc/loadavg: 0.00 0.00 0.00 3/516 11066
/proc/meminfo: memFree=21453164/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=25008 CPUtime=0.1 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 1897 0 0 0 10 0 0 0 25 0 1 0 855274840 25608192 1851 33554432000 134512640 137138936 4288999840 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 6252 1851 560 642 0 3282 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 25008
[startup+0.300733 s]
/proc/loadavg: 0.00 0.00 0.00 3/516 11066
/proc/meminfo: memFree=21453164/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=34292 CPUtime=0.29 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 5005 0 0 0 29 0 0 0 25 0 1 0 855274840 35115008 4959 33554432000 134512640 137138936 4288999840 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 8573 4960 1334 642 0 5603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34292
[startup+0.700659 s]
/proc/loadavg: 0.00 0.00 0.00 3/516 11066
/proc/meminfo: memFree=21453164/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=50924 CPUtime=0.69 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 12630 0 0 0 68 1 0 0 25 0 1 0 855274840 52146176 10258 33554432000 134512640 137138936 4288999840 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 12731 10258 184 642 0 12087 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50924
[startup+1.5005 s]
/proc/loadavg: 0.00 0.00 0.00 4/518 11068
/proc/meminfo: memFree=21348616/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=65328 CPUtime=1.49 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 16230 0 0 0 146 3 0 0 25 0 1 0 855274840 66895872 13858 33554432000 134512640 137138936 4288999840 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 16332 13858 185 642 0 15688 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65328
[startup+3.10118 s]
/proc/loadavg: 0.00 0.00 0.00 4/518 11068
/proc/meminfo: memFree=21346880/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=65328 CPUtime=3.1 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 16233 0 0 0 305 5 0 0 25 0 1 0 855274840 66895872 13861 33554432000 134512640 137138936 4288999840 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 16332 13861 185 642 0 15688 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 65328
[startup+6.30054 s]
/proc/loadavg: 0.16 0.03 0.01 4/518 11069
/proc/meminfo: memFree=21346504/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=65328 CPUtime=6.29 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 16237 0 0 0 622 7 0 0 25 0 1 0 855274840 66895872 13865 33554432000 134512640 137138936 4288999840 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 16332 13865 185 642 0 15688 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65328
[startup+12.7003 s]
/proc/loadavg: 0.31 0.07 0.02 4/518 11069
/proc/meminfo: memFree=21366916/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=53524 CPUtime=12.69 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 16788 0 0 0 1251 18 0 0 25 0 1 0 855274840 54808576 10932 33554432000 134512640 137138936 4288999840 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 13381 10932 192 642 0 12737 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53524
[startup+25.5007 s]
/proc/loadavg: 0.68 0.16 0.05 4/518 11069
/proc/meminfo: memFree=21338584/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=68220 CPUtime=25.49 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 20441 0 0 0 2512 37 0 0 25 0 1 0 855274840 69857280 14585 33554432000 134512640 137138936 4288999840 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 17055 14585 192 642 0 16411 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68220
[startup+51.1006 s]
/proc/loadavg: 1.13 0.31 0.10 4/518 11070
/proc/meminfo: memFree=21294592/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=89060 CPUtime=51.09 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 25680 0 0 0 5050 59 0 0 25 0 1 0 855274840 91197440 19824 33554432000 134512640 137138936 4288999840 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 22265 19824 192 642 0 21621 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 89060
[startup+102.32 s]
/proc/loadavg: 1.73 0.61 0.21 4/518 11071
/proc/meminfo: memFree=21248184/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=111604 CPUtime=102.31 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 31310 0 0 0 10168 63 0 0 25 0 1 0 855274840 114282496 25454 33554432000 134512640 137138936 4288999840 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 27901 25454 192 642 0 27257 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 111604
[startup+162.3 s]
/proc/loadavg: 1.90 0.86 0.32 4/518 11073
/proc/meminfo: memFree=21170256/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=134848 CPUtime=162.3 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 37099 0 0 0 16158 72 0 0 25 0 1 0 855274840 138084352 31243 33554432000 134512640 137138936 4288999840 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 33712 31243 192 642 0 33068 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 134848
[startup+222.3 s]
/proc/loadavg: 1.96 1.06 0.43 4/518 11074
/proc/meminfo: memFree=21139704/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=149864 CPUtime=222.31 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 40853 0 0 0 22155 76 0 0 25 0 1 0 855274840 153460736 34997 33554432000 134512640 137138936 4288999840 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 37466 34997 192 642 0 36822 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 149864
[startup+282.3 s]
/proc/loadavg: 1.98 1.23 0.52 4/518 11076
/proc/meminfo: memFree=21118208/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=159628 CPUtime=282.3 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 43299 0 0 0 28153 77 0 0 25 0 1 0 855274840 163459072 37443 33554432000 134512640 137138936 4288999840 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 39907 37443 192 642 0 39263 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 159628
[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.61 4/518 11077
/proc/meminfo: memFree=21098824/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=168020 CPUtime=342.31 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 45392 0 0 0 34152 79 0 0 25 0 1 0 855274840 172052480 39536 33554432000 134512640 137138936 4288999840 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 42005 39536 192 642 0 41361 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 168020
[startup+402.301 s]
/proc/loadavg: 1.99 1.48 0.70 4/518 11079
/proc/meminfo: memFree=21015824/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=176168 CPUtime=402.31 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 47429 0 0 0 40152 79 0 0 25 0 1 0 855274840 180396032 41573 33554432000 134512640 137138936 4288999840 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 44042 41573 192 642 0 43398 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 176168
[startup+462.301 s]
/proc/loadavg: 1.99 1.57 0.77 4/518 11081
/proc/meminfo: memFree=20958984/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=185540 CPUtime=462.32 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 49792 0 0 0 46151 81 0 0 25 0 1 0 855274840 189992960 43936 33554432000 134512640 137138936 4288999840 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 46385 43936 192 642 0 45741 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 185540
[startup+522.301 s]
/proc/loadavg: 2.12 1.68 0.86 4/518 11091
/proc/meminfo: memFree=20929304/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=210844 CPUtime=522.32 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 56123 0 0 0 52144 88 0 0 25 0 1 0 855274840 215904256 50267 33554432000 134512640 137138936 4288999840 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 52711 50267 192 642 0 52067 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 210844
[startup+582.301 s]
/proc/loadavg: 2.21 1.78 0.94 4/518 11093
/proc/meminfo: memFree=20876084/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=254012 CPUtime=582.31 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 66916 0 0 0 58137 94 0 0 25 0 1 0 855274840 260108288 61060 33554432000 134512640 137138936 4288999840 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 63503 61060 192 642 0 62859 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 254012
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=20754124/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=322880 CPUtime=1062.34 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 84110 0 0 0 106129 105 0 0 25 0 1 0 855274840 330629120 78254 33554432000 134512640 137138936 4288999840 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 80720 78254 192 642 0 80076 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 322880
[startup+1122.3 s]
/proc/loadavg: 2.14 2.04 1.43 4/518 11110
/proc/meminfo: memFree=20741564/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=329432 CPUtime=1122.35 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 85766 0 0 0 112128 107 0 0 25 0 1 0 855274840 337338368 79910 33554432000 134512640 137138936 4288999840 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 82358 79910 192 642 0 81714 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 329432
[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 1.46 4/518 11112
/proc/meminfo: memFree=20727516/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=337644 CPUtime=1182.35 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 87825 0 0 0 118126 109 0 0 25 0 1 0 855274840 345747456 81969 33554432000 134512640 137138936 4288999840 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 84411 81969 192 642 0 83767 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 337644
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 1.49 4/518 11113
/proc/meminfo: memFree=20713580/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=345704 CPUtime=1242.35 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 89813 0 0 0 124124 111 0 0 25 0 1 0 855274840 354000896 83957 33554432000 134512640 137138936 4288999840 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 86426 83957 192 642 0 85782 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 345704
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.52 4/518 11115
/proc/meminfo: memFree=20701148/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=351384 CPUtime=1302.36 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 91256 0 0 0 130123 113 0 0 25 0 1 0 855274840 359817216 85400 33554432000 134512640 137138936 4288999840 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 87846 85400 192 642 0 87202 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 351384
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.55 4/518 11117
/proc/meminfo: memFree=20693036/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=355468 CPUtime=1362.36 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 92274 0 0 0 136122 114 0 0 25 0 1 0 855274840 363999232 86418 33554432000 134512640 137138936 4288999840 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 88867 86418 192 642 0 88223 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 355468
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.57 4/518 11118
/proc/meminfo: memFree=20682816/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=361224 CPUtime=1422.37 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 93693 0 0 0 142122 115 0 0 25 0 1 0 855274840 369893376 87837 33554432000 134512640 137138936 4288999840 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 90306 87837 192 642 0 89662 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 361224
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.59 4/518 11120
/proc/meminfo: memFree=20668032/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=370144 CPUtime=1482.36 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 95943 0 0 0 148120 116 0 0 25 0 1 0 855274840 379027456 90087 33554432000 134512640 137138936 4288999840 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 92536 90087 192 642 0 91892 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 370144
[startup+1542.3 s]
/proc/loadavg: 2.10 2.03 1.63 4/518 11121
/proc/meminfo: memFree=20656452/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=376960 CPUtime=1542.37 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 97628 0 0 0 154119 118 0 0 25 0 1 0 855274840 386007040 91772 33554432000 134512640 137138936 4288999840 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 94240 91772 192 642 0 93596 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 376960
[startup+1602.3 s]
/proc/loadavg: 2.13 2.05 1.66 4/518 11123
/proc/meminfo: memFree=20648724/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=380040 CPUtime=1602.37 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 98397 0 0 0 160118 119 0 0 25 0 1 0 855274840 389160960 92541 33554432000 134512640 137138936 4288999840 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 95010 92541 192 642 0 94366 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 380040
[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 1.68 4/518 11125
/proc/meminfo: memFree=20631440/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=382452 CPUtime=1662.37 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 99025 0 0 0 166118 119 0 0 25 0 1 0 855274840 391630848 93169 33554432000 134512640 137138936 4288999840 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 95613 93169 192 642 0 94969 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 382452
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 1.69 4/518 11126
/proc/meminfo: memFree=20625084/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=384732 CPUtime=1722.37 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 99599 0 0 0 172117 120 0 0 25 0 1 0 855274840 393965568 93743 33554432000 134512640 137138936 4288999840 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 96183 93743 192 642 0 95539 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 384732
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.71 4/518 11128
/proc/meminfo: memFree=20616608/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=387376 CPUtime=1782.38 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 100231 0 0 0 178117 121 0 0 25 0 1 0 855274840 396673024 94375 33554432000 134512640 137138936 4288999840 18446744073709551615 134542892 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 96844 94375 192 642 0 96200 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 387376
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 1.71 4/518 11128
/proc/meminfo: memFree=20618464/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=387720 CPUtime=1785.58 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 100317 0 0 0 178437 121 0 0 25 0 1 0 855274840 397025280 94461 33554432000 134512640 137138936 4288999840 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 96930 94461 192 642 0 96286 0
Current children cumulated CPU time (s) 1785.58
Current children cumulated vsize (KiB) 387720
[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 1.71 4/518 11128
/proc/meminfo: memFree=20617468/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=388072 CPUtime=1792 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 100426 0 0 0 179079 121 0 0 25 0 1 0 855274840 397385728 94570 33554432000 134512640 137138936 4288999840 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 97018 94570 192 642 0 96374 0
Current children cumulated CPU time (s) 1792
Current children cumulated vsize (KiB) 388072
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 1.72 4/518 11128
/proc/meminfo: memFree=20616724/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=388412 CPUtime=1795.19 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 100511 0 0 0 179398 121 0 0 25 0 1 0 855274840 397733888 94655 33554432000 134512640 137138936 4288999840 18446744073709551615 134542229 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 97103 94655 192 642 0 96459 0
Current children cumulated CPU time (s) 1795.19
Current children cumulated vsize (KiB) 388412
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 1.72 4/518 11128
/proc/meminfo: memFree=20616724/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=388580 CPUtime=1796.78 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 100532 0 0 0 179557 121 0 0 25 0 1 0 855274840 397905920 94676 33554432000 134512640 137138936 4288999840 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 97145 94676 192 642 0 96501 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 388580
[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 1.72 4/518 11128
/proc/meminfo: memFree=20616220/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=388580 CPUtime=1797.58 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 100532 0 0 0 179637 121 0 0 25 0 1 0 855274840 397905920 94676 33554432000 134512640 137138936 4288999840 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 97145 94676 192 642 0 96501 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 388580
[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 1.72 4/518 11128
/proc/meminfo: memFree=20616220/32950928 swapFree=34259960/67111528
[pid=11066] ppid=11064 vsize=388580 CPUtime=1797.98 cores=0,2,4,6
/proc/11066/stat : 11066 (bsolo) R 11064 11066 11029 0 -1 4202496 100532 0 0 0 179677 121 0 0 25 0 1 0 855274840 397905920 94676 33554432000 134512640 137138936 4288999840 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11066/statm: 97145 94676 192 642 0 96501 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 388580
Child status: 0
Real time (s): 1797.96
CPU time (s): 1798.05
CPU user time (s): 1796.82
CPU system time (s): 1.22881
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 388580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.82
system time used= 1.22881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100532
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= 3
involuntary context switches= 1684
runsolver used 9.68153 second user time and 21.2918 second system time
The end