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-3708061-1338156914/watcher-3708061-1338156914 -o /tmp/evaluation-result-3708061-1338156914/solver-3708061-1338156914 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708061-1338156914.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.03 2.01 2.00 3/176 20036
/proc/meminfo: memFree=31811372/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=26420 CPUtime=0 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 292 0 0 0 0 0 0 0 20 0 1 0 281820005 27054080 242 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 6605 242 192 642 0 5961 0
[startup+0.019909 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 20036
/proc/meminfo: memFree=31811372/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=18608 CPUtime=0.01 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 320 0 0 0 1 0 0 0 20 0 1 0 281820005 19054592 270 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 4652 270 192 642 0 4008 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18608
[startup+0.100258 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 20036
/proc/meminfo: memFree=31811372/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=19248 CPUtime=0.09 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 459 0 0 0 9 0 0 0 20 0 1 0 281820005 19709952 409 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 4812 409 192 642 0 4168 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19248
[startup+0.300236 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 20036
/proc/meminfo: memFree=31811372/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=20664 CPUtime=0.29 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 816 0 0 0 29 0 0 0 20 0 1 0 281820005 21159936 766 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 5166 766 192 642 0 4522 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20664
[startup+0.700238 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 20036
/proc/meminfo: memFree=31811372/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=21824 CPUtime=0.69 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 1116 0 0 0 69 0 0 0 20 0 1 0 281820005 22347776 1066 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 5456 1066 192 642 0 4812 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21824
[startup+1.50024 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 20037
/proc/meminfo: memFree=31809372/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=22712 CPUtime=1.49 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 1322 0 0 0 149 0 0 0 20 0 1 0 281820005 23257088 1272 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 5678 1272 192 642 0 5034 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22712
[startup+3.10023 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 20037
/proc/meminfo: memFree=31806396/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=23612 CPUtime=3.08 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 1559 0 0 0 308 0 0 0 20 0 1 0 281820005 24178688 1509 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 5903 1509 192 642 0 5259 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23612
[startup+6.30024 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20037
/proc/meminfo: memFree=31805032/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=24384 CPUtime=6.29 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 1752 0 0 0 628 1 0 0 20 0 1 0 281820005 24969216 1702 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 6096 1702 192 642 0 5452 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24384
[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20037
/proc/meminfo: memFree=31801400/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=25288 CPUtime=12.68 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 1993 0 0 0 1266 2 0 0 20 0 1 0 281820005 25894912 2447 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 6322 2447 192 642 0 5678 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25288
[startup+25.5002 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 20037
/proc/meminfo: memFree=31801400/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=26396 CPUtime=25.49 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 2250 0 0 0 2543 6 0 0 20 0 1 0 281820005 27029504 2704 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 6599 2704 192 642 0 5955 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26396
[startup+51.1002 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 20037
/proc/meminfo: memFree=31800036/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=27748 CPUtime=51.08 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 2589 0 0 0 5096 12 0 0 20 0 1 0 281820005 28413952 3043 33554432000 134512640 137138936 4294498624 4294497664 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 6937 3043 192 642 0 6293 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27748
[startup+102.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 20037
/proc/meminfo: memFree=31797428/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=30108 CPUtime=102.27 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 3183 0 0 0 10206 21 0 0 20 0 1 0 281820005 30830592 3635 33554432000 134512640 137138936 4294498624 4294497048 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 7527 3635 192 642 0 6883 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 30108
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 20037
/proc/meminfo: memFree=31796432/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=30988 CPUtime=162.26 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 3423 0 0 0 16196 30 0 0 20 0 1 0 281820005 31731712 3874 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 7747 3874 192 642 0 7103 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 30988
[startup+222.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 20037
/proc/meminfo: memFree=31798540/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=31080 CPUtime=222.25 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 3435 0 0 0 22186 39 0 0 20 0 1 0 281820005 31825920 3886 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 7770 3886 192 642 0 7126 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 31080
[startup+282.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 20038
/proc/meminfo: memFree=31794816/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=31932 CPUtime=282.24 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 3648 0 0 0 28177 47 0 0 20 0 1 0 281820005 32698368 4099 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 7983 4099 192 642 0 7339 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 31932
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 20041
/proc/meminfo: memFree=31794680/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=32136 CPUtime=342.23 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 3706 0 0 0 34167 56 0 0 20 0 1 0 281820005 32907264 4156 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 8034 4156 192 642 0 7390 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 32136
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 20041
/proc/meminfo: memFree=31794748/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=32912 CPUtime=402.22 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 3905 0 0 0 40155 67 0 0 20 0 1 0 281820005 33701888 4355 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 8228 4355 192 642 0 7584 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 32912
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 20041
/proc/meminfo: memFree=31794128/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=32912 CPUtime=462.21 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 3905 0 0 0 46144 77 0 0 20 0 1 0 281820005 33701888 4355 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 8228 4355 192 642 0 7584 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 32912
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20041
/proc/meminfo: memFree=31794684/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=33212 CPUtime=522.2 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 3965 0 0 0 52135 85 0 0 20 0 1 0 281820005 34009088 4415 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 8303 4415 192 642 0 7659 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 33212
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20042
/proc/meminfo: memFree=31793568/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=34196 CPUtime=582.19 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 4212 0 0 0 58123 96 0 0 20 0 1 0 281820005 35016704 4662 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 8549 4662 192 642 0 7905 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 34196
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31830240/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=37136 CPUtime=1122.11 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 4961 0 0 0 112037 174 0 0 20 0 1 0 281820005 38027264 5400 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 9284 5400 192 642 0 8640 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 37136
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20085
/proc/meminfo: memFree=31830248/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=37132 CPUtime=1182.1 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 4961 0 0 0 118028 182 0 0 20 0 1 0 281820005 38023168 5400 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 9283 5400 192 642 0 8639 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 37132
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20086
/proc/meminfo: memFree=31829680/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=37124 CPUtime=1242.09 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 4961 0 0 0 124019 190 0 0 20 0 1 0 281820005 38014976 5400 33554432000 134512640 137138936 4294498624 4294497552 134542972 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 9281 5400 192 642 0 8637 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 37124
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20086
/proc/meminfo: memFree=31829192/32873844 swapFree=7376/7376
[pid=20036] ppid=20034 vsize=37120 CPUtime=1302.09 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 4961 0 0 0 130012 197 0 0 20 0 1 0 281820005 38010880 5400 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 9280 5400 192 642 0 8636 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 37120
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20086
/proc/meminfo: memFree=31829316/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=37112 CPUtime=1362.08 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 4961 0 0 0 136002 206 0 0 20 0 1 0 281820005 38002688 5400 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 9278 5400 192 642 0 8634 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 37112
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20086
/proc/meminfo: memFree=31829316/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=37112 CPUtime=1422.07 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 4961 0 0 0 141993 214 0 0 20 0 1 0 281820005 38002688 5400 33554432000 134512640 137138936 4294498624 4294497552 134542442 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 9278 5400 192 642 0 8634 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 37112
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 20087
/proc/meminfo: memFree=31828820/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=37108 CPUtime=1482.06 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 4961 0 0 0 147985 221 0 0 20 0 1 0 281820005 37998592 5400 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 9277 5400 192 642 0 8633 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 37108
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20090
/proc/meminfo: memFree=31827200/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=38140 CPUtime=1542.05 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 5217 0 0 0 153976 229 0 0 20 0 1 0 281820005 39055360 5656 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 9535 5656 192 642 0 8891 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 38140
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 20090
/proc/meminfo: memFree=31827268/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=38140 CPUtime=1602.03 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 5218 0 0 0 159964 239 0 0 20 0 1 0 281820005 39055360 5656 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 9535 5656 192 642 0 8891 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 38140
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20090
/proc/meminfo: memFree=31827516/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=38136 CPUtime=1662.02 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 5218 0 0 0 165954 248 0 0 20 0 1 0 281820005 39051264 5656 33554432000 134512640 137138936 4294498624 4294497048 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 9534 5656 192 642 0 8890 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 38136
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20090
/proc/meminfo: memFree=31827516/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=38096 CPUtime=1722.01 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 5218 0 0 0 171943 258 0 0 20 0 1 0 281820005 39010304 5651 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 9524 5651 192 642 0 8880 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 38096
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20091
/proc/meminfo: memFree=31827516/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=37984 CPUtime=1782 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 5218 0 0 0 177933 267 0 0 20 0 1 0 281820005 38895616 5623 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 9496 5623 192 642 0 8852 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 37984
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 20091
/proc/meminfo: memFree=31827516/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=37984 CPUtime=1791.62 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 5218 0 0 0 178893 269 0 0 20 0 1 0 281820005 38895616 5623 33554432000 134512640 137138936 4294498624 4294497552 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 9496 5623 192 642 0 8852 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 37984
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20091
/proc/meminfo: memFree=31827144/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=37984 CPUtime=1794.81 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 5218 0 0 0 179212 269 0 0 20 0 1 0 281820005 38895616 5623 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 9496 5623 192 642 0 8852 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 37984
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20091
/proc/meminfo: memFree=31827144/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=37980 CPUtime=1796.41 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 5218 0 0 0 179371 270 0 0 20 0 1 0 281820005 38891520 5622 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 9495 5622 192 642 0 8851 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 37980
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20091
/proc/meminfo: memFree=31827144/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=37980 CPUtime=1797.21 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 5218 0 0 0 179451 270 0 0 20 0 1 0 281820005 38891520 5622 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 9495 5622 192 642 0 8851 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 37980
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20091
/proc/meminfo: memFree=31827144/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=37980 CPUtime=1797.61 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 5218 0 0 0 179491 270 0 0 20 0 1 0 281820005 38891520 5622 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 9495 5622 192 642 0 8851 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 37980
[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20091
/proc/meminfo: memFree=31827144/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=37980 CPUtime=1797.81 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 5218 0 0 0 179511 270 0 0 20 0 1 0 281820005 38891520 5622 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 9495 5622 192 642 0 8851 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 37980
[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20091
/proc/meminfo: memFree=31827144/32873844 swapFree=7372/7372
[pid=20036] ppid=20034 vsize=37980 CPUtime=1797.91 cores=0,2,4,6
/proc/20036/stat : 20036 (bsolo) R 20034 20036 15469 0 -1 4202496 5218 0 0 0 179521 270 0 0 20 0 1 0 281820005 38891520 5622 33554432000 134512640 137138936 4294498624 4294497740 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20036/statm: 9495 5622 192 642 0 8851 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 37980
Child status: 0
Real time (s): 1798.29
CPU time (s): 1798
CPU user time (s): 1795.3
CPU system time (s): 2.70359
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 38140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.3
system time used= 2.70359
maximum resident set size= 22624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5218
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= 12
involuntary context switches= 1898
runsolver used 3.62345 second user time and 10.1515 second system time
The end