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-3449949-1307058811/watcher-3449949-1307058811 -o /tmp/evaluation-result-3449949-1307058811/solver-3449949-1307058811 -C 5000 -W 5100 -M 15500 python portfolio_solver.py -t 5000 -s 1419178275 HOME/instance-3449949-1307058811.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.00 0.00 0.18 2/521 11635
/proc/meminfo: memFree=24023420/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/11635/stat : 11635 (python) R 11633 11635 11603 0 -1 4202496 727 0 0 0 0 0 0 0 17 0 1 0 817478867 15548416 617 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905729024 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/11635/statm: 3796 617 322 364 0 283 0

[startup+0.0811719 s]
/proc/loadavg: 0.00 0.00 0.18 2/521 11635
/proc/meminfo: memFree=24023420/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=21896 CPUtime=0.02 cores=0,2,4,6
/proc/11635/stat : 11635 (python) S 11633 11635 11603 0 -1 4202496 1517 0 0 0 2 0 0 0 17 0 1 0 817478867 22421504 1350 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/11635/statm: 5474 1350 443 364 0 929 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21896

[startup+0.101163 s]
/proc/loadavg: 0.00 0.00 0.18 2/521 11635
/proc/meminfo: memFree=24023420/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=21896 CPUtime=0.02 cores=0,2,4,6
/proc/11635/stat : 11635 (python) S 11633 11635 11603 0 -1 4202496 1517 0 0 0 2 0 0 0 17 0 1 0 817478867 22421504 1350 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/11635/statm: 5474 1350 443 364 0 929 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21896

[startup+0.301114 s]
/proc/loadavg: 0.00 0.00 0.18 2/521 11635
/proc/meminfo: memFree=24023420/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=21896 CPUtime=0.02 cores=0,2,4,6
/proc/11635/stat : 11635 (python) S 11633 11635 11603 0 -1 4202496 1517 0 0 0 2 0 0 0 17 0 1 0 817478867 22421504 1350 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/11635/statm: 5474 1350 443 364 0 929 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21896

[startup+0.70105 s]
/proc/loadavg: 0.00 0.00 0.18 2/521 11635
/proc/meminfo: memFree=24023420/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=21896 CPUtime=0.02 cores=0,2,4,6
/proc/11635/stat : 11635 (python) S 11633 11635 11603 0 -1 4202496 1517 0 0 0 2 0 0 0 17 0 1 0 817478867 22421504 1350 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/11635/statm: 5474 1350 443 364 0 929 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21896

[startup+1.50093 s]
/proc/loadavg: 0.16 0.03 0.19 3/527 11644
/proc/meminfo: memFree=23963112/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=21896 CPUtime=0.02 cores=0,2,4,6
/proc/11635/stat : 11635 (python) S 11633 11635 11603 0 -1 4202496 1517 0 0 0 2 0 0 0 17 0 1 0 817478867 22421504 1350 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/11635/statm: 5474 1350 443 364 0 929 0
[pid=11637] ppid=11635 vsize=8364 CPUtime=1.44 cores=0,2,4,6
/proc/11637/stat : 11637 (features) R 11635 11635 11603 0 -1 4202496 2619 0 0 0 143 1 0 0 21 0 1 0 817478872 8564736 1501 33554432000 134512640 135907751 4292625616 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/11637/statm: 2091 1501 111 341 0 1747 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30260

[startup+3.10066 s]
/proc/loadavg: 0.16 0.03 0.19 3/527 11645
/proc/meminfo: memFree=23964724/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=21896 CPUtime=0.02 cores=0,2,4,6
/proc/11635/stat : 11635 (python) S 11633 11635 11603 0 -1 4202496 1517 0 0 0 2 0 0 0 17 0 1 0 817478867 22421504 1350 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/11635/statm: 5474 1350 443 364 0 929 0
[pid=11637] ppid=11635 vsize=15124 CPUtime=3.03 cores=0,2,4,6
/proc/11637/stat : 11637 (features) R 11635 11635 11603 0 -1 4202496 5291 0 0 0 300 3 0 0 25 0 1 0 817478872 15486976 3268 33554432000 134512640 135907751 4292625616 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/11637/statm: 3781 3268 112 341 0 3437 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 37020

