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-3732958-1338707518/watcher-3732958-1338707518 -o /tmp/evaluation-result-3732958-1338707518/solver-3732958-1338707518 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3732958-1338707518.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 904
/proc/meminfo: memFree=31403260/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=10928 CPUtime=0 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 336878734 11190272 297 33554432000 134512640 137136520 4294657520 4294645324 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 2732 297 189 641 0 2088 0
[startup+0.075588 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 904
/proc/meminfo: memFree=31403260/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=11372 CPUtime=0.07 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 476 0 0 0 7 0 0 0 20 0 1 0 336878734 11644928 420 33554432000 134512640 137136520 4294657520 4294656220 136518966 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 2843 420 197 641 0 2199 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11372
[startup+0.100258 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 904
/proc/meminfo: memFree=31403260/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=11644 CPUtime=0.09 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 521 0 0 0 9 0 0 0 20 0 1 0 336878734 11923456 465 33554432000 134512640 137136520 4294657520 4294656636 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 2911 465 197 641 0 2267 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11644
[startup+0.300219 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 904
/proc/meminfo: memFree=31403260/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=12920 CPUtime=0.29 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 858 0 0 0 29 0 0 0 20 0 1 0 336878734 13230080 802 33554432000 134512640 137136520 4294657520 4294655800 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 3230 802 197 641 0 2586 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12920
[startup+0.700224 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 904
/proc/meminfo: memFree=31403260/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=15060 CPUtime=0.69 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 1391 0 0 0 69 0 0 0 20 0 1 0 336878734 15421440 1335 33554432000 134512640 137136520 4294657520 4294655800 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 3765 1335 197 641 0 3121 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15060
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 905
/proc/meminfo: memFree=31397688/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=19060 CPUtime=1.49 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 2385 0 0 0 148 1 0 0 20 0 1 0 336878734 19517440 2329 33554432000 134512640 137136520 4294657520 4294655800 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 4765 2329 197 641 0 4121 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19060
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 905
/proc/meminfo: memFree=31391612/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=27284 CPUtime=3.09 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 4446 0 0 0 308 1 0 0 20 0 1 0 336878734 27938816 4390 33554432000 134512640 137136520 4294657520 4294655800 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 6821 4390 197 641 0 6177 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27284
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 905
/proc/meminfo: memFree=31377352/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=39376 CPUtime=6.29 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 7471 0 0 0 627 2 0 0 20 0 1 0 336878734 40321024 7415 33554432000 134512640 137136520 4294657520 4294656636 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 9844 7415 197 641 0 9200 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39376
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 905
/proc/meminfo: memFree=31356676/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=58576 CPUtime=12.69 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 12280 0 0 0 1265 4 0 0 20 0 1 0 336878734 59981824 12220 33554432000 134512640 137136520 4294657520 4294656144 134554213 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 14644 12220 197 641 0 14000 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58576
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 905
/proc/meminfo: memFree=31322568/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=91816 CPUtime=25.47 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 20584 0 0 0 2538 9 0 0 20 0 1 0 336878734 94019584 20516 33554432000 134512640 137136520 4294657520 4294656136 134552036 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 22954 20516 197 641 0 22310 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 91816
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 905
/proc/meminfo: memFree=31290032/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=124368 CPUtime=51.05 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 28744 0 0 0 5090 15 0 0 20 0 1 0 336878734 127352832 28654 33554432000 134512640 137136520 4294657520 4294656448 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 31092 28654 197 641 0 30448 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 124368
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 954
/proc/meminfo: memFree=31168080/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=164908 CPUtime=102.21 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 38962 0 0 0 10198 23 0 0 20 0 1 0 336878734 168865792 38797 33554432000 134512640 137136520 4294657520 4294656220 136518950 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 41227 38797 197 641 0 40583 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 164908
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 954
/proc/meminfo: memFree=30995192/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=194248 CPUtime=162.2 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 46339 0 0 0 16191 29 0 0 20 0 1 0 336878734 198909952 46122 33554432000 134512640 137136520 4294657520 4294656448 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 48562 46122 197 641 0 47918 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 194248
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 954
/proc/meminfo: memFree=30905692/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=194248 CPUtime=222.19 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 46339 0 0 0 22186 33 0 0 20 0 1 0 336878734 198909952 46122 33554432000 134512640 137136520 4294657520 4294656448 134543918 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 48562 46122 197 641 0 47918 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 194248
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 954
/proc/meminfo: memFree=30822764/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=194248 CPUtime=282.18 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 46339 0 0 0 28182 36 0 0 20 0 1 0 336878734 198909952 46122 33554432000 134512640 137136520 4294657520 4294656112 134616484 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 48562 46122 197 641 0 47918 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 194248
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 954
/proc/meminfo: memFree=30757568/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=211032 CPUtime=342.17 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 50587 0 0 0 34178 39 0 0 20 0 1 0 336878734 216096768 50313 33554432000 134512640 137136520 4294657520 4294656560 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 52758 50313 197 641 0 52114 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 211032
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 955
/proc/meminfo: memFree=30718168/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=211032 CPUtime=402.17 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 50587 0 0 0 40175 42 0 0 20 0 1 0 336878734 216096768 50313 33554432000 134512640 137136520 4294657520 4294656448 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 52758 50313 197 641 0 52114 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 211032
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 955
/proc/meminfo: memFree=30624300/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=211032 CPUtime=462.16 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 50587 0 0 0 46172 44 0 0 20 0 1 0 336878734 216096768 50313 33554432000 134512640 137136520 4294657520 4294656448 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 52758 50313 197 641 0 52114 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 211032
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 958
/proc/meminfo: memFree=30559044/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=211032 CPUtime=522.14 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 50596 0 0 0 52168 46 0 0 20 0 1 0 336878734 216096768 50313 33554432000 134512640 137136520 4294657520 4294656448 134544135 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 52758 50313 197 641 0 52114 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 211032
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 958
/proc/meminfo: memFree=30559216/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=211032 CPUtime=582.12 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 50607 0 0 0 58166 46 0 0 20 0 1 0 336878734 216096768 50313 33554432000 134512640 137136520 4294657520 4294656448 134544256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 52758 50313 197 641 0 52114 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 211032
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30559372/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=211032 CPUtime=1062.05 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 50607 0 0 0 106153 52 0 0 20 0 1 0 336878734 216096768 50313 33554432000 134512640 137136520 4294657520 4294656448 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 52758 50313 197 641 0 52114 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 211032
[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 963
/proc/meminfo: memFree=30559116/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=211032 CPUtime=1122.03 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 50607 0 0 0 112151 52 0 0 20 0 1 0 336878734 216096768 50313 33554432000 134512640 137136520 4294657520 4294656448 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 52758 50313 197 641 0 52114 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 211032
[startup+1182.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 963
/proc/meminfo: memFree=30559248/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=211032 CPUtime=1182.03 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 50607 0 0 0 118150 53 0 0 20 0 1 0 336878734 216096768 50313 33554432000 134512640 137136520 4294657520 4294656448 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 52758 50313 197 641 0 52114 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 211032
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 963
/proc/meminfo: memFree=30507664/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=211032 CPUtime=1242.02 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 50607 0 0 0 124148 54 0 0 20 0 1 0 336878734 216096768 50313 33554432000 134512640 137136520 4294657520 4294656448 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 52758 50313 197 641 0 52114 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 211032
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 963
/proc/meminfo: memFree=30412440/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=211032 CPUtime=1302.02 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 50607 0 0 0 130147 55 0 0 20 0 1 0 336878734 216096768 50313 33554432000 134512640 137136520 4294657520 4294656448 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 52758 50313 197 641 0 52114 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 211032
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 964
/proc/meminfo: memFree=30402636/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=211032 CPUtime=1362.01 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 50607 0 0 0 136145 56 0 0 20 0 1 0 336878734 216096768 50313 33554432000 134512640 137136520 4294657520 4294656448 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 52758 50313 197 641 0 52114 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 211032
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 964
/proc/meminfo: memFree=30402884/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=211032 CPUtime=1422 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 50607 0 0 0 142144 56 0 0 20 0 1 0 336878734 216096768 50313 33554432000 134512640 137136520 4294657520 4294656272 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 52758 50313 197 641 0 52114 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 211032
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 964
/proc/meminfo: memFree=30402980/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=211032 CPUtime=1481.99 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 50607 0 0 0 148140 59 0 0 20 0 1 0 336878734 216096768 50313 33554432000 134512640 137136520 4294657520 4294652704 134575969 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 52758 50313 197 641 0 52114 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 211032
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 964
/proc/meminfo: memFree=30403132/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=211032 CPUtime=1541.98 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 50607 0 0 0 154137 61 0 0 20 0 1 0 336878734 216096768 50313 33554432000 134512640 137136520 4294657520 4294656448 134543918 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 52758 50313 197 641 0 52114 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 211032
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 964
/proc/meminfo: memFree=30402980/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=211032 CPUtime=1601.96 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 50607 0 0 0 160133 63 0 0 20 0 1 0 336878734 216096768 50313 33554432000 134512640 137136520 4294657520 4294656448 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 52758 50313 197 641 0 52114 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 211032
[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 965
/proc/meminfo: memFree=30385992/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=228480 CPUtime=1661.95 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 54965 0 0 0 166125 70 0 0 20 0 1 0 336878734 233963520 54671 33554432000 134512640 137136520 4294657520 4294656448 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 57120 54671 197 641 0 56476 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 228480
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 970
/proc/meminfo: memFree=30375232/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=238524 CPUtime=1721.94 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 57570 0 0 0 172120 74 0 0 20 0 1 0 336878734 244248576 57206 33554432000 134512640 137136520 4294657520 4294656448 134543965 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 59631 57206 197 641 0 58987 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 238524
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 970
/proc/meminfo: memFree=30375116/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=238524 CPUtime=1781.94 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 57570 0 0 0 178117 77 0 0 20 0 1 0 336878734 244248576 57206 33554432000 134512640 137136520 4294657520 4294656448 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 59631 57206 197 641 0 58987 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 238524
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 970
/proc/meminfo: memFree=30375240/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=238524 CPUtime=1791.53 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 57570 0 0 0 179076 77 0 0 20 0 1 0 336878734 244248576 57206 33554432000 134512640 137136520 4294657520 4294656448 134544145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 59631 57206 197 641 0 58987 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 238524
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 970
/proc/meminfo: memFree=30375240/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=238524 CPUtime=1794.73 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 57570 0 0 0 179396 77 0 0 20 0 1 0 336878734 244248576 57206 33554432000 134512640 137136520 4294657520 4294656448 134543971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 59631 57206 197 641 0 58987 0
Current children cumulated CPU time (s) 1794.73
Current children cumulated vsize (KiB) 238524
[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 970
/proc/meminfo: memFree=30375240/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=238524 CPUtime=1796.33 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 57570 0 0 0 179556 77 0 0 20 0 1 0 336878734 244248576 57206 33554432000 134512640 137136520 4294657520 4294656448 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 59631 57206 197 641 0 58987 0
Current children cumulated CPU time (s) 1796.33
Current children cumulated vsize (KiB) 238524
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 970
/proc/meminfo: memFree=30375240/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=238524 CPUtime=1797.13 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 57570 0 0 0 179636 77 0 0 20 0 1 0 336878734 244248576 57206 33554432000 134512640 137136520 4294657520 4294656448 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 59631 57206 197 641 0 58987 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 238524
[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 970
/proc/meminfo: memFree=30375240/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=238524 CPUtime=1797.52 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 57570 0 0 0 179675 77 0 0 20 0 1 0 336878734 244248576 57206 33554432000 134512640 137136520 4294657520 4294656448 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 59631 57206 197 641 0 58987 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 238524
[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 970
/proc/meminfo: memFree=30375240/32873844 swapFree=7116/7116
[pid=904] ppid=902 vsize=238524 CPUtime=1797.93 cores=1,3,5,7
/proc/904/stat : 904 (bsolo) R 902 904 29538 0 -1 4202496 57570 0 0 0 179715 78 0 0 20 0 1 0 336878734 244248576 57206 33554432000 134512640 137136520 4294657520 4294656448 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 59631 57206 197 641 0 58987 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 238524
Child status: 0
Real time (s): 1798.37
CPU time (s): 1798.01
CPU user time (s): 1797.23
CPU system time (s): 0.781881
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 238524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.23
system time used= 0.781881
maximum resident set size= 229072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57572
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= 97
involuntary context switches= 1848
runsolver used 5.2732 second user time and 20.3959 second system time
The end