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-3220086-1303268383/watcher-3220086-1303268383 -o /tmp/evaluation-result-3220086-1303268383/solver-3220086-1303268383 -C 5000 -W 5000 -M 15500 python portfolio_solver.py -t 5000 -s 1426696188 HOME/instance-3220086-1303268383.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): 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: 0.00 0.00 0.00 2/176 8094
/proc/meminfo: memFree=15468696/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=15440 CPUtime=0 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 815 0 0 0 0 0 0 0 25 0 1 0 438437960 15810560 704 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664806400 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0
/proc/8094/statm: 3860 704 344 379 0 333 0
[startup+0.053183 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 8094
/proc/meminfo: memFree=15468696/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=21956 CPUtime=0.01 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 1529 0 0 0 1 0 0 0 25 0 1 0 438437960 22482944 1367 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664808192 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/8094/statm: 5489 1367 463 379 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21956
[startup+0.101209 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 8094
/proc/meminfo: memFree=15468696/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=21956 CPUtime=0.01 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 1529 0 0 0 1 0 0 0 25 0 1 0 438437960 22482944 1367 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664808192 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/8094/statm: 5489 1367 463 379 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21956
[startup+0.301172 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 8094
/proc/meminfo: memFree=15468696/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=21956 CPUtime=0.01 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 1529 0 0 0 1 0 0 0 25 0 1 0 438437960 22482944 1367 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664808192 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/8094/statm: 5489 1367 463 379 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21956
[startup+0.705214 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 8094
/proc/meminfo: memFree=15468696/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=21956 CPUtime=0.01 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 1529 0 0 0 1 0 0 0 25 0 1 0 438437960 22482944 1367 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664808192 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/8094/statm: 5489 1367 463 379 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21956
[startup+1.50091 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 8096
/proc/meminfo: memFree=15458388/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=21956 CPUtime=0.01 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 1529 0 0 0 1 0 0 0 25 0 1 0 438437960 22482944 1367 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664808192 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/8094/statm: 5489 1367 463 379 0 930 0
[pid=8096] ppid=8094 vsize=8364 CPUtime=1.46 cores=0,2,4,6
/proc/8096/stat : 8096 (features) R 8094 8094 8055 0 -1 4202496 2647 0 0 0 145 1 0 0 25 0 1 0 438437963 8564736 1530 33554432000 134512640 135907751 4289131184 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/8096/statm: 2091 1530 111 341 0 1747 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30320
[startup+3.10067 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 8096
/proc/meminfo: memFree=15459876/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=21956 CPUtime=0.01 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 1529 0 0 0 1 0 0 0 25 0 1 0 438437960 22482944 1367 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664808192 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/8094/statm: 5489 1367 463 379 0 930 0
[pid=8096] ppid=8094 vsize=24052 CPUtime=3.07 cores=0,2,4,6
/proc/8096/stat : 8096 (features) R 8094 8094 8055 0 -1 4202496 7410 0 0 0 304 3 0 0 25 0 1 0 438437963 24629248 5388 33554432000 134512640 135907751 4289131184 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/8096/statm: 6013 5388 112 341 0 5669 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 46008
[startup+16.4507 s]
/proc/loadavg: 0.16 0.03 0.01 3/178 8096
/proc/meminfo: memFree=15445088/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=21960 CPUtime=0.01 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 1610 0 0 0 1 0 0 0 18 0 1 0 438437960 22487040 1370 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664808192 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/8094/statm: 5490 1370 465 379 0 931 0
[pid=8096] ppid=8094 vsize=0 CPUtime=13.51 cores=0,2,4,6
/proc/8096/stat : 8096 (features) Z 8094 8094 8055 0 -1 4202524 9346 0 0 0 1341 10 0 0 25 0 1 0 438437963 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/8096/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 13.52
Current children cumulated vsize (KiB) 21960
[startup+16.8295 s]
/proc/loadavg: 0.16 0.03 0.01 3/178 8096
/proc/meminfo: memFree=15445088/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=21960 CPUtime=0.01 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 1610 0 0 0 1 0 0 0 18 0 1 0 438437960 22487040 1370 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664808192 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/8094/statm: 5490 1370 465 379 0 931 0
[pid=8096] ppid=8094 vsize=0 CPUtime=13.51 cores=0,2,4,6
/proc/8096/stat : 8096 (features) Z 8094 8094 8055 0 -1 4202524 9346 0 0 0 1341 10 0 0 25 0 1 0 438437963 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/8096/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 13.52
Current children cumulated vsize (KiB) 21960
[startup+25.5008 s]
/proc/loadavg: 1.52 0.35 0.12 2/180 8098
/proc/meminfo: memFree=15469488/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=21960 CPUtime=0.01 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 1610 0 0 0 1 0 0 0 18 0 1 0 438437960 22487040 1370 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664808192 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/8094/statm: 5490 1370 465 379 0 931 0
[pid=8096] ppid=8094 vsize=0 CPUtime=13.51 cores=0,2,4,6
/proc/8096/stat : 8096 (features) Z 8094 8094 8055 0 -1 4202524 9346 0 0 0 1341 10 0 0 25 0 1 0 438437963 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/8096/statm: 0 0 0 0 0 0 0
[pid=8098] ppid=8094 vsize=1476 CPUtime=0.03 cores=0,2,4,6
/proc/8098/stat : 8098 (coach) D 8094 8094 8055 0 -1 4194304 338 0 1 0 0 3 0 0 15 0 1 0 438439316 1511424 50 33554432000 134512640 134560588 4288504528 18446744073709551615 4981460 0 0 16781312 0 18446744071696489144 0 0 17 0 0 0 430
/proc/8098/statm: 369 50 40 12 0 30 0
Current children cumulated CPU time (s) 13.55
Current children cumulated vsize (KiB) 23436
heavy processes:
%CPU=52 pid=8090 uid=0 cmd=
%CPU=52 pid=8096 uid=0 cmd=
[startup+51.1064 s]
/proc/loadavg: 1.68 0.48 0.16 3/184 8106
/proc/meminfo: memFree=15433308/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=34456 CPUtime=21 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 2329 40520 0 0 1 0 2092 7 18 0 1 0 438437960 35282944 1427 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664808192 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/8094/statm: 8614 1427 488 379 0 934 0
[pid=8096] ppid=8094 vsize=0 CPUtime=13.51 cores=0,2,4,6
/proc/8096/stat : 8096 (features) Z 8094 8094 8055 0 -1 4202524 9346 0 0 0 1341 10 0 0 25 0 1 0 438437963 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/8096/statm: 0 0 0 0 0 0 0
[pid=8098] ppid=8094 vsize=0 CPUtime=0.4 cores=0,2,4,6
/proc/8098/stat : 8098 (coach) Z 8094 8094 8055 0 -1 4202524 3926 0 1 0 35 5 0 0 15 0 1 0 438439316 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 430
/proc/8098/statm: 0 0 0 0 0 0 0
[pid=8105] ppid=8094 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8105/stat : 8105 (timerun) S 8094 8094 8055 0 -1 4202496 750 0 0 0 0 0 0 0 20 0 1 0 438442928 8908800 248 33554432000 4194304 4922060 140733470292336 18446744073709551615 274664627333 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/8105/statm: 2175 248 208 178 0 68 0
[pid=8106] ppid=8105 vsize=439464 CPUtime=1.42 cores=0,2,4,6
/proc/8106/stat : 8106 (adaptg2wsat2009) R 8105 8094 8055 0 -1 4194304 8607 0 0 0 141 1 0 0 25 0 1 0 438442928 450011136 8552 33554432000 134512640 134546244 4289302016 18446744073709551615 134535424 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8106/statm: 109866 8552 108 9 0 108530 0
Current children cumulated CPU time (s) 36.33
Current children cumulated vsize (KiB) 482620
heavy processes:
%CPU=26 pid=8090 uid=0 cmd=
%CPU=26 pid=8096 uid=0 cmd=
[startup+102.3 s]
/proc/loadavg: 1.86 0.72 0.26 3/184 8121
/proc/meminfo: memFree=15399344/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=34456 CPUtime=25.02 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 2471 49888 0 0 2 0 2491 9 18 0 1 0 438437960 35282944 1427 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664808192 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/8094/statm: 8614 1427 488 379 0 934 0
[pid=8096] ppid=8094 vsize=0 CPUtime=13.51 cores=0,2,4,6
/proc/8096/stat : 8096 (features) Z 8094 8094 8055 0 -1 4202524 9346 0 0 0 1341 10 0 0 25 0 1 0 438437963 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/8096/statm: 0 0 0 0 0 0 0
[pid=8098] ppid=8094 vsize=0 CPUtime=0.4 cores=0,2,4,6
/proc/8098/stat : 8098 (coach) Z 8094 8094 8055 0 -1 4202524 3926 0 1 0 35 5 0 0 15 0 1 0 438439316 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 430
/proc/8098/statm: 0 0 0 0 0 0 0
[pid=8110] ppid=8094 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8110/stat : 8110 (timerun) S 8094 8094 8055 0 -1 4202496 749 0 0 0 0 0 0 0 20 0 1 0 438443328 8908800 247 33554432000 4194304 4922060 140734594873888 18446744073709551615 274664627333 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/8110/statm: 2175 247 208 178 0 68 0
[pid=8111] ppid=8110 vsize=51400 CPUtime=48.61 cores=0,2,4,6
/proc/8111/stat : 8111 (precosat) R 8110 8094 8055 0 -1 4202496 16284 0 0 0 4858 3 0 0 25 0 1 0 438443329 52633600 12526 33554432000 134512640 135142049 4289982896 18446744073709551615 134762164 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/8111/statm: 12850 12526 82 154 0 12694 0
Current children cumulated CPU time (s) 87.54
Current children cumulated vsize (KiB) 94556
[startup+162.301 s]
/proc/loadavg: 1.95 0.95 0.36 3/184 8123
/proc/meminfo: memFree=15376892/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=34456 CPUtime=25.02 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 2471 49888 0 0 2 0 2491 9 18 0 1 0 438437960 35282944 1427 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664808192 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/8094/statm: 8614 1427 488 379 0 934 0
[pid=8096] ppid=8094 vsize=0 CPUtime=13.51 cores=0,2,4,6
/proc/8096/stat : 8096 (features) Z 8094 8094 8055 0 -1 4202524 9346 0 0 0 1341 10 0 0 25 0 1 0 438437963 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/8096/statm: 0 0 0 0 0 0 0
[pid=8098] ppid=8094 vsize=0 CPUtime=0.4 cores=0,2,4,6
/proc/8098/stat : 8098 (coach) Z 8094 8094 8055 0 -1 4202524 3926 0 1 0 35 5 0 0 15 0 1 0 438439316 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 430
/proc/8098/statm: 0 0 0 0 0 0 0
[pid=8110] ppid=8094 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8110/stat : 8110 (timerun) S 8094 8094 8055 0 -1 4202496 749 0 0 0 0 0 0 0 20 0 1 0 438443328 8908800 247 33554432000 4194304 4922060 140734594873888 18446744073709551615 274664627333 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/8110/statm: 2175 247 208 178 0 68 0
[pid=8111] ppid=8110 vsize=62964 CPUtime=108.61 cores=0,2,4,6
/proc/8111/stat : 8111 (precosat) R 8110 8094 8055 0 -1 4202496 20667 0 0 0 10857 4 0 0 25 0 1 0 438443329 64475136 15444 33554432000 134512640 135142049 4289982896 18446744073709551615 134599385 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/8111/statm: 15741 15444 82 154 0 15585 0
Current children cumulated CPU time (s) 147.54
Current children cumulated vsize (KiB) 106120
[startup+222.301 s]
/proc/loadavg: 1.98 1.14 0.46 3/184 8129
/proc/meminfo: memFree=15368312/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=34456 CPUtime=153 cores=0,2,4,6
################
# More data... #
################
[startup+4662.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 8294
/proc/meminfo: memFree=15444852/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=34456 CPUtime=3152.59 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 3784 203292 0 0 2 1 315213 43 18 0 1 0 438437960 35282944 1427 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664808192 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/8094/statm: 8614 1427 488 379 0 934 0
[pid=8096] ppid=8094 vsize=0 CPUtime=13.51 cores=0,2,4,6
/proc/8096/stat : 8096 (features) Z 8094 8094 8055 0 -1 4202524 9346 0 0 0 1341 10 0 0 25 0 1 0 438437963 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/8096/statm: 0 0 0 0 0 0 0
[pid=8098] ppid=8094 vsize=0 CPUtime=0.4 cores=0,2,4,6
/proc/8098/stat : 8098 (coach) Z 8094 8094 8055 0 -1 4202524 3926 0 1 0 35 5 0 0 15 0 1 0 438439316 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 430
/proc/8098/statm: 0 0 0 0 0 0 0
[pid=8241] ppid=8094 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8241/stat : 8241 (timerun) S 8094 8094 8055 0 -1 4202496 757 0 0 0 0 0 0 0 19 0 1 0 438756086 8908800 251 33554432000 4194304 4922060 140734144507664 18446744073709551615 274664627333 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8241/statm: 2175 251 208 178 0 68 0
[pid=8242] ppid=8241 vsize=50204 CPUtime=1481.06 cores=0,2,4,6
/proc/8242/stat : 8242 (SATenstein) R 8241 8094 8055 0 -1 4202496 6521 0 0 0 148103 3 0 0 25 0 1 0 438756087 51408896 6464 33554432000 134512640 134864348 4288463584 18446744073709551615 134597274 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8242/statm: 12551 6464 591 86 0 12075 0
Current children cumulated CPU time (s) 4647.56
Current children cumulated vsize (KiB) 93360
[startup+4722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 8296
/proc/meminfo: memFree=15444712/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=34456 CPUtime=3152.59 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 3784 203292 0 0 2 1 315213 43 18 0 1 0 438437960 35282944 1427 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664808192 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/8094/statm: 8614 1427 488 379 0 934 0
[pid=8096] ppid=8094 vsize=0 CPUtime=13.51 cores=0,2,4,6
/proc/8096/stat : 8096 (features) Z 8094 8094 8055 0 -1 4202524 9346 0 0 0 1341 10 0 0 25 0 1 0 438437963 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/8096/statm: 0 0 0 0 0 0 0
[pid=8098] ppid=8094 vsize=0 CPUtime=0.4 cores=0,2,4,6
/proc/8098/stat : 8098 (coach) Z 8094 8094 8055 0 -1 4202524 3926 0 1 0 35 5 0 0 15 0 1 0 438439316 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 430
/proc/8098/statm: 0 0 0 0 0 0 0
[pid=8241] ppid=8094 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8241/stat : 8241 (timerun) S 8094 8094 8055 0 -1 4202496 757 0 0 0 0 0 0 0 19 0 1 0 438756086 8908800 251 33554432000 4194304 4922060 140734144507664 18446744073709551615 274664627333 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8241/statm: 2175 251 208 178 0 68 0
[pid=8242] ppid=8241 vsize=50204 CPUtime=1541.05 cores=0,2,4,6
/proc/8242/stat : 8242 (SATenstein) R 8241 8094 8055 0 -1 4202496 6521 0 0 0 154102 3 0 0 25 0 1 0 438756087 51408896 6464 33554432000 134512640 134864348 4288463584 18446744073709551615 134742628 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8242/statm: 12551 6464 591 86 0 12075 0
Current children cumulated CPU time (s) 4707.55
Current children cumulated vsize (KiB) 93360
[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 8297
/proc/meminfo: memFree=15444708/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=34456 CPUtime=3152.59 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 3784 203292 0 0 2 1 315213 43 18 0 1 0 438437960 35282944 1427 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664808192 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/8094/statm: 8614 1427 488 379 0 934 0
[pid=8096] ppid=8094 vsize=0 CPUtime=13.51 cores=0,2,4,6
/proc/8096/stat : 8096 (features) Z 8094 8094 8055 0 -1 4202524 9346 0 0 0 1341 10 0 0 25 0 1 0 438437963 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/8096/statm: 0 0 0 0 0 0 0
[pid=8098] ppid=8094 vsize=0 CPUtime=0.4 cores=0,2,4,6
/proc/8098/stat : 8098 (coach) Z 8094 8094 8055 0 -1 4202524 3926 0 1 0 35 5 0 0 15 0 1 0 438439316 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 430
/proc/8098/statm: 0 0 0 0 0 0 0
[pid=8241] ppid=8094 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8241/stat : 8241 (timerun) S 8094 8094 8055 0 -1 4202496 757 0 0 0 0 0 0 0 19 0 1 0 438756086 8908800 251 33554432000 4194304 4922060 140734144507664 18446744073709551615 274664627333 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8241/statm: 2175 251 208 178 0 68 0
[pid=8242] ppid=8241 vsize=50204 CPUtime=1601.05 cores=0,2,4,6
/proc/8242/stat : 8242 (SATenstein) R 8241 8094 8055 0 -1 4202496 6521 0 0 0 160102 3 0 0 25 0 1 0 438756087 51408896 6464 33554432000 134512640 134864348 4288463584 18446744073709551615 134597319 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8242/statm: 12551 6464 591 86 0 12075 0
Current children cumulated CPU time (s) 4767.55
Current children cumulated vsize (KiB) 93360
[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 8298
/proc/meminfo: memFree=15444824/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=34456 CPUtime=3152.59 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 3784 203292 0 0 2 1 315213 43 18 0 1 0 438437960 35282944 1427 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664808192 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/8094/statm: 8614 1427 488 379 0 934 0
[pid=8096] ppid=8094 vsize=0 CPUtime=13.51 cores=0,2,4,6
/proc/8096/stat : 8096 (features) Z 8094 8094 8055 0 -1 4202524 9346 0 0 0 1341 10 0 0 25 0 1 0 438437963 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/8096/statm: 0 0 0 0 0 0 0
[pid=8098] ppid=8094 vsize=0 CPUtime=0.4 cores=0,2,4,6
/proc/8098/stat : 8098 (coach) Z 8094 8094 8055 0 -1 4202524 3926 0 1 0 35 5 0 0 15 0 1 0 438439316 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 430
/proc/8098/statm: 0 0 0 0 0 0 0
[pid=8241] ppid=8094 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8241/stat : 8241 (timerun) S 8094 8094 8055 0 -1 4202496 757 0 0 0 0 0 0 0 19 0 1 0 438756086 8908800 251 33554432000 4194304 4922060 140734144507664 18446744073709551615 274664627333 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8241/statm: 2175 251 208 178 0 68 0
[pid=8242] ppid=8241 vsize=50204 CPUtime=1661.06 cores=0,2,4,6
/proc/8242/stat : 8242 (SATenstein) R 8241 8094 8055 0 -1 4202496 6521 0 0 0 166103 3 0 0 25 0 1 0 438756087 51408896 6464 33554432000 134512640 134864348 4288463584 18446744073709551615 134597328 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8242/statm: 12551 6464 591 86 0 12075 0
Current children cumulated CPU time (s) 4827.56
Current children cumulated vsize (KiB) 93360
[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 8300
/proc/meminfo: memFree=15444692/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=34456 CPUtime=3152.59 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 3784 203292 0 0 2 1 315213 43 18 0 1 0 438437960 35282944 1427 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664808192 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/8094/statm: 8614 1427 488 379 0 934 0
[pid=8096] ppid=8094 vsize=0 CPUtime=13.51 cores=0,2,4,6
/proc/8096/stat : 8096 (features) Z 8094 8094 8055 0 -1 4202524 9346 0 0 0 1341 10 0 0 25 0 1 0 438437963 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/8096/statm: 0 0 0 0 0 0 0
[pid=8098] ppid=8094 vsize=0 CPUtime=0.4 cores=0,2,4,6
/proc/8098/stat : 8098 (coach) Z 8094 8094 8055 0 -1 4202524 3926 0 1 0 35 5 0 0 15 0 1 0 438439316 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 430
/proc/8098/statm: 0 0 0 0 0 0 0
[pid=8241] ppid=8094 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8241/stat : 8241 (timerun) S 8094 8094 8055 0 -1 4202496 757 0 0 0 0 0 0 0 19 0 1 0 438756086 8908800 251 33554432000 4194304 4922060 140734144507664 18446744073709551615 274664627333 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8241/statm: 2175 251 208 178 0 68 0
[pid=8242] ppid=8241 vsize=50204 CPUtime=1721.06 cores=0,2,4,6
/proc/8242/stat : 8242 (SATenstein) R 8241 8094 8055 0 -1 4202496 6521 0 0 0 172103 3 0 0 25 0 1 0 438756087 51408896 6464 33554432000 134512640 134864348 4288463584 18446744073709551615 134596549 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8242/statm: 12551 6464 591 86 0 12075 0
Current children cumulated CPU time (s) 4887.56
Current children cumulated vsize (KiB) 93360
[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 8302
/proc/meminfo: memFree=15444800/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=34456 CPUtime=3152.59 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 3784 203292 0 0 2 1 315213 43 18 0 1 0 438437960 35282944 1427 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664808192 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/8094/statm: 8614 1427 488 379 0 934 0
[pid=8096] ppid=8094 vsize=0 CPUtime=13.51 cores=0,2,4,6
/proc/8096/stat : 8096 (features) Z 8094 8094 8055 0 -1 4202524 9346 0 0 0 1341 10 0 0 25 0 1 0 438437963 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/8096/statm: 0 0 0 0 0 0 0
[pid=8098] ppid=8094 vsize=0 CPUtime=0.4 cores=0,2,4,6
/proc/8098/stat : 8098 (coach) Z 8094 8094 8055 0 -1 4202524 3926 0 1 0 35 5 0 0 15 0 1 0 438439316 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 430
/proc/8098/statm: 0 0 0 0 0 0 0
[pid=8241] ppid=8094 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8241/stat : 8241 (timerun) S 8094 8094 8055 0 -1 4202496 757 0 0 0 0 0 0 0 19 0 1 0 438756086 8908800 251 33554432000 4194304 4922060 140734144507664 18446744073709551615 274664627333 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8241/statm: 2175 251 208 178 0 68 0
[pid=8242] ppid=8241 vsize=50204 CPUtime=1781.06 cores=0,2,4,6
/proc/8242/stat : 8242 (SATenstein) R 8241 8094 8055 0 -1 4202496 6521 0 0 0 178103 3 0 0 25 0 1 0 438756087 51408896 6464 33554432000 134512640 134864348 4288463584 18446744073709551615 134742482 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8242/statm: 12551 6464 591 86 0 12075 0
Current children cumulated CPU time (s) 4947.56
Current children cumulated vsize (KiB) 93360
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+5000.01 s]
/proc/loadavg: 2.06 2.02 1.93 2/178 8304
/proc/meminfo: memFree=15451408/32951132 swapFree=67111528/67111528
[pid=8094] ppid=8092 vsize=34456 CPUtime=3152.59 cores=0,2,4,6
/proc/8094/stat : 8094 (python) S 8092 8094 8055 0 -1 4202496 3784 203292 0 0 2 1 315213 43 18 0 1 0 438437960 35282944 1427 33554432000 4194304 5745468 140736546433280 18446744073709551615 274664808192 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/8094/statm: 8614 1427 488 379 0 934 0
[pid=8096] ppid=8094 vsize=0 CPUtime=13.51 cores=0,2,4,6
/proc/8096/stat : 8096 (features) Z 8094 8094 8055 0 -1 4202524 9346 0 0 0 1341 10 0 0 25 0 1 0 438437963 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/8096/statm: 0 0 0 0 0 0 0
[pid=8098] ppid=8094 vsize=0 CPUtime=0.4 cores=0,2,4,6
/proc/8098/stat : 8098 (coach) Z 8094 8094 8055 0 -1 4202524 3926 0 1 0 35 5 0 0 15 0 1 0 438439316 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 430
/proc/8098/statm: 0 0 0 0 0 0 0
[pid=8241] ppid=8094 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8241/stat : 8241 (timerun) S 8094 8094 8055 0 -1 4202496 757 0 0 0 0 0 0 0 19 0 1 0 438756086 8908800 251 33554432000 4194304 4922060 140734144507664 18446744073709551615 274664627333 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8241/statm: 2175 251 208 178 0 68 0
[pid=8242] ppid=8241 vsize=50204 CPUtime=1818.77 cores=0,2,4,6
/proc/8242/stat : 8242 (SATenstein) R 8241 8094 8055 0 -1 4202496 6521 0 0 0 181873 4 0 0 25 0 1 0 438756087 51408896 6464 33554432000 134512640 134864348 4288463584 18446744073709551615 134597271 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8242/statm: 12551 6464 591 86 0 12075 0
Current children cumulated CPU time (s) 4985.27
Current children cumulated vsize (KiB) 93360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8094 and gives
# childrusage.ru_utime.tv_sec=4970
# childrusage.ru_utime.tv_usec=897308
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=491925
# CPU time returned by wait4() is 4971.39
# while last known CPU time is 4985.27
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 5000.02
CPU time (s): 4985.27
CPU user time (s): 4984.64
CPU system time (s): 0.63
CPU usage (%): 99.7049
Max. virtual memory (cumulated for all children) (KiB): 1077132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4970.9
system time used= 0.491925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214505
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= 379
involuntary context switches= 10059
runsolver used 10.4874 second user time and 22.0337 second system time
The end