[startup+6.30107 s]
/proc/loadavg: 0.16 0.03 0.19 3/527 11645
/proc/meminfo: memFree=23886672/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=21896 CPUtime=0.02 cores=0,2,4,6
/proc/11635/stat : 11635 (python) S 11633 11635 11603 0 -1 4202496 1517 0 0 0 2 0 0 0 17 0 1 0 817478867 22421504 1350 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/11635/statm: 5474 1350 443 364 0 929 0
[pid=11637] ppid=11635 vsize=12688 CPUtime=6.23 cores=0,2,4,6
/proc/11637/stat : 11637 (features) R 11635 11635 11603 0 -1 4202496 5726 0 0 0 619 4 0 0 25 0 1 0 817478872 12992512 2195 33554432000 134512640 135907751 4292625616 18446744073709551615 134518619 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/11637/statm: 3172 2195 112 341 0 2828 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 34584

[startup+12.7009 s]
/proc/loadavg: 0.44 0.10 0.21 3/527 11645
/proc/meminfo: memFree=23890540/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=21896 CPUtime=0.02 cores=0,2,4,6
/proc/11635/stat : 11635 (python) S 11633 11635 11603 0 -1 4202496 1517 0 0 0 2 0 0 0 17 0 1 0 817478867 22421504 1350 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/11635/statm: 5474 1350 443 364 0 929 0
[pid=11637] ppid=11635 vsize=12688 CPUtime=12.63 cores=0,2,4,6
/proc/11637/stat : 11637 (features) R 11635 11635 11603 0 -1 4202496 5769 0 0 0 1259 4 0 0 25 0 1 0 817478872 12992512 2238 33554432000 134512640 135907751 4292625616 18446744073709551615 134518414 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/11637/statm: 3172 2238 112 341 0 2828 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 34584

[startup+25.5006 s]
/proc/loadavg: 0.76 0.18 0.23 3/530 11648
/proc/meminfo: memFree=23815892/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=34396 CPUtime=0.03 cores=0,2,4,6
/proc/11635/stat : 11635 (python) S 11633 11635 11603 0 -1 4202496 2168 0 0 0 2 1 0 0 18 0 1 0 817478867 35221504 1408 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/11635/statm: 8599 1408 468 364 0 933 0
[pid=11637] ppid=11635 vsize=0 CPUtime=17.47 cores=0,2,4,6
/proc/11637/stat : 11637 (features) Z 11635 11635 11603 0 -1 4202524 6367 0 0 0 1743 4 0 0 25 0 1 0 817478872 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11637/statm: 0 0 0 0 0 0 0
[pid=11646] ppid=11635 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/11646/stat : 11646 (coach) Z 11635 11635 11603 0 -1 4202524 3928 0 0 0 32 0 0 0 18 0 1 0 817480620 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11646/statm: 0 0 0 0 0 0 0
[pid=11647] ppid=11635 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11647/stat : 11647 (timerun) S 11635 11635 11603 0 -1 4202496 754 0 0 0 0 0 0 0 17 0 1 0 817480655 8908800 247 33554432000 4194304 4922060 140736393490112 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11647/statm: 2175 247 208 178 0 68 0
[pid=11648] ppid=11647 vsize=111340 CPUtime=7.6 cores=0,2,4,6
/proc/11648/stat : 11648 (cryptominisat) R 11647 11635 11603 0 -1 4202496 24983 0 0 0 756 4 0 0 25 0 1 0 817480655 114012160 21500 33554432000 134512640 134994940 4288038960 18446744073709551615 134640716 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11648/statm: 27835 21500 357 118 0 27020 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 154436

