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-3728914-1338678648/watcher-3728914-1338678648 -o /tmp/evaluation-result-3728914-1338678648/solver-3728914-1338678648 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3728914-1338678648.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: 0.28 0.06 0.41 3/177 29647
/proc/meminfo: memFree=31361140/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=20188 CPUtime=0 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 333991816 20672512 311 33554432000 134512640 137136520 4290611792 4290608632 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 5047 311 187 641 0 4076 0
[startup+0.090572 s]
/proc/loadavg: 0.28 0.06 0.41 3/177 29647
/proc/meminfo: memFree=31361140/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=14516 CPUtime=0.08 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1188 0 0 0 8 0 0 0 20 0 1 0 333991816 14864384 1141 33554432000 134512640 137136520 4290611792 4290610320 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 3629 1141 458 641 0 2658 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14516
[startup+0.100278 s]
/proc/loadavg: 0.28 0.06 0.41 3/177 29647
/proc/meminfo: memFree=31361140/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=14776 CPUtime=0.09 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1265 0 0 0 9 0 0 0 20 0 1 0 333991816 15130624 1218 33554432000 134512640 137136520 4290611792 4290607352 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 3694 1218 489 641 0 2723 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14776
[startup+0.300242 s]
/proc/loadavg: 0.28 0.06 0.41 3/177 29647
/proc/meminfo: memFree=31361140/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=16944 CPUtime=0.29 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 2118 0 0 0 29 0 0 0 20 0 1 0 333991816 17350656 1744 33554432000 134512640 137136520 4290611792 4290437692 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 4236 1744 188 641 0 3592 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16944
[startup+0.700228 s]
/proc/loadavg: 0.28 0.06 0.41 3/177 29647
/proc/meminfo: memFree=31361140/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=16944 CPUtime=0.69 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 2118 0 0 0 69 0 0 0 20 0 1 0 333991816 17350656 1744 33554432000 134512640 137136520 4290611792 4290437692 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 4236 1744 188 641 0 3592 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16944
[startup+1.50023 s]
/proc/loadavg: 0.28 0.06 0.41 3/178 29648
/proc/meminfo: memFree=31351120/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=16944 CPUtime=1.49 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 2118 0 0 0 149 0 0 0 20 0 1 0 333991816 17350656 1744 33554432000 134512640 137136520 4290611792 4290437692 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 4236 1744 188 641 0 3592 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16944
[startup+3.10023 s]
/proc/loadavg: 0.28 0.06 0.41 3/178 29648
/proc/meminfo: memFree=31345780/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=19208 CPUtime=3.09 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 2799 0 0 0 309 0 0 0 20 0 1 0 333991816 19668992 2311 33554432000 134512640 137136520 4290611792 4290437484 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 4802 2311 190 641 0 4158 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19208
[startup+6.30024 s]
/proc/loadavg: 0.42 0.10 0.42 3/178 29648
/proc/meminfo: memFree=31321724/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=31296 CPUtime=6.29 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 7167 0 0 0 621 8 0 0 20 0 1 0 333991816 32047104 5393 33554432000 134512640 137136520 4290611792 4290610384 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 7824 5393 196 641 0 7180 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31296
[startup+12.7003 s]
/proc/loadavg: 0.55 0.13 0.43 3/178 29648
/proc/meminfo: memFree=31261716/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=66064 CPUtime=12.69 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 19558 0 0 0 1252 17 0 0 20 0 1 0 333991816 67649536 14065 33554432000 134512640 137136520 4290611792 4290610384 134616686 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 16516 14065 196 641 0 15872 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66064
[startup+25.5003 s]
/proc/loadavg: 0.87 0.22 0.45 3/177 29648
/proc/meminfo: memFree=31162996/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=121856 CPUtime=25.49 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 45937 0 0 0 2524 25 0 0 20 0 1 0 333991816 124780544 28008 33554432000 134512640 137136520 4290611792 4290610384 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 30464 28008 196 641 0 29820 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 121856
[startup+51.1003 s]
/proc/loadavg: 1.25 0.36 0.49 3/177 29648
/proc/meminfo: memFree=30986636/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=215616 CPUtime=51.08 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 82673 0 0 0 5065 43 0 0 20 0 1 0 333991816 220790784 51447 33554432000 134512640 137136520 4290611792 4290610412 136294896 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 53904 51447 196 641 0 53260 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 215616
[startup+102.307 s]
/proc/loadavg: 1.67 0.61 0.57 3/177 29648
/proc/meminfo: memFree=30732480/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=349896 CPUtime=102.28 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 155929 0 0 0 10172 56 0 0 20 0 1 0 333991816 358293504 85018 33554432000 134512640 137136520 4290611792 4290610720 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 87474 85018 196 641 0 86830 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 349896
[startup+162.3 s]
/proc/loadavg: 1.82 0.84 0.65 3/177 29744
/proc/meminfo: memFree=30910316/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=502968 CPUtime=162.25 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 221533 0 0 0 16147 78 0 0 20 0 1 0 333991816 515039232 123332 33554432000 134512640 137136520 4290611792 4290610908 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 125742 123332 196 641 0 125098 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 502968
[startup+222.3 s]
/proc/loadavg: 1.93 1.05 0.73 3/177 29744
/proc/meminfo: memFree=30588068/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=636912 CPUtime=222.22 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 283674 0 0 0 22123 99 0 0 20 0 1 0 333991816 652197888 156816 33554432000 134512640 137136520 4290611792 4290610544 136294924 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 159228 156816 196 641 0 158584 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 636912
[startup+282.3 s]
/proc/loadavg: 1.97 1.22 0.81 3/177 29745
/proc/meminfo: memFree=30314428/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=760372 CPUtime=282.16 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 346482 0 0 0 28107 109 0 0 20 0 1 0 333991816 778620928 187671 33554432000 134512640 137136520 4290611792 4290610384 134616688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 190093 187671 196 641 0 189449 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 760372
[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.88 3/177 29745
/proc/meminfo: memFree=30037068/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=887500 CPUtime=342.14 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 408977 0 0 0 34094 120 0 0 20 0 1 0 333991816 908800000 219462 33554432000 134512640 137136520 4290611792 4290610432 134606772 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 221875 219462 196 641 0 221231 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 887500
[startup+402.3 s]
/proc/loadavg: 1.99 1.48 0.95 3/177 29745
/proc/meminfo: memFree=29807324/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=994756 CPUtime=402.1 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 463905 0 0 0 40079 131 0 0 20 0 1 0 333991816 1018630144 246283 33554432000 134512640 137136520 4290611792 4290610384 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 248689 246283 196 641 0 248045 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 994756
[startup+462.3 s]
/proc/loadavg: 1.99 1.57 1.01 3/177 29745
/proc/meminfo: memFree=29539396/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=1112268 CPUtime=462.07 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 520878 0 0 0 46066 141 0 0 20 0 1 0 333991816 1138962432 275656 33554432000 134512640 137136520 4290611792 4290610384 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 278067 275656 196 641 0 277423 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 1112268
[startup+522.3 s]
/proc/loadavg: 1.99 1.64 1.07 3/177 29745
/proc/meminfo: memFree=29324284/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=1221200 CPUtime=522.03 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 573952 0 0 0 52052 151 0 0 20 0 1 0 333991816 1250508800 302862 33554432000 134512640 137136520 4290611792 4290610720 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 305300 302862 196 641 0 304656 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 1221200
[startup+582.3 s]
/proc/loadavg: 1.99 1.71 1.12 3/178 29749
/proc/meminfo: memFree=29055100/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=1343448 CPUtime=581.99 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 622027 0 0 0 58039 160 0 0 20 0 1 0 333991816 1375690752 333449 33554432000 134512640 137136520 4290611792 4290610468 136501957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 335862 333449 196 641 0 335218 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 1343448
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27227600/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=2314984 CPUtime=1121.74 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1067038 0 0 0 111921 253 0 0 20 0 1 0 333991816 2370543616 576309 33554432000 134512640 137136520 4290611792 4290610384 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 578746 576309 197 641 0 578102 0
Current children cumulated CPU time (s) 1121.74
Current children cumulated vsize (KiB) 2314984
[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.52 3/178 29754
/proc/meminfo: memFree=27094444/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=2384028 CPUtime=1181.7 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1103693 0 0 0 117911 259 0 0 20 0 1 0 333991816 2441244672 593601 33554432000 134512640 137136520 4290611792 4290610384 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 596007 593601 197 641 0 595363 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 2384028
[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.55 3/177 29754
/proc/meminfo: memFree=26927700/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=2465540 CPUtime=1241.68 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1142124 0 0 0 123902 266 0 0 20 0 1 0 333991816 2524712960 613948 33554432000 134512640 137136520 4290611792 4290610720 134543918 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 616385 613948 197 641 0 615741 0
Current children cumulated CPU time (s) 1241.68
Current children cumulated vsize (KiB) 2465540
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.58 3/177 29754
/proc/meminfo: memFree=26794056/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=2530088 CPUtime=1301.66 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1175390 0 0 0 129894 272 0 0 20 0 1 0 333991816 2590810112 630085 33554432000 134512640 137136520 4290611792 4290610720 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 632522 630085 197 641 0 631878 0
Current children cumulated CPU time (s) 1301.66
Current children cumulated vsize (KiB) 2530088
[startup+1362.3 s]
/proc/loadavg: 2.04 1.99 1.60 3/177 29754
/proc/meminfo: memFree=26665000/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=2589512 CPUtime=1361.63 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1202336 0 0 0 135878 285 0 0 20 0 1 0 333991816 2651660288 644941 33554432000 134512640 137136520 4290611792 4290610720 134544145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 647378 644941 197 641 0 646734 0
Current children cumulated CPU time (s) 1361.63
Current children cumulated vsize (KiB) 2589512
[startup+1422.31 s]
/proc/loadavg: 2.01 1.99 1.63 3/177 29754
/proc/meminfo: memFree=26537680/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=2649012 CPUtime=1421.63 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1230725 0 0 0 141870 293 0 0 20 0 1 0 333991816 2712588288 659834 33554432000 134512640 137136520 4290611792 4290610432 134606731 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 662253 659834 197 641 0 661609 0
Current children cumulated CPU time (s) 1421.63
Current children cumulated vsize (KiB) 2649012
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.65 3/178 29756
/proc/meminfo: memFree=26378608/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=2725152 CPUtime=1481.59 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1269845 0 0 0 147857 302 0 0 20 0 1 0 333991816 2790555648 678860 33554432000 134512640 137136520 4290611792 4290610720 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 681288 678860 197 641 0 680644 0
Current children cumulated CPU time (s) 1481.59
Current children cumulated vsize (KiB) 2725152
[startup+1542.3 s]
/proc/loadavg: 2.07 2.00 1.67 3/177 29756
/proc/meminfo: memFree=26234432/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=2809852 CPUtime=1541.57 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1309732 0 0 0 153847 310 0 0 20 0 1 0 333991816 2877288448 700026 33554432000 134512640 137136520 4290611792 4290610448 134598069 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 702463 700026 197 641 0 701819 0
Current children cumulated CPU time (s) 1541.57
Current children cumulated vsize (KiB) 2809852
[startup+1602.3 s]
/proc/loadavg: 2.02 2.00 1.69 3/177 29756
/proc/meminfo: memFree=26071648/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=2875428 CPUtime=1601.54 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1347780 0 0 0 159836 318 0 0 20 0 1 0 333991816 2944438272 716434 33554432000 134512640 137136520 4290611792 4290610384 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 718857 716434 197 641 0 718213 0
Current children cumulated CPU time (s) 1601.54
Current children cumulated vsize (KiB) 2875428
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.71 3/177 29756
/proc/meminfo: memFree=25907500/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=2933560 CPUtime=1661.53 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1379469 0 0 0 165828 325 0 0 20 0 1 0 333991816 3003965440 730979 33554432000 134512640 137136520 4290611792 4290610720 134544256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 733390 730979 197 641 0 732746 0
Current children cumulated CPU time (s) 1661.53
Current children cumulated vsize (KiB) 2933560
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.72 3/177 29756
/proc/meminfo: memFree=25741120/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=3000892 CPUtime=1721.5 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1415246 0 0 0 171818 332 0 0 20 0 1 0 333991816 3072913408 747786 33554432000 134512640 137136520 4290611792 4290610384 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 750223 747786 197 641 0 749579 0
Current children cumulated CPU time (s) 1721.5
Current children cumulated vsize (KiB) 3000892
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/177 29759
/proc/meminfo: memFree=25606112/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=3071308 CPUtime=1781.47 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1449727 0 0 0 177807 340 0 0 20 0 1 0 333991816 3145019392 765390 33554432000 134512640 137136520 4290611792 4290610720 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 767827 765390 197 641 0 767183 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (KiB) 3071308
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.74 3/178 29760
/proc/meminfo: memFree=25587364/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=3079532 CPUtime=1791.07 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1452808 0 0 0 178766 341 0 0 20 0 1 0 333991816 3153440768 767449 33554432000 134512640 137136520 4290611792 4290610720 134544357 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 769883 767449 197 641 0 769239 0
Current children cumulated CPU time (s) 1791.07
Current children cumulated vsize (KiB) 3079532
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.74 3/178 29760
/proc/meminfo: memFree=25582760/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=3082068 CPUtime=1794.26 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1454205 0 0 0 179085 341 0 0 20 0 1 0 333991816 3156037632 768080 33554432000 134512640 137136520 4290611792 4290610384 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 770517 768080 197 641 0 769873 0
Current children cumulated CPU time (s) 1794.26
Current children cumulated vsize (KiB) 3082068
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.74 3/178 29760
/proc/meminfo: memFree=25580776/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=3083800 CPUtime=1795.86 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1455068 0 0 0 179245 341 0 0 20 0 1 0 333991816 3157811200 768545 33554432000 134512640 137136520 4290611792 4290610720 134544384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 770950 768545 197 641 0 770306 0
Current children cumulated CPU time (s) 1795.86
Current children cumulated vsize (KiB) 3083800
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/178 29760
/proc/meminfo: memFree=25578792/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=3085816 CPUtime=1797.45 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1455835 0 0 0 179404 341 0 0 20 0 1 0 333991816 3159875584 769017 33554432000 134512640 137136520 4290611792 4290610720 134544145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 771454 769017 197 641 0 770810 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 3085816
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 1.74 3/178 29760
/proc/meminfo: memFree=25575692/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=3086100 CPUtime=1797.85 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1456024 0 0 0 179444 341 0 0 20 0 1 0 333991816 3160166400 769097 33554432000 134512640 137136520 4290611792 4290610324 134551578 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 771525 769097 197 641 0 770881 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 3086100
[startup+1798.9 s]
/proc/loadavg: 2.00 2.00 1.74 3/178 29760
/proc/meminfo: memFree=25575692/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=3086100 CPUtime=1798.05 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202496 1456024 0 0 0 179464 341 0 0 20 0 1 0 333991816 3160166400 769097 33554432000 134512640 137136520 4290611792 4290610384 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 771525 769097 197 641 0 770881 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (KiB) 3086100
[startup+1799 s]
/proc/loadavg: 2.00 2.00 1.74 3/178 29760
/proc/meminfo: memFree=25575692/32873844 swapFree=7116/7116
[pid=29647] ppid=29645 vsize=0 CPUtime=1798.16 cores=1,3,5,7
/proc/29647/stat : 29647 (bsolo) R 29645 29647 29538 0 -1 4202500 1456327 0 0 0 179474 342 0 0 20 0 1 0 333991816 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29647/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.16
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1799.03
CPU time (s): 1798.2
CPU user time (s): 1794.74
CPU system time (s): 3.45248
CPU usage (%): 99.9537
Max. virtual memory (cumulated for all children) (KiB): 3086100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.74
system time used= 3.45247
maximum resident set size= 3077028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1456327
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= 806
involuntary context switches= 1821
runsolver used 4.03739 second user time and 10.0425 second system time
The end