runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3462977-1307179373/watcher-3462977-1307179373 -o /tmp/evaluation-result-3462977-1307179373/solver-3462977-1307179373 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462977-1307179373.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.02 2.03 2.00 3/436 30452
/proc/meminfo: memFree=20698832/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=18600 CPUtime=0.01 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 311 0 0 0 1 0 0 0 25 0 1 0 829535170 19046400 264 33554432000 134512640 137138936 4292088256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30452/statm: 4650 264 192 642 0 4006 0
[startup+0.0821309 s]
/proc/loadavg: 2.02 2.03 2.00 3/436 30452
/proc/meminfo: memFree=20698832/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=19120 CPUtime=0.07 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 422 0 0 0 7 0 0 0 25 0 1 0 829535170 19578880 375 33554432000 134512640 137138936 4292088256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30452/statm: 4780 375 192 642 0 4136 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19120
[startup+0.10113 s]
/proc/loadavg: 2.02 2.03 2.00 3/436 30452
/proc/meminfo: memFree=20698832/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=19120 CPUtime=0.09 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 432 0 0 0 9 0 0 0 25 0 1 0 829535170 19578880 385 33554432000 134512640 137138936 4292088256 18446744073709551615 134556509 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30452/statm: 4780 385 192 642 0 4136 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19120
[startup+0.301107 s]
/proc/loadavg: 2.02 2.03 2.00 3/436 30452
/proc/meminfo: memFree=20698832/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=19252 CPUtime=0.29 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 474 0 0 0 29 0 0 0 25 0 1 0 829535170 19714048 427 33554432000 134512640 137138936 4292088256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30452/statm: 4813 427 192 642 0 4169 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19252
[startup+0.701029 s]
/proc/loadavg: 2.02 2.03 2.00 3/436 30452
/proc/meminfo: memFree=20698832/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=19380 CPUtime=0.69 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 512 0 0 0 69 0 0 0 25 0 1 0 829535170 19845120 465 33554432000 134512640 137138936 4292088256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30452/statm: 4845 465 192 642 0 4201 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19380
[startup+1.50084 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 30453
/proc/meminfo: memFree=20697344/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=19640 CPUtime=1.49 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 560 0 0 0 149 0 0 0 25 0 1 0 829535170 20111360 513 33554432000 134512640 137138936 4292088256 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 4910 513 192 642 0 4266 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19640
[startup+3.10055 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 30453
/proc/meminfo: memFree=20696104/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=19768 CPUtime=3.09 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 604 0 0 0 308 1 0 0 25 0 1 0 829535170 20242432 557 33554432000 134512640 137138936 4292088256 18446744073709551615 134599684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 4942 557 192 642 0 4298 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19768
[startup+6.30098 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 30453
/proc/meminfo: memFree=20694908/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=20016 CPUtime=6.29 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 662 0 0 0 627 2 0 0 25 0 1 0 829535170 20496384 615 33554432000 134512640 137138936 4292088256 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5004 615 192 642 0 4360 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20016
[startup+12.7008 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 30453
/proc/meminfo: memFree=20693504/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=20276 CPUtime=12.69 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 724 0 0 0 1265 4 0 0 25 0 1 0 829535170 20762624 677 33554432000 134512640 137138936 4292088256 18446744073709551615 136520933 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5069 677 192 642 0 4425 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20276
[startup+25.5004 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 30454
/proc/meminfo: memFree=20693476/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=20528 CPUtime=25.49 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 787 0 0 0 2539 10 0 0 25 0 1 0 829535170 21020672 740 33554432000 134512640 137138936 4292088256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5132 740 192 642 0 4488 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20528
[startup+51.1007 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 30454
/proc/meminfo: memFree=20692696/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=21012 CPUtime=51.09 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 896 0 0 0 5089 20 0 0 25 0 1 0 829535170 21516288 849 33554432000 134512640 137138936 4292088256 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5253 849 192 642 0 4609 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 21012
[startup+102.316 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 30456
/proc/meminfo: memFree=20690448/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=21140 CPUtime=102.31 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 953 0 0 0 10192 39 0 0 25 0 1 0 829535170 21647360 906 33554432000 134512640 137138936 4292088256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5285 906 192 642 0 4641 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 21140
[startup+162.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/437 30457
/proc/meminfo: memFree=20689432/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=21500 CPUtime=162.29 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1028 0 0 0 16172 57 0 0 25 0 1 0 829535170 22016000 981 33554432000 134512640 137138936 4292088256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5375 981 192 642 0 4731 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 21500
[startup+222.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/437 30459
/proc/meminfo: memFree=20690168/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=21756 CPUtime=222.3 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1092 0 0 0 22154 76 0 0 25 0 1 0 829535170 22278144 1045 33554432000 134512640 137138936 4292088256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5439 1045 192 642 0 4795 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 21756
[startup+282.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/437 30488
/proc/meminfo: memFree=20377728/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=22020 CPUtime=282.3 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1167 0 0 0 28138 92 0 0 25 0 1 0 829535170 22548480 1120 33554432000 134512640 137138936 4292088256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5505 1120 192 642 0 4861 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 22020
[startup+342.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/437 30489
/proc/meminfo: memFree=20377888/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=22124 CPUtime=342.3 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1179 0 0 0 34122 108 0 0 25 0 1 0 829535170 22654976 1132 33554432000 134512640 137138936 4292088256 18446744073709551615 134542912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5531 1132 192 642 0 4887 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 22124
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 30491
/proc/meminfo: memFree=20377272/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=22124 CPUtime=402.3 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1185 0 0 0 40107 123 0 0 25 0 1 0 829535170 22654976 1138 33554432000 134512640 137138936 4292088256 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5531 1138 192 642 0 4887 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 22124
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 30492
/proc/meminfo: memFree=20377840/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=22380 CPUtime=462.31 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1261 0 0 0 46093 138 0 0 25 0 1 0 829535170 22917120 1214 33554432000 134512640 137138936 4292088256 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5595 1214 192 642 0 4951 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 22380
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/437 30494
/proc/meminfo: memFree=20375564/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=22380 CPUtime=522.3 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1261 0 0 0 52077 153 0 0 25 0 1 0 829535170 22917120 1214 33554432000 134512640 137138936 4292088256 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5595 1214 192 642 0 4951 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 22380
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/437 30496
/proc/meminfo: memFree=20333132/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=22460 CPUtime=582.3 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1267 0 0 0 58064 166 0 0 25 0 1 0 829535170 22999040 1220 33554432000 134512640 137138936 4292088256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5615 1220 192 642 0 4971 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 22460
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=20350596/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=22864 CPUtime=1062.32 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1371 0 0 0 105946 286 0 0 25 0 1 0 829535170 23412736 1324 33554432000 134512640 137138936 4292088256 18446744073709551615 134618140 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5716 1324 192 642 0 5072 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 22864
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/437 30510
/proc/meminfo: memFree=20362964/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=22864 CPUtime=1122.32 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1371 0 0 0 111931 301 0 0 25 0 1 0 829535170 23412736 1324 33554432000 134512640 137138936 4292088256 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5716 1324 192 642 0 5072 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 22864
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 30512
/proc/meminfo: memFree=20361828/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=23252 CPUtime=1182.33 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1473 0 0 0 117916 317 0 0 25 0 1 0 829535170 23810048 1426 33554432000 134512640 137138936 4292088256 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5813 1426 192 642 0 5169 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 23252
[startup+1242.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/437 30513
/proc/meminfo: memFree=20339256/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=23252 CPUtime=1242.33 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1473 0 0 0 123902 331 0 0 25 0 1 0 829535170 23810048 1426 33554432000 134512640 137138936 4292088256 18446744073709551615 135984550 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5813 1426 192 642 0 5169 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 23252
[startup+1302.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/437 30515
/proc/meminfo: memFree=20281100/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=23252 CPUtime=1302.34 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1473 0 0 0 129891 343 0 0 25 0 1 0 829535170 23810048 1426 33554432000 134512640 137138936 4292088256 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5813 1426 192 642 0 5169 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 23252
[startup+1362.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/437 30516
/proc/meminfo: memFree=20225288/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=23340 CPUtime=1362.34 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1482 0 0 0 135878 356 0 0 25 0 1 0 829535170 23900160 1435 33554432000 134512640 137138936 4292088256 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5835 1435 192 642 0 5191 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 23340
[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/437 30518
/proc/meminfo: memFree=20152980/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=23332 CPUtime=1422.35 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1482 0 0 0 141866 369 0 0 25 0 1 0 829535170 23891968 1435 33554432000 134512640 137138936 4292088256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5833 1435 192 642 0 5189 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 23332
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 30520
/proc/meminfo: memFree=20147992/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=23332 CPUtime=1482.34 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1486 0 0 0 147849 385 0 0 25 0 1 0 829535170 23891968 1439 33554432000 134512640 137138936 4292088256 18446744073709551615 134618096 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5833 1439 192 642 0 5189 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 23332
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 30521
/proc/meminfo: memFree=20149580/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=23332 CPUtime=1542.34 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1486 0 0 0 153832 402 0 0 25 0 1 0 829535170 23891968 1439 33554432000 134512640 137138936 4292088256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5833 1439 192 642 0 5189 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 23332
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/437 30523
/proc/meminfo: memFree=20149804/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=23328 CPUtime=1602.35 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1486 0 0 0 159820 415 0 0 25 0 1 0 829535170 23887872 1439 33554432000 134512640 137138936 4292088256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5832 1439 192 642 0 5188 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 23328
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 30524
/proc/meminfo: memFree=20149912/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=23328 CPUtime=1662.34 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1486 0 0 0 165806 428 0 0 25 0 1 0 829535170 23887872 1439 33554432000 134512640 137138936 4292088256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5832 1439 192 642 0 5188 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 23328
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 30526
/proc/meminfo: memFree=20149664/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=23308 CPUtime=1722.34 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1486 0 0 0 171792 442 0 0 25 0 1 0 829535170 23867392 1439 33554432000 134512640 137138936 4292088256 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5827 1439 192 642 0 5183 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 23308
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/437 30528
/proc/meminfo: memFree=20148792/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=23304 CPUtime=1782.35 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1486 0 0 0 177780 455 0 0 25 0 1 0 829535170 23863296 1439 33554432000 134512640 137138936 4292088256 18446744073709551615 134606610 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5826 1439 192 642 0 5182 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 23304
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.06 2.01 2.00 3/437 30528
/proc/meminfo: memFree=20149660/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=23304 CPUtime=1785.54 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1486 0 0 0 178099 455 0 0 25 0 1 0 829535170 23863296 1439 33554432000 134512640 137138936 4292088256 18446744073709551615 134542387 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5826 1439 192 642 0 5182 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 23304
[startup+1791.92 s]
/proc/loadavg: 2.05 2.01 2.00 3/437 30528
/proc/meminfo: memFree=20149780/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=23304 CPUtime=1791.96 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1486 0 0 0 178739 457 0 0 25 0 1 0 829535170 23863296 1439 33554432000 134512640 137138936 4292088256 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5826 1439 192 642 0 5182 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 23304
[startup+1795.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/437 30528
/proc/meminfo: memFree=20149780/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=23304 CPUtime=1795.16 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1486 0 0 0 179058 458 0 0 25 0 1 0 829535170 23863296 1439 33554432000 134512640 137138936 4292088256 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5826 1439 192 642 0 5182 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 23304
[startup+1796.7 s]
/proc/loadavg: 2.05 2.01 2.00 3/437 30528
/proc/meminfo: memFree=20149780/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=23304 CPUtime=1796.75 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1486 0 0 0 179217 458 0 0 25 0 1 0 829535170 23863296 1439 33554432000 134512640 137138936 4292088256 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5826 1439 192 642 0 5182 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 23304
[startup+1797.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/437 30528
/proc/meminfo: memFree=20149408/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=23304 CPUtime=1797.54 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1486 0 0 0 179296 458 0 0 25 0 1 0 829535170 23863296 1439 33554432000 134512640 137138936 4292088256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5826 1439 192 642 0 5182 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 23304
[startup+1797.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/437 30528
/proc/meminfo: memFree=20149408/32951124 swapFree=60787360/67111528
[pid=30452] ppid=30450 vsize=23304 CPUtime=1797.95 cores=0,2,4,6
/proc/30452/stat : 30452 (bsolo) R 30450 30452 29081 0 -1 4202496 1486 0 0 0 179336 459 0 0 25 0 1 0 829535170 23863296 1439 33554432000 134512640 137138936 4292088256 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30452/statm: 5826 1439 192 642 0 5182 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 23304
Child status: 0
Real time (s): 1797.94
CPU time (s): 1798
CPU user time (s): 1793.41
CPU system time (s): 4.5923
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 23348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.41
system time used= 4.5923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1486
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= 5
involuntary context switches= 2877
runsolver used 7.8888 second user time and 16.6345 second system time
The end