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-3708001-1338155038/watcher-3708001-1338155038 -o /tmp/evaluation-result-3708001-1338155038/solver-3708001-1338155038 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708001-1338155038.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.04 2.02 1.95 3/176 7623
/proc/meminfo: memFree=30279452/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=16956 CPUtime=0 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 290 0 0 0 0 0 0 0 20 0 1 0 281628695 17362944 244 33554432000 134512640 137138936 4291982944 4291980904 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 4239 244 180 642 0 2055 0
[startup+0.0837521 s]
/proc/loadavg: 2.04 2.02 1.95 3/176 7623
/proc/meminfo: memFree=30279452/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=18784 CPUtime=0.08 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 1006 0 0 0 8 0 0 0 20 0 1 0 281628695 19234816 960 33554432000 134512640 137138936 4291982944 4291981616 134531552 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 4696 961 433 642 0 2512 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18784
[startup+0.100222 s]
/proc/loadavg: 2.04 2.02 1.95 3/176 7623
/proc/meminfo: memFree=30279452/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=19180 CPUtime=0.09 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 1165 0 0 0 9 0 0 0 20 0 1 0 281628695 19640320 1119 33554432000 134512640 137138936 4291982944 4291980776 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 4795 1119 488 642 0 2611 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19180
[startup+0.300188 s]
/proc/loadavg: 2.04 2.02 1.95 3/176 7623
/proc/meminfo: memFree=30279452/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=24256 CPUtime=0.29 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 3076 0 0 0 29 0 0 0 20 0 1 0 281628695 24838144 3030 33554432000 134512640 137138936 4291982944 4291980776 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 6064 3030 1151 642 0 3880 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24256
[startup+0.700236 s]
/proc/loadavg: 2.04 2.02 1.95 3/176 7623
/proc/meminfo: memFree=30279452/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=39572 CPUtime=0.69 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 9022 0 0 0 68 1 0 0 20 0 1 0 281628695 40521728 7436 33554432000 134512640 137138936 4291982944 4291849360 134540160 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 9893 7436 185 642 0 9249 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39572
[startup+1.50023 s]
/proc/loadavg: 2.04 2.02 1.95 3/177 7624
/proc/meminfo: memFree=30250560/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=39572 CPUtime=1.49 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 9022 0 0 0 148 1 0 0 20 0 1 0 281628695 40521728 7436 33554432000 134512640 137138936 4291982944 4291849360 134540174 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 9893 7436 185 642 0 9249 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39572
[startup+3.10024 s]
/proc/loadavg: 2.04 2.02 1.95 3/177 7624
/proc/meminfo: memFree=30250320/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=35624 CPUtime=3.09 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 10981 0 0 0 306 3 0 0 20 0 1 0 281628695 36478976 6441 33554432000 134512640 137138936 4291982944 4291981872 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 8906 6441 192 642 0 8262 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35624
[startup+6.30024 s]
/proc/loadavg: 2.04 2.02 1.95 3/177 7624
/proc/meminfo: memFree=30253776/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=35808 CPUtime=6.28 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 11027 0 0 0 625 3 0 0 20 0 1 0 281628695 36667392 6487 33554432000 134512640 137138936 4291982944 4291981872 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 8952 6487 192 642 0 8308 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 35808
[startup+12.7002 s]
/proc/loadavg: 2.03 2.01 1.95 3/177 7624
/proc/meminfo: memFree=30249716/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=40368 CPUtime=12.69 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 12191 0 0 0 1265 4 0 0 20 0 1 0 281628695 41336832 7651 33554432000 134512640 137138936 4291982944 4291981872 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 10092 7651 192 642 0 9448 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40368
[startup+25.5002 s]
/proc/loadavg: 2.03 2.01 1.95 3/177 7624
/proc/meminfo: memFree=30241516/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=48508 CPUtime=25.49 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 14226 0 0 0 2544 5 0 0 20 0 1 0 281628695 49672192 9686 33554432000 134512640 137138936 4291982944 4291981872 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 12127 9686 192 642 0 11483 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48508
[startup+51.1002 s]
/proc/loadavg: 2.08 2.03 1.96 3/177 7624
/proc/meminfo: memFree=30223380/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=66824 CPUtime=51.08 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 18809 0 0 0 5101 7 0 0 20 0 1 0 281628695 68427776 14269 33554432000 134512640 137138936 4291982944 4291981872 134542246 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 16706 14269 192 642 0 16062 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 66824
[startup+102.307 s]
/proc/loadavg: 2.03 2.02 1.96 3/177 7624
/proc/meminfo: memFree=30186720/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=103100 CPUtime=102.28 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 27873 0 0 0 10215 13 0 0 20 0 1 0 281628695 105574400 23333 33554432000 134512640 137138936 4291982944 4291981256 136504512 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 25775 23333 192 642 0 25131 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 103100
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/177 7625
/proc/meminfo: memFree=30148184/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=141960 CPUtime=162.25 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 37565 0 0 0 16207 18 0 0 20 0 1 0 281628695 145367040 33025 33554432000 134512640 137138936 4291982944 4291981872 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 35490 33025 192 642 0 34846 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 141960
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 7625
/proc/meminfo: memFree=30117900/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=171764 CPUtime=222.23 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 45030 0 0 0 22199 24 0 0 20 0 1 0 281628695 175886336 40483 33554432000 134512640 137138936 4291982944 4291981872 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 42941 40483 192 642 0 42297 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 171764
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7625
/proc/meminfo: memFree=30093624/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=195712 CPUtime=282.19 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 51063 0 0 0 28191 28 0 0 20 0 1 0 281628695 200409088 46470 33554432000 134512640 137138936 4291982944 4291981872 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 48928 46470 192 642 0 48284 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 195712
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7625
/proc/meminfo: memFree=30072352/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=216496 CPUtime=342.15 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 56318 0 0 0 34183 32 0 0 20 0 1 0 281628695 221691904 51691 33554432000 134512640 137138936 4291982944 4291981840 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 54124 51691 192 642 0 53480 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 216496
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 7628
/proc/meminfo: memFree=30055356/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=234000 CPUtime=402.14 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 60697 0 0 0 40180 34 0 0 20 0 1 0 281628695 239616000 56070 33554432000 134512640 137138936 4291982944 4291981872 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 58500 56070 192 642 0 57856 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 234000
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7629
/proc/meminfo: memFree=30025108/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=263620 CPUtime=462.12 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 68106 0 0 0 46174 38 0 0 20 0 1 0 281628695 269946880 63479 33554432000 134512640 137138936 4291982944 4291981840 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 65905 63479 192 642 0 65261 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 263620
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7629
/proc/meminfo: memFree=30003532/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=285756 CPUtime=522.11 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 73632 0 0 0 52168 43 0 0 20 0 1 0 281628695 292614144 69005 33554432000 134512640 137138936 4291982944 4291981872 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 71439 69005 192 642 0 70795 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 285756
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 7640
/proc/meminfo: memFree=29983932/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=304780 CPUtime=582.09 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 78388 0 0 0 58163 46 0 0 20 0 1 0 281628695 312094720 73761 33554432000 134512640 137138936 4291982944 4291981840 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 76195 73761 192 642 0 75551 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 304780
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30878552/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=441628 CPUtime=1061.99 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 112599 0 0 0 106125 74 0 0 20 0 1 0 281628695 452227072 107972 33554432000 134512640 137138936 4291982944 4291981656 136504083 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 110407 107972 192 642 0 109763 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 441628
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7706
/proc/meminfo: memFree=30864204/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=456756 CPUtime=1121.97 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 116377 0 0 0 112120 77 0 0 20 0 1 0 281628695 467718144 111731 33554432000 134512640 137138936 4291982944 4291981872 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 114189 111731 192 642 0 113545 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 456756
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7706
/proc/meminfo: memFree=30847988/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=471644 CPUtime=1181.92 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 120171 0 0 0 118111 81 0 0 20 0 1 0 281628695 482963456 115477 33554432000 134512640 137138936 4291982944 4291981872 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 117911 115477 192 642 0 117267 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 471644
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7706
/proc/meminfo: memFree=30795688/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=485720 CPUtime=1241.88 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 123734 0 0 0 124103 85 0 0 20 0 1 0 281628695 497377280 118994 33554432000 134512640 137138936 4291982944 4291981872 134542761 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 121430 118994 192 642 0 120786 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 485720
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7706
/proc/meminfo: memFree=30734420/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=500232 CPUtime=1301.86 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 127383 0 0 0 130098 88 0 0 20 0 1 0 281628695 512237568 122731 33554432000 134512640 137138936 4291982944 4291981524 136500388 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 125058 122731 192 642 0 124414 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 500232
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7707
/proc/meminfo: memFree=30709552/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=513364 CPUtime=1361.84 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 130643 0 0 0 136093 91 0 0 20 0 1 0 281628695 525684736 125991 33554432000 134512640 137138936 4291982944 4291981872 134542322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 128341 125991 192 642 0 127697 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 513364
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7707
/proc/meminfo: memFree=30671236/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=525388 CPUtime=1421.83 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 133672 0 0 0 142088 95 0 0 20 0 1 0 281628695 537997312 129020 33554432000 134512640 137138936 4291982944 4291981872 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 131347 129020 192 642 0 130703 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 525388
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7707
/proc/meminfo: memFree=30662556/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=535556 CPUtime=1481.81 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 136734 0 0 0 148084 97 0 0 20 0 1 0 281628695 548409344 131539 33554432000 134512640 137138936 4291982944 4291981984 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 133889 131539 192 642 0 133245 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 535556
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7707
/proc/meminfo: memFree=30662804/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=535556 CPUtime=1541.79 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 136734 0 0 0 154082 97 0 0 20 0 1 0 281628695 548409344 131539 33554432000 134512640 137138936 4291982944 4291981984 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 133889 131539 192 642 0 133245 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 535556
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/178 7710
/proc/meminfo: memFree=30662672/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=535556 CPUtime=1601.78 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 136734 0 0 0 160081 97 0 0 20 0 1 0 281628695 548409344 131539 33554432000 134512640 137138936 4291982944 4291981984 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 133889 131539 192 642 0 133245 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 535556
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/177 7711
/proc/meminfo: memFree=30662460/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=535556 CPUtime=1661.76 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 136745 0 0 0 166079 97 0 0 20 0 1 0 281628695 548409344 131539 33554432000 134512640 137138936 4291982944 4291981984 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 133889 131539 192 642 0 133245 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 535556
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7711
/proc/meminfo: memFree=30662328/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=535556 CPUtime=1721.75 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 136745 0 0 0 172078 97 0 0 20 0 1 0 281628695 548409344 131539 33554432000 134512640 137138936 4291982944 4291981984 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 133889 131539 192 642 0 133245 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 535556
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7711
/proc/meminfo: memFree=30653924/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=535556 CPUtime=1781.74 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 136745 0 0 0 178074 100 0 0 20 0 1 0 281628695 548409344 131539 33554432000 134512640 137138936 4291982944 4291981872 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 133889 131539 192 642 0 133245 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 535556
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7711
/proc/meminfo: memFree=30654420/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=535556 CPUtime=1791.35 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 136745 0 0 0 179034 101 0 0 20 0 1 0 281628695 548409344 131539 33554432000 134512640 137138936 4291982944 4291981872 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 133889 131539 192 642 0 133245 0
Current children cumulated CPU time (s) 1791.35
Current children cumulated vsize (KiB) 535556
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7711
/proc/meminfo: memFree=30654296/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=535556 CPUtime=1794.54 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 136745 0 0 0 179353 101 0 0 20 0 1 0 281628695 548409344 131539 33554432000 134512640 137138936 4291982944 4291981840 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 133889 131539 192 642 0 133245 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 535556
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7711
/proc/meminfo: memFree=30652932/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=535556 CPUtime=1796.14 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 136745 0 0 0 179513 101 0 0 20 0 1 0 281628695 548409344 131539 33554432000 134512640 137138936 4291982944 4291981872 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 133889 131539 192 642 0 133245 0
Current children cumulated CPU time (s) 1796.14
Current children cumulated vsize (KiB) 535556
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7711
/proc/meminfo: memFree=30654172/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=535556 CPUtime=1796.94 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 136745 0 0 0 179593 101 0 0 20 0 1 0 281628695 548409344 131539 33554432000 134512640 137138936 4291982944 4291981872 134542761 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 133889 131539 192 642 0 133245 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 535556
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7711
/proc/meminfo: memFree=30654172/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=535556 CPUtime=1797.74 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 136745 0 0 0 179673 101 0 0 20 0 1 0 281628695 548409344 131539 33554432000 134512640 137138936 4291982944 4291981872 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 133889 131539 192 642 0 133245 0
Current children cumulated CPU time (s) 1797.74
Current children cumulated vsize (KiB) 535556
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7711
/proc/meminfo: memFree=30653676/32873844 swapFree=7112/7112
[pid=7623] ppid=7621 vsize=535556 CPUtime=1797.94 cores=0,2,4,6
/proc/7623/stat : 7623 (bsolo) R 7621 7623 7024 0 -1 4202496 136745 0 0 0 179693 101 0 0 20 0 1 0 281628695 548409344 131539 33554432000 134512640 137138936 4291982944 4291981872 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7623/statm: 133889 131539 192 642 0 133245 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 535556
Child status: 0
Real time (s): 1798.56
CPU time (s): 1798.01
CPU user time (s): 1796.99
CPU system time (s): 1.02084
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 537728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.99
system time used= 1.02084
maximum resident set size= 528328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136745
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= 241
involuntary context switches= 2307
runsolver used 3.3055 second user time and 7.9018 second system time
The end