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-3741039-1338766440/watcher-3741039-1338766440 -o /tmp/evaluation-result-3741039-1338766440/solver-3741039-1338766440 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741039-1338766440.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: 1.86 2.72 3.25 3/175 26709
/proc/meminfo: memFree=28900580/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=18168 CPUtime=0 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 342768809 18604032 302 33554432000 134512640 137136520 4287953104 4287951632 134517592 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 4542 302 191 641 0 2088 0
[startup+0.010741 s]
/proc/loadavg: 1.86 2.72 3.25 3/175 26709
/proc/meminfo: memFree=28900580/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=18440 CPUtime=0.01 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 414 0 0 0 1 0 0 0 20 0 1 0 342768809 18882560 367 33554432000 134512640 137136520 4287953104 4287951304 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 4610 368 206 641 0 2156 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18440
[startup+0.10024 s]
/proc/loadavg: 1.86 2.72 3.25 3/175 26709
/proc/meminfo: memFree=28900580/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=22800 CPUtime=0.09 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 1834 0 0 0 9 0 0 0 20 0 1 0 342768809 23347200 1787 33554432000 134512640 137136520 4287953104 4287951304 136504572 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 5700 1787 547 641 0 3246 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22800
[startup+0.300232 s]
/proc/loadavg: 1.86 2.72 3.25 3/175 26709
/proc/meminfo: memFree=28900580/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=31392 CPUtime=0.29 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 4695 0 0 0 29 0 0 0 20 0 1 0 342768809 32145408 4648 33554432000 134512640 137136520 4287953104 4287951584 136575102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 7848 4649 1259 641 0 5394 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31392
[startup+0.700286 s]
/proc/loadavg: 1.86 2.72 3.25 3/175 26709
/proc/meminfo: memFree=28900580/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=42464 CPUtime=0.69 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 10006 0 0 0 68 1 0 0 20 0 1 0 342768809 43483136 8149 33554432000 134512640 137136520 4287953104 4287856800 134559929 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 10616 8149 192 641 0 9972 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42464
[startup+1.50024 s]
/proc/loadavg: 1.86 2.72 3.25 3/179 26727
/proc/meminfo: memFree=28818908/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=50868 CPUtime=1.49 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 12119 0 0 0 146 3 0 0 20 0 1 0 342768809 52088832 10262 33554432000 134512640 137136520 4287953104 4287856764 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 12717 10262 193 641 0 12073 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50868
[startup+3.10027 s]
/proc/loadavg: 2.03 2.74 3.26 3/179 26727
/proc/meminfo: memFree=28744212/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=50868 CPUtime=3.09 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 12122 0 0 0 304 5 0 0 20 0 1 0 342768809 52088832 10265 33554432000 134512640 137136520 4287953104 4287856764 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 12717 10265 193 641 0 12073 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50868
[startup+6.30641 s]
/proc/loadavg: 2.03 2.74 3.26 3/178 26727
/proc/meminfo: memFree=28673788/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=50868 CPUtime=6.29 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 12126 0 0 0 621 8 0 0 20 0 1 0 342768809 52088832 10269 33554432000 134512640 137136520 4287953104 4287856764 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 12717 10269 193 641 0 12073 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50868
[startup+12.7002 s]
/proc/loadavg: 2.02 2.73 3.25 3/179 26728
/proc/meminfo: memFree=28674304/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=49928 CPUtime=12.69 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 14009 0 0 0 1246 23 0 0 20 0 1 0 342768809 51126272 10046 33554432000 134512640 137136520 4287953104 4287951956 136509050 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 12482 10046 198 641 0 11838 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49928
[startup+25.5003 s]
/proc/loadavg: 2.02 2.69 3.23 3/179 26728
/proc/meminfo: memFree=28663756/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=61428 CPUtime=25.48 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 16890 0 0 0 2517 31 0 0 20 0 1 0 342768809 62902272 12931 33554432000 134512640 137136520 4287953104 4287952032 134543965 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 15357 12931 198 641 0 14713 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 61428
[startup+51.1003 s]
/proc/loadavg: 2.01 2.64 3.20 3/179 26728
/proc/meminfo: memFree=28630104/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=95312 CPUtime=51.04 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 25371 0 0 0 5065 39 0 0 20 0 1 0 342768809 97599488 21388 33554432000 134512640 137136520 4287953104 4287952032 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 23828 21388 198 641 0 23184 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 95312
[startup+102.3 s]
/proc/loadavg: 2.00 2.54 3.13 3/179 26728
/proc/meminfo: memFree=28604688/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=120096 CPUtime=102.24 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 31584 0 0 0 10170 54 0 0 20 0 1 0 342768809 122978304 27595 33554432000 134512640 137136520 4287953104 4287952220 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 30024 27595 198 641 0 29380 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 120096
[startup+162.3 s]
/proc/loadavg: 2.00 2.44 3.06 3/179 26728
/proc/meminfo: memFree=28560200/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=164424 CPUtime=162.23 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 42672 0 0 0 16157 66 0 0 20 0 1 0 342768809 168370176 38683 33554432000 134512640 137136520 4287953104 4287952032 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 41106 38683 198 641 0 40462 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 164424
[startup+222.3 s]
/proc/loadavg: 2.00 2.35 2.99 3/179 26728
/proc/meminfo: memFree=28527336/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=197896 CPUtime=222.21 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 51044 0 0 0 22142 79 0 0 20 0 1 0 342768809 202645504 47055 33554432000 134512640 137136520 4287953104 4287952032 134544245 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 49474 47055 198 641 0 48830 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 197896
[startup+282.3 s]
/proc/loadavg: 2.00 2.29 2.92 3/179 26728
/proc/meminfo: memFree=28476996/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=225300 CPUtime=282.19 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 57916 0 0 0 28132 87 0 0 20 0 1 0 342768809 230707200 53900 33554432000 134512640 137136520 4287953104 4287952032 134544714 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 56325 53900 198 641 0 55681 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 225300
[startup+342.3 s]
/proc/loadavg: 2.00 2.23 2.86 3/179 26729
/proc/meminfo: memFree=28410568/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=271156 CPUtime=342.13 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 69426 0 0 0 34114 99 0 0 20 0 1 0 342768809 277663744 65362 33554432000 134512640 137136520 4287953104 4287951744 134606749 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 67789 65362 198 641 0 67145 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 271156
[startup+402.306 s]
/proc/loadavg: 2.00 2.19 2.81 3/180 26732
/proc/meminfo: memFree=28345368/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=292116 CPUtime=402.11 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 74681 0 0 0 40107 104 0 0 20 0 1 0 342768809 299126784 70762 33554432000 134512640 137136520 4287953104 4287952032 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 73029 70762 198 641 0 72385 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 292116
[startup+462.3 s]
/proc/loadavg: 2.06 2.17 2.76 3/179 26732
/proc/meminfo: memFree=28296520/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=298456 CPUtime=462.1 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 76253 0 0 0 46103 107 0 0 20 0 1 0 342768809 305618944 72334 33554432000 134512640 137136520 4287953104 4287952000 134544122 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 74614 72334 198 641 0 73970 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 298456
[startup+522.3 s]
/proc/loadavg: 2.02 2.13 2.71 3/179 26732
/proc/meminfo: memFree=28263876/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=305220 CPUtime=522.09 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 77972 0 0 0 52100 109 0 0 20 0 1 0 342768809 312545280 74053 33554432000 134512640 137136520 4287953104 4287952032 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 76305 74053 198 641 0 75661 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 305220
[startup+582.3 s]
/proc/loadavg: 2.00 2.11 2.66 3/179 26732
/proc/meminfo: memFree=28198060/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=314052 CPUtime=582.08 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 80168 0 0 0 58095 113 0 0 20 0 1 0 342768809 321589248 76249 33554432000 134512640 137136520 4287953104 4287952000 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 78513 76249 198 641 0 77869 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 314052
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27912048/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=388316 CPUtime=1061.97 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 98773 0 0 0 106054 143 0 0 20 0 1 0 342768809 397635584 94812 33554432000 134512640 137136520 4287953104 4287952208 134545037 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 97079 94812 198 641 0 96435 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 388316
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.35 3/179 26737
/proc/meminfo: memFree=27884828/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=394056 CPUtime=1121.95 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 100220 0 0 0 112051 144 0 0 20 0 1 0 342768809 403513344 96259 33554432000 134512640 137136520 4287953104 4287952032 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 98514 96259 198 641 0 97870 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 394056
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.33 3/179 26737
/proc/meminfo: memFree=27859684/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=397732 CPUtime=1181.95 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 101128 0 0 0 118049 146 0 0 20 0 1 0 342768809 407277568 97167 33554432000 134512640 137136520 4287953104 4287952032 134543974 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 99433 97167 198 641 0 98789 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 397732
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.31 3/179 26738
/proc/meminfo: memFree=27819536/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=404236 CPUtime=1241.94 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 102753 0 0 0 124044 150 0 0 20 0 1 0 342768809 413937664 98792 33554432000 134512640 137136520 4287953104 4287952032 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 101059 98792 198 641 0 100415 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 404236
[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 2.29 3/179 26738
/proc/meminfo: memFree=27774384/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=415420 CPUtime=1301.93 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 105534 0 0 0 130039 154 0 0 20 0 1 0 342768809 425390080 101573 33554432000 134512640 137136520 4287953104 4287952220 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 103855 101573 198 641 0 103211 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 415420
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.27 3/179 26738
/proc/meminfo: memFree=27748096/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=423936 CPUtime=1361.92 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 107691 0 0 0 136034 158 0 0 20 0 1 0 342768809 434110464 103730 33554432000 134512640 137136520 4287953104 4287952032 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 105984 103730 198 641 0 105340 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 423936
[startup+1422.3 s]
/proc/loadavg: 2.01 2.00 2.25 3/179 26738
/proc/meminfo: memFree=27719080/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=432120 CPUtime=1421.91 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 109730 0 0 0 142031 160 0 0 20 0 1 0 342768809 442490880 105769 33554432000 134512640 137136520 4287953104 4287951872 134573460 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 108030 105769 198 641 0 107386 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 432120
[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.24 3/179 26738
/proc/meminfo: memFree=27690188/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=443716 CPUtime=1481.9 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 112610 0 0 0 148026 164 0 0 20 0 1 0 342768809 454365184 108649 33554432000 134512640 137136520 4287953104 4287952032 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 110929 108649 198 641 0 110285 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 443716
[startup+1542.3 s]
/proc/loadavg: 2.05 2.03 2.22 3/179 26739
/proc/meminfo: memFree=27654720/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=455516 CPUtime=1541.89 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 115559 0 0 0 154020 169 0 0 20 0 1 0 342768809 466448384 111596 33554432000 134512640 137136520 4287953104 4287952032 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 113879 111596 198 641 0 113235 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 455516
[startup+1602.3 s]
/proc/loadavg: 2.12 2.05 2.22 3/180 26742
/proc/meminfo: memFree=27609488/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=467352 CPUtime=1601.85 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 118573 0 0 0 160012 173 0 0 20 0 1 0 342768809 478568448 114566 33554432000 134512640 137136520 4287953104 4287952220 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 116838 114566 198 641 0 116194 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 467352
[startup+1662.3 s]
/proc/loadavg: 2.08 2.05 2.21 3/180 26765
/proc/meminfo: memFree=27567700/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=482524 CPUtime=1661.83 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 122381 0 0 0 166007 176 0 0 20 0 1 0 342768809 494104576 118374 33554432000 134512640 137136520 4287953104 4287952032 134544157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 120631 118374 198 641 0 119987 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 482524
[startup+1722.31 s]
/proc/loadavg: 2.06 2.05 2.19 3/179 26765
/proc/meminfo: memFree=27538940/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=494712 CPUtime=1721.83 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 125420 0 0 0 172002 181 0 0 20 0 1 0 342768809 506585088 121413 33554432000 134512640 137136520 4287953104 4287951956 136509061 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 123678 121413 198 641 0 123034 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 494712
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.18 3/179 26765
/proc/meminfo: memFree=27496780/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=509484 CPUtime=1781.82 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 129098 0 0 0 177996 186 0 0 20 0 1 0 342768809 521711616 125091 33554432000 134512640 137136520 4287953104 4287952032 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 127371 125091 198 641 0 126727 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 509484
Solver just ended. Dumping a history of the last processes samples
[startup+1786.3 s]
/proc/loadavg: 2.02 2.04 2.18 3/179 26765
/proc/meminfo: memFree=27494300/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=511400 CPUtime=1785.81 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 129595 0 0 0 178395 186 0 0 20 0 1 0 342768809 523673600 125588 33554432000 134512640 137136520 4287953104 4287952032 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 127850 125588 198 641 0 127206 0
Current children cumulated CPU time (s) 1785.81
Current children cumulated vsize (KiB) 511400
[startup+1792.71 s]
/proc/loadavg: 2.02 2.04 2.18 3/179 26765
/proc/meminfo: memFree=27491448/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=513128 CPUtime=1792.22 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 130033 0 0 0 179036 186 0 0 20 0 1 0 342768809 525443072 126026 33554432000 134512640 137136520 4287953104 4287952032 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 128282 126026 198 641 0 127638 0
Current children cumulated CPU time (s) 1792.22
Current children cumulated vsize (KiB) 513128
[startup+1795.9 s]
/proc/loadavg: 2.02 2.04 2.17 3/179 26765
/proc/meminfo: memFree=27489092/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=514092 CPUtime=1795.41 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 130279 0 0 0 179355 186 0 0 20 0 1 0 342768809 526430208 126272 33554432000 134512640 137136520 4287953104 4287952032 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 128523 126272 198 641 0 127879 0
Current children cumulated CPU time (s) 1795.41
Current children cumulated vsize (KiB) 514092
[startup+1797.5 s]
/proc/loadavg: 2.02 2.04 2.17 3/179 26765
/proc/meminfo: memFree=27488472/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=514656 CPUtime=1797.01 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 130388 0 0 0 179515 186 0 0 20 0 1 0 342768809 527007744 126381 33554432000 134512640 137136520 4287953104 4287952032 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 128664 126381 198 641 0 128020 0
Current children cumulated CPU time (s) 1797.01
Current children cumulated vsize (KiB) 514656
[startup+1798.3 s]
/proc/loadavg: 2.01 2.04 2.17 3/179 26765
/proc/meminfo: memFree=27487728/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=514956 CPUtime=1797.81 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 130463 0 0 0 179595 186 0 0 20 0 1 0 342768809 527314944 126456 33554432000 134512640 137136520 4287953104 4287952032 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 128739 126456 198 641 0 128095 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 514956
[startup+1798.5 s]
/proc/loadavg: 2.01 2.04 2.17 3/179 26765
/proc/meminfo: memFree=27487728/32873844 swapFree=7620/7620
[pid=26709] ppid=26707 vsize=514956 CPUtime=1798.01 cores=0,2,4,6
/proc/26709/stat : 26709 (bsolo) R 26707 26709 19811 0 -1 4202496 130467 0 0 0 179615 186 0 0 20 0 1 0 342768809 527314944 126460 33554432000 134512640 137136520 4287953104 4287952032 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26709/statm: 128739 126460 198 641 0 128095 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 514956
Child status: 0
Real time (s): 1798.53
CPU time (s): 1798.05
CPU user time (s): 1796.18
CPU system time (s): 1.87271
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 514956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.18
system time used= 1.87271
maximum resident set size= 505840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130468
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= 221
involuntary context switches= 1882
runsolver used 3.2635 second user time and 7.60684 second system time
The end