[startup+51.101 s]
/proc/loadavg: 1.18 0.32 0.28 3/530 11653
/proc/meminfo: memFree=23879272/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=34396 CPUtime=25.03 cores=0,2,4,6
/proc/11635/stat : 11635 (python) S 11633 11635 11603 0 -1 4202496 2477 42426 0 0 2 1 2493 7 18 0 1 0 817478867 35221504 1411 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/11635/statm: 8599 1411 468 364 0 933 0
[pid=11637] ppid=11635 vsize=0 CPUtime=17.47 cores=0,2,4,6
/proc/11637/stat : 11637 (features) Z 11635 11635 11603 0 -1 4202524 6367 0 0 0 1743 4 0 0 25 0 1 0 817478872 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11637/statm: 0 0 0 0 0 0 0
[pid=11646] ppid=11635 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/11646/stat : 11646 (coach) Z 11635 11635 11603 0 -1 4202524 3928 0 0 0 32 0 0 0 18 0 1 0 817480620 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11646/statm: 0 0 0 0 0 0 0
[pid=11652] ppid=11635 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11652/stat : 11652 (timerun) S 11635 11635 11603 0 -1 4202496 744 0 0 0 0 0 0 0 19 0 1 0 817483157 8908800 247 33554432000 4194304 4922060 140736953258256 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11652/statm: 2175 247 208 178 0 68 0
[pid=11653] ppid=11652 vsize=20888 CPUtime=8.19 cores=0,2,4,6
/proc/11653/stat : 11653 (precosat) R 11652 11635 11603 0 -1 4202496 6044 0 0 0 819 0 0 0 25 0 1 0 817483157 21389312 4956 33554432000 134512640 135142049 4292026416 18446744073709551615 134547150 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/11653/statm: 5222 4956 82 154 0 5066 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 63984

[startup+102.32 s]
/proc/loadavg: 1.67 0.60 0.38 3/533 11659
/proc/meminfo: memFree=23873176/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=34396 CPUtime=25.03 cores=0,2,4,6
/proc/11635/stat : 11635 (python) S 11633 11635 11603 0 -1 4202496 2477 42426 0 0 2 1 2493 7 18 0 1 0 817478867 35221504 1411 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/11635/statm: 8599 1411 468 364 0 933 0
[pid=11637] ppid=11635 vsize=0 CPUtime=17.47 cores=0,2,4,6
/proc/11637/stat : 11637 (features) Z 11635 11635 11603 0 -1 4202524 6367 0 0 0 1743 4 0 0 25 0 1 0 817478872 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11637/statm: 0 0 0 0 0 0 0
[pid=11646] ppid=11635 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/11646/stat : 11646 (coach) Z 11635 11635 11603 0 -1 4202524 3928 0 0 0 32 0 0 0 18 0 1 0 817480620 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11646/statm: 0 0 0 0 0 0 0
[pid=11652] ppid=11635 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11652/stat : 11652 (timerun) S 11635 11635 11603 0 -1 4202496 744 0 0 0 0 0 0 0 19 0 1 0 817483157 8908800 247 33554432000 4194304 4922060 140736953258256 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11652/statm: 2175 247 208 178 0 68 0
[pid=11653] ppid=11652 vsize=29680 CPUtime=59.41 cores=0,2,4,6
/proc/11653/stat : 11653 (precosat) R 11652 11635 11603 0 -1 4202496 12480 0 0 0 5940 1 0 0 25 0 1 0 817483157 30392320 7160 33554432000 134512640 135142049 4292026416 18446744073709551615 134555752 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/11653/statm: 7420 7160 82 154 0 7264 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 72776

