runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3733321-1338712994/watcher-3733321-1338712994 -o /tmp/evaluation-result-3733321-1338712994/solver-3733321-1338712994 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3733321-1338712994.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.92 1.12 1.51 3/175 13176
/proc/meminfo: memFree=29159512/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=11716 CPUtime=0 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 337424215 11997184 326 33554432000 134512640 137136520 4294348112 4294346360 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 2929 326 190 641 0 2123 0
[startup+0.0733259 s]
/proc/loadavg: 0.92 1.12 1.51 3/175 13176
/proc/meminfo: memFree=29159512/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=15668 CPUtime=0.06 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 1687 0 0 0 6 0 0 0 20 0 1 0 337424215 16044032 1479 33554432000 134512640 137136520 4294348112 4294339468 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 3917 1479 190 641 0 3273 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15668
[startup+0.100313 s]
/proc/loadavg: 0.92 1.12 1.51 3/175 13176
/proc/meminfo: memFree=29159512/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=15668 CPUtime=0.09 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 1687 0 0 0 9 0 0 0 20 0 1 0 337424215 16044032 1479 33554432000 134512640 137136520 4294348112 4294339468 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 3917 1479 190 641 0 3273 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15668
[startup+0.300264 s]
/proc/loadavg: 0.92 1.12 1.51 3/175 13176
/proc/meminfo: memFree=29159512/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=16764 CPUtime=0.29 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 2155 0 0 0 27 2 0 0 20 0 1 0 337424215 17166336 1760 33554432000 134512640 137136520 4294348112 4294347228 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 4191 1760 196 641 0 3547 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16764
[startup+0.700263 s]
/proc/loadavg: 0.92 1.12 1.51 3/175 13176
/proc/meminfo: memFree=29159512/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=22540 CPUtime=0.69 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 3588 0 0 0 67 2 0 0 20 0 1 0 337424215 23080960 3193 33554432000 134512640 137136520 4294348112 4294339640 134598538 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 5635 3193 196 641 0 4991 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22540
[startup+1.50026 s]
/proc/loadavg: 0.92 1.12 1.51 3/179 13180
/proc/meminfo: memFree=29127488/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=33580 CPUtime=1.49 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 6365 0 0 0 147 2 0 0 20 0 1 0 337424215 34385920 5970 33554432000 134512640 137136520 4294348112 4294346548 136498219 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 8395 5970 196 641 0 7751 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33580
[startup+3.10027 s]
/proc/loadavg: 0.92 1.12 1.51 3/179 13180
/proc/meminfo: memFree=29098828/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=52340 CPUtime=3.09 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 11043 0 0 0 305 4 0 0 20 0 1 0 337424215 53596160 10648 33554432000 134512640 137136520 4294348112 4294346392 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 13085 10648 197 641 0 12441 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52340
[startup+6.30029 s]
/proc/loadavg: 1.09 1.15 1.52 3/179 13180
/proc/meminfo: memFree=29025104/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=84468 CPUtime=6.29 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 19071 0 0 0 623 6 0 0 20 0 1 0 337424215 86495232 18673 33554432000 134512640 137136520 4294348112 4294347040 134544125 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 21117 18673 197 641 0 20473 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84468
[startup+12.7003 s]
/proc/loadavg: 1.16 1.16 1.52 3/179 13180
/proc/meminfo: memFree=28907896/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=135152 CPUtime=12.69 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 31765 0 0 0 1259 10 0 0 20 0 1 0 337424215 138395648 31367 33554432000 134512640 137136520 4294348112 4294346804 136509112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 33788 31367 197 641 0 33144 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 135152
[startup+25.5003 s]
/proc/loadavg: 1.34 1.20 1.53 3/179 13180
/proc/meminfo: memFree=28834736/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=179368 CPUtime=25.48 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 42827 0 0 0 2534 14 0 0 20 0 1 0 337424215 183672832 42413 33554432000 134512640 137136520 4294348112 4294346704 134616552 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 44842 42413 197 641 0 44198 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 179368
[startup+51.1003 s]
/proc/loadavg: 1.57 1.27 1.54 3/179 13180
/proc/meminfo: memFree=28786716/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=179272 CPUtime=51.06 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 42843 0 0 0 5089 17 0 0 20 0 1 0 337424215 183574528 42398 33554432000 134512640 137136520 4294348112 4294340048 134572238 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 44818 42398 197 641 0 44174 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 179272
[startup+102.307 s]
/proc/loadavg: 1.85 1.39 1.57 3/179 13181
/proc/meminfo: memFree=28734432/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=212312 CPUtime=102.22 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 51143 0 0 0 10198 24 0 0 20 0 1 0 337424215 217407488 50652 33554432000 134512640 137136520 4294348112 4294347008 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 53078 50652 197 641 0 52434 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 212312
[startup+162.3 s]
/proc/loadavg: 1.94 1.50 1.59 3/179 13181
/proc/meminfo: memFree=28671412/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=253336 CPUtime=162.18 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 61448 0 0 0 16187 31 0 0 20 0 1 0 337424215 259416064 60891 33554432000 134512640 137136520 4294348112 4294347228 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 63334 60891 197 641 0 62690 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 253336
[startup+222.3 s]
/proc/loadavg: 1.98 1.59 1.62 3/179 13181
/proc/meminfo: memFree=28648376/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=253336 CPUtime=222.17 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 61448 0 0 0 22182 35 0 0 20 0 1 0 337424215 259416064 60891 33554432000 134512640 137136520 4294348112 4294339784 134598550 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 63334 60891 197 641 0 62690 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 253336
[startup+282.3 s]
/proc/loadavg: 1.99 1.66 1.64 3/179 13181
/proc/meminfo: memFree=28625588/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=275876 CPUtime=282.16 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 67134 0 0 0 28175 41 0 0 20 0 1 0 337424215 282497024 66541 33554432000 134512640 137136520 4294348112 4294346664 136501965 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 68969 66541 197 641 0 68325 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 275876
[startup+342.3 s]
/proc/loadavg: 1.99 1.72 1.66 3/179 13181
/proc/meminfo: memFree=28574084/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=301996 CPUtime=342.15 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 73685 0 0 0 34167 48 0 0 20 0 1 0 337424215 309243904 73053 33554432000 134512640 137136520 4294348112 4294346880 134571382 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 75499 73053 197 641 0 74855 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 301996
[startup+402.3 s]
/proc/loadavg: 1.99 1.77 1.67 3/179 13182
/proc/meminfo: memFree=28573464/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=301996 CPUtime=402.13 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 73685 0 0 0 40163 50 0 0 20 0 1 0 337424215 309243904 73053 33554432000 134512640 137136520 4294348112 4294347008 134544143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 75499 73053 197 641 0 74855 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 301996
[startup+462.3 s]
/proc/loadavg: 1.99 1.81 1.69 3/180 13185
/proc/meminfo: memFree=28573456/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=302288 CPUtime=462.12 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 73752 0 0 0 46159 53 0 0 20 0 1 0 337424215 309542912 73120 33554432000 134512640 137136520 4294348112 4294347040 134544157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 75572 73120 197 641 0 74928 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 302288
[startup+522.3 s]
/proc/loadavg: 1.99 1.84 1.71 3/179 13185
/proc/meminfo: memFree=28545064/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=302288 CPUtime=522.09 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 73802 0 0 0 52152 57 0 0 20 0 1 0 337424215 309542912 73137 33554432000 134512640 137136520 4294348112 4294339508 136498324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 75572 73137 197 641 0 74928 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 302288
[startup+582.3 s]
/proc/loadavg: 1.99 1.87 1.73 3/179 13185
/proc/meminfo: memFree=28516916/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=330432 CPUtime=582.08 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 80884 0 0 0 58145 63 0 0 20 0 1 0 337424215 338362368 80176 33554432000 134512640 137136520 4294348112 4294346872 135982497 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 82608 80176 197 641 0 81964 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 330432
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28454304/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=361500 CPUtime=1121.97 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 88728 0 0 0 112098 99 0 0 20 0 1 0 337424215 370176000 87923 33554432000 134512640 137136520 4294348112 4294346752 134606791 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 90375 87923 197 641 0 89731 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 361500
[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.83 3/179 13213
/proc/meminfo: memFree=28454404/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=361248 CPUtime=1181.96 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 88728 0 0 0 118093 103 0 0 20 0 1 0 337424215 369917952 87892 33554432000 134512640 137136520 4294348112 4294347040 134544256 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 90312 87892 197 641 0 89668 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 361248
[startup+1242.3 s]
/proc/loadavg: 2.08 2.00 1.85 3/179 13213
/proc/meminfo: memFree=28386700/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=395152 CPUtime=1241.95 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 97235 0 0 0 124088 107 0 0 20 0 1 0 337424215 404635648 96347 33554432000 134512640 137136520 4294348112 4294347040 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 98788 96347 197 641 0 98144 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 395152
[startup+1302.3 s]
/proc/loadavg: 2.03 2.00 1.85 3/179 13214
/proc/meminfo: memFree=28386452/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=395152 CPUtime=1301.95 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 97235 0 0 0 130085 110 0 0 20 0 1 0 337424215 404635648 96347 33554432000 134512640 137136520 4294348112 4294347040 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 98788 96347 197 641 0 98144 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 395152
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.86 3/179 13214
/proc/meminfo: memFree=28386328/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=395152 CPUtime=1361.94 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 97235 0 0 0 136081 113 0 0 20 0 1 0 337424215 404635648 96347 33554432000 134512640 137136520 4294348112 4294346940 136518911 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 98788 96347 197 641 0 98144 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 395152
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 13214
/proc/meminfo: memFree=28386320/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=395152 CPUtime=1421.93 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 97239 0 0 0 142076 117 0 0 20 0 1 0 337424215 404635648 96347 33554432000 134512640 137136520 4294348112 4294347040 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 98788 96347 197 641 0 98144 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 395152
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 13214
/proc/meminfo: memFree=28386232/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=395152 CPUtime=1481.9 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 97252 0 0 0 148071 119 0 0 20 0 1 0 337424215 404635648 96347 33554432000 134512640 137136520 4294348112 4294347040 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 98788 96347 197 641 0 98144 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 395152
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 13214
/proc/meminfo: memFree=28386108/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=395152 CPUtime=1541.89 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 97252 0 0 0 154067 122 0 0 20 0 1 0 337424215 404635648 96347 33554432000 134512640 137136520 4294348112 4294347008 134543971 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 98788 96347 197 641 0 98144 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 395152
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 13214
/proc/meminfo: memFree=28386612/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=395388 CPUtime=1601.88 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 97300 0 0 0 160063 125 0 0 20 0 1 0 337424215 404877312 96395 33554432000 134512640 137136520 4294348112 4294347040 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 98847 96395 197 641 0 98203 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 395388
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/180 13218
/proc/meminfo: memFree=28386648/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=395388 CPUtime=1661.87 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 97300 0 0 0 166059 128 0 0 20 0 1 0 337424215 404877312 96395 33554432000 134512640 137136520 4294348112 4294346644 134551575 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 98847 96395 197 641 0 98203 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 395388
[startup+1722.3 s]
/proc/loadavg: 2.09 2.03 1.91 3/179 13218
/proc/meminfo: memFree=28386572/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=395388 CPUtime=1721.86 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 97300 0 0 0 172054 132 0 0 20 0 1 0 337424215 404877312 96395 33554432000 134512640 137136520 4294348112 4294346752 134606752 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 98847 96395 197 641 0 98203 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 395388
[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 1.91 3/179 13218
/proc/meminfo: memFree=28386200/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=395388 CPUtime=1781.86 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 97300 0 0 0 178051 135 0 0 20 0 1 0 337424215 404877312 96395 33554432000 134512640 137136520 4294348112 4294347040 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 98847 96395 197 641 0 98203 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 395388
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.02 2.02 1.91 3/179 13218
/proc/meminfo: memFree=28386448/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=395388 CPUtime=1791.46 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 97300 0 0 0 179011 135 0 0 20 0 1 0 337424215 404877312 96395 33554432000 134512640 137136520 4294348112 4294347040 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 98847 96395 197 641 0 98203 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 395388
[startup+1795.1 s]
/proc/loadavg: 2.02 2.02 1.91 3/179 13218
/proc/meminfo: memFree=28386448/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=395388 CPUtime=1794.66 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 97300 0 0 0 179331 135 0 0 20 0 1 0 337424215 404877312 96395 33554432000 134512640 137136520 4294348112 4294347040 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 98847 96395 197 641 0 98203 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 395388
[startup+1796.7 s]
/proc/loadavg: 2.02 2.02 1.91 3/179 13218
/proc/meminfo: memFree=28386448/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=395388 CPUtime=1796.25 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 97300 0 0 0 179490 135 0 0 20 0 1 0 337424215 404877312 96395 33554432000 134512640 137136520 4294348112 4294347040 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 98847 96395 197 641 0 98203 0
Current children cumulated CPU time (s) 1796.25
Current children cumulated vsize (KiB) 395388
[startup+1797.5 s]
/proc/loadavg: 2.02 2.02 1.91 3/179 13218
/proc/meminfo: memFree=28386448/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=395388 CPUtime=1797.05 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 97300 0 0 0 179570 135 0 0 20 0 1 0 337424215 404877312 96395 33554432000 134512640 137136520 4294348112 4294347008 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 98847 96395 197 641 0 98203 0
Current children cumulated CPU time (s) 1797.05
Current children cumulated vsize (KiB) 395388
[startup+1797.9 s]
/proc/loadavg: 2.02 2.02 1.91 3/179 13218
/proc/meminfo: memFree=28386448/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=395388 CPUtime=1797.45 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 97300 0 0 0 179610 135 0 0 20 0 1 0 337424215 404877312 96395 33554432000 134512640 137136520 4294348112 4294347008 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 98847 96395 197 641 0 98203 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 395388
[startup+1798.3 s]
/proc/loadavg: 2.02 2.02 1.91 3/179 13218
/proc/meminfo: memFree=28386448/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=395388 CPUtime=1797.85 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 97300 0 0 0 179650 135 0 0 20 0 1 0 337424215 404877312 96395 33554432000 134512640 137136520 4294348112 4294347040 134544157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 98847 96395 197 641 0 98203 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 395388
[startup+1798.4 s]
/proc/loadavg: 2.02 2.02 1.91 3/179 13218
/proc/meminfo: memFree=28386448/32873844 swapFree=7620/7620
[pid=13176] ppid=13173 vsize=395388 CPUtime=1797.95 cores=0,2,4,6
/proc/13176/stat : 13176 (bsolo) R 13173 13176 13121 0 -1 4202496 97300 0 0 0 179660 135 0 0 20 0 1 0 337424215 404877312 96395 33554432000 134512640 137136520 4294348112 4294347228 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13176/statm: 98847 96395 197 641 0 98203 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 395388
Child status: 0
Real time (s): 1798.44
CPU time (s): 1798
CPU user time (s): 1796.64
CPU system time (s): 1.35879
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 395388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.64
system time used= 1.35879
maximum resident set size= 385596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97302
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= 187
involuntary context switches= 1865
runsolver used 4.99624 second user time and 10.7194 second system time
The end