runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3219624-1303257692/watcher-3219624-1303257692 -o /tmp/evaluation-result-3219624-1303257692/solver-3219624-1303257692 -C 5000 -W 5000 -M 15500 python portfolio_solver.py -t 5000 -s 1884828235 HOME/instance-3219624-1303257692.cnf
running on 4 cores: 1,3,5,7
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): 5000 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: 1.92 1.98 1.99 2/181 25752
/proc/meminfo: memFree=13618048/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=15248 CPUtime=0 cores=1,3,5,7
/proc/25752/stat : 25752 (python) R 25750 25752 24973 0 -1 4202496 734 0 0 0 0 0 0 0 17 0 1 0 515999836 15613952 627 33554432000 4194304 5745468 140735276261392 18446744073709551615 4547741 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/25752/statm: 3811 626 333 379 0 284 0
[startup+0.0827719 s]
/proc/loadavg: 1.92 1.98 1.99 2/181 25752
/proc/meminfo: memFree=13618048/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=21956 CPUtime=0.01 cores=1,3,5,7
/proc/25752/stat : 25752 (python) S 25750 25752 24973 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 515999836 22482944 1367 33554432000 4194304 5745468 140735276261392 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/25752/statm: 5489 1367 463 379 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21956
[startup+0.100767 s]
/proc/loadavg: 1.92 1.98 1.99 2/181 25752
/proc/meminfo: memFree=13618048/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=21956 CPUtime=0.01 cores=1,3,5,7
/proc/25752/stat : 25752 (python) S 25750 25752 24973 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 515999836 22482944 1367 33554432000 4194304 5745468 140735276261392 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/25752/statm: 5489 1367 463 379 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21956
[startup+0.300728 s]
/proc/loadavg: 1.92 1.98 1.99 2/181 25752
/proc/meminfo: memFree=13618048/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=21956 CPUtime=0.01 cores=1,3,5,7
/proc/25752/stat : 25752 (python) S 25750 25752 24973 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 515999836 22482944 1367 33554432000 4194304 5745468 140735276261392 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/25752/statm: 5489 1367 463 379 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21956
[startup+0.700659 s]
/proc/loadavg: 1.92 1.98 1.99 2/181 25752
/proc/meminfo: memFree=13618048/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=21956 CPUtime=0.01 cores=1,3,5,7
/proc/25752/stat : 25752 (python) S 25750 25752 24973 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 515999836 22482944 1367 33554432000 4194304 5745468 140735276261392 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/25752/statm: 5489 1367 463 379 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21956
[startup+1.50052 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 25754
/proc/meminfo: memFree=13606376/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=21956 CPUtime=0.01 cores=1,3,5,7
/proc/25752/stat : 25752 (python) S 25750 25752 24973 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 515999836 22482944 1367 33554432000 4194304 5745468 140735276261392 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/25752/statm: 5489 1367 463 379 0 930 0
[pid=25754] ppid=25752 vsize=8364 CPUtime=1.45 cores=1,3,5,7
/proc/25754/stat : 25754 (features) R 25752 25752 24973 0 -1 4202496 2646 0 0 0 143 2 0 0 21 0 1 0 515999839 8564736 1530 33554432000 134512640 135907751 4288567056 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/25754/statm: 2091 1530 111 341 0 1747 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30320
[startup+3.10024 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 25754
/proc/meminfo: memFree=13607864/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=21956 CPUtime=0.01 cores=1,3,5,7
/proc/25752/stat : 25752 (python) S 25750 25752 24973 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 515999836 22482944 1367 33554432000 4194304 5745468 140735276261392 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/25752/statm: 5489 1367 463 379 0 930 0
[pid=25754] ppid=25752 vsize=4844 CPUtime=3.05 cores=1,3,5,7
/proc/25754/stat : 25754 (features) R 25752 25752 24973 0 -1 4202496 2914 0 0 0 299 6 0 0 25 0 1 0 515999839 4960256 893 33554432000 134512640 135907751 4288567056 18446744073709551615 134518651 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/25754/statm: 1211 893 112 341 0 867 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 26800
[startup+6.30067 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 25754
/proc/meminfo: memFree=13610024/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=21956 CPUtime=0.01 cores=1,3,5,7
/proc/25752/stat : 25752 (python) S 25750 25752 24973 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 515999836 22482944 1367 33554432000 4194304 5745468 140735276261392 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/25752/statm: 5489 1367 463 379 0 930 0
[pid=25754] ppid=25752 vsize=4844 CPUtime=6.25 cores=1,3,5,7
/proc/25754/stat : 25754 (features) R 25752 25752 24973 0 -1 4202496 2914 0 0 0 619 6 0 0 25 0 1 0 515999839 4960256 893 33554432000 134512640 135907751 4288567056 18446744073709551615 134524736 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/25754/statm: 1211 893 112 341 0 867 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 26800
[startup+12.7005 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 25754
/proc/meminfo: memFree=13610040/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=21956 CPUtime=0.01 cores=1,3,5,7
/proc/25752/stat : 25752 (python) S 25750 25752 24973 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 515999836 22482944 1367 33554432000 4194304 5745468 140735276261392 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/25752/statm: 5489 1367 463 379 0 930 0
[pid=25754] ppid=25752 vsize=4844 CPUtime=12.65 cores=1,3,5,7
/proc/25754/stat : 25754 (features) R 25752 25752 24973 0 -1 4202496 2914 0 0 0 1259 6 0 0 25 0 1 0 515999839 4960256 893 33554432000 134512640 135907751 4288567056 18446744073709551615 134518674 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/25754/statm: 1211 893 112 341 0 867 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 26800
[startup+25.5013 s]
/proc/loadavg: 1.95 1.98 1.99 3/186 25757
/proc/meminfo: memFree=13584996/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=34456 CPUtime=0.03 cores=1,3,5,7
/proc/25752/stat : 25752 (python) S 25750 25752 24973 0 -1 4202496 2177 0 0 0 2 1 0 0 18 0 1 0 515999836 35282944 1427 33554432000 4194304 5745468 140735276261392 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/25752/statm: 8614 1427 488 379 0 934 0
[pid=25754] ppid=25752 vsize=0 CPUtime=13.17 cores=1,3,5,7
/proc/25754/stat : 25754 (features) Z 25752 25752 24973 0 -1 4202524 2928 0 0 0 1311 6 0 0 25 0 1 0 515999839 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25754/statm: 0 0 0 0 0 0 0
[pid=25755] ppid=25752 vsize=0 CPUtime=0.33 cores=1,3,5,7
/proc/25755/stat : 25755 (coach) Z 25752 25752 24973 0 -1 4202524 3928 0 0 0 32 1 0 0 18 0 1 0 516001157 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25755/statm: 0 0 0 0 0 0 0
[pid=25756] ppid=25752 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25756/stat : 25756 (timerun) S 25752 25752 24973 0 -1 4202496 752 0 0 0 0 0 0 0 17 0 1 0 516001192 8908800 248 33554432000 4194304 4922060 140736057507408 18446744073709551615 218880384133 0 65536 16781316 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/25756/statm: 2175 248 208 178 0 68 0
[pid=25757] ppid=25756 vsize=37188 CPUtime=11.93 cores=1,3,5,7
/proc/25757/stat : 25757 (cryptominisat) R 25756 25752 24973 0 -1 4202496 21423 0 0 0 1190 3 0 0 25 0 1 0 516001192 38080512 7382 33554432000 134512640 134994940 4292391376 18446744073709551615 134798360 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/25757/statm: 9297 7382 357 118 0 8482 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 80344
[startup+51.1008 s]
/proc/loadavg: 1.96 1.98 1.99 3/186 25762
/proc/meminfo: memFree=13596656/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=34456 CPUtime=25.02 cores=1,3,5,7
/proc/25752/stat : 25752 (python) S 25750 25752 24973 0 -1 4202496 2481 32552 0 0 2 1 2494 5 18 0 1 0 515999836 35282944 1429 33554432000 4194304 5745468 140735276261392 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/25752/statm: 8614 1429 488 379 0 934 0
[pid=25754] ppid=25752 vsize=0 CPUtime=13.17 cores=1,3,5,7
/proc/25754/stat : 25754 (features) Z 25752 25752 24973 0 -1 4202524 2928 0 0 0 1311 6 0 0 25 0 1 0 515999839 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25754/statm: 0 0 0 0 0 0 0
[pid=25755] ppid=25752 vsize=0 CPUtime=0.33 cores=1,3,5,7
/proc/25755/stat : 25755 (coach) Z 25752 25752 24973 0 -1 4202524 3928 0 0 0 32 1 0 0 18 0 1 0 516001157 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25755/statm: 0 0 0 0 0 0 0
[pid=25761] ppid=25752 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25761/stat : 25761 (timerun) S 25752 25752 24973 0 -1 4202496 751 0 0 0 0 0 0 0 19 0 1 0 516003692 8908800 247 33554432000 4194304 4922060 140734080459744 18446744073709551615 218880384133 0 65536 16781316 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/25761/statm: 2175 247 208 178 0 68 0
[pid=25762] ppid=25761 vsize=17284 CPUtime=12.52 cores=1,3,5,7
/proc/25762/stat : 25762 (precosat) R 25761 25752 24973 0 -1 4202496 4240 0 0 0 1252 0 0 0 25 0 1 0 516003693 17698816 4195 33554432000 134512640 135142049 4287487968 18446744073709551615 134556438 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/25762/statm: 4321 4195 80 154 0 4165 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 60440
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/186 25763
/proc/meminfo: memFree=13582088/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=34456 CPUtime=25.02 cores=1,3,5,7
/proc/25752/stat : 25752 (python) S 25750 25752 24973 0 -1 4202496 2481 32552 0 0 2 1 2494 5 18 0 1 0 515999836 35282944 1429 33554432000 4194304 5745468 140735276261392 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/25752/statm: 8614 1429 488 379 0 934 0
[pid=25754] ppid=25752 vsize=0 CPUtime=13.17 cores=1,3,5,7
/proc/25754/stat : 25754 (features) Z 25752 25752 24973 0 -1 4202524 2928 0 0 0 1311 6 0 0 25 0 1 0 515999839 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25754/statm: 0 0 0 0 0 0 0
[pid=25755] ppid=25752 vsize=0 CPUtime=0.33 cores=1,3,5,7
/proc/25755/stat : 25755 (coach) Z 25752 25752 24973 0 -1 4202524 3928 0 0 0 32 1 0 0 18 0 1 0 516001157 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25755/statm: 0 0 0 0 0 0 0
[pid=25761] ppid=25752 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25761/stat : 25761 (timerun) S 25752 25752 24973 0 -1 4202496 751 0 0 0 0 0 0 0 19 0 1 0 516003692 8908800 247 33554432000 4194304 4922060 140734080459744 18446744073709551615 218880384133 0 65536 16781316 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/25761/statm: 2175 247 208 178 0 68 0
[pid=25762] ppid=25761 vsize=31680 CPUtime=63.72 cores=1,3,5,7
/proc/25762/stat : 25762 (precosat) R 25761 25752 24973 0 -1 4202496 7842 0 0 0 6372 0 0 0 25 0 1 0 516003693 32440320 7797 33554432000 134512640 135142049 4287487968 18446744073709551615 134556196 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/25762/statm: 7920 7797 80 154 0 7764 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 74836
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/186 25765
/proc/meminfo: memFree=13575856/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=34456 CPUtime=25.02 cores=1,3,5,7
/proc/25752/stat : 25752 (python) S 25750 25752 24973 0 -1 4202496 2481 32552 0 0 2 1 2494 5 18 0 1 0 515999836 35282944 1429 33554432000 4194304 5745468 140735276261392 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/25752/statm: 8614 1429 488 379 0 934 0
[pid=25754] ppid=25752 vsize=0 CPUtime=13.17 cores=1,3,5,7
/proc/25754/stat : 25754 (features) Z 25752 25752 24973 0 -1 4202524 2928 0 0 0 1311 6 0 0 25 0 1 0 515999839 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25754/statm: 0 0 0 0 0 0 0
[pid=25755] ppid=25752 vsize=0 CPUtime=0.33 cores=1,3,5,7
/proc/25755/stat : 25755 (coach) Z 25752 25752 24973 0 -1 4202524 3928 0 0 0 32 1 0 0 18 0 1 0 516001157 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25755/statm: 0 0 0 0 0 0 0
[pid=25761] ppid=25752 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25761/stat : 25761 (timerun) S 25752 25752 24973 0 -1 4202496 751 0 0 0 0 0 0 0 19 0 1 0 516003692 8908800 247 33554432000 4194304 4922060 140734080459744 18446744073709551615 218880384133 0 65536 16781316 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/25761/statm: 2175 247 208 178 0 68 0
[pid=25762] ppid=25761 vsize=37868 CPUtime=123.72 cores=1,3,5,7
/proc/25762/stat : 25762 (precosat) R 25761 25752 24973 0 -1 4202496 9391 0 0 0 12371 1 0 0 25 0 1 0 516003693 38776832 9346 33554432000 134512640 135142049 4287487968 18446744073709551615 134553578 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/25762/statm: 9467 9346 80 154 0 9311 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 81024
[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/186 25769
/proc/meminfo: memFree=13598268/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=34456 CPUtime=153.01 cores=1,3,5,7
################
# More data... #
################
/proc/25755/statm: 0 0 0 0 0 0 0
[pid=25787] ppid=25752 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25787/stat : 25787 (timerun) S 25752 25752 24973 0 -1 4202496 751 0 0 0 0 0 0 0 19 0 1 0 516043590 8908800 248 33554432000 4194304 4922060 140737116002080 18446744073709551615 218880384133 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25787/statm: 2175 248 208 178 0 68 0
[pid=25788] ppid=25787 vsize=414780 CPUtime=87.15 cores=1,3,5,7
/proc/25788/stat : 25788 (gnovelty+2-H) R 25787 25752 24973 0 -1 4202496 633 0 0 0 8715 0 0 0 25 0 1 0 516043591 424734720 573 33554432000 134512640 134600030 4290201344 18446744073709551615 134521981 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/25788/statm: 103695 573 253 22 0 103016 0
Current children cumulated CPU time (s) 524.64
Current children cumulated vsize (KiB) 457936
[startup+537.501 s]
/proc/loadavg: 2.01 2.00 2.00 3/186 25791
/proc/meminfo: memFree=13612196/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=34456 CPUtime=423.99 cores=1,3,5,7
/proc/25752/stat : 25752 (python) S 25750 25752 24973 0 -1 4202496 3638 68017 0 0 2 1 42385 11 18 0 1 0 515999836 35282944 1429 33554432000 4194304 5745468 140735276261392 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/25752/statm: 8614 1429 488 379 0 934 0
[pid=25754] ppid=25752 vsize=0 CPUtime=13.17 cores=1,3,5,7
/proc/25754/stat : 25754 (features) Z 25752 25752 24973 0 -1 4202524 2928 0 0 0 1311 6 0 0 25 0 1 0 515999839 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25754/statm: 0 0 0 0 0 0 0
[pid=25755] ppid=25752 vsize=0 CPUtime=0.33 cores=1,3,5,7
/proc/25755/stat : 25755 (coach) Z 25752 25752 24973 0 -1 4202524 3928 0 0 0 32 1 0 0 18 0 1 0 516001157 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25755/statm: 0 0 0 0 0 0 0
[pid=25787] ppid=25752 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25787/stat : 25787 (timerun) S 25752 25752 24973 0 -1 4202496 751 0 0 0 0 0 0 0 19 0 1 0 516043590 8908800 248 33554432000 4194304 4922060 140737116002080 18446744073709551615 218880384133 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25787/statm: 2175 248 208 178 0 68 0
[pid=25788] ppid=25787 vsize=414780 CPUtime=99.95 cores=1,3,5,7
/proc/25788/stat : 25788 (gnovelty+2-H) R 25787 25752 24973 0 -1 4202496 633 0 0 0 9995 0 0 0 25 0 1 0 516043591 424734720 573 33554432000 134512640 134600030 4290201344 18446744073709551615 134534555 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/25788/statm: 103695 573 253 22 0 103016 0
Current children cumulated CPU time (s) 537.44
Current children cumulated vsize (KiB) 457936
[startup+543.901 s]
/proc/loadavg: 2.01 2.00 2.00 3/186 25791
/proc/meminfo: memFree=13612192/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=34456 CPUtime=423.99 cores=1,3,5,7
/proc/25752/stat : 25752 (python) S 25750 25752 24973 0 -1 4202496 3638 68017 0 0 2 1 42385 11 18 0 1 0 515999836 35282944 1429 33554432000 4194304 5745468 140735276261392 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/25752/statm: 8614 1429 488 379 0 934 0
[pid=25754] ppid=25752 vsize=0 CPUtime=13.17 cores=1,3,5,7
/proc/25754/stat : 25754 (features) Z 25752 25752 24973 0 -1 4202524 2928 0 0 0 1311 6 0 0 25 0 1 0 515999839 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25754/statm: 0 0 0 0 0 0 0
[pid=25755] ppid=25752 vsize=0 CPUtime=0.33 cores=1,3,5,7
/proc/25755/stat : 25755 (coach) Z 25752 25752 24973 0 -1 4202524 3928 0 0 0 32 1 0 0 18 0 1 0 516001157 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25755/statm: 0 0 0 0 0 0 0
[pid=25787] ppid=25752 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25787/stat : 25787 (timerun) S 25752 25752 24973 0 -1 4202496 751 0 0 0 0 0 0 0 19 0 1 0 516043590 8908800 248 33554432000 4194304 4922060 140737116002080 18446744073709551615 218880384133 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25787/statm: 2175 248 208 178 0 68 0
[pid=25788] ppid=25787 vsize=414780 CPUtime=106.35 cores=1,3,5,7
/proc/25788/stat : 25788 (gnovelty+2-H) R 25787 25752 24973 0 -1 4202496 633 0 0 0 10635 0 0 0 25 0 1 0 516043591 424734720 573 33554432000 134512640 134600030 4290201344 18446744073709551615 134522414 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/25788/statm: 103695 573 253 22 0 103016 0
Current children cumulated CPU time (s) 543.84
Current children cumulated vsize (KiB) 457936
[startup+545.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/186 25791
/proc/meminfo: memFree=13612192/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=34456 CPUtime=423.99 cores=1,3,5,7
/proc/25752/stat : 25752 (python) S 25750 25752 24973 0 -1 4202496 3638 68017 0 0 2 1 42385 11 18 0 1 0 515999836 35282944 1429 33554432000 4194304 5745468 140735276261392 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/25752/statm: 8614 1429 488 379 0 934 0
[pid=25754] ppid=25752 vsize=0 CPUtime=13.17 cores=1,3,5,7
/proc/25754/stat : 25754 (features) Z 25752 25752 24973 0 -1 4202524 2928 0 0 0 1311 6 0 0 25 0 1 0 515999839 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25754/statm: 0 0 0 0 0 0 0
[pid=25755] ppid=25752 vsize=0 CPUtime=0.33 cores=1,3,5,7
/proc/25755/stat : 25755 (coach) Z 25752 25752 24973 0 -1 4202524 3928 0 0 0 32 1 0 0 18 0 1 0 516001157 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25755/statm: 0 0 0 0 0 0 0
[pid=25787] ppid=25752 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25787/stat : 25787 (timerun) S 25752 25752 24973 0 -1 4202496 751 0 0 0 0 0 0 0 19 0 1 0 516043590 8908800 248 33554432000 4194304 4922060 140737116002080 18446744073709551615 218880384133 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25787/statm: 2175 248 208 178 0 68 0
[pid=25788] ppid=25787 vsize=414780 CPUtime=107.95 cores=1,3,5,7
/proc/25788/stat : 25788 (gnovelty+2-H) R 25787 25752 24973 0 -1 4202496 633 0 0 0 10795 0 0 0 25 0 1 0 516043591 424734720 573 33554432000 134512640 134600030 4290201344 18446744073709551615 134549384 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/25788/statm: 103695 573 253 22 0 103016 0
Current children cumulated CPU time (s) 545.44
Current children cumulated vsize (KiB) 457936
[startup+547.101 s]
/proc/loadavg: 2.01 2.00 2.00 3/186 25791
/proc/meminfo: memFree=13612192/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=34456 CPUtime=423.99 cores=1,3,5,7
/proc/25752/stat : 25752 (python) S 25750 25752 24973 0 -1 4202496 3638 68017 0 0 2 1 42385 11 18 0 1 0 515999836 35282944 1429 33554432000 4194304 5745468 140735276261392 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/25752/statm: 8614 1429 488 379 0 934 0
[pid=25754] ppid=25752 vsize=0 CPUtime=13.17 cores=1,3,5,7
/proc/25754/stat : 25754 (features) Z 25752 25752 24973 0 -1 4202524 2928 0 0 0 1311 6 0 0 25 0 1 0 515999839 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25754/statm: 0 0 0 0 0 0 0
[pid=25755] ppid=25752 vsize=0 CPUtime=0.33 cores=1,3,5,7
/proc/25755/stat : 25755 (coach) Z 25752 25752 24973 0 -1 4202524 3928 0 0 0 32 1 0 0 18 0 1 0 516001157 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25755/statm: 0 0 0 0 0 0 0
[pid=25787] ppid=25752 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25787/stat : 25787 (timerun) S 25752 25752 24973 0 -1 4202496 751 0 0 0 0 0 0 0 19 0 1 0 516043590 8908800 248 33554432000 4194304 4922060 140737116002080 18446744073709551615 218880384133 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25787/statm: 2175 248 208 178 0 68 0
[pid=25788] ppid=25787 vsize=414780 CPUtime=109.55 cores=1,3,5,7
/proc/25788/stat : 25788 (gnovelty+2-H) R 25787 25752 24973 0 -1 4202496 633 0 0 0 10955 0 0 0 25 0 1 0 516043591 424734720 573 33554432000 134512640 134600030 4290201344 18446744073709551615 134521612 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/25788/statm: 103695 573 253 22 0 103016 0
Current children cumulated CPU time (s) 547.04
Current children cumulated vsize (KiB) 457936
[startup+547.501 s]
/proc/loadavg: 2.01 2.00 2.00 3/186 25791
/proc/meminfo: memFree=13612192/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=34456 CPUtime=423.99 cores=1,3,5,7
/proc/25752/stat : 25752 (python) S 25750 25752 24973 0 -1 4202496 3638 68017 0 0 2 1 42385 11 18 0 1 0 515999836 35282944 1429 33554432000 4194304 5745468 140735276261392 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/25752/statm: 8614 1429 488 379 0 934 0
[pid=25754] ppid=25752 vsize=0 CPUtime=13.17 cores=1,3,5,7
/proc/25754/stat : 25754 (features) Z 25752 25752 24973 0 -1 4202524 2928 0 0 0 1311 6 0 0 25 0 1 0 515999839 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25754/statm: 0 0 0 0 0 0 0
[pid=25755] ppid=25752 vsize=0 CPUtime=0.33 cores=1,3,5,7
/proc/25755/stat : 25755 (coach) Z 25752 25752 24973 0 -1 4202524 3928 0 0 0 32 1 0 0 18 0 1 0 516001157 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25755/statm: 0 0 0 0 0 0 0
[pid=25787] ppid=25752 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25787/stat : 25787 (timerun) S 25752 25752 24973 0 -1 4202496 751 0 0 0 0 0 0 0 19 0 1 0 516043590 8908800 248 33554432000 4194304 4922060 140737116002080 18446744073709551615 218880384133 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25787/statm: 2175 248 208 178 0 68 0
[pid=25788] ppid=25787 vsize=414780 CPUtime=109.95 cores=1,3,5,7
/proc/25788/stat : 25788 (gnovelty+2-H) R 25787 25752 24973 0 -1 4202496 633 0 0 0 10995 0 0 0 25 0 1 0 516043591 424734720 573 33554432000 134512640 134600030 4290201344 18446744073709551615 134521861 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/25788/statm: 103695 573 253 22 0 103016 0
Current children cumulated CPU time (s) 547.44
Current children cumulated vsize (KiB) 457936
[startup+547.901 s]
/proc/loadavg: 2.01 2.00 2.00 3/186 25791
/proc/meminfo: memFree=13612068/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=34456 CPUtime=423.99 cores=1,3,5,7
/proc/25752/stat : 25752 (python) S 25750 25752 24973 0 -1 4202496 3638 68017 0 0 2 1 42385 11 18 0 1 0 515999836 35282944 1429 33554432000 4194304 5745468 140735276261392 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/25752/statm: 8614 1429 488 379 0 934 0
[pid=25754] ppid=25752 vsize=0 CPUtime=13.17 cores=1,3,5,7
/proc/25754/stat : 25754 (features) Z 25752 25752 24973 0 -1 4202524 2928 0 0 0 1311 6 0 0 25 0 1 0 515999839 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25754/statm: 0 0 0 0 0 0 0
[pid=25755] ppid=25752 vsize=0 CPUtime=0.33 cores=1,3,5,7
/proc/25755/stat : 25755 (coach) Z 25752 25752 24973 0 -1 4202524 3928 0 0 0 32 1 0 0 18 0 1 0 516001157 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25755/statm: 0 0 0 0 0 0 0
[pid=25787] ppid=25752 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25787/stat : 25787 (timerun) S 25752 25752 24973 0 -1 4202496 751 0 0 0 0 0 0 0 19 0 1 0 516043590 8908800 248 33554432000 4194304 4922060 140737116002080 18446744073709551615 218880384133 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25787/statm: 2175 248 208 178 0 68 0
[pid=25788] ppid=25787 vsize=414780 CPUtime=110.35 cores=1,3,5,7
/proc/25788/stat : 25788 (gnovelty+2-H) R 25787 25752 24973 0 -1 4202496 633 0 0 0 11035 0 0 0 25 0 1 0 516043591 424734720 573 33554432000 134512640 134600030 4290201344 18446744073709551615 134521979 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/25788/statm: 103695 573 253 22 0 103016 0
Current children cumulated CPU time (s) 547.84
Current children cumulated vsize (KiB) 457936
[startup+548.001 s]
/proc/loadavg: 2.01 2.00 2.00 3/186 25791
/proc/meminfo: memFree=13612068/32950928 swapFree=67111528/67111528
[pid=25752] ppid=25750 vsize=34456 CPUtime=423.99 cores=1,3,5,7
/proc/25752/stat : 25752 (python) S 25750 25752 24973 0 -1 4202496 3638 68017 0 0 2 1 42385 11 18 0 1 0 515999836 35282944 1429 33554432000 4194304 5745468 140735276261392 18446744073709551615 218880564992 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/25752/statm: 8614 1429 488 379 0 934 0
[pid=25754] ppid=25752 vsize=0 CPUtime=13.17 cores=1,3,5,7
/proc/25754/stat : 25754 (features) Z 25752 25752 24973 0 -1 4202524 2928 0 0 0 1311 6 0 0 25 0 1 0 515999839 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25754/statm: 0 0 0 0 0 0 0
[pid=25755] ppid=25752 vsize=0 CPUtime=0.33 cores=1,3,5,7
/proc/25755/stat : 25755 (coach) Z 25752 25752 24973 0 -1 4202524 3928 0 0 0 32 1 0 0 18 0 1 0 516001157 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25755/statm: 0 0 0 0 0 0 0
[pid=25787] ppid=25752 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25787/stat : 25787 (timerun) S 25752 25752 24973 0 -1 4202496 751 0 0 0 0 0 0 0 19 0 1 0 516043590 8908800 248 33554432000 4194304 4922060 140737116002080 18446744073709551615 218880384133 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25787/statm: 2175 248 208 178 0 68 0
[pid=25788] ppid=25787 vsize=414780 CPUtime=110.45 cores=1,3,5,7
/proc/25788/stat : 25788 (gnovelty+2-H) R 25787 25752 24973 0 -1 4202496 633 0 0 0 11045 0 0 0 25 0 1 0 516043591 424734720 573 33554432000 134512640 134600030 4290201344 18446744073709551615 134522166 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/25788/statm: 103695 573 253 22 0 103016 0
Current children cumulated CPU time (s) 547.94
Current children cumulated vsize (KiB) 457936
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25752 and gives
# childrusage.ru_utime.tv_sec=437
# childrusage.ru_utime.tv_usec=314518
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=211967
# CPU time returned by wait4() is 437.526
# while last known CPU time is 547.94
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 548.083
CPU time (s): 547.94
CPU user time (s): 547.75
CPU system time (s): 0.19
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 1062992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 437.315
system time used= 0.211967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79119
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= 531
involuntary context switches= 1168
runsolver used 0.740887 second user time and 1.90671 second system time
The end