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-3462455-1307184932/watcher-3462455-1307184932 -o /tmp/evaluation-result-3462455-1307184932/solver-3462455-1307184932 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462455-1307184932.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.03 2.03 2.00 3/400 10145
/proc/meminfo: memFree=29496288/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=11844 CPUtime=0 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 532 0 0 0 0 0 0 0 25 0 1 0 830092933 12128256 486 33554432000 134512640 137138936 4290082912 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 2961 487 181 642 0 2297 0
[startup+0.0581269 s]
/proc/loadavg: 2.03 2.03 2.00 3/400 10145
/proc/meminfo: memFree=29496288/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=14116 CPUtime=0.05 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 1140 0 0 0 5 0 0 0 25 0 1 0 830092933 14454784 1074 33554432000 134512640 137138936 4290082912 18446744073709551615 134542093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 3529 1074 185 642 0 2885 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14116
[startup+0.100119 s]
/proc/loadavg: 2.03 2.03 2.00 3/400 10145
/proc/meminfo: memFree=29496288/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=14116 CPUtime=0.09 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 1140 0 0 0 9 0 0 0 25 0 1 0 830092933 14454784 1074 33554432000 134512640 137138936 4290082912 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 3529 1074 185 642 0 2885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14116
[startup+0.300083 s]
/proc/loadavg: 2.03 2.03 2.00 3/400 10145
/proc/meminfo: memFree=29496288/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=14116 CPUtime=0.29 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 1142 0 0 0 29 0 0 0 25 0 1 0 830092933 14454784 1076 33554432000 134512640 137138936 4290082912 18446744073709551615 136504404 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 3529 1076 185 642 0 2885 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14116
[startup+0.701012 s]
/proc/loadavg: 2.03 2.03 2.00 3/400 10145
/proc/meminfo: memFree=29496288/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=14116 CPUtime=0.69 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 1143 0 0 0 69 0 0 0 25 0 1 0 830092933 14454784 1077 33554432000 134512640 137138936 4290082912 18446744073709551615 134542161 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 3529 1077 185 642 0 2885 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14116
[startup+1.50087 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 10146
/proc/meminfo: memFree=29490624/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=14116 CPUtime=1.49 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 1143 0 0 0 149 0 0 0 25 0 1 0 830092933 14454784 1077 33554432000 134512640 137138936 4290082912 18446744073709551615 136504423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 3529 1077 185 642 0 2885 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14116
[startup+3.10065 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 10146
/proc/meminfo: memFree=29488268/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=14116 CPUtime=3.09 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 1143 0 0 0 309 0 0 0 25 0 1 0 830092933 14454784 1077 33554432000 134512640 137138936 4290082912 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 3529 1077 185 642 0 2885 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14116
[startup+6.30108 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 10146
/proc/meminfo: memFree=29483960/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=14116 CPUtime=6.29 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 1143 0 0 0 629 0 0 0 25 0 1 0 830092933 14454784 1077 33554432000 134512640 137138936 4290082912 18446744073709551615 136500573 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 3529 1077 185 642 0 2885 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14116
[startup+12.7009 s]
/proc/loadavg: 2.02 2.03 2.00 3/401 10146
/proc/meminfo: memFree=29461376/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=29916 CPUtime=12.69 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 5374 0 0 0 1261 8 0 0 25 0 1 0 830092933 30633984 5048 33554432000 134512640 137138936 4290082912 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 7479 5048 192 642 0 6835 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29916
[startup+25.5006 s]
/proc/loadavg: 2.02 2.02 2.00 3/401 10147
/proc/meminfo: memFree=29416108/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=56696 CPUtime=25.49 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 12086 0 0 0 2533 16 0 0 25 0 1 0 830092933 58056704 11760 33554432000 134512640 137138936 4290082912 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 14174 11760 192 642 0 13530 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56696
[startup+51.101 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 10147
/proc/meminfo: memFree=29352500/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=89300 CPUtime=51.09 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 20234 0 0 0 5081 28 0 0 25 0 1 0 830092933 91443200 19908 33554432000 134512640 137138936 4290082912 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 22325 19908 192 642 0 21681 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 89300
[startup+102.315 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 10149
/proc/meminfo: memFree=29252164/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=135296 CPUtime=102.3 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 31735 0 0 0 10189 41 0 0 25 0 1 0 830092933 138543104 31409 33554432000 134512640 137138936 4290082912 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 33824 31409 192 642 0 33180 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 135296
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 10150
/proc/meminfo: memFree=29159260/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=171580 CPUtime=162.29 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 40805 0 0 0 16178 51 0 0 25 0 1 0 830092933 175697920 40479 33554432000 134512640 137138936 4290082912 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 42895 40479 192 642 0 42251 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 171580
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 10152
/proc/meminfo: memFree=29069584/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=203204 CPUtime=222.29 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 48695 0 0 0 22171 58 0 0 25 0 1 0 830092933 208080896 48369 33554432000 134512640 137138936 4290082912 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 50801 48369 192 642 0 50157 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 203204
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10154
/proc/meminfo: memFree=28995524/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=227080 CPUtime=282.3 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 54664 0 0 0 28166 64 0 0 25 0 1 0 830092933 232529920 54338 33554432000 134512640 137138936 4290082912 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 56770 54338 192 642 0 56126 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 227080
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10164
/proc/meminfo: memFree=28919248/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=254196 CPUtime=342.29 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 61443 0 0 0 34159 70 0 0 25 0 1 0 830092933 260296704 61117 33554432000 134512640 137138936 4290082912 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 63549 61117 192 642 0 62905 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 254196
[startup+402.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/401 10166
/proc/meminfo: memFree=28846288/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=274348 CPUtime=402.29 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 66481 0 0 0 40150 79 0 0 25 0 1 0 830092933 280932352 66155 33554432000 134512640 137138936 4290082912 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 68587 66155 192 642 0 67943 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 274348
[startup+462.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/401 10167
/proc/meminfo: memFree=28776684/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=293788 CPUtime=462.3 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 71342 0 0 0 46144 86 0 0 25 0 1 0 830092933 300838912 71016 33554432000 134512640 137138936 4290082912 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 73447 71016 192 642 0 72803 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 293788
[startup+522.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/401 10172
/proc/meminfo: memFree=28714856/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=312940 CPUtime=522.29 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 76129 0 0 0 52139 90 0 0 25 0 1 0 830092933 320450560 75803 33554432000 134512640 137138936 4290082912 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 78235 75803 192 642 0 77591 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 312940
[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/401 10174
/proc/meminfo: memFree=28686376/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=340796 CPUtime=582.3 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 83097 0 0 0 58132 98 0 0 25 0 1 0 830092933 348975104 82771 33554432000 134512640 137138936 4290082912 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 85199 82771 192 642 0 84555 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 340796
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28554348/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=473036 CPUtime=1122.31 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 116154 0 0 0 112093 138 0 0 25 0 1 0 830092933 484388864 115828 33554432000 134512640 137138936 4290082912 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 118259 115828 192 642 0 117615 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 473036
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 10190
/proc/meminfo: memFree=28543148/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=484028 CPUtime=1182.32 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 118916 0 0 0 118091 141 0 0 25 0 1 0 830092933 495644672 118590 33554432000 134512640 137138936 4290082912 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 121007 118590 192 642 0 120363 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 484028
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 5/401 10191
/proc/meminfo: memFree=28531604/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=495548 CPUtime=1242.31 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 121781 0 0 0 124088 143 0 0 25 0 1 0 830092933 507441152 121455 33554432000 134512640 137138936 4290082912 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 123887 121455 192 642 0 123243 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 495548
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 10193
/proc/meminfo: memFree=28520536/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=506452 CPUtime=1302.33 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 124507 0 0 0 130086 147 0 0 25 0 1 0 830092933 518606848 124181 33554432000 134512640 137138936 4290082912 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 126613 124181 192 642 0 125969 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 506452
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10194
/proc/meminfo: memFree=28510224/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=517228 CPUtime=1362.32 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 127216 0 0 0 136083 149 0 0 25 0 1 0 830092933 529641472 126890 33554432000 134512640 137138936 4290082912 18446744073709551615 136504102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 129307 126890 192 642 0 128663 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 517228
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10196
/proc/meminfo: memFree=28500888/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=526124 CPUtime=1422.34 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 129442 0 0 0 142083 151 0 0 25 0 1 0 830092933 538750976 129116 33554432000 134512640 137138936 4290082912 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 131531 129116 192 642 0 130887 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 526124
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10198
/proc/meminfo: memFree=28490700/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=536412 CPUtime=1482.32 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 131997 0 0 0 148076 156 0 0 25 0 1 0 830092933 549285888 131671 33554432000 134512640 137138936 4290082912 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 134103 131671 192 642 0 133459 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 536412
[startup+1542.3 s]
/proc/loadavg: 1.48 1.85 1.95 2/395 10216
/proc/meminfo: memFree=29517732/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=546032 CPUtime=1542.33 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 134420 0 0 0 154073 160 0 0 25 0 1 0 830092933 559136768 134094 33554432000 134512640 137138936 4290082912 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 136508 134094 192 642 0 135864 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 546032
[startup+1602.3 s]
/proc/loadavg: 1.17 1.69 1.88 2/395 10218
/proc/meminfo: memFree=29508276/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=555804 CPUtime=1602.33 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 136848 0 0 0 160069 164 0 0 25 0 1 0 830092933 569143296 136522 33554432000 134512640 137138936 4290082912 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 138951 136522 192 642 0 138307 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 555804
[startup+1662.3 s]
/proc/loadavg: 1.06 1.56 1.83 2/395 10219
/proc/meminfo: memFree=29499184/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=564996 CPUtime=1662.33 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 139144 0 0 0 166067 166 0 0 25 0 1 0 830092933 578555904 138818 33554432000 134512640 137138936 4290082912 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 141249 138818 192 642 0 140605 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 564996
[startup+1722.3 s]
/proc/loadavg: 1.02 1.46 1.77 2/395 10221
/proc/meminfo: memFree=29488992/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=575508 CPUtime=1722.33 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 141772 0 0 0 172064 169 0 0 25 0 1 0 830092933 589320192 141446 33554432000 134512640 137138936 4290082912 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 143877 141446 192 642 0 143233 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 575508
[startup+1782.3 s]
/proc/loadavg: 1.01 1.37 1.72 2/395 10223
/proc/meminfo: memFree=29479036/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=584500 CPUtime=1782.33 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 144008 0 0 0 178064 169 0 0 25 0 1 0 830092933 598528000 143682 33554432000 134512640 137138936 4290082912 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 146125 143682 192 642 0 145481 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 584500
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.01 1.37 1.72 2/395 10223
/proc/meminfo: memFree=29478540/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=584908 CPUtime=1785.53 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 144122 0 0 0 178383 170 0 0 25 0 1 0 830092933 598945792 143796 33554432000 134512640 137138936 4290082912 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 146227 143796 192 642 0 145583 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 584908
[startup+1791.92 s]
/proc/loadavg: 1.00 1.36 1.71 2/395 10223
/proc/meminfo: memFree=29478400/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=585972 CPUtime=1791.94 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 144387 0 0 0 179024 170 0 0 25 0 1 0 830092933 600035328 144061 33554432000 134512640 137138936 4290082912 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 146493 144061 192 642 0 145849 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 585972
[startup+1795.1 s]
/proc/loadavg: 1.00 1.36 1.71 2/395 10223
/proc/meminfo: memFree=29477776/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=586488 CPUtime=1795.14 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 144518 0 0 0 179344 170 0 0 25 0 1 0 830092933 600563712 144192 33554432000 134512640 137138936 4290082912 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 146622 144192 192 642 0 145978 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 586488
[startup+1796.7 s]
/proc/loadavg: 1.00 1.35 1.71 2/395 10223
/proc/meminfo: memFree=29477528/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=586796 CPUtime=1796.73 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 144593 0 0 0 179503 170 0 0 25 0 1 0 830092933 600879104 144267 33554432000 134512640 137138936 4290082912 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 146699 144267 192 642 0 146055 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 586796
[startup+1797.5 s]
/proc/loadavg: 1.00 1.35 1.71 2/395 10223
/proc/meminfo: memFree=29477280/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=586920 CPUtime=1797.53 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 144624 0 0 0 179583 170 0 0 25 0 1 0 830092933 601006080 144298 33554432000 134512640 137138936 4290082912 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 146730 144298 192 642 0 146086 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 586920
[startup+1797.9 s]
/proc/loadavg: 1.00 1.35 1.71 2/395 10223
/proc/meminfo: memFree=29477280/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=586920 CPUtime=1797.93 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202496 144639 0 0 0 179622 171 0 0 25 0 1 0 830092933 601006080 144313 33554432000 134512640 137138936 4290082912 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10145/statm: 146730 144313 192 642 0 146086 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 586920
[startup+1798 s]
/proc/loadavg: 1.00 1.35 1.71 2/395 10223
/proc/meminfo: memFree=29477280/32950904 swapFree=56615552/67111528
[pid=10145] ppid=10143 vsize=0 CPUtime=1798.03 cores=1,3,5,7
/proc/10145/stat : 10145 (bsolo) R 10143 10145 8078 0 -1 4202500 144642 0 0 0 179632 171 0 0 25 0 1 0 830092933 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/10145/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.02
CPU time (s): 1798.06
CPU user time (s): 1796.32
CPU system time (s): 1.73673
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 586920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.32
system time used= 1.73673
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144642
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= 2161
runsolver used 6.51801 second user time and 16.3865 second system time
The end