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-3463633-1307177250/watcher-3463633-1307177250 -o /tmp/evaluation-result-3463633-1307177250/solver-3463633-1307177250 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463633-1307177250.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.01 2.00 2/558 5019
/proc/meminfo: memFree=30080460/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=11068 CPUtime=0 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 396 0 0 0 0 0 0 0 25 0 1 0 829323725 11333632 334 33554432000 134512640 137138936 4292842464 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 2767 334 184 642 0 2123 0
[startup+0.108037 s]
/proc/loadavg: 2.00 2.01 2.00 2/558 5019
/proc/meminfo: memFree=30080460/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=11648 CPUtime=0.1 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 531 0 0 0 10 0 0 0 25 0 1 0 829323725 11927552 469 33554432000 134512640 137138936 4292842464 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 2912 469 192 642 0 2268 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11648
[startup+0.201022 s]
/proc/loadavg: 2.00 2.01 2.00 2/558 5019
/proc/meminfo: memFree=30080460/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=12240 CPUtime=0.19 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 686 0 0 0 19 0 0 0 25 0 1 0 829323725 12533760 624 33554432000 134512640 137138936 4292842464 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 3060 624 192 642 0 2416 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12240
[startup+0.301005 s]
/proc/loadavg: 2.00 2.01 2.00 2/558 5019
/proc/meminfo: memFree=30080460/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=12564 CPUtime=0.29 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 770 0 0 0 29 0 0 0 25 0 1 0 829323725 12865536 708 33554432000 134512640 137138936 4292842464 18446744073709551615 134606617 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 3141 708 192 642 0 2497 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12564
[startup+0.700937 s]
/proc/loadavg: 2.00 2.01 2.00 2/558 5019
/proc/meminfo: memFree=30080460/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=13712 CPUtime=0.69 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 1044 0 0 0 69 0 0 0 25 0 1 0 829323725 14041088 982 33554432000 134512640 137138936 4292842464 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 3428 982 192 642 0 2784 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13712
[startup+1.5008 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 5089
/proc/meminfo: memFree=30071300/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=16292 CPUtime=1.49 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 1705 0 0 0 149 0 0 0 25 0 1 0 829323725 16683008 1643 33554432000 134512640 137138936 4292842464 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 4073 1643 192 642 0 3429 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16292
[startup+3.10053 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 5089
/proc/meminfo: memFree=30063032/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=19832 CPUtime=3.09 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 2574 0 0 0 308 1 0 0 25 0 1 0 829323725 20307968 2512 33554432000 134512640 137138936 4292842464 18446744073709551615 136504280 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 4958 2512 192 642 0 4314 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19832
[startup+6.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 5089
/proc/meminfo: memFree=30061168/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=20260 CPUtime=6.3 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 2698 0 0 0 628 2 0 0 25 0 1 0 829323725 20746240 2636 33554432000 134512640 137138936 4292842464 18446744073709551615 134606995 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 5065 2636 192 642 0 4421 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 20260
[startup+12.7009 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 5089
/proc/meminfo: memFree=30056192/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=23104 CPUtime=12.69 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 3400 0 0 0 1266 3 0 0 25 0 1 0 829323725 23658496 3338 33554432000 134512640 137138936 4292842464 18446744073709551615 134606691 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 5776 3338 192 642 0 5132 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23104
[startup+25.5008 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 5089
/proc/meminfo: memFree=30053832/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=24992 CPUtime=25.49 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 3867 0 0 0 2544 5 0 0 25 0 1 0 829323725 25591808 3804 33554432000 134512640 137138936 4292842464 18446744073709551615 134606614 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 6248 3804 192 642 0 5604 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24992
[startup+51.1005 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 5090
/proc/meminfo: memFree=30049592/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=27496 CPUtime=51.09 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 4494 0 0 0 5099 10 0 0 25 0 1 0 829323725 28155904 4431 33554432000 134512640 137138936 4292842464 18446744073709551615 134543437 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 6874 4431 192 642 0 6230 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27496
[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/562 5091
/proc/meminfo: memFree=30042632/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=30868 CPUtime=102.3 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 5358 0 0 0 10212 18 0 0 25 0 1 0 829323725 31608832 5294 33554432000 134512640 137138936 4292842464 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 7717 5294 192 642 0 7073 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 30868
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/562 5093
/proc/meminfo: memFree=30039632/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=32636 CPUtime=162.29 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 5913 0 0 0 16200 29 0 0 25 0 1 0 829323725 33419264 5723 33554432000 134512640 137138936 4292842464 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 8159 5723 192 642 0 7515 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 32636
[startup+222.322 s]
/proc/loadavg: 2.10 2.03 2.01 3/562 5094
/proc/meminfo: memFree=30038728/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=33896 CPUtime=222.31 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 6290 0 0 0 22194 37 0 0 25 0 1 0 829323725 34709504 6051 33554432000 134512640 137138936 4292842464 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 8474 6051 192 642 0 7830 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 33896
[startup+282.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/562 5096
/proc/meminfo: memFree=30037948/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=35136 CPUtime=282.29 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 6581 0 0 0 28181 48 0 0 25 0 1 0 829323725 35979264 6341 33554432000 134512640 137138936 4292842464 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 8784 6341 192 642 0 8140 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 35136
[startup+342.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/562 5098
/proc/meminfo: memFree=30036304/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=35076 CPUtime=342.3 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 6938 0 0 0 34179 51 0 0 25 0 1 0 829323725 35917824 6346 33554432000 134512640 137138936 4292842464 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 8769 6346 192 642 0 8125 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 35076
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/562 5099
/proc/meminfo: memFree=30035892/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=35376 CPUtime=402.3 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 7148 0 0 0 40174 56 0 0 25 0 1 0 829323725 36225024 6421 33554432000 134512640 137138936 4292842464 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 8844 6421 192 642 0 8200 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 35376
[startup+462.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/562 5101
/proc/meminfo: memFree=30035972/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=36368 CPUtime=462.3 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 7623 0 0 0 46164 66 0 0 25 0 1 0 829323725 37240832 6656 33554432000 134512640 137138936 4292842464 18446744073709551615 134544827 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9092 6656 192 642 0 8448 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 36368
[startup+522.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/562 5102
/proc/meminfo: memFree=30035448/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=36404 CPUtime=522.3 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 7795 0 0 0 52156 74 0 0 25 0 1 0 829323725 37277696 6678 33554432000 134512640 137138936 4292842464 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9101 6678 192 642 0 8457 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 36404
[startup+582.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 5104
/proc/meminfo: memFree=30033184/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=39160 CPUtime=582.3 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 8461 0 0 0 58149 81 0 0 25 0 1 0 829323725 40099840 7344 33554432000 134512640 137138936 4292842464 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9790 7344 192 642 0 9146 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 39160
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30029360/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=40168 CPUtime=1062.27 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 9150 0 0 0 106047 180 0 0 25 0 1 0 829323725 41132032 7619 33554432000 134512640 137138936 4292842464 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 10042 7619 192 642 0 9398 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 40168
[startup+1122.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/562 5130
/proc/meminfo: memFree=30028704/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=39224 CPUtime=1122.26 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 9150 0 0 0 112032 194 0 0 25 0 1 0 829323725 40165376 7383 33554432000 134512640 137138936 4292842464 18446744073709551615 136521030 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9806 7383 192 642 0 9162 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 39224
[startup+1182.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/562 5132
/proc/meminfo: memFree=30027676/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=39224 CPUtime=1182.27 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 9150 0 0 0 118024 203 0 0 25 0 1 0 829323725 40165376 7383 33554432000 134512640 137138936 4292842464 18446744073709551615 134606620 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9806 7383 192 642 0 9162 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 39224
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/562 5134
/proc/meminfo: memFree=30027524/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=39224 CPUtime=1242.27 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 9150 0 0 0 124017 210 0 0 25 0 1 0 829323725 40165376 7383 33554432000 134512640 137138936 4292842464 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9806 7383 192 642 0 9162 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 39224
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 5135
/proc/meminfo: memFree=30028104/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=39224 CPUtime=1302.27 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 9150 0 0 0 130007 220 0 0 25 0 1 0 829323725 40165376 7383 33554432000 134512640 137138936 4292842464 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9806 7383 192 642 0 9162 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 39224
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5137
/proc/meminfo: memFree=30028576/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=39224 CPUtime=1362.27 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 9150 0 0 0 135996 231 0 0 25 0 1 0 829323725 40165376 7383 33554432000 134512640 137138936 4292842464 18446744073709551615 134607594 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9806 7383 192 642 0 9162 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 39224
[startup+1422.3 s]
/proc/loadavg: 2.22 2.08 2.02 3/562 5138
/proc/meminfo: memFree=30028568/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=39224 CPUtime=1422.28 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 9150 0 0 0 141991 237 0 0 25 0 1 0 829323725 40165376 7383 33554432000 134512640 137138936 4292842464 18446744073709551615 134606970 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9806 7383 192 642 0 9162 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 39224
[startup+1482.3 s]
/proc/loadavg: 2.17 2.08 2.02 3/562 5140
/proc/meminfo: memFree=30027668/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=39224 CPUtime=1482.27 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 9150 0 0 0 147982 245 0 0 25 0 1 0 829323725 40165376 7383 33554432000 134512640 137138936 4292842464 18446744073709551615 134607006 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9806 7383 192 642 0 9162 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 39224
[startup+1542.32 s]
/proc/loadavg: 2.05 2.06 2.01 3/562 5142
/proc/meminfo: memFree=30029008/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=39224 CPUtime=1542.29 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 9150 0 0 0 153975 254 0 0 25 0 1 0 829323725 40165376 7383 33554432000 134512640 137138936 4292842464 18446744073709551615 134604231 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9806 7383 192 642 0 9162 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 39224
[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/562 5143
/proc/meminfo: memFree=30029100/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=39224 CPUtime=1602.28 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 9150 0 0 0 159964 264 0 0 25 0 1 0 829323725 40165376 7383 33554432000 134512640 137138936 4292842464 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9806 7383 192 642 0 9162 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 39224
[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/562 5145
/proc/meminfo: memFree=30027580/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=39224 CPUtime=1662.27 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 9150 0 0 0 165957 270 0 0 25 0 1 0 829323725 40165376 7383 33554432000 134512640 137138936 4292842464 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9806 7383 192 642 0 9162 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 39224
[startup+1722.3 s]
/proc/loadavg: 2.09 2.06 2.00 3/562 5146
/proc/meminfo: memFree=30027540/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=39224 CPUtime=1722.28 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 9150 0 0 0 171948 280 0 0 25 0 1 0 829323725 40165376 7383 33554432000 134512640 137138936 4292842464 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9806 7383 192 642 0 9162 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 39224
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/562 5148
/proc/meminfo: memFree=30024780/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=39224 CPUtime=1782.28 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 9150 0 0 0 177940 288 0 0 25 0 1 0 829323725 40165376 7383 33554432000 134512640 137138936 4292842464 18446744073709551615 134606620 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9806 7383 192 642 0 9162 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 39224
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.03 2.04 2.00 3/562 5148
/proc/meminfo: memFree=30024780/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=39224 CPUtime=1785.57 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 9150 0 0 0 178269 288 0 0 25 0 1 0 829323725 40165376 7383 33554432000 134512640 137138936 4292842464 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9806 7383 192 642 0 9162 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (KiB) 39224
[startup+1792.02 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 5148
/proc/meminfo: memFree=30027240/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=39224 CPUtime=1792 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 9150 0 0 0 178911 289 0 0 25 0 1 0 829323725 40165376 7383 33554432000 134512640 137138936 4292842464 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9806 7383 192 642 0 9162 0
Current children cumulated CPU time (s) 1792
Current children cumulated vsize (KiB) 39224
[startup+1795.2 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 5148
/proc/meminfo: memFree=30027240/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=39224 CPUtime=1795.19 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 9150 0 0 0 179229 290 0 0 25 0 1 0 829323725 40165376 7383 33554432000 134512640 137138936 4292842464 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9806 7383 192 642 0 9162 0
Current children cumulated CPU time (s) 1795.19
Current children cumulated vsize (KiB) 39224
[startup+1796.8 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 5148
/proc/meminfo: memFree=30027240/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=39224 CPUtime=1796.78 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 9150 0 0 0 179388 290 0 0 25 0 1 0 829323725 40165376 7383 33554432000 134512640 137138936 4292842464 18446744073709551615 134599733 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9806 7383 192 642 0 9162 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 39224
[startup+1797.6 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 5148
/proc/meminfo: memFree=30026248/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=39224 CPUtime=1797.58 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 9150 0 0 0 179468 290 0 0 25 0 1 0 829323725 40165376 7383 33554432000 134512640 137138936 4292842464 18446744073709551615 134606673 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9806 7383 192 642 0 9162 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 39224
[startup+1798 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 5148
/proc/meminfo: memFree=30026248/32950928 swapFree=41528364/67111528
[pid=5019] ppid=5017 vsize=39224 CPUtime=1797.98 cores=1,3,5,7
/proc/5019/stat : 5019 (bsolo) R 5017 5019 3716 0 -1 4202496 9150 0 0 0 179508 290 0 0 25 0 1 0 829323725 40165376 7383 33554432000 134512640 137138936 4292842464 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5019/statm: 9806 7383 192 642 0 9162 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 39224
Child status: 0
Real time (s): 1798.02
CPU time (s): 1798
CPU user time (s): 1795.1
CPU system time (s): 2.90856
CPU usage (%): 99.9992
Max. virtual memory (cumulated for all children) (KiB): 40816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.1
system time used= 2.90856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9151
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= 2696
runsolver used 9.8605 second user time and 22.8505 second system time
The end