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-3740818-1338759951/watcher-3740818-1338759951 -o /tmp/evaluation-result-3740818-1338759951/solver-3740818-1338759951 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3740818-1338759951.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.06 3/176 23877
/proc/meminfo: memFree=27764200/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=20236 CPUtime=0 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 341 0 0 0 0 0 0 0 20 0 1 0 342119480 20721664 295 33554432000 134512640 137136520 4294429136 4294427336 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 5059 295 189 641 0 2089 0
[startup+0.0426769 s]
/proc/loadavg: 2.00 2.00 2.06 3/176 23877
/proc/meminfo: memFree=27764200/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=22008 CPUtime=0.04 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 920 0 0 0 4 0 0 0 20 0 1 0 342119480 22536192 874 33554432000 134512640 137136520 4294429136 4294427368 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 5502 874 323 641 0 2532 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 22008
[startup+0.100263 s]
/proc/loadavg: 2.00 2.00 2.06 3/176 23877
/proc/meminfo: memFree=27764200/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=24736 CPUtime=0.09 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 1824 0 0 0 9 0 0 0 20 0 1 0 342119480 25329664 1778 33554432000 134512640 137136520 4294429136 4294427544 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 6184 1779 545 641 0 3214 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24736
[startup+0.30024 s]
/proc/loadavg: 2.00 2.00 2.06 3/176 23877
/proc/meminfo: memFree=27764200/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=33468 CPUtime=0.29 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 4725 0 0 0 29 0 0 0 20 0 1 0 342119480 34271232 4679 33554432000 134512640 137136520 4294429136 4294427336 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 8367 4679 1267 641 0 5397 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33468
[startup+0.70024 s]
/proc/loadavg: 2.00 2.00 2.06 3/176 23877
/proc/meminfo: memFree=27764200/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=50796 CPUtime=0.69 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 12603 0 0 0 68 1 0 0 20 0 1 0 342119480 52015104 10231 33554432000 134512640 137136520 4294429136 4294306780 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 12699 10231 189 641 0 12055 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50796
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 23878
/proc/meminfo: memFree=27709152/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=65332 CPUtime=1.49 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 16237 0 0 0 146 3 0 0 20 0 1 0 342119480 66899968 13865 33554432000 134512640 137136520 4294429136 4294306588 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 16333 13865 191 641 0 15689 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65332
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 23878
/proc/meminfo: memFree=27708136/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=65332 CPUtime=3.08 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 16240 0 0 0 302 6 0 0 20 0 1 0 342119480 66899968 13868 33554432000 134512640 137136520 4294429136 4294306588 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 16333 13868 191 641 0 15689 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 65332
[startup+6.30027 s]
/proc/loadavg: 2.08 2.02 2.06 3/177 23878
/proc/meminfo: memFree=27705780/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=65332 CPUtime=6.29 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 16244 0 0 0 620 9 0 0 20 0 1 0 342119480 66899968 13872 33554432000 134512640 137136520 4294429136 4294306588 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 16333 13872 191 641 0 15689 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65332
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.06 3/177 23878
/proc/meminfo: memFree=27716204/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=52904 CPUtime=12.68 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 16634 0 0 0 1246 22 0 0 20 0 1 0 342119480 54173696 10780 33554432000 134512640 137136520 4294429136 4294428252 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 13226 10780 197 641 0 12582 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 52904
[startup+25.5003 s]
/proc/loadavg: 2.06 2.01 2.06 3/177 23878
/proc/meminfo: memFree=27692520/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=65992 CPUtime=25.49 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 19904 0 0 0 2502 47 0 0 20 0 1 0 342119480 67575808 14050 33554432000 134512640 137136520 4294429136 4294428064 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 16498 14050 197 641 0 15854 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65992
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.06 3/177 23878
/proc/meminfo: memFree=27659288/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=87888 CPUtime=51.08 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 25381 0 0 0 5040 68 0 0 20 0 1 0 342119480 89997312 19527 33554432000 134512640 137136520 4294429136 4294428064 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 21972 19527 198 641 0 21328 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 87888
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.05 3/177 23878
/proc/meminfo: memFree=27620020/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=109876 CPUtime=102.28 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 30880 0 0 0 10153 75 0 0 20 0 1 0 342119480 112513024 25026 33554432000 134512640 137136520 4294429136 4294428252 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 27469 25026 198 641 0 26825 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 109876
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 23879
/proc/meminfo: memFree=27575780/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=131884 CPUtime=162.26 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 36366 0 0 0 16140 86 0 0 20 0 1 0 342119480 135049216 30512 33554432000 134512640 137136520 4294429136 4294428064 134543834 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 32971 30512 198 641 0 32327 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 131884
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 23879
/proc/meminfo: memFree=27537432/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=138444 CPUtime=222.26 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 38030 0 0 0 22138 88 0 0 20 0 1 0 342119480 141766656 32176 33554432000 134512640 137136520 4294429136 4294428064 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 34611 32176 198 641 0 33967 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 138444
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/178 23882
/proc/meminfo: memFree=27493144/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=145672 CPUtime=282.21 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 39845 0 0 0 28131 90 0 0 20 0 1 0 342119480 149168128 33971 33554432000 134512640 137136520 4294429136 4294428056 135982525 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 36418 33971 198 641 0 35774 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 145672
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 23882
/proc/meminfo: memFree=27445848/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=156044 CPUtime=342.17 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 42486 0 0 0 34125 92 0 0 20 0 1 0 342119480 159789056 37091 33554432000 134512640 137136520 4294429136 4294428064 134544256 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 39011 37091 198 641 0 38367 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 156044
[startup+402.3 s]
/proc/loadavg: 2.13 2.04 2.04 3/177 23930
/proc/meminfo: memFree=27789592/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=166968 CPUtime=402.16 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 45195 0 0 0 40123 93 0 0 20 0 1 0 342119480 170975232 39800 33554432000 134512640 137136520 4294429136 4294428252 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 41742 39800 198 641 0 41098 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 166968
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.03 3/178 23942
/proc/meminfo: memFree=27779640/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=176296 CPUtime=462.14 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 47548 0 0 0 46116 98 0 0 20 0 1 0 342119480 180527104 42141 33554432000 134512640 137136520 4294429136 4294428064 134543796 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 44074 42141 198 641 0 43430 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 176296
[startup+522.3 s]
/proc/loadavg: 2.06 2.04 2.03 3/177 23942
/proc/meminfo: memFree=27768224/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=187944 CPUtime=522.13 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 50451 0 0 0 52112 101 0 0 20 0 1 0 342119480 192454656 45044 33554432000 134512640 137136520 4294429136 4294428064 134543939 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 46986 45044 198 641 0 46342 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 187944
[startup+582.3 s]
/proc/loadavg: 2.07 2.04 2.03 3/177 23942
/proc/meminfo: memFree=27762300/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=195824 CPUtime=582.12 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 52442 0 0 0 58110 102 0 0 20 0 1 0 342119480 200523776 47035 33554432000 134512640 137136520 4294429136 4294428064 134543986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 48956 47035 198 641 0 48312 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 195824
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27382752/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=249596 CPUtime=1122.02 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 65887 0 0 0 112079 123 0 0 20 0 1 0 342119480 255586304 60458 33554432000 134512640 137136520 4294429136 4294427996 136518911 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 62399 60458 198 641 0 61755 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 249596
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23970
/proc/meminfo: memFree=27354260/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=253864 CPUtime=1182.01 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 66953 0 0 0 118077 124 0 0 20 0 1 0 342119480 259956736 61524 33554432000 134512640 137136520 4294429136 4294427964 136518911 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 63466 61524 198 641 0 62822 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 253864
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23970
/proc/meminfo: memFree=27328344/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=257880 CPUtime=1242 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 67957 0 0 0 124075 125 0 0 20 0 1 0 342119480 264069120 62528 33554432000 134512640 137136520 4294429136 4294428064 134544256 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 64470 62528 198 641 0 63826 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 257880
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23970
/proc/meminfo: memFree=27308464/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=261288 CPUtime=1301.98 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 68852 0 0 0 130072 126 0 0 20 0 1 0 342119480 267558912 63403 33554432000 134512640 137136520 4294429136 4294428064 134543837 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 65322 63403 198 641 0 64678 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 261288
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23970
/proc/meminfo: memFree=27287880/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=265844 CPUtime=1361.96 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 69968 0 0 0 136069 127 0 0 20 0 1 0 342119480 272224256 64519 33554432000 134512640 137136520 4294429136 4294428064 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 66461 64519 198 641 0 65817 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 265844
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23971
/proc/meminfo: memFree=27266676/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=269864 CPUtime=1421.96 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 70994 0 0 0 142067 129 0 0 20 0 1 0 342119480 276340736 65545 33554432000 134512640 137136520 4294429136 4294428252 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 67466 65545 198 641 0 66822 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 269864
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23974
/proc/meminfo: memFree=27235916/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=273676 CPUtime=1481.94 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 71955 0 0 0 148063 131 0 0 20 0 1 0 342119480 280244224 66506 33554432000 134512640 137136520 4294429136 4294428064 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 68419 66506 198 641 0 67775 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 273676
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23974
/proc/meminfo: memFree=27213232/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=277156 CPUtime=1541.93 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 72797 0 0 0 154060 133 0 0 20 0 1 0 342119480 283807744 67348 33554432000 134512640 137136520 4294429136 4294428064 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 69289 67348 198 641 0 68645 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 277156
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23974
/proc/meminfo: memFree=27192028/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=280860 CPUtime=1601.93 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 73743 0 0 0 160059 134 0 0 20 0 1 0 342119480 287600640 68294 33554432000 134512640 137136520 4294429136 4294428252 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 70215 68294 198 641 0 69571 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 280860
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23974
/proc/meminfo: memFree=27166608/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=284156 CPUtime=1661.92 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 74546 0 0 0 166056 136 0 0 20 0 1 0 342119480 290975744 69097 33554432000 134512640 137136520 4294429136 4294428064 134543869 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 71039 69097 198 641 0 70395 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 284156
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23975
/proc/meminfo: memFree=27151096/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=287112 CPUtime=1721.9 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 75303 0 0 0 172054 136 0 0 20 0 1 0 342119480 294002688 69854 33554432000 134512640 137136520 4294429136 4294428064 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 71778 69854 198 641 0 71134 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 287112
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23975
/proc/meminfo: memFree=27139716/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=289496 CPUtime=1781.9 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 75902 0 0 0 178051 139 0 0 20 0 1 0 342119480 296443904 70453 33554432000 134512640 137136520 4294429136 4294428064 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 72374 70453 198 641 0 71730 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 289496
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23975
/proc/meminfo: memFree=27137964/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=289672 CPUtime=1791.5 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 75947 0 0 0 179011 139 0 0 20 0 1 0 342119480 296624128 70498 33554432000 134512640 137136520 4294429136 4294428064 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 72418 70498 198 641 0 71774 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 289672
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23975
/proc/meminfo: memFree=27138088/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=289672 CPUtime=1794.7 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 75947 0 0 0 179331 139 0 0 20 0 1 0 342119480 296624128 70498 33554432000 134512640 137136520 4294429136 4294428064 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 72418 70498 198 641 0 71774 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 289672
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23975
/proc/meminfo: memFree=27138088/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=289672 CPUtime=1796.3 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 75947 0 0 0 179491 139 0 0 20 0 1 0 342119480 296624128 70498 33554432000 134512640 137136520 4294429136 4294428064 134543983 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 72418 70498 198 641 0 71774 0
Current children cumulated CPU time (s) 1796.3
Current children cumulated vsize (KiB) 289672
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23975
/proc/meminfo: memFree=27138084/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=289672 CPUtime=1797.1 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 75947 0 0 0 179571 139 0 0 20 0 1 0 342119480 296624128 70498 33554432000 134512640 137136520 4294429136 4294428064 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 72418 70498 198 641 0 71774 0
Current children cumulated CPU time (s) 1797.1
Current children cumulated vsize (KiB) 289672
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23975
/proc/meminfo: memFree=27138084/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=289672 CPUtime=1797.5 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 75947 0 0 0 179611 139 0 0 20 0 1 0 342119480 296624128 70498 33554432000 134512640 137136520 4294429136 4294428064 134544080 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 72418 70498 198 641 0 71774 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 289672
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23975
/proc/meminfo: memFree=27138084/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=289672 CPUtime=1797.9 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 75947 0 0 0 179651 139 0 0 20 0 1 0 342119480 296624128 70498 33554432000 134512640 137136520 4294429136 4294428064 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 72418 70498 198 641 0 71774 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 289672
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23975
/proc/meminfo: memFree=27137712/32873844 swapFree=7632/7632
[pid=23877] ppid=23875 vsize=289672 CPUtime=1798 cores=0,2,4,6
/proc/23877/stat : 23877 (bsolo) R 23875 23877 17063 0 -1 4202496 75948 0 0 0 179661 139 0 0 20 0 1 0 342119480 296624128 70499 33554432000 134512640 137136520 4294429136 4294428064 134544116 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23877/statm: 72418 70499 198 641 0 71774 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 289672
Child status: 0
Real time (s): 1798.43
CPU time (s): 1798.03
CPU user time (s): 1796.64
CPU system time (s): 1.39779
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 289672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.64
system time used= 1.39779
maximum resident set size= 281996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75949
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= 120
involuntary context switches= 1858
runsolver used 2.6426 second user time and 7.17491 second system time
The end