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-3707670-1338236229/watcher-3707670-1338236229 -o /tmp/evaluation-result-3707670-1338236229/solver-3707670-1338236229 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707670-1338236229.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.01 2.00 3/176 4665
/proc/meminfo: memFree=31125872/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=20108 CPUtime=0 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 289748363 20590592 316 33554432000 134512640 137138936 4288495616 4288494084 136525300 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 5027 316 178 642 0 4080 0
[startup+0.103702 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 4665
/proc/meminfo: memFree=31125872/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=17240 CPUtime=0.09 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 2155 0 0 0 9 0 0 0 20 0 1 0 289748363 17653760 1806 33554432000 134512640 137138936 4288495616 4288494296 136506636 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 4310 1809 182 642 0 3666 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17240
[startup+0.200255 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 4665
/proc/meminfo: memFree=31125872/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=17652 CPUtime=0.19 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 2268 0 0 0 19 0 0 0 20 0 1 0 289748363 18075648 1919 33554432000 134512640 137138936 4288495616 4288277072 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 4413 1919 184 642 0 3769 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17652
[startup+0.300219 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 4665
/proc/meminfo: memFree=31125872/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=17652 CPUtime=0.29 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 2268 0 0 0 29 0 0 0 20 0 1 0 289748363 18075648 1919 33554432000 134512640 137138936 4288495616 4288276772 136500388 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 4413 1919 184 642 0 3769 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17652
[startup+0.700185 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 4665
/proc/meminfo: memFree=31125872/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=17652 CPUtime=0.69 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 2270 0 0 0 69 0 0 0 20 0 1 0 289748363 18075648 1921 33554432000 134512640 137138936 4288495616 4288277072 134542220 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 4413 1921 184 642 0 3769 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17652
[startup+1.50018 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4666
/proc/meminfo: memFree=31117300/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=17652 CPUtime=1.49 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 2270 0 0 0 149 0 0 0 20 0 1 0 289748363 18075648 1921 33554432000 134512640 137138936 4288495616 4288276856 136504096 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 4413 1921 184 642 0 3769 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17652
[startup+3.10018 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4666
/proc/meminfo: memFree=31115936/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=17652 CPUtime=3.09 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 2271 0 0 0 309 0 0 0 20 0 1 0 289748363 18075648 1922 33554432000 134512640 137138936 4288495616 4288277072 134542613 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 4413 1922 184 642 0 3769 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17652
[startup+6.30018 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4666
/proc/meminfo: memFree=31110592/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=17652 CPUtime=6.29 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 2272 0 0 0 629 0 0 0 20 0 1 0 289748363 18075648 1923 33554432000 134512640 137138936 4288495616 4288277072 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 4413 1923 184 642 0 3769 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17652
[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4666
/proc/meminfo: memFree=31092768/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=24960 CPUtime=12.68 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 4298 0 0 0 1258 10 0 0 20 0 1 0 289748363 25559040 3771 33554432000 134512640 137138936 4288495616 4288494160 134607615 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 6240 3771 192 642 0 5596 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24960
[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4666
/proc/meminfo: memFree=31058140/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=47744 CPUtime=25.48 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 9988 0 0 0 2517 31 0 0 20 0 1 0 289748363 48889856 9461 33554432000 134512640 137138936 4288495616 4288476384 134602746 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 11936 9463 192 642 0 11292 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47744
[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 4666
/proc/meminfo: memFree=30980856/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=101344 CPUtime=51.08 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 23411 0 0 0 5065 43 0 0 20 0 1 0 289748363 103776256 22884 33554432000 134512640 137138936 4288495616 4288494512 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 25336 22884 192 642 0 24692 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 101344
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4666
/proc/meminfo: memFree=30835200/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=189060 CPUtime=102.28 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 45324 0 0 0 10158 70 0 0 20 0 1 0 289748363 193597440 44797 33554432000 134512640 137138936 4288495616 4288494144 134603102 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 47265 44797 192 642 0 46621 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 189060
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4666
/proc/meminfo: memFree=30701060/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=263328 CPUtime=162.27 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 63898 0 0 0 16124 103 0 0 20 0 1 0 289748363 269647872 63371 33554432000 134512640 137138936 4288495616 4288494040 134606964 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 65832 63371 192 642 0 65188 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 263328
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4669
/proc/meminfo: memFree=30550316/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=334024 CPUtime=222.26 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 81570 0 0 0 22099 127 0 0 20 0 1 0 289748363 342040576 81043 33554432000 134512640 137138936 4288495616 4288494732 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 83506 81043 192 642 0 82862 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 334024
[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 4670
/proc/meminfo: memFree=30452280/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=372484 CPUtime=282.25 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 91187 0 0 0 28068 157 0 0 20 0 1 0 289748363 381423616 90660 33554432000 134512640 137138936 4288495616 4288494732 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 93121 90660 192 642 0 92477 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 372484
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4670
/proc/meminfo: memFree=30365516/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=409068 CPUtime=342.24 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 100320 0 0 0 34043 181 0 0 20 0 1 0 289748363 418885632 99793 33554432000 134512640 137138936 4288495616 4288494544 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 102267 99793 192 642 0 101623 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 409068
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4670
/proc/meminfo: memFree=30273324/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=461256 CPUtime=402.22 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 113386 0 0 0 40023 199 0 0 20 0 1 0 289748363 472326144 112842 33554432000 134512640 137138936 4288495616 4288494544 134542835 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 115314 112842 192 642 0 114670 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 461256
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 4670
/proc/meminfo: memFree=30187816/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=508872 CPUtime=462.19 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 125332 0 0 0 46002 217 0 0 20 0 1 0 289748363 521084928 124745 33554432000 134512640 137138936 4288495616 4288494544 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 127218 124745 192 642 0 126574 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 508872
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4670
/proc/meminfo: memFree=30087032/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=561124 CPUtime=522.15 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 138442 0 0 0 51985 230 0 0 20 0 1 0 289748363 574590976 137812 33554432000 134512640 137138936 4288495616 4288494544 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 140281 137812 192 642 0 139637 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 561124
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4671
/proc/meminfo: memFree=29994820/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=598608 CPUtime=582.12 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 147846 0 0 0 57965 247 0 0 20 0 1 0 289748363 612974592 147179 33554432000 134512640 137138936 4288495616 4288494544 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 149652 147179 192 642 0 149008 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 598608
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29373904/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=956460 CPUtime=1121.91 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 237511 0 0 0 111823 368 0 0 20 0 1 0 289748363 979415040 236654 33554432000 134512640 137138936 4288495616 4288494544 134542333 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 239115 236654 192 642 0 238471 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 956460
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4677
/proc/meminfo: memFree=29314012/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=1017312 CPUtime=1181.9 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 252727 0 0 0 117817 373 0 0 20 0 1 0 289748363 1041727488 251870 33554432000 134512640 137138936 4288495616 4288494112 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 254328 251870 192 642 0 253684 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1017312
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4677
/proc/meminfo: memFree=29270172/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=1058188 CPUtime=1241.89 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 264258 0 0 0 123814 375 0 0 20 0 1 0 289748363 1083584512 262106 33554432000 134512640 137138936 4288495616 4288494152 136504096 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 264547 262106 192 642 0 263903 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1058188
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4677
/proc/meminfo: memFree=29270576/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=1058188 CPUtime=1301.88 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 264258 0 0 0 129812 376 0 0 20 0 1 0 289748363 1083584512 262106 33554432000 134512640 137138936 4288495616 4288494224 134552483 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 264547 262106 192 642 0 263903 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1058188
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4677
/proc/meminfo: memFree=29270356/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=1058188 CPUtime=1361.88 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 264258 0 0 0 135800 388 0 0 20 0 1 0 289748363 1083584512 262106 33554432000 134512640 137138936 4288495616 4288494544 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 264547 262106 192 642 0 263903 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1058188
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4680
/proc/meminfo: memFree=29270696/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=1058188 CPUtime=1421.87 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 264258 0 0 0 141767 420 0 0 20 0 1 0 289748363 1083584512 262106 33554432000 134512640 137138936 4288495616 4288494544 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 264547 262106 192 642 0 263903 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1058188
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4681
/proc/meminfo: memFree=29271104/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=1057692 CPUtime=1481.85 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 264258 0 0 0 147744 441 0 0 20 0 1 0 289748363 1083076608 261985 33554432000 134512640 137138936 4288495616 4288494492 136511072 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 264423 261985 192 642 0 263779 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1057692
[startup+1542.31 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 4681
/proc/meminfo: memFree=29271724/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=1057692 CPUtime=1541.85 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 264258 0 0 0 153708 477 0 0 20 0 1 0 289748363 1083076608 261985 33554432000 134512640 137138936 4288495616 4288494512 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 264423 261985 192 642 0 263779 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1057692
[startup+1602.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/177 4681
/proc/meminfo: memFree=29272716/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=1056616 CPUtime=1601.84 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 264258 0 0 0 159662 522 0 0 20 0 1 0 289748363 1081974784 261716 33554432000 134512640 137138936 4288495616 4288494544 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 264154 261716 192 642 0 263510 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1056616
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 4719
/proc/meminfo: memFree=30230304/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=1056616 CPUtime=1661.83 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 264258 0 0 0 165638 545 0 0 20 0 1 0 289748363 1081974784 261716 33554432000 134512640 137138936 4288495616 4288494040 134606663 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 264154 261716 192 642 0 263510 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1056616
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 4719
/proc/meminfo: memFree=30155656/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=1056616 CPUtime=1721.82 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 264258 0 0 0 171625 557 0 0 20 0 1 0 289748363 1081974784 261716 33554432000 134512640 137138936 4288495616 4288494112 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 264154 261716 192 642 0 263510 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1056616
[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 4720
/proc/meminfo: memFree=30083744/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=1056616 CPUtime=1781.81 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 264258 0 0 0 177617 564 0 0 20 0 1 0 289748363 1081974784 261716 33554432000 134512640 137138936 4288495616 4288494040 134606670 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 264154 261716 192 642 0 263510 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1056616
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 4720
/proc/meminfo: memFree=30076048/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=1056616 CPUtime=1791.52 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 264258 0 0 0 178587 565 0 0 20 0 1 0 289748363 1081974784 261716 33554432000 134512640 137138936 4288495616 4288494544 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 264154 261716 192 642 0 263510 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (KiB) 1056616
[startup+1795.2 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 4720
/proc/meminfo: memFree=30072452/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=1056616 CPUtime=1794.72 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 264258 0 0 0 178907 565 0 0 20 0 1 0 289748363 1081974784 261716 33554432000 134512640 137138936 4288495616 4288494160 134618927 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 264154 261716 192 642 0 263510 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (KiB) 1056616
[startup+1796.8 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 4720
/proc/meminfo: memFree=30072080/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=1056616 CPUtime=1796.31 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 264258 0 0 0 179066 565 0 0 20 0 1 0 289748363 1081974784 261716 33554432000 134512640 137138936 4288495616 4288494544 134542503 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 264154 261716 192 642 0 263510 0
Current children cumulated CPU time (s) 1796.31
Current children cumulated vsize (KiB) 1056616
[startup+1797.6 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 4720
/proc/meminfo: memFree=30071336/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=1056616 CPUtime=1797.11 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 264258 0 0 0 179146 565 0 0 20 0 1 0 289748363 1081974784 261716 33554432000 134512640 137138936 4288495616 4288494040 134607134 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 264154 261716 192 642 0 263510 0
Current children cumulated CPU time (s) 1797.11
Current children cumulated vsize (KiB) 1056616
[startup+1798 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 4720
/proc/meminfo: memFree=30071336/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=1056616 CPUtime=1797.51 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 264258 0 0 0 179186 565 0 0 20 0 1 0 289748363 1081974784 261716 33554432000 134512640 137138936 4288495616 4288494544 134542624 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 264154 261716 192 642 0 263510 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 1056616
[startup+1798.4 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 4720
/proc/meminfo: memFree=30071336/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=1056616 CPUtime=1797.91 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202496 264258 0 0 0 179226 565 0 0 20 0 1 0 289748363 1081974784 261716 33554432000 134512640 137138936 4288495616 4288494040 134606670 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 264154 261716 192 642 0 263510 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 1056616
[startup+1798.5 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 4720
/proc/meminfo: memFree=30508368/32873648 swapFree=7116/7116
[pid=4665] ppid=4663 vsize=0 CPUtime=1798.02 cores=0,2,4,6
/proc/4665/stat : 4665 (bsolo) R 4663 4665 4099 0 -1 4202500 264258 0 0 0 179236 566 0 0 20 0 1 0 289748363 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4665/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.52
CPU time (s): 1798.04
CPU user time (s): 1792.36
CPU system time (s): 5.67514
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1058860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.36
system time used= 5.67514
maximum resident set size= 1049096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264258
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= 333
involuntary context switches= 1957
runsolver used 4.81527 second user time and 8.61469 second system time
The end