runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3449999-1307058820/watcher-3449999-1307058820 -o /tmp/evaluation-result-3449999-1307058820/solver-3449999-1307058820 -C 5000 -W 5100 -M 15500 python portfolio_solver.py -t 5000 -s 60024841 HOME/instance-3449999-1307058820.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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.08 0.02 0.16 1/323 15768
/proc/meminfo: memFree=24027496/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/15768/stat : 15768 (runsolver) S 15766 15768 15734 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 1 0 896112799 12079104 54 33554432000 4194304 5432328 140735438270880 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699199166 0 0 17 4 0 0 0
/proc/15768/statm: 2949 54 34 303 0 2643 0
[startup+0.0349079 s]
/proc/loadavg: 0.08 0.02 0.16 1/323 15768
/proc/meminfo: memFree=24027496/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 894 0 0 0 0 0 0 0 20 0 1 0 896112799 16154624 777 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/15768/statm: 3944 777 343 364 0 431 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15776
[startup+0.100904 s]
/proc/loadavg: 0.08 0.02 0.16 1/323 15768
/proc/meminfo: memFree=24027496/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 1116 0 0 0 1 0 0 0 20 0 1 0 896112799 16789504 985 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020391781 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/15768/statm: 4099 985 409 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+0.300776 s]
/proc/loadavg: 0.08 0.02 0.16 1/323 15768
/proc/meminfo: memFree=24027496/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=21896 CPUtime=0.02 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 1516 0 0 0 2 0 0 0 19 0 1 0 896112799 22421504 1350 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020395776 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/15768/statm: 5474 1350 443 364 0 929 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21896
[startup+0.700712 s]
/proc/loadavg: 0.08 0.02 0.16 1/323 15768
/proc/meminfo: memFree=24027496/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=21896 CPUtime=0.02 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 1516 0 0 0 2 0 0 0 19 0 1 0 896112799 22421504 1350 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020395776 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/15768/statm: 5474 1350 443 364 0 929 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21896
[startup+1.50064 s]
/proc/loadavg: 0.08 0.02 0.16 3/330 15776
/proc/meminfo: memFree=23975988/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=21896 CPUtime=0.02 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 1516 0 0 0 2 0 0 0 19 0 1 0 896112799 22421504 1350 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020395776 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/15768/statm: 5474 1350 443 364 0 929 0
[pid=15770] ppid=15768 vsize=8364 CPUtime=1.35 cores=0,2,4,6
/proc/15770/stat : 15770 (features) R 15768 15768 15734 0 -1 4202496 2612 0 0 0 133 2 0 0 25 0 1 0 896112813 8564736 1496 33554432000 134512640 135907751 4294653744 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/15770/statm: 2091 1496 111 341 0 1747 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 30260
[startup+3.1003 s]
/proc/loadavg: 0.08 0.02 0.16 3/330 15776
/proc/meminfo: memFree=23975740/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=21896 CPUtime=0.02 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 1516 0 0 0 2 0 0 0 19 0 1 0 896112799 22421504 1350 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020395776 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/15768/statm: 5474 1350 443 364 0 929 0
[pid=15770] ppid=15768 vsize=46860 CPUtime=2.94 cores=0,2,4,6
/proc/15770/stat : 15770 (features) R 15768 15768 15734 0 -1 4202496 10756 0 0 0 289 5 0 0 25 0 1 0 896112813 47984640 8735 33554432000 134512640 135907751 4294653744 18446744073709551615 135340715 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/15770/statm: 11715 8735 112 341 0 11371 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 68756
[startup+6.30077 s]
/proc/loadavg: 0.23 0.05 0.17 3/330 15776
/proc/meminfo: memFree=23749960/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=21896 CPUtime=0.02 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 1516 0 0 0 2 0 0 0 19 0 1 0 896112799 22421504 1350 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020395776 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/15768/statm: 5474 1350 443 364 0 929 0
[pid=15770] ppid=15768 vsize=128164 CPUtime=6.14 cores=0,2,4,6
/proc/15770/stat : 15770 (features) R 15768 15768 15734 0 -1 4202496 32226 0 0 0 605 9 0 0 25 0 1 0 896112813 131239936 30204 33554432000 134512640 135907751 4294653744 18446744073709551615 134534342 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/15770/statm: 32041 30204 112 341 0 31697 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 150060
[startup+12.7006 s]
/proc/loadavg: 0.37 0.08 0.18 3/330 15776
/proc/meminfo: memFree=23749184/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=21896 CPUtime=0.02 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 1516 0 0 0 2 0 0 0 19 0 1 0 896112799 22421504 1350 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020395776 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/15768/statm: 5474 1350 443 364 0 929 0
[pid=15770] ppid=15768 vsize=128164 CPUtime=12.55 cores=0,2,4,6
/proc/15770/stat : 15770 (features) R 15768 15768 15734 0 -1 4202496 32301 0 0 0 1245 10 0 0 25 0 1 0 896112813 131239936 30279 33554432000 134512640 135907751 4294653744 18446744073709551615 134534342 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/15770/statm: 32041 30279 112 341 0 31697 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 150060
[startup+25.5002 s]
/proc/loadavg: 0.73 0.18 0.20 3/330 15776
/proc/meminfo: memFree=23748788/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=21896 CPUtime=0.02 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 1516 0 0 0 2 0 0 0 19 0 1 0 896112799 22421504 1350 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020395776 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/15768/statm: 5474 1350 443 364 0 929 0
[pid=15770] ppid=15768 vsize=128164 CPUtime=25.35 cores=0,2,4,6
/proc/15770/stat : 15770 (features) R 15768 15768 15734 0 -1 4202496 32431 0 0 0 2524 11 0 0 25 0 1 0 896112813 131239936 30409 33554432000 134512640 135907751 4294653744 18446744073709551615 134534789 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/15770/statm: 32041 30409 112 341 0 31697 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 150060
[startup+51.1006 s]
/proc/loadavg: 1.16 0.32 0.25 3/330 15777
/proc/meminfo: memFree=23746672/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=21896 CPUtime=0.02 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 1516 0 0 0 2 0 0 0 19 0 1 0 896112799 22421504 1350 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020395776 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/15768/statm: 5474 1350 443 364 0 929 0
[pid=15770] ppid=15768 vsize=128164 CPUtime=50.95 cores=0,2,4,6
/proc/15770/stat : 15770 (features) R 15768 15768 15734 0 -1 4202496 32646 0 0 0 5082 13 0 0 25 0 1 0 896112813 131239936 30624 33554432000 134512640 135907751 4294653744 18446744073709551615 134534342 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/15770/statm: 32041 30624 112 341 0 31697 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 150060
[startup+102.312 s]
/proc/loadavg: 1.64 0.58 0.34 3/336 15786
/proc/meminfo: memFree=23544712/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=34396 CPUtime=0.02 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 2163 0 0 0 2 0 0 0 18 0 1 0 896112799 35221504 1408 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020395776 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/15768/statm: 8599 1408 468 364 0 933 0
[pid=15770] ppid=15768 vsize=0 CPUtime=88.09 cores=0,2,4,6
/proc/15770/stat : 15770 (features) Z 15768 15768 15734 0 -1 4202524 39527 0 0 0 8778 31 0 0 25 0 1 0 896112813 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/15770/statm: 0 0 0 0 0 0 0
[pid=15782] ppid=15768 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/15782/stat : 15782 (coach) Z 15768 15768 15734 0 -1 4202524 3927 0 0 0 32 0 0 0 20 0 1 0 896121624 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15782/statm: 0 0 0 0 0 0 0
[pid=15783] ppid=15768 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15783/stat : 15783 (timerun) S 15768 15768 15734 0 -1 4202496 753 0 0 0 0 0 0 0 18 0 1 0 896121658 8908800 248 33554432000 4194304 4922060 140735938881744 18446744073709551615 260020214917 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/15783/statm: 2175 248 208 178 0 68 0
[pid=15784] ppid=15783 vsize=529604 CPUtime=13.71 cores=0,2,4,6
/proc/15784/stat : 15784 (cryptominisat) R 15783 15768 15734 0 -1 4202496 106883 0 0 0 1356 15 0 0 25 0 1 0 896121658 542314496 101283 33554432000 134512640 134994940 4286651856 18446744073709551615 134807992 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15784/statm: 132401 101283 337 118 0 131586 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 572700
[startup+162.301 s]
/proc/loadavg: 1.86 0.83 0.44 3/336 15794
/proc/meminfo: memFree=23627972/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=34396 CPUtime=25.04 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 2468 157406 0 0 2 0 2477 25 18 0 1 0 896112799 35221504 1408 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020395776 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/15768/statm: 8599 1408 468 364 0 933 0
[pid=15770] ppid=15768 vsize=0 CPUtime=88.09 cores=0,2,4,6
/proc/15770/stat : 15770 (features) Z 15768 15768 15734 0 -1 4202524 39527 0 0 0 8778 31 0 0 25 0 1 0 896112813 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/15770/statm: 0 0 0 0 0 0 0
[pid=15782] ppid=15768 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/15782/stat : 15782 (coach) Z 15768 15768 15734 0 -1 4202524 3927 0 0 0 32 0 0 0 20 0 1 0 896121624 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15782/statm: 0 0 0 0 0 0 0
[pid=15792] ppid=15768 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15792/stat : 15792 (timerun) S 15768 15768 15734 0 -1 4202496 746 0 0 0 0 0 0 0 20 0 1 0 896124161 8908800 248 33554432000 4194304 4922060 140733725002016 18446744073709551615 260020214917 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/15792/statm: 2175 248 208 178 0 68 0
[pid=15793] ppid=15792 vsize=177300 CPUtime=48.67 cores=0,2,4,6
/proc/15793/stat : 15793 (precosat) R 15792 15768 15734 0 -1 4202496 86321 0 0 0 4852 15 0 0 25 0 1 0 896124161 181555200 43649 33554432000 134512640 135142049 4292197840 18446744073709551615 134547239 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/15793/statm: 44325 43649 82 154 0 44169 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 220396
[startup+222.301 s]
/proc/loadavg: 1.95 1.04 0.54 3/336 15795
/proc/meminfo: memFree=23528940/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=34396 CPUtime=25.04 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 2468 157406 0 0 2 0 2477 25 18 0 1 0 896112799 35221504 1408 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020395776 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/15768/statm: 8599 1408 468 364 0 933 0
[pid=15770] ppid=15768 vsize=0 CPUtime=88.09 cores=0,2,4,6
/proc/15770/stat : 15770 (features) Z 15768 15768 15734 0 -1 4202524 39527 0 0 0 8778 31 0 0 25 0 1 0 896112813 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/15770/statm: 0 0 0 0 0 0 0
[pid=15782] ppid=15768 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/15782/stat : 15782 (coach) Z 15768 15768 15734 0 -1 4202524 3927 0 0 0 32 0 0 0 20 0 1 0 896121624 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15782/statm: 0 0 0 0 0 0 0
[pid=15792] ppid=15768 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15792/stat : 15792 (timerun) S 15768 15768 15734 0 -1 4202496 746 0 0 0 0 0 0 0 20 0 1 0 896124161 8908800 248 33554432000 4194304 4922060 140733725002016 18446744073709551615 260020214917 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/15792/statm: 2175 248 208 178 0 68 0
[pid=15793] ppid=15792 vsize=248884 CPUtime=108.67 cores=0,2,4,6
/proc/15793/stat : 15793 (precosat) R 15792 15768 15734 0 -1 4202496 133117 0 0 0 10843 24 0 0 25 0 1 0 896124161 254857216 61519 33554432000 134512640 135142049 4292197840 18446744073709551615 134610709 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/15793/statm: 62221 61519 82 154 0 62065 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 291980
[startup+282.301 s]
################
# More data... #
################
/proc/15770/stat : 15770 (features) Z 15768 15768 15734 0 -1 4202524 39527 0 0 0 8778 31 0 0 25 0 1 0 896112813 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/15770/statm: 0 0 0 0 0 0 0
[pid=15782] ppid=15768 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/15782/stat : 15782 (coach) Z 15768 15768 15734 0 -1 4202524 3927 0 0 0 32 0 0 0 20 0 1 0 896121624 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15782/statm: 0 0 0 0 0 0 0
[pid=15884] ppid=15768 vsize=102708 CPUtime=1199.85 cores=0,2,4,6
/proc/15884/stat : 15884 (lingeling) R 15768 15768 15734 0 -1 4202496 362085 0 0 0 119937 48 0 0 25 0 1 0 896309039 105172992 25363 33554432000 134512640 134650204 4287496512 18446744073709551615 134630256 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/15884/statm: 25677 25363 112 34 0 25292 0
Current children cumulated CPU time (s) 3162.13
Current children cumulated vsize (KiB) 137104
[startup+3222.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/334 15921
/proc/meminfo: memFree=23789072/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=34396 CPUtime=1873.87 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 3812 1063661 0 0 2 1 187172 212 18 0 1 0 896112799 35221504 1408 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020395776 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/15768/statm: 8599 1408 468 364 0 933 0
[pid=15770] ppid=15768 vsize=0 CPUtime=88.09 cores=0,2,4,6
/proc/15770/stat : 15770 (features) Z 15768 15768 15734 0 -1 4202524 39527 0 0 0 8778 31 0 0 25 0 1 0 896112813 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/15770/statm: 0 0 0 0 0 0 0
[pid=15782] ppid=15768 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/15782/stat : 15782 (coach) Z 15768 15768 15734 0 -1 4202524 3927 0 0 0 32 0 0 0 20 0 1 0 896121624 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15782/statm: 0 0 0 0 0 0 0
[pid=15884] ppid=15768 vsize=102716 CPUtime=1259.85 cores=0,2,4,6
/proc/15884/stat : 15884 (lingeling) R 15768 15768 15734 0 -1 4202496 375062 0 0 0 125935 50 0 0 25 0 1 0 896309039 105181184 25365 33554432000 134512640 134650204 4287496512 18446744073709551615 134546666 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/15884/statm: 25679 25365 112 34 0 25294 0
Current children cumulated CPU time (s) 3222.13
Current children cumulated vsize (KiB) 137112
[startup+3282.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/334 15923
/proc/meminfo: memFree=23787764/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=34396 CPUtime=1873.87 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 3812 1063661 0 0 2 1 187172 212 18 0 1 0 896112799 35221504 1408 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020395776 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/15768/statm: 8599 1408 468 364 0 933 0
[pid=15770] ppid=15768 vsize=0 CPUtime=88.09 cores=0,2,4,6
/proc/15770/stat : 15770 (features) Z 15768 15768 15734 0 -1 4202524 39527 0 0 0 8778 31 0 0 25 0 1 0 896112813 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/15770/statm: 0 0 0 0 0 0 0
[pid=15782] ppid=15768 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/15782/stat : 15782 (coach) Z 15768 15768 15734 0 -1 4202524 3927 0 0 0 32 0 0 0 20 0 1 0 896121624 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15782/statm: 0 0 0 0 0 0 0
[pid=15884] ppid=15768 vsize=98044 CPUtime=1319.87 cores=0,2,4,6
/proc/15884/stat : 15884 (lingeling) R 15768 15768 15734 0 -1 4202496 379942 0 0 0 131936 51 0 0 25 0 1 0 896309039 100397056 24197 33554432000 134512640 134650204 4287496512 18446744073709551615 134631192 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/15884/statm: 24511 24197 112 34 0 24126 0
Current children cumulated CPU time (s) 3282.15
Current children cumulated vsize (KiB) 132440
Solver just ended. Dumping a history of the last processes samples
[startup+3283.1 s]
/proc/loadavg: 2.00 2.01 1.92 3/334 15923
/proc/meminfo: memFree=23787764/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=34396 CPUtime=1873.87 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 3812 1063661 0 0 2 1 187172 212 18 0 1 0 896112799 35221504 1408 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020395776 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/15768/statm: 8599 1408 468 364 0 933 0
[pid=15770] ppid=15768 vsize=0 CPUtime=88.09 cores=0,2,4,6
/proc/15770/stat : 15770 (features) Z 15768 15768 15734 0 -1 4202524 39527 0 0 0 8778 31 0 0 25 0 1 0 896112813 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/15770/statm: 0 0 0 0 0 0 0
[pid=15782] ppid=15768 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/15782/stat : 15782 (coach) Z 15768 15768 15734 0 -1 4202524 3927 0 0 0 32 0 0 0 20 0 1 0 896121624 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15782/statm: 0 0 0 0 0 0 0
[pid=15884] ppid=15768 vsize=98044 CPUtime=1320.66 cores=0,2,4,6
/proc/15884/stat : 15884 (lingeling) R 15768 15768 15734 0 -1 4202496 379942 0 0 0 132015 51 0 0 25 0 1 0 896309039 100397056 24197 33554432000 134512640 134650204 4287496512 18446744073709551615 134586252 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/15884/statm: 24511 24197 112 34 0 24126 0
Current children cumulated CPU time (s) 3282.94
Current children cumulated vsize (KiB) 132440
[startup+3289.5 s]
/proc/loadavg: 2.00 2.01 1.92 3/334 15923
/proc/meminfo: memFree=23782176/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=34396 CPUtime=1873.87 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 3812 1063661 0 0 2 1 187172 212 18 0 1 0 896112799 35221504 1408 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020395776 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/15768/statm: 8599 1408 468 364 0 933 0
[pid=15770] ppid=15768 vsize=0 CPUtime=88.09 cores=0,2,4,6
/proc/15770/stat : 15770 (features) Z 15768 15768 15734 0 -1 4202524 39527 0 0 0 8778 31 0 0 25 0 1 0 896112813 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/15770/statm: 0 0 0 0 0 0 0
[pid=15782] ppid=15768 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/15782/stat : 15782 (coach) Z 15768 15768 15734 0 -1 4202524 3927 0 0 0 32 0 0 0 20 0 1 0 896121624 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15782/statm: 0 0 0 0 0 0 0
[pid=15884] ppid=15768 vsize=102380 CPUtime=1327.05 cores=0,2,4,6
/proc/15884/stat : 15884 (lingeling) R 15768 15768 15734 0 -1 4202496 381318 0 0 0 132654 51 0 0 25 0 1 0 896309039 104837120 25281 33554432000 134512640 134650204 4287496512 18446744073709551615 134585457 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/15884/statm: 25595 25281 112 34 0 25210 0
Current children cumulated CPU time (s) 3289.33
Current children cumulated vsize (KiB) 136776
[startup+3292.7 s]
/proc/loadavg: 2.00 2.01 1.92 3/334 15923
/proc/meminfo: memFree=23777092/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=34396 CPUtime=1873.87 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 3812 1063661 0 0 2 1 187172 212 18 0 1 0 896112799 35221504 1408 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020395776 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/15768/statm: 8599 1408 468 364 0 933 0
[pid=15770] ppid=15768 vsize=0 CPUtime=88.09 cores=0,2,4,6
/proc/15770/stat : 15770 (features) Z 15768 15768 15734 0 -1 4202524 39527 0 0 0 8778 31 0 0 25 0 1 0 896112813 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/15770/statm: 0 0 0 0 0 0 0
[pid=15782] ppid=15768 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/15782/stat : 15782 (coach) Z 15768 15768 15734 0 -1 4202524 3927 0 0 0 32 0 0 0 20 0 1 0 896121624 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15782/statm: 0 0 0 0 0 0 0
[pid=15884] ppid=15768 vsize=104428 CPUtime=1330.25 cores=0,2,4,6
/proc/15884/stat : 15884 (lingeling) R 15768 15768 15734 0 -1 4202496 381830 0 0 0 132974 51 0 0 25 0 1 0 896309039 106934272 25793 33554432000 134512640 134650204 4287496512 18446744073709551615 134585448 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/15884/statm: 26107 25793 112 34 0 25722 0
Current children cumulated CPU time (s) 3292.53
Current children cumulated vsize (KiB) 138824
[startup+3293.5 s]
/proc/loadavg: 2.00 2.01 1.92 3/334 15923
/proc/meminfo: memFree=23773992/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=34396 CPUtime=1873.87 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 3812 1063661 0 0 2 1 187172 212 18 0 1 0 896112799 35221504 1408 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020395776 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/15768/statm: 8599 1408 468 364 0 933 0
[pid=15770] ppid=15768 vsize=0 CPUtime=88.09 cores=0,2,4,6
/proc/15770/stat : 15770 (features) Z 15768 15768 15734 0 -1 4202524 39527 0 0 0 8778 31 0 0 25 0 1 0 896112813 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/15770/statm: 0 0 0 0 0 0 0
[pid=15782] ppid=15768 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/15782/stat : 15782 (coach) Z 15768 15768 15734 0 -1 4202524 3927 0 0 0 32 0 0 0 20 0 1 0 896121624 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15782/statm: 0 0 0 0 0 0 0
[pid=15884] ppid=15768 vsize=104428 CPUtime=1331.05 cores=0,2,4,6
/proc/15884/stat : 15884 (lingeling) R 15768 15768 15734 0 -1 4202496 381830 0 0 0 133054 51 0 0 25 0 1 0 896309039 106934272 25793 33554432000 134512640 134650204 4287496512 18446744073709551615 134630267 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/15884/statm: 26107 25793 112 34 0 25722 0
Current children cumulated CPU time (s) 3293.33
Current children cumulated vsize (KiB) 138824
[startup+3294.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/334 15923
/proc/meminfo: memFree=23773992/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=34396 CPUtime=1873.87 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 3812 1063661 0 0 2 1 187172 212 18 0 1 0 896112799 35221504 1408 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020395776 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/15768/statm: 8599 1408 468 364 0 933 0
[pid=15770] ppid=15768 vsize=0 CPUtime=88.09 cores=0,2,4,6
/proc/15770/stat : 15770 (features) Z 15768 15768 15734 0 -1 4202524 39527 0 0 0 8778 31 0 0 25 0 1 0 896112813 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/15770/statm: 0 0 0 0 0 0 0
[pid=15782] ppid=15768 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/15782/stat : 15782 (coach) Z 15768 15768 15734 0 -1 4202524 3927 0 0 0 32 0 0 0 20 0 1 0 896121624 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15782/statm: 0 0 0 0 0 0 0
[pid=15884] ppid=15768 vsize=104428 CPUtime=1331.85 cores=0,2,4,6
/proc/15884/stat : 15884 (lingeling) R 15768 15768 15734 0 -1 4202496 381830 0 0 0 133134 51 0 0 25 0 1 0 896309039 106934272 25793 33554432000 134512640 134650204 4287496512 18446744073709551615 134583628 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/15884/statm: 26107 25793 112 34 0 25722 0
Current children cumulated CPU time (s) 3294.13
Current children cumulated vsize (KiB) 138824
[startup+3294.7 s]
/proc/loadavg: 2.00 2.01 1.92 3/334 15923
/proc/meminfo: memFree=23769900/32951124 swapFree=67056304/67111528
[pid=15768] ppid=15766 vsize=34396 CPUtime=1873.87 cores=0,2,4,6
/proc/15768/stat : 15768 (python) S 15766 15768 15734 0 -1 4202496 3812 1063661 0 0 2 1 187172 212 18 0 1 0 896112799 35221504 1408 33554432000 4194304 5683644 140735113251024 18446744073709551615 260020395776 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/15768/statm: 8599 1408 468 364 0 933 0
[pid=15770] ppid=15768 vsize=0 CPUtime=88.09 cores=0,2,4,6
/proc/15770/stat : 15770 (features) Z 15768 15768 15734 0 -1 4202524 39527 0 0 0 8778 31 0 0 25 0 1 0 896112813 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/15770/statm: 0 0 0 0 0 0 0
[pid=15782] ppid=15768 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/15782/stat : 15782 (coach) Z 15768 15768 15734 0 -1 4202524 3927 0 0 0 32 0 0 0 20 0 1 0 896121624 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15782/statm: 0 0 0 0 0 0 0
[pid=15884] ppid=15768 vsize=104940 CPUtime=1332.25 cores=0,2,4,6
/proc/15884/stat : 15884 (lingeling) R 15768 15768 15734 0 -1 4202496 381958 0 0 0 133174 51 0 0 25 0 1 0 896309039 107458560 25921 33554432000 134512640 134650204 4287496512 18446744073709551615 134630830 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/15884/statm: 26235 25921 112 34 0 25850 0
Current children cumulated CPU time (s) 3294.53
Current children cumulated vsize (KiB) 139336
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15768 and gives
# childrusage.ru_utime.tv_sec=1959
# childrusage.ru_utime.tv_usec=871054
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=465625
# CPU time returned by wait4() is 1962.34
# while last known CPU time is 3294.53
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 3294.75
CPU time (s): 3294.53
CPU user time (s): 3291.58
CPU system time (s): 2.95
CPU usage (%): 99.9934
Max. virtual memory (cumulated for all children) (KiB): 1658724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1959.87
system time used= 2.46563
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1111521
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= 327
involuntary context switches= 1913
runsolver used 11.5902 second user time and 23.5214 second system time
The end