[startup+162.301 s]
/proc/loadavg: 1.88 0.85 0.47 3/530 11691
/proc/meminfo: memFree=23734768/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=34396 CPUtime=25.03 cores=0,2,4,6
/proc/11635/stat : 11635 (python) S 11633 11635 11603 0 -1 4202496 2477 42426 0 0 2 1 2493 7 18 0 1 0 817478867 35221504 1411 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/11635/statm: 8599 1411 468 364 0 933 0
[pid=11637] ppid=11635 vsize=0 CPUtime=17.47 cores=0,2,4,6
/proc/11637/stat : 11637 (features) Z 11635 11635 11603 0 -1 4202524 6367 0 0 0 1743 4 0 0 25 0 1 0 817478872 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11637/statm: 0 0 0 0 0 0 0
[pid=11646] ppid=11635 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/11646/stat : 11646 (coach) Z 11635 11635 11603 0 -1 4202524 3928 0 0 0 32 0 0 0 18 0 1 0 817480620 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11646/statm: 0 0 0 0 0 0 0
[pid=11652] ppid=11635 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11652/stat : 11652 (timerun) S 11635 11635 11603 0 -1 4202496 744 0 0 0 0 0 0 0 19 0 1 0 817483157 8908800 247 33554432000 4194304 4922060 140736953258256 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11652/statm: 2175 247 208 178 0 68 0
[pid=11653] ppid=11652 vsize=35740 CPUtime=119.39 cores=0,2,4,6
/proc/11653/stat : 11653 (precosat) R 11652 11635 11603 0 -1 4202496 17125 0 0 0 11937 2 0 0 25 0 1 0 817483157 36597760 8677 33554432000 134512640 135142049 4292026416 18446744073709551615 134599565 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/11653/statm: 8935 8677 82 154 0 8779 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 78836

[startup+222.301 s]
/proc/loadavg: 1.95 1.06 0.57 3/533 11697
/proc/meminfo: memFree=23536884/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=34396 CPUtime=153.01 cores=0,2,4,6

################
# More data... #
################

/proc/11646/statm: 0 0 0 0 0 0 0
[pid=11721] ppid=11635 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11721/stat : 11721 (timerun) S 11635 11635 11603 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 817519712 8908800 247 33554432000 4194304 4922060 140733935415232 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11721/statm: 2175 247 208 178 0 68 0
[pid=11722] ppid=11721 vsize=79044 CPUtime=3369.72 cores=0,2,4,6
/proc/11722/stat : 11722 (precosat) R 11721 11635 11603 0 -1 4202496 47664 0 0 0 336915 57 0 0 25 0 1 0 817519712 80941056 19556 33554432000 134512640 135142049 4294908400 18446744073709551615 134555764 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/11722/statm: 19761 19556 82 154 0 19605 0
Current children cumulated CPU time (s) 3778.09
Current children cumulated vsize (KiB) 122140

[startup+3790.9 s]
/proc/loadavg: 2.18 2.07 2.00 3/533 11925
/proc/meminfo: memFree=20418144/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=34396 CPUtime=390.58 cores=0,2,4,6
/proc/11635/stat : 11635 (python) S 11633 11635 11603 0 -1 4202496 3653 155223 0 0 2 1 39025 30 18 0 1 0 817478867 35221504 1411 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/11635/statm: 8599 1411 468 364 0 933 0
[pid=11637] ppid=11635 vsize=0 CPUtime=17.47 cores=0,2,4,6
/proc/11637/stat : 11637 (features) Z 11635 11635 11603 0 -1 4202524 6367 0 0 0 1743 4 0 0 25 0 1 0 817478872 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11637/statm: 0 0 0 0 0 0 0
[pid=11646] ppid=11635 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/11646/stat : 11646 (coach) Z 11635 11635 11603 0 -1 4202524 3928 0 0 0 32 0 0 0 18 0 1 0 817480620 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11646/statm: 0 0 0 0 0 0 0
[pid=11721] ppid=11635 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11721/stat : 11721 (timerun) S 11635 11635 11603 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 817519712 8908800 247 33554432000 4194304 4922060 140733935415232 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11721/statm: 2175 247 208 178 0 68 0
[pid=11722] ppid=11721 vsize=79044 CPUtime=3382.52 cores=0,2,4,6
/proc/11722/stat : 11722 (precosat) R 11721 11635 11603 0 -1 4202496 47664 0 0 0 338195 57 0 0 25 0 1 0 817519712 80941056 19556 33554432000 134512640 135142049 4294908400 18446744073709551615 134555752 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/11722/statm: 19761 19556 82 154 0 19605 0
Current children cumulated CPU time (s) 3790.89
Current children cumulated vsize (KiB) 122140

