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-3742063-1338780244/watcher-3742063-1338780244 -o /tmp/evaluation-result-3742063-1338780244/solver-3742063-1338780244 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742063-1338780244.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.03 2.01 2.00 3/176 2537
/proc/meminfo: memFree=27026940/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=11632 CPUtime=0 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 387 0 0 0 0 0 0 0 20 0 1 0 344150472 11911168 340 33554432000 134512640 137136520 4291448176 4291444712 136657517 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2537/statm: 2908 340 185 641 0 2159 0
[startup+0.0317361 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 2537
/proc/meminfo: memFree=27026940/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=12444 CPUtime=0.02 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 678 0 0 0 2 0 0 0 20 0 1 0 344150472 12742656 631 33554432000 134512640 137136520 4291448176 4291446696 136394107 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2537/statm: 3111 631 261 641 0 2362 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12444
[startup+0.100213 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 2537
/proc/meminfo: memFree=27026940/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=13120 CPUtime=0.09 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 999 0 0 0 9 0 0 0 20 0 1 0 344150472 13434880 847 33554432000 134512640 137136520 4291448176 4291366720 134544001 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2537/statm: 3280 847 189 641 0 2636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13120
[startup+0.300173 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 2537
/proc/meminfo: memFree=27026940/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=13248 CPUtime=0.29 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 1000 0 0 0 29 0 0 0 20 0 1 0 344150472 13565952 848 33554432000 134512640 137136520 4291448176 4291366944 134563194 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2537/statm: 3312 848 189 641 0 2668 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13248
[startup+0.700177 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 2537
/proc/meminfo: memFree=27026940/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=13248 CPUtime=0.69 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 1000 0 0 0 69 0 0 0 20 0 1 0 344150472 13565952 848 33554432000 134512640 137136520 4291448176 4291366504 136502850 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2537/statm: 3312 848 189 641 0 2668 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13248
[startup+1.50018 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2538
/proc/meminfo: memFree=27023716/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=13648 CPUtime=1.49 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 1260 0 0 0 148 1 0 0 20 0 1 0 344150472 13975552 996 33554432000 134512640 137136520 4291448176 4291447292 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2537/statm: 3412 996 198 641 0 2768 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13648
[startup+3.10012 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2538
/proc/meminfo: memFree=27021360/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=17680 CPUtime=3.09 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 2265 0 0 0 302 7 0 0 20 0 1 0 344150472 18104320 2001 33554432000 134512640 137136520 4291448176 4291447292 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2537/statm: 4420 2001 198 641 0 3776 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17680
[startup+6.3002 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2538
/proc/meminfo: memFree=27008840/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=27172 CPUtime=6.29 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 4631 0 0 0 617 12 0 0 20 0 1 0 344150472 27824128 4366 33554432000 134512640 137136520 4291448176 4291447292 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2537/statm: 6793 4366 198 641 0 6149 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27172
[startup+12.7001 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2538
/proc/meminfo: memFree=26985056/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=42824 CPUtime=12.68 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 8539 0 0 0 1244 24 0 0 20 0 1 0 344150472 43851776 8274 33554432000 134512640 137136520 4291448176 4291447292 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 10706 8274 198 641 0 10062 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42824
[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2538
/proc/meminfo: memFree=26935728/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=78292 CPUtime=25.49 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 17419 0 0 0 2516 33 0 0 20 0 1 0 344150472 80171008 17153 33554432000 134512640 137136520 4291448176 4291446940 136295552 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 19573 17153 198 641 0 18929 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 78292
[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2538
/proc/meminfo: memFree=26841564/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=137308 CPUtime=51.08 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 32546 0 0 0 5061 47 0 0 20 0 1 0 344150472 140603392 31885 33554432000 134512640 137136520 4291448176 4291447096 135982492 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 34327 31885 198 641 0 33683 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 137308
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2538
/proc/meminfo: memFree=26653872/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=218484 CPUtime=102.28 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 52946 0 0 0 10161 67 0 0 20 0 1 0 344150472 223727616 52193 33554432000 134512640 137136520 4291448176 4291446816 134606783 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 54621 52193 198 641 0 53977 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 218484
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2538
/proc/meminfo: memFree=26515396/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=301948 CPUtime=162.26 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 74587 0 0 0 16144 82 0 0 20 0 1 0 344150472 309194752 73073 33554432000 134512640 137136520 4291448176 4291447104 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 75487 73073 198 641 0 74843 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 301948
[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 2539
/proc/meminfo: memFree=26316148/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=427412 CPUtime=222.25 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 110390 0 0 0 22128 97 0 0 20 0 1 0 344150472 437669888 104441 33554432000 134512640 137136520 4291448176 4291447104 134544402 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 106853 104441 198 641 0 106209 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 427412
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2540
/proc/meminfo: memFree=26170732/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=523956 CPUtime=282.25 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 137288 0 0 0 28118 107 0 0 20 0 1 0 344150472 536530944 128577 33554432000 134512640 137136520 4291448176 4291447104 134543957 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 130989 128577 198 641 0 130345 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 523956
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2540
/proc/meminfo: memFree=26024772/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=603024 CPUtime=342.23 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 160180 0 0 0 34105 118 0 0 20 0 1 0 344150472 617496576 148334 33554432000 134512640 137136520 4291448176 4291447104 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 150756 148334 198 641 0 150112 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 603024
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2543
/proc/meminfo: memFree=25859488/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=682892 CPUtime=402.19 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 183739 0 0 0 40092 127 0 0 20 0 1 0 344150472 699281408 168300 33554432000 134512640 137136520 4291448176 4291447104 134543957 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 170723 168300 198 641 0 170079 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 682892
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2543
/proc/meminfo: memFree=25727464/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=741924 CPUtime=462.16 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 199367 0 0 0 46082 134 0 0 20 0 1 0 344150472 759730176 183063 33554432000 134512640 137136520 4291448176 4291447104 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 185481 183063 198 641 0 184837 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 741924
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2543
/proc/meminfo: memFree=25570880/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=820712 CPUtime=522.12 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 223665 0 0 0 52071 141 0 0 20 0 1 0 344150472 840409088 202764 33554432000 134512640 137136520 4291448176 4291447104 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 205178 202764 198 641 0 204534 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 820712
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2544
/proc/meminfo: memFree=25411420/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=902292 CPUtime=582.09 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 248617 0 0 0 58059 150 0 0 20 0 1 0 344150472 923947008 223170 33554432000 134512640 137136520 4291448176 4291447104 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 225573 223170 198 641 0 224929 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 902292
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24303772/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=1435680 CPUtime=1121.79 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 414584 0 0 0 111970 209 0 0 20 0 1 0 344150472 1470136320 356512 33554432000 134512640 137136520 4291448176 4291447072 134544402 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 358920 356512 198 641 0 358276 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 1435680
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2549
/proc/meminfo: memFree=24223200/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=1471476 CPUtime=1181.76 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 424317 0 0 0 117961 215 0 0 20 0 1 0 344150472 1506791424 365452 33554432000 134512640 137136520 4291448176 4291447104 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 367869 365452 198 641 0 367225 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 1471476
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2549
/proc/meminfo: memFree=24133268/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=1518348 CPUtime=1241.72 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 437628 0 0 0 123952 220 0 0 20 0 1 0 344150472 1554788352 377178 33554432000 134512640 137136520 4291448176 4291447104 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 379587 377178 198 641 0 378943 0
Current children cumulated CPU time (s) 1241.72
Current children cumulated vsize (KiB) 1518348
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2549
/proc/meminfo: memFree=24036096/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=1567712 CPUtime=1301.72 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 452445 0 0 0 129947 225 0 0 20 0 1 0 344150472 1605337088 389519 33554432000 134512640 137136520 4291448176 4291447104 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 391928 389519 198 641 0 391284 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 1567712
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2549
/proc/meminfo: memFree=23937268/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=1615524 CPUtime=1361.71 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 467356 0 0 0 135940 231 0 0 20 0 1 0 344150472 1654296576 401478 33554432000 134512640 137136520 4291448176 4291447104 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 403881 401478 198 641 0 403237 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 1615524
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2549
/proc/meminfo: memFree=23854312/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=1659660 CPUtime=1421.7 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 480086 0 0 0 141934 236 0 0 20 0 1 0 344150472 1699491840 412494 33554432000 134512640 137136520 4291448176 4291447104 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 414915 412494 198 641 0 414271 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 1659660
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2550
/proc/meminfo: memFree=23791324/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=1694596 CPUtime=1481.69 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 489166 0 0 0 147928 241 0 0 20 0 1 0 344150472 1735266304 421243 33554432000 134512640 137136520 4291448176 4291447104 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 423649 421243 198 641 0 423005 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 1694596
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2550
/proc/meminfo: memFree=23698324/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=1767556 CPUtime=1541.68 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 511909 0 0 0 153920 248 0 0 20 0 1 0 344150472 1809977344 439486 33554432000 134512640 137136520 4291448176 4291447104 134544402 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 441889 439486 198 641 0 441245 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 1767556
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2553
/proc/meminfo: memFree=23600540/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=1828028 CPUtime=1601.67 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 532337 0 0 0 159913 254 0 0 20 0 1 0 344150472 1871900672 454578 33554432000 134512640 137136520 4291448176 4291446708 134551365 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 457007 454578 198 641 0 456363 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 1828028
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2553
/proc/meminfo: memFree=23520968/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=1882720 CPUtime=1661.66 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 548376 0 0 0 165907 259 0 0 20 0 1 0 344150472 1927905280 468277 33554432000 134512640 137136520 4291448176 4291446552 136502148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 470680 468277 198 641 0 470036 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 1882720
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2553
/proc/meminfo: memFree=23450936/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=1930724 CPUtime=1721.65 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 562102 0 0 0 171902 263 0 0 20 0 1 0 344150472 1977061376 480272 33554432000 134512640 137136520 4291448176 4291447036 136518911 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 482681 480272 198 641 0 482037 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 1930724
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2602
/proc/meminfo: memFree=25067888/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=1972500 CPUtime=1781.64 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 573812 0 0 0 177897 267 0 0 20 0 1 0 344150472 2019840000 490710 33554432000 134512640 137136520 4291448176 4291447104 134544135 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 493125 490710 198 641 0 492481 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 1972500
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 2602
/proc/meminfo: memFree=25046312/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=1978168 CPUtime=1791.25 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 575325 0 0 0 178857 268 0 0 20 0 1 0 344150472 2025644032 492134 33554432000 134512640 137136520 4291448176 4291446944 134573554 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 494542 492134 198 641 0 493898 0
Current children cumulated CPU time (s) 1791.25
Current children cumulated vsize (KiB) 1978168
[startup+1795.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 2602
/proc/meminfo: memFree=25037756/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=1981804 CPUtime=1794.45 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 576327 0 0 0 179177 268 0 0 20 0 1 0 344150472 2029367296 493039 33554432000 134512640 137136520 4291448176 4291447104 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 495451 493039 198 641 0 494807 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (KiB) 1981804
[startup+1796.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 2602
/proc/meminfo: memFree=25035400/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=1982552 CPUtime=1796.04 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 576527 0 0 0 179336 268 0 0 20 0 1 0 344150472 2030133248 493232 33554432000 134512640 137136520 4291448176 4291447292 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 495638 493232 198 641 0 494994 0
Current children cumulated CPU time (s) 1796.04
Current children cumulated vsize (KiB) 1982552
[startup+1797.5 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 2602
/proc/meminfo: memFree=25032424/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=1983580 CPUtime=1796.84 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 576934 0 0 0 179416 268 0 0 20 0 1 0 344150472 2031185920 493492 33554432000 134512640 137136520 4291448176 4291447104 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 495895 493492 198 641 0 495251 0
Current children cumulated CPU time (s) 1796.84
Current children cumulated vsize (KiB) 1983580
[startup+1798.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 2602
/proc/meminfo: memFree=25032424/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=1984180 CPUtime=1797.64 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 577101 0 0 0 179496 268 0 0 20 0 1 0 344150472 2031800320 493623 33554432000 134512640 137136520 4291448176 4291447104 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 496045 493623 198 641 0 495401 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 1984180
[startup+1798.51 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 2602
/proc/meminfo: memFree=25030068/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=1984756 CPUtime=1797.84 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 577256 0 0 0 179516 268 0 0 20 0 1 0 344150472 2032390144 493778 33554432000 134512640 137136520 4291448176 4291447104 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 496189 493778 198 641 0 495545 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 1984756
[startup+1798.6 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 2602
/proc/meminfo: memFree=25030068/32873648 swapFree=6860/6860
[pid=2537] ppid=2535 vsize=1984964 CPUtime=1797.94 cores=0,2,4,6
/proc/2537/stat : 2537 (bsolo) R 2535 2537 2050 0 -1 4202496 577315 0 0 0 179526 268 0 0 20 0 1 0 344150472 2032603136 493837 33554432000 134512640 137136520 4291448176 4291447104 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2537/statm: 496241 493837 198 641 0 495597 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 1984964
Child status: 0
Real time (s): 1798.69
CPU time (s): 1798.04
CPU user time (s): 1795.32
CPU system time (s): 2.72259
CPU usage (%): 99.9638
Max. virtual memory (cumulated for all children) (KiB): 1984964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.32
system time used= 2.72259
maximum resident set size= 1975464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 577345
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= 644
involuntary context switches= 1892
runsolver used 5.66914 second user time and 12.1072 second system time
The end