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-3740870-1338761750/watcher-3740870-1338761750 -o /tmp/evaluation-result-3740870-1338761750/solver-3740870-1338761750 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3740870-1338761750.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: 2.00 2.00 2.00 3/176 24022
/proc/meminfo: memFree=27381108/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=55048 CPUtime=0 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 342299454 56369152 296 33554432000 134512640 137136520 4290875888 4290874088 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 13762 296 189 641 0 2089 0
[startup+0.08258 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24022
/proc/meminfo: memFree=27381108/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=58732 CPUtime=0.07 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 1560 0 0 0 7 0 0 0 20 0 1 0 342299454 60141568 1513 33554432000 134512640 137136520 4290875888 4290874120 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 14683 1515 480 641 0 3010 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 58732
[startup+0.100276 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24022
/proc/meminfo: memFree=27381108/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=59548 CPUtime=0.09 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 1834 0 0 0 9 0 0 0 20 0 1 0 342299454 60977152 1787 33554432000 134512640 137136520 4290875888 4290874044 136698750 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 14920 1788 548 641 0 3247 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59548
[startup+0.300241 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24022
/proc/meminfo: memFree=27381108/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=68280 CPUtime=0.29 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 4727 0 0 0 29 0 0 0 20 0 1 0 342299454 69918720 4680 33554432000 134512640 137136520 4290875888 4290874088 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 17070 4681 1270 641 0 5397 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68280
[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24022
/proc/meminfo: memFree=27381108/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=85220 CPUtime=0.69 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 10376 0 0 0 68 1 0 0 20 0 1 0 342299454 87265280 10329 33554432000 134512640 137136520 4290875888 4290874088 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 21305 10329 2689 641 0 9632 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85220
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24023
/proc/meminfo: memFree=27338684/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=116712 CPUtime=1.49 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 21095 0 0 0 147 2 0 0 20 0 1 0 342299454 119513088 21008 33554432000 134512640 137136520 4290875888 4290874120 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 29178 21008 5521 641 0 17505 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116712
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24023
/proc/meminfo: memFree=27297764/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=173436 CPUtime=3.09 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 40430 0 0 0 304 5 0 0 20 0 1 0 342299454 177598464 40264 33554432000 134512640 137136520 4290875888 4290874136 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 43359 40264 10639 641 0 31686 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 173436
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24023
/proc/meminfo: memFree=27140532/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=251188 CPUtime=6.29 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 71428 0 0 0 617 12 0 0 20 0 1 0 342299454 257216512 60145 33554432000 134512640 137136520 4290875888 4290336220 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 62797 60145 191 641 0 62153 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 251188
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24023
/proc/meminfo: memFree=27140036/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=251188 CPUtime=12.68 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 71440 0 0 0 1251 17 0 0 20 0 1 0 342299454 257216512 60152 33554432000 134512640 137136520 4290875888 4290336220 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 62797 60152 191 641 0 62153 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 251188
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24023
/proc/meminfo: memFree=27138788/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=251188 CPUtime=25.47 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 71452 0 0 0 2524 23 0 0 20 0 1 0 342299454 257216512 60160 33554432000 134512640 137136520 4290875888 4290336220 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 62797 60160 191 641 0 62153 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 251188
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24023
/proc/meminfo: memFree=27137252/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=251320 CPUtime=51.05 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 71487 0 0 0 5072 33 0 0 20 0 1 0 342299454 257351680 60171 33554432000 134512640 137136520 4290875888 4290336220 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 62830 60171 191 641 0 62186 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 251320
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24023
/proc/meminfo: memFree=27132336/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=251320 CPUtime=102.24 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 71506 0 0 0 10177 47 0 0 20 0 1 0 342299454 257351680 60187 33554432000 134512640 137136520 4290875888 4290336220 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 62830 60187 191 641 0 62186 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 251320
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24023
/proc/meminfo: memFree=27119120/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=251452 CPUtime=162.22 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 71528 0 0 0 16158 64 0 0 20 0 1 0 342299454 257486848 60741 33554432000 134512640 137136520 4290875888 4290336220 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 62863 60741 191 641 0 62219 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 251452
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24024
/proc/meminfo: memFree=27123020/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=241364 CPUtime=222.22 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 84542 0 0 0 22099 123 0 0 20 0 1 0 342299454 247156736 58219 33554432000 134512640 137136520 4290875888 4290874656 134571152 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 60341 58219 197 641 0 59697 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 241364
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24027
/proc/meminfo: memFree=27031624/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=313484 CPUtime=282.21 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 102572 0 0 0 28079 142 0 0 20 0 1 0 342299454 321007616 76249 33554432000 134512640 137136520 4290875888 4290874816 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 78371 76249 197 641 0 77727 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 313484
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24027
/proc/meminfo: memFree=26966036/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=355256 CPUtime=342.19 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 113014 0 0 0 34075 144 0 0 20 0 1 0 342299454 363782144 86691 33554432000 134512640 137136520 4290875888 4290874816 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 88814 86691 197 641 0 88170 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 355256
[startup+402.3 s]
/proc/loadavg: 1.47 1.86 1.95 2/171 24054
/proc/meminfo: memFree=27844340/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=400876 CPUtime=402.19 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 124422 0 0 0 40062 157 0 0 20 0 1 0 342299454 410497024 98099 33554432000 134512640 137136520 4290875888 4290874656 134573554 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 100219 98099 197 641 0 99575 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 400876
[startup+462.3 s]
/proc/loadavg: 1.17 1.70 1.89 2/171 24054
/proc/meminfo: memFree=27783828/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=460620 CPUtime=462.18 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 139376 0 0 0 46054 164 0 0 20 0 1 0 342299454 471674880 113053 33554432000 134512640 137136520 4290875888 4290874816 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 115155 113053 197 641 0 114511 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 460620
[startup+522.3 s]
/proc/loadavg: 1.06 1.57 1.83 2/171 24055
/proc/meminfo: memFree=27730356/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=514544 CPUtime=522.12 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 152882 0 0 0 52045 167 0 0 20 0 1 0 342299454 526893056 126515 33554432000 134512640 137136520 4290875888 4290874816 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 128636 126515 197 641 0 127992 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 514544
[startup+582.3 s]
/proc/loadavg: 1.02 1.46 1.78 2/171 24055
/proc/meminfo: memFree=27688348/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=556292 CPUtime=582.07 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 163367 0 0 0 58036 171 0 0 20 0 1 0 342299454 569643008 136952 33554432000 134512640 137136520 4290875888 4290874656 134571167 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 139073 136952 197 641 0 138429 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 556292
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27336760/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=907532 CPUtime=1121.86 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 251323 0 0 0 111959 227 0 0 20 0 1 0 342299454 929312768 224762 33554432000 134512640 137136520 4290875888 4290874656 134573554 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 226883 224762 197 641 0 226239 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 907532
[startup+1182.3 s]
/proc/loadavg: 1.00 1.05 1.39 2/171 24060
/proc/meminfo: memFree=27309224/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=934812 CPUtime=1181.84 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 258146 0 0 0 117948 236 0 0 20 0 1 0 342299454 957247488 231581 33554432000 134512640 137136520 4290875888 4290874816 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 233703 231581 197 641 0 233059 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 934812
[startup+1242.3 s]
/proc/loadavg: 1.00 1.04 1.36 2/171 24060
/proc/meminfo: memFree=27284452/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=959792 CPUtime=1241.79 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 264440 0 0 0 123941 238 0 0 20 0 1 0 342299454 982827008 237827 33554432000 134512640 137136520 4290875888 4290874816 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 239948 237827 197 641 0 239304 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 959792
[startup+1302.3 s]
/proc/loadavg: 1.00 1.03 1.34 2/171 24060
/proc/meminfo: memFree=27255960/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=987504 CPUtime=1301.74 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 271415 0 0 0 129935 239 0 0 20 0 1 0 342299454 1011204096 244755 33554432000 134512640 137136520 4290875888 4290874816 134543918 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 246876 244755 197 641 0 246232 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 987504
[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.31 2/171 24060
/proc/meminfo: memFree=27239372/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=1004032 CPUtime=1361.69 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 275595 0 0 0 135916 253 0 0 20 0 1 0 342299454 1028128768 248887 33554432000 134512640 137136520 4290875888 4290874816 134544472 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 251008 248887 197 641 0 250364 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 1004032
[startup+1422.31 s]
/proc/loadavg: 1.06 1.03 1.30 2/171 24061
/proc/meminfo: memFree=27214300/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=1029496 CPUtime=1421.67 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 281973 0 0 0 141912 255 0 0 20 0 1 0 342299454 1054203904 255253 33554432000 134512640 137136520 4290875888 4290874816 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 257374 255253 197 641 0 256730 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 1029496
[startup+1482.3 s]
/proc/loadavg: 1.02 1.03 1.27 2/172 24064
/proc/meminfo: memFree=27186516/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=1056992 CPUtime=1481.65 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 288851 0 0 0 147909 256 0 0 20 0 1 0 342299454 1082359808 262131 33554432000 134512640 137136520 4290875888 4290874816 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 264248 262131 197 641 0 263604 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 1056992
[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.25 2/171 24064
/proc/meminfo: memFree=27163584/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=1080316 CPUtime=1541.64 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 294678 0 0 0 153906 258 0 0 20 0 1 0 342299454 1106243584 267958 33554432000 134512640 137136520 4290875888 4290874816 134544157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 270079 267958 197 641 0 269435 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 1080316
[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/171 24064
/proc/meminfo: memFree=27141016/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=1102452 CPUtime=1601.64 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 300214 0 0 0 159904 260 0 0 20 0 1 0 342299454 1128910848 273494 33554432000 134512640 137136520 4290875888 4290874816 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 275613 273494 197 641 0 274969 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 1102452
[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/171 24064
/proc/meminfo: memFree=27117952/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=1125400 CPUtime=1661.63 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 305949 0 0 0 165899 264 0 0 20 0 1 0 342299454 1152409600 279229 33554432000 134512640 137136520 4290875888 4290874816 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 281350 279229 197 641 0 280706 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1125400
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.20 2/171 24065
/proc/meminfo: memFree=27087200/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=1156596 CPUtime=1721.62 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 313748 0 0 0 171896 266 0 0 20 0 1 0 342299454 1184354304 287028 33554432000 134512640 137136520 4290875888 4290874816 134543881 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 289149 287028 197 641 0 288505 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 1156596
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/171 24065
/proc/meminfo: memFree=27057688/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=1185708 CPUtime=1781.61 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 321026 0 0 0 177891 270 0 0 20 0 1 0 342299454 1214164992 294306 33554432000 134512640 137136520 4290875888 4290874816 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 296427 294306 197 641 0 295783 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 1185708
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.18 2/171 24065
/proc/meminfo: memFree=27055456/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=1187976 CPUtime=1791.21 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 321593 0 0 0 178851 270 0 0 20 0 1 0 342299454 1216487424 294873 33554432000 134512640 137136520 4290875888 4290874816 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 296994 294873 197 641 0 296350 0
Current children cumulated CPU time (s) 1791.21
Current children cumulated vsize (KiB) 1187976
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.18 2/171 24065
/proc/meminfo: memFree=27054588/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=1188768 CPUtime=1794.41 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 321791 0 0 0 179171 270 0 0 20 0 1 0 342299454 1217298432 295071 33554432000 134512640 137136520 4290875888 4290874816 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 297192 295071 197 641 0 296548 0
Current children cumulated CPU time (s) 1794.41
Current children cumulated vsize (KiB) 1188768
[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.18 2/171 24065
/proc/meminfo: memFree=27054216/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=1189124 CPUtime=1796 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 321880 0 0 0 179330 270 0 0 20 0 1 0 342299454 1217662976 295160 33554432000 134512640 137136520 4290875888 4290874816 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 297281 295160 197 641 0 296637 0
Current children cumulated CPU time (s) 1796
Current children cumulated vsize (KiB) 1189124
[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.18 2/171 24065
/proc/meminfo: memFree=27053844/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=1189500 CPUtime=1796.8 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 321974 0 0 0 179410 270 0 0 20 0 1 0 342299454 1218048000 295254 33554432000 134512640 137136520 4290875888 4290874816 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 297375 295254 197 641 0 296731 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 1189500
[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/171 24065
/proc/meminfo: memFree=27053844/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=1189500 CPUtime=1797.6 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 321974 0 0 0 179490 270 0 0 20 0 1 0 342299454 1218048000 295254 33554432000 134512640 137136520 4290875888 4290874816 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 297375 295254 197 641 0 296731 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 1189500
[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.18 2/171 24065
/proc/meminfo: memFree=27053844/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=1189856 CPUtime=1798 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 322063 0 0 0 179530 270 0 0 20 0 1 0 342299454 1218412544 295343 33554432000 134512640 137136520 4290875888 4290874816 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 297464 295343 197 641 0 296820 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 1189856
[startup+1798.8 s]
/proc/loadavg: 1.00 1.00 1.18 2/171 24065
/proc/meminfo: memFree=27053844/32873844 swapFree=7632/7632
[pid=24022] ppid=24020 vsize=1189856 CPUtime=1798.1 cores=0,2,4,6
/proc/24022/stat : 24022 (bsolo) R 24020 24022 17063 0 -1 4202496 322063 0 0 0 179540 270 0 0 20 0 1 0 342299454 1218412544 295343 33554432000 134512640 137136520 4290875888 4290874816 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24022/statm: 297464 295343 197 641 0 296820 0
Current children cumulated CPU time (s) 1798.1
Current children cumulated vsize (KiB) 1189856
Child status: 0
Real time (s): 1798.85
CPU time (s): 1798.17
CPU user time (s): 1795.44
CPU system time (s): 2.72259
CPU usage (%): 99.962
Max. virtual memory (cumulated for all children) (KiB): 1189856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.44
system time used= 2.72259
maximum resident set size= 1181372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322064
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= 444
involuntary context switches= 1840
runsolver used 2.6096 second user time and 7.2059 second system time
The end