[startup+3797.3 s]
/proc/loadavg: 2.16 2.07 2.00 3/533 11925
/proc/meminfo: memFree=20419260/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=34396 CPUtime=390.58 cores=0,2,4,6
/proc/11635/stat : 11635 (python) S 11633 11635 11603 0 -1 4202496 3653 155223 0 0 2 1 39025 30 18 0 1 0 817478867 35221504 1411 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/11635/statm: 8599 1411 468 364 0 933 0
[pid=11637] ppid=11635 vsize=0 CPUtime=17.47 cores=0,2,4,6
/proc/11637/stat : 11637 (features) Z 11635 11635 11603 0 -1 4202524 6367 0 0 0 1743 4 0 0 25 0 1 0 817478872 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11637/statm: 0 0 0 0 0 0 0
[pid=11646] ppid=11635 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/11646/stat : 11646 (coach) Z 11635 11635 11603 0 -1 4202524 3928 0 0 0 32 0 0 0 18 0 1 0 817480620 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11646/statm: 0 0 0 0 0 0 0
[pid=11721] ppid=11635 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11721/stat : 11721 (timerun) S 11635 11635 11603 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 817519712 8908800 247 33554432000 4194304 4922060 140733935415232 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11721/statm: 2175 247 208 178 0 68 0
[pid=11722] ppid=11721 vsize=79044 CPUtime=3388.92 cores=0,2,4,6
/proc/11722/stat : 11722 (precosat) R 11721 11635 11603 0 -1 4202496 47664 0 0 0 338835 57 0 0 25 0 1 0 817519712 80941056 19556 33554432000 134512640 135142049 4294908400 18446744073709551615 134555764 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/11722/statm: 19761 19556 82 154 0 19605 0
Current children cumulated CPU time (s) 3797.29
Current children cumulated vsize (KiB) 122140

[startup+3800.52 s]
/proc/loadavg: 2.15 2.07 2.00 3/533 11925
/proc/meminfo: memFree=20419260/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=34396 CPUtime=390.58 cores=0,2,4,6
/proc/11635/stat : 11635 (python) S 11633 11635 11603 0 -1 4202496 3653 155223 0 0 2 1 39025 30 18 0 1 0 817478867 35221504 1411 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/11635/statm: 8599 1411 468 364 0 933 0
[pid=11637] ppid=11635 vsize=0 CPUtime=17.47 cores=0,2,4,6
/proc/11637/stat : 11637 (features) Z 11635 11635 11603 0 -1 4202524 6367 0 0 0 1743 4 0 0 25 0 1 0 817478872 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11637/statm: 0 0 0 0 0 0 0
[pid=11646] ppid=11635 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/11646/stat : 11646 (coach) Z 11635 11635 11603 0 -1 4202524 3928 0 0 0 32 0 0 0 18 0 1 0 817480620 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11646/statm: 0 0 0 0 0 0 0
[pid=11721] ppid=11635 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11721/stat : 11721 (timerun) S 11635 11635 11603 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 817519712 8908800 247 33554432000 4194304 4922060 140733935415232 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11721/statm: 2175 247 208 178 0 68 0
[pid=11722] ppid=11721 vsize=79044 CPUtime=3392.14 cores=0,2,4,6
/proc/11722/stat : 11722 (precosat) R 11721 11635 11603 0 -1 4202496 47664 0 0 0 339157 57 0 0 25 0 1 0 817519712 80941056 19556 33554432000 134512640 135142049 4294908400 18446744073709551615 134555738 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/11722/statm: 19761 19556 82 154 0 19605 0
Current children cumulated CPU time (s) 3800.51
Current children cumulated vsize (KiB) 122140

