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-3742037-1338780169/watcher-3742037-1338780169 -o /tmp/evaluation-result-3742037-1338780169/solver-3742037-1338780169 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742037-1338780169.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2489
/proc/meminfo: memFree=25692500/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=19484 CPUtime=0 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 397 0 0 0 0 0 0 0 20 0 1 0 344142980 19951616 350 33554432000 134512640 137136520 4291110576 4291109104 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 4871 350 186 641 0 4113 0
[startup+0.0161341 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2489
/proc/meminfo: memFree=25692500/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=12080 CPUtime=0.01 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 538 0 0 0 1 0 0 0 20 0 1 0 344142980 12369920 491 33554432000 134512640 137136520 4291110576 4291108968 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 3020 492 220 641 0 2262 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12080
[startup+0.100194 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2489
/proc/meminfo: memFree=25692500/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=13384 CPUtime=0.09 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 1065 0 0 0 9 0 0 0 20 0 1 0 344142980 13705216 904 33554432000 134512640 137136520 4291110576 4291021964 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 3346 904 189 641 0 2702 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13384
[startup+0.300185 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2489
/proc/meminfo: memFree=25692500/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=13384 CPUtime=0.29 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 1066 0 0 0 29 0 0 0 20 0 1 0 344142980 13705216 905 33554432000 134512640 137136520 4291110576 4291021964 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 3346 905 189 641 0 2702 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13384
[startup+0.700173 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2489
/proc/meminfo: memFree=25692500/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=13384 CPUtime=0.69 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 1066 0 0 0 69 0 0 0 20 0 1 0 344142980 13705216 905 33554432000 134512640 137136520 4291110576 4291021964 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 3346 905 189 641 0 2702 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13384
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2490
/proc/meminfo: memFree=25688732/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=14016 CPUtime=1.49 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 1346 0 0 0 148 1 0 0 20 0 1 0 344142980 14352384 1056 33554432000 134512640 137136520 4291110576 4291109288 136501981 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 3504 1056 198 641 0 2860 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14016
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2490
/proc/meminfo: memFree=25686376/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=17120 CPUtime=3.08 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 2153 0 0 0 302 6 0 0 20 0 1 0 344142980 17530880 1863 33554432000 134512640 137136520 4291110576 4291109692 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 4280 1863 198 641 0 3636 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17120
[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2490
/proc/meminfo: memFree=25676416/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=25236 CPUtime=6.29 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 4178 0 0 0 612 17 0 0 20 0 1 0 344142980 25841664 3888 33554432000 134512640 137136520 4291110576 4291109692 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 6309 3888 198 641 0 5665 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25236
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2490
/proc/meminfo: memFree=25660060/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=38464 CPUtime=12.69 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 7474 0 0 0 1236 33 0 0 20 0 1 0 344142980 39387136 7184 33554432000 134512640 137136520 4291110576 4291109692 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 9616 7184 198 641 0 8972 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38464
[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2490
/proc/meminfo: memFree=25622356/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=70660 CPUtime=25.49 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 15650 0 0 0 2502 47 0 0 20 0 1 0 344142980 72355840 15250 33554432000 134512640 137136520 4291110576 4291109504 134543918 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 17665 15250 198 641 0 17021 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 70660
[startup+51.1003 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2490
/proc/meminfo: memFree=25547536/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=131864 CPUtime=51.09 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 31843 0 0 0 5045 64 0 0 20 0 1 0 344142980 135028736 30553 33554432000 134512640 137136520 4291110576 4291109504 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 32966 30553 198 641 0 32322 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 131864
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2538
/proc/meminfo: memFree=26925668/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=190296 CPUtime=102.26 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 46493 0 0 0 10129 97 0 0 20 0 1 0 344142980 194863104 45169 33554432000 134512640 137136520 4291110576 4291109504 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 47574 45169 198 641 0 46930 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 190296
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2538
/proc/meminfo: memFree=26706588/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=297800 CPUtime=162.21 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 76627 0 0 0 16103 118 0 0 20 0 1 0 344142980 304947200 72041 33554432000 134512640 137136520 4291110576 4291109216 134606731 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 74450 72041 198 641 0 73806 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 297800
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2538
/proc/meminfo: memFree=26550996/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=372548 CPUtime=222.16 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 99486 0 0 0 22078 138 0 0 20 0 1 0 344142980 381489152 90716 33554432000 134512640 137136520 4291110576 4291109504 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 93137 90716 198 641 0 92493 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 372548
[startup+282.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 2539
/proc/meminfo: memFree=26363532/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=442736 CPUtime=282.12 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 117702 0 0 0 28055 157 0 0 20 0 1 0 344142980 453361664 108279 33554432000 134512640 137136520 4291110576 4291109504 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 110684 108279 198 641 0 110040 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 442736
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2540
/proc/meminfo: memFree=26205220/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=489072 CPUtime=342.08 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 129582 0 0 0 34031 177 0 0 20 0 1 0 344142980 500809728 119852 33554432000 134512640 137136520 4291110576 4291109504 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 122268 119852 198 641 0 121624 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 489072
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2540
/proc/meminfo: memFree=26065336/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=546512 CPUtime=402.05 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 144984 0 0 0 40011 194 0 0 20 0 1 0 344142980 559628288 134207 33554432000 134512640 137136520 4291110576 4291109504 134544256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 136628 134207 198 641 0 135984 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 546512
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2543
/proc/meminfo: memFree=25896952/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=637976 CPUtime=462.05 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 172938 0 0 0 46002 203 0 0 20 0 1 0 344142980 653287424 157079 33554432000 134512640 137136520 4291110576 4291109504 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 159494 157079 198 641 0 158850 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 637976
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2543
/proc/meminfo: memFree=25764928/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=706200 CPUtime=522.03 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 191851 0 0 0 51992 211 0 0 20 0 1 0 344142980 723148800 174147 33554432000 134512640 137136520 4291110576 4291109200 134542190 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 176550 174147 198 641 0 175906 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 706200
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2543
/proc/meminfo: memFree=25613428/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=781924 CPUtime=582.03 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 215423 0 0 0 57984 219 0 0 20 0 1 0 344142980 800690176 193054 33554432000 134512640 137136520 4291110576 4291109504 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 195481 193054 198 641 0 194837 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 781924
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24503112/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=1349760 CPUtime=1061.96 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 401674 0 0 0 105923 273 0 0 20 0 1 0 344142980 1382154240 335010 33554432000 134512640 137136520 4291110576 4291109104 134600223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 337440 335012 198 641 0 336796 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 1349760
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2548
/proc/meminfo: memFree=24402088/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=1398352 CPUtime=1121.94 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 419497 0 0 0 111918 276 0 0 20 0 1 0 344142980 1431912448 347171 33554432000 134512640 137136520 4291110576 4291109500 135982480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 349588 347171 198 641 0 348944 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1398352
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2548
/proc/meminfo: memFree=24328340/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=1440572 CPUtime=1181.94 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 433467 0 0 0 117912 282 0 0 20 0 1 0 344142980 1475145728 357730 33554432000 134512640 137136520 4291110576 4291109472 134543971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 360143 357730 198 641 0 359499 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 1440572
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2549
/proc/meminfo: memFree=24243180/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=1486132 CPUtime=1241.92 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 447976 0 0 0 123906 286 0 0 20 0 1 0 344142980 1521799168 369130 33554432000 134512640 137136520 4291110576 4291109504 134544135 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 371533 369130 198 641 0 370889 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1486132
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2549
/proc/meminfo: memFree=24153060/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=1528984 CPUtime=1301.92 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 461441 0 0 0 129902 290 0 0 20 0 1 0 344142980 1565679616 379843 33554432000 134512640 137136520 4291110576 4291109168 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 382246 379843 198 641 0 381602 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1528984
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2549
/proc/meminfo: memFree=24060276/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=1575812 CPUtime=1361.91 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 476829 0 0 0 135897 294 0 0 20 0 1 0 344142980 1613631488 391528 33554432000 134512640 137136520 4291110576 4291109168 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 393953 391528 198 641 0 393309 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1575812
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2549
/proc/meminfo: memFree=23958472/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=1627936 CPUtime=1421.9 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 493435 0 0 0 141892 298 0 0 20 0 1 0 344142980 1667006464 404556 33554432000 134512640 137136520 4291110576 4291109504 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 406984 404556 198 641 0 406340 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1627936
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 2549
/proc/meminfo: memFree=23872416/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=1672180 CPUtime=1481.89 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 507306 0 0 0 147884 305 0 0 20 0 1 0 344142980 1712312320 415626 33554432000 134512640 137136520 4291110576 4291109504 134543933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 418045 415626 198 641 0 417401 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1672180
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2550
/proc/meminfo: memFree=23802604/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=1699876 CPUtime=1541.88 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 514453 0 0 0 153876 312 0 0 20 0 1 0 344142980 1740673024 422549 33554432000 134512640 137136520 4291110576 4291109504 134544122 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 424969 422549 198 641 0 424325 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1699876
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2550
/proc/meminfo: memFree=23723496/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=1721424 CPUtime=1601.87 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 519870 0 0 0 159865 322 0 0 20 0 1 0 344142980 1762738176 427942 33554432000 134512640 137136520 4291110576 4291109504 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 430356 427942 198 641 0 429712 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1721424
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2553
/proc/meminfo: memFree=23621636/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=1756312 CPUtime=1661.85 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 528694 0 0 0 165853 332 0 0 20 0 1 0 344142980 1798463488 436658 33554432000 134512640 137136520 4291110576 4291109504 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 439078 436658 198 641 0 438434 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1756312
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2553
/proc/meminfo: memFree=23538964/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=1780576 CPUtime=1721.82 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 534906 0 0 0 171841 341 0 0 20 0 1 0 344142980 1823309824 442733 33554432000 134512640 137136520 4291110576 4291109504 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 445144 442733 198 641 0 444500 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1780576
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2553
/proc/meminfo: memFree=23469924/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=1804936 CPUtime=1781.79 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 541180 0 0 0 177830 349 0 0 20 0 1 0 344142980 1848254464 448830 33554432000 134512640 137136520 4291110576 4291109504 134544398 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 451234 448830 198 641 0 450590 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1804936
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 2553
/proc/meminfo: memFree=23457012/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=1808612 CPUtime=1791.4 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 542122 0 0 0 178790 350 0 0 20 0 1 0 344142980 1852018688 449746 33554432000 134512640 137136520 4291110576 4291109472 134543939 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 452153 449746 198 641 0 451509 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 1808612
[startup+1795.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2553
/proc/meminfo: memFree=23452424/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=1809996 CPUtime=1794.6 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 542460 0 0 0 179110 350 0 0 20 0 1 0 344142980 1853435904 450078 33554432000 134512640 137136520 4291110576 4291109692 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 452499 450078 198 641 0 451855 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 1809996
[startup+1796.7 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2553
/proc/meminfo: memFree=23451308/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=1810556 CPUtime=1796.18 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 542600 0 0 0 179268 350 0 0 20 0 1 0 344142980 1854009344 450218 33554432000 134512640 137136520 4291110576 4291109504 134544396 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 452639 450218 198 641 0 451995 0
Current children cumulated CPU time (s) 1796.18
Current children cumulated vsize (KiB) 1810556
[startup+1797.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2553
/proc/meminfo: memFree=23449448/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=1810792 CPUtime=1796.98 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 542667 0 0 0 179348 350 0 0 20 0 1 0 344142980 1854251008 450285 33554432000 134512640 137136520 4291110576 4291109504 134544140 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 452698 450285 198 641 0 452054 0
Current children cumulated CPU time (s) 1796.98
Current children cumulated vsize (KiB) 1810792
[startup+1798.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2553
/proc/meminfo: memFree=23449448/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=1811012 CPUtime=1797.78 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 542720 0 0 0 179428 350 0 0 20 0 1 0 344142980 1854476288 450338 33554432000 134512640 137136520 4291110576 4291109504 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 452753 450338 198 641 0 452109 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 1811012
[startup+1798.51 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2553
/proc/meminfo: memFree=23447588/32873648 swapFree=6860/6860
[pid=2489] ppid=2487 vsize=1811012 CPUtime=1797.99 cores=1,3,5,7
/proc/2489/stat : 2489 (bsolo) R 2487 2489 2050 0 -1 4202496 542725 0 0 0 179449 350 0 0 20 0 1 0 344142980 1854476288 450343 33554432000 134512640 137136520 4291110576 4291109504 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2489/statm: 452753 450343 198 641 0 452109 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 1811012
Child status: 0
Real time (s): 1798.58
CPU time (s): 1798.07
CPU user time (s): 1794.5
CPU system time (s): 3.57646
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1811012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.5
system time used= 3.57646
maximum resident set size= 1801372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 542726
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= 350
involuntary context switches= 1838
runsolver used 2.55561 second user time and 7.29889 second system time
The end