[startup+3801.3 s]
/proc/loadavg: 2.15 2.07 2.00 3/533 11925
/proc/meminfo: memFree=20419260/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=34396 CPUtime=390.58 cores=0,2,4,6
/proc/11635/stat : 11635 (python) S 11633 11635 11603 0 -1 4202496 3653 155223 0 0 2 1 39025 30 18 0 1 0 817478867 35221504 1411 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/11635/statm: 8599 1411 468 364 0 933 0
[pid=11637] ppid=11635 vsize=0 CPUtime=17.47 cores=0,2,4,6
/proc/11637/stat : 11637 (features) Z 11635 11635 11603 0 -1 4202524 6367 0 0 0 1743 4 0 0 25 0 1 0 817478872 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11637/statm: 0 0 0 0 0 0 0
[pid=11646] ppid=11635 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/11646/stat : 11646 (coach) Z 11635 11635 11603 0 -1 4202524 3928 0 0 0 32 0 0 0 18 0 1 0 817480620 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11646/statm: 0 0 0 0 0 0 0
[pid=11721] ppid=11635 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11721/stat : 11721 (timerun) S 11635 11635 11603 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 817519712 8908800 247 33554432000 4194304 4922060 140733935415232 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11721/statm: 2175 247 208 178 0 68 0
[pid=11722] ppid=11721 vsize=79044 CPUtime=3392.92 cores=0,2,4,6
/proc/11722/stat : 11722 (precosat) R 11721 11635 11603 0 -1 4202496 47664 0 0 0 339235 57 0 0 25 0 1 0 817519712 80941056 19556 33554432000 134512640 135142049 4294908400 18446744073709551615 134555759 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/11722/statm: 19761 19556 82 154 0 19605 0
Current children cumulated CPU time (s) 3801.29
Current children cumulated vsize (KiB) 122140

[startup+3801.7 s]
/proc/loadavg: 2.15 2.07 2.00 3/533 11925
/proc/meminfo: memFree=20419260/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=34396 CPUtime=390.58 cores=0,2,4,6
/proc/11635/stat : 11635 (python) S 11633 11635 11603 0 -1 4202496 3653 155223 0 0 2 1 39025 30 18 0 1 0 817478867 35221504 1411 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/11635/statm: 8599 1411 468 364 0 933 0
[pid=11637] ppid=11635 vsize=0 CPUtime=17.47 cores=0,2,4,6
/proc/11637/stat : 11637 (features) Z 11635 11635 11603 0 -1 4202524 6367 0 0 0 1743 4 0 0 25 0 1 0 817478872 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11637/statm: 0 0 0 0 0 0 0
[pid=11646] ppid=11635 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/11646/stat : 11646 (coach) Z 11635 11635 11603 0 -1 4202524 3928 0 0 0 32 0 0 0 18 0 1 0 817480620 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11646/statm: 0 0 0 0 0 0 0
[pid=11721] ppid=11635 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11721/stat : 11721 (timerun) S 11635 11635 11603 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 817519712 8908800 247 33554432000 4194304 4922060 140733935415232 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11721/statm: 2175 247 208 178 0 68 0
[pid=11722] ppid=11721 vsize=79044 CPUtime=3393.32 cores=0,2,4,6
/proc/11722/stat : 11722 (precosat) R 11721 11635 11603 0 -1 4202496 47664 0 0 0 339275 57 0 0 25 0 1 0 817519712 80941056 19556 33554432000 134512640 135142049 4294908400 18446744073709551615 134556107 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/11722/statm: 19761 19556 82 154 0 19605 0
Current children cumulated CPU time (s) 3801.69
Current children cumulated vsize (KiB) 122140

[startup+3801.9 s]
/proc/loadavg: 2.15 2.07 2.00 3/533 11925
/proc/meminfo: memFree=20419260/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=34396 CPUtime=390.58 cores=0,2,4,6
/proc/11635/stat : 11635 (python) S 11633 11635 11603 0 -1 4202496 3653 155223 0 0 2 1 39025 30 18 0 1 0 817478867 35221504 1411 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/11635/statm: 8599 1411 468 364 0 933 0
[pid=11637] ppid=11635 vsize=0 CPUtime=17.47 cores=0,2,4,6
/proc/11637/stat : 11637 (features) Z 11635 11635 11603 0 -1 4202524 6367 0 0 0 1743 4 0 0 25 0 1 0 817478872 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11637/statm: 0 0 0 0 0 0 0
[pid=11646] ppid=11635 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/11646/stat : 11646 (coach) Z 11635 11635 11603 0 -1 4202524 3928 0 0 0 32 0 0 0 18 0 1 0 817480620 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11646/statm: 0 0 0 0 0 0 0
[pid=11721] ppid=11635 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11721/stat : 11721 (timerun) S 11635 11635 11603 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 817519712 8908800 247 33554432000 4194304 4922060 140733935415232 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11721/statm: 2175 247 208 178 0 68 0
[pid=11722] ppid=11721 vsize=79044 CPUtime=3393.52 cores=0,2,4,6
/proc/11722/stat : 11722 (precosat) R 11721 11635 11603 0 -1 4202496 47664 0 0 0 339295 57 0 0 25 0 1 0 817519712 80941056 19556 33554432000 134512640 135142049 4294908400 18446744073709551615 134550063 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/11722/statm: 19761 19556 82 154 0 19605 0
Current children cumulated CPU time (s) 3801.89
Current children cumulated vsize (KiB) 122140

[startup+3802 s]
/proc/loadavg: 2.15 2.07 2.00 3/533 11925
/proc/meminfo: memFree=20419260/32951124 swapFree=56930356/67111528
[pid=11635] ppid=11633 vsize=34396 CPUtime=390.58 cores=0,2,4,6
/proc/11635/stat : 11635 (python) S 11633 11635 11603 0 -1 4202496 3653 155223 0 0 2 1 39025 30 18 0 1 0 817478867 35221504 1411 33554432000 4194304 5683644 140733406644224 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/11635/statm: 8599 1411 468 364 0 933 0
[pid=11637] ppid=11635 vsize=0 CPUtime=17.47 cores=0,2,4,6
/proc/11637/stat : 11637 (features) Z 11635 11635 11603 0 -1 4202524 6367 0 0 0 1743 4 0 0 25 0 1 0 817478872 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11637/statm: 0 0 0 0 0 0 0
[pid=11646] ppid=11635 vsize=0 CPUtime=0.32 cores=0,2,4,6
/proc/11646/stat : 11646 (coach) Z 11635 11635 11603 0 -1 4202524 3928 0 0 0 32 0 0 0 18 0 1 0 817480620 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11646/statm: 0 0 0 0 0 0 0
[pid=11721] ppid=11635 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11721/stat : 11721 (timerun) S 11635 11635 11603 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 817519712 8908800 247 33554432000 4194304 4922060 140733935415232 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11721/statm: 2175 247 208 178 0 68 0
[pid=11722] ppid=11721 vsize=79044 CPUtime=3393.62 cores=0,2,4,6
/proc/11722/stat : 11722 (precosat) R 11721 11635 11603 0 -1 4202496 47664 0 0 0 339305 57 0 0 25 0 1 0 817519712 80941056 19556 33554432000 134512640 135142049 4294908400 18446744073709551615 134555875 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/11722/statm: 19761 19556 82 154 0 19605 0
Current children cumulated CPU time (s) 3801.99
Current children cumulated vsize (KiB) 122140

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11635 and gives
#  childrusage.ru_utime.tv_sec=408
#  childrusage.ru_utime.tv_usec=41968
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=379942
# CPU time returned by wait4() is 408.422
# while last known CPU time is 3801.99
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3802.07
CPU time (s): 3801.99
CPU user time (s): 3801.07
CPU system time (s): 0.92
CPU usage (%): 99.9979
Max. virtual memory (cumulated for all children) (KiB): 1071700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 408.042
system time used= 0.379942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169770
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= 477
involuntary context switches= 841

runsolver used 21.1018 second user time and 44.7662 second system time

The end