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-3219894-1303264274/watcher-3219894-1303264274 -o /tmp/evaluation-result-3219894-1303264274/solver-3219894-1303264274 -C 5000 -W 5000 -M 15500 python portfolio_solver.py -t 5000 -s 258299397 HOME/instance-3219894-1303264274.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: 1.84 1.97 1.91 2/172 25925
/proc/meminfo: memFree=16933076/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/25925/stat : 25925 (python) R 25923 25925 25644 0 -1 4202496 659 0 0 0 0 0 0 0 25 0 1 0 418842700 15642624 556 33554432000 4194304 5745468 140734457836208 18446744073709551615 4547741 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/25925/statm: 3819 557 317 379 0 292 0
[startup+0.00777492 s]
/proc/loadavg: 1.84 1.97 1.91 2/172 25925
/proc/meminfo: memFree=16933076/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=15244 CPUtime=0 cores=0,2,4,6
/proc/25925/stat : 25925 (python) S 25923 25925 25644 0 -1 4202496 734 0 0 0 0 0 0 0 25 0 1 0 418842700 15609856 626 33554432000 4194304 5745468 140734457836208 18446744073709551615 254261614592 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/25925/statm: 3811 626 333 379 0 284 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15244
[startup+0.105787 s]
/proc/loadavg: 1.84 1.97 1.91 2/172 25925
/proc/meminfo: memFree=16933076/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=21956 CPUtime=0.01 cores=0,2,4,6
/proc/25925/stat : 25925 (python) S 25923 25925 25644 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 418842700 22482944 1367 33554432000 4194304 5745468 140734457836208 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/25925/statm: 5489 1367 463 379 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21956
[startup+0.300776 s]
/proc/loadavg: 1.84 1.97 1.91 2/172 25925
/proc/meminfo: memFree=16933076/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=21956 CPUtime=0.01 cores=0,2,4,6
/proc/25925/stat : 25925 (python) S 25923 25925 25644 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 418842700 22482944 1367 33554432000 4194304 5745468 140734457836208 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/25925/statm: 5489 1367 463 379 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21956
[startup+0.700713 s]
/proc/loadavg: 1.84 1.97 1.91 2/172 25925
/proc/meminfo: memFree=16933076/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=21956 CPUtime=0.01 cores=0,2,4,6
/proc/25925/stat : 25925 (python) S 25923 25925 25644 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 418842700 22482944 1367 33554432000 4194304 5745468 140734457836208 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/25925/statm: 5489 1367 463 379 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21956
[startup+1.50056 s]
/proc/loadavg: 1.84 1.97 1.91 3/180 25938
/proc/meminfo: memFree=16872560/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=21956 CPUtime=0.01 cores=0,2,4,6
/proc/25925/stat : 25925 (python) S 25923 25925 25644 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 418842700 22482944 1367 33554432000 4194304 5745468 140734457836208 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/25925/statm: 5489 1367 463 379 0 930 0
[pid=25931] ppid=25925 vsize=8364 CPUtime=1.45 cores=0,2,4,6
/proc/25931/stat : 25931 (features) R 25925 25925 25644 0 -1 4202496 2621 0 0 0 144 1 0 0 21 0 1 0 418842704 8564736 1504 33554432000 134512640 135907751 4292462832 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/25931/statm: 2091 1504 111 341 0 1747 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30320
[startup+3.10026 s]
/proc/loadavg: 1.84 1.97 1.91 3/180 25938
/proc/meminfo: memFree=16875412/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=21956 CPUtime=0.01 cores=0,2,4,6
/proc/25925/stat : 25925 (python) S 25923 25925 25644 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 418842700 22482944 1367 33554432000 4194304 5745468 140734457836208 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/25925/statm: 5489 1367 463 379 0 930 0
[pid=25931] ppid=25925 vsize=4844 CPUtime=3.05 cores=0,2,4,6
/proc/25931/stat : 25931 (features) R 25925 25925 25644 0 -1 4202496 2915 0 0 0 302 3 0 0 25 0 1 0 418842704 4960256 893 33554432000 134512640 135907751 4292462832 18446744073709551615 134518823 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/25931/statm: 1211 893 112 341 0 867 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 26800
[startup+6.30069 s]
/proc/loadavg: 1.93 1.98 1.92 3/180 25939
/proc/meminfo: memFree=16879936/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=21956 CPUtime=0.01 cores=0,2,4,6
/proc/25925/stat : 25925 (python) S 25923 25925 25644 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 418842700 22482944 1367 33554432000 4194304 5745468 140734457836208 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/25925/statm: 5489 1367 463 379 0 930 0
[pid=25931] ppid=25925 vsize=4844 CPUtime=6.25 cores=0,2,4,6
/proc/25931/stat : 25931 (features) R 25925 25925 25644 0 -1 4202496 2915 0 0 0 622 3 0 0 25 0 1 0 418842704 4960256 893 33554432000 134512640 135907751 4292462832 18446744073709551615 134518779 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/25931/statm: 1211 893 112 341 0 867 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 26800
[startup+12.7006 s]
/proc/loadavg: 1.94 1.98 1.92 3/180 25939
/proc/meminfo: memFree=16879960/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=21956 CPUtime=0.01 cores=0,2,4,6
/proc/25925/stat : 25925 (python) S 25923 25925 25644 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 418842700 22482944 1367 33554432000 4194304 5745468 140734457836208 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/25925/statm: 5489 1367 463 379 0 930 0
[pid=25931] ppid=25925 vsize=4844 CPUtime=12.65 cores=0,2,4,6
/proc/25931/stat : 25931 (features) R 25925 25925 25644 0 -1 4202496 2915 0 0 0 1262 3 0 0 25 0 1 0 418842704 4960256 893 33554432000 134512640 135907751 4292462832 18446744073709551615 134518678 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/25931/statm: 1211 893 112 341 0 867 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 26800
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.92 3/186 25945
/proc/meminfo: memFree=16844588/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=34456 CPUtime=0.02 cores=0,2,4,6
/proc/25925/stat : 25925 (python) S 25923 25925 25644 0 -1 4202496 2172 0 0 0 2 0 0 0 18 0 1 0 418842700 35282944 1427 33554432000 4194304 5745468 140734457836208 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/25925/statm: 8614 1427 488 379 0 934 0
[pid=25931] ppid=25925 vsize=0 CPUtime=14.49 cores=0,2,4,6
/proc/25931/stat : 25931 (features) Z 25925 25925 25644 0 -1 4202524 2929 0 0 0 1446 3 0 0 25 0 1 0 418842704 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/25931/statm: 0 0 0 0 0 0 0
[pid=25943] ppid=25925 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/25943/stat : 25943 (coach) Z 25925 25925 25644 0 -1 4202524 3927 0 0 0 33 0 0 0 20 0 1 0 418844154 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/25943/statm: 0 0 0 0 0 0 0
[pid=25944] ppid=25925 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/25944/stat : 25944 (timerun) S 25925 25925 25644 0 -1 4202496 756 0 0 0 0 0 0 0 18 0 1 0 418844188 8908800 247 33554432000 4194304 4922060 140737284913888 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/25944/statm: 2175 247 208 178 0 68 0
[pid=25945] ppid=25944 vsize=29148 CPUtime=10.61 cores=0,2,4,6
/proc/25945/stat : 25945 (cryptominisat) R 25944 25925 25644 0 -1 4202496 21147 0 0 0 1057 4 0 0 25 0 1 0 418844189 29847552 5579 33554432000 134512640 134994940 4288302032 18446744073709551615 134642715 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/25945/statm: 7287 5579 356 118 0 6472 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 72304
[startup+51.1008 s]
/proc/loadavg: 1.97 1.98 1.92 3/186 25954
/proc/meminfo: memFree=16856572/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=34456 CPUtime=25.01 cores=0,2,4,6
/proc/25925/stat : 25925 (python) S 25923 25925 25644 0 -1 4202496 2484 36840 0 0 2 0 2493 6 18 0 1 0 418842700 35282944 1429 33554432000 4194304 5745468 140734457836208 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/25925/statm: 8614 1429 488 379 0 934 0
[pid=25931] ppid=25925 vsize=0 CPUtime=14.49 cores=0,2,4,6
/proc/25931/stat : 25931 (features) Z 25925 25925 25644 0 -1 4202524 2929 0 0 0 1446 3 0 0 25 0 1 0 418842704 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/25931/statm: 0 0 0 0 0 0 0
[pid=25943] ppid=25925 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/25943/stat : 25943 (coach) Z 25925 25925 25644 0 -1 4202524 3927 0 0 0 33 0 0 0 20 0 1 0 418844154 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/25943/statm: 0 0 0 0 0 0 0
[pid=25952] ppid=25925 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/25952/stat : 25952 (timerun) S 25925 25925 25644 0 -1 4202496 754 0 0 0 0 0 0 0 20 0 1 0 418846689 8908800 248 33554432000 4194304 4922060 140735191668736 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/25952/statm: 2175 248 208 178 0 68 0
[pid=25953] ppid=25952 vsize=17952 CPUtime=11.19 cores=0,2,4,6
/proc/25953/stat : 25953 (precosat) R 25952 25925 25644 0 -1 4202496 4410 0 0 0 1119 0 0 0 25 0 1 0 418846689 18382848 4365 33554432000 134512640 135142049 4289215472 18446744073709551615 134555855 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/25953/statm: 4488 4365 80 154 0 4332 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 61108
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.92 3/186 25955
/proc/meminfo: memFree=16827420/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=34456 CPUtime=25.01 cores=0,2,4,6
/proc/25925/stat : 25925 (python) S 25923 25925 25644 0 -1 4202496 2484 36840 0 0 2 0 2493 6 18 0 1 0 418842700 35282944 1429 33554432000 4194304 5745468 140734457836208 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/25925/statm: 8614 1429 488 379 0 934 0
[pid=25931] ppid=25925 vsize=0 CPUtime=14.49 cores=0,2,4,6
/proc/25931/stat : 25931 (features) Z 25925 25925 25644 0 -1 4202524 2929 0 0 0 1446 3 0 0 25 0 1 0 418842704 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/25931/statm: 0 0 0 0 0 0 0
[pid=25943] ppid=25925 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/25943/stat : 25943 (coach) Z 25925 25925 25644 0 -1 4202524 3927 0 0 0 33 0 0 0 20 0 1 0 418844154 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/25943/statm: 0 0 0 0 0 0 0
[pid=25952] ppid=25925 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/25952/stat : 25952 (timerun) S 25925 25925 25644 0 -1 4202496 754 0 0 0 0 0 0 0 20 0 1 0 418846689 8908800 248 33554432000 4194304 4922060 140735191668736 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/25952/statm: 2175 248 208 178 0 68 0
[pid=25953] ppid=25952 vsize=35896 CPUtime=62.4 cores=0,2,4,6
/proc/25953/stat : 25953 (precosat) R 25952 25925 25644 0 -1 4202496 8914 0 0 0 6239 1 0 0 25 0 1 0 418846689 36757504 8869 33554432000 134512640 135142049 4289215472 18446744073709551615 134547266 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/25953/statm: 8974 8869 80 154 0 8818 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 79052
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.92 3/186 25957
/proc/meminfo: memFree=16815260/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=34456 CPUtime=25.01 cores=0,2,4,6
/proc/25925/stat : 25925 (python) S 25923 25925 25644 0 -1 4202496 2484 36840 0 0 2 0 2493 6 18 0 1 0 418842700 35282944 1429 33554432000 4194304 5745468 140734457836208 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/25925/statm: 8614 1429 488 379 0 934 0
[pid=25931] ppid=25925 vsize=0 CPUtime=14.49 cores=0,2,4,6
/proc/25931/stat : 25931 (features) Z 25925 25925 25644 0 -1 4202524 2929 0 0 0 1446 3 0 0 25 0 1 0 418842704 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/25931/statm: 0 0 0 0 0 0 0
[pid=25943] ppid=25925 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/25943/stat : 25943 (coach) Z 25925 25925 25644 0 -1 4202524 3927 0 0 0 33 0 0 0 20 0 1 0 418844154 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/25943/statm: 0 0 0 0 0 0 0
[pid=25952] ppid=25925 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/25952/stat : 25952 (timerun) S 25925 25925 25644 0 -1 4202496 754 0 0 0 0 0 0 0 20 0 1 0 418846689 8908800 248 33554432000 4194304 4922060 140735191668736 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/25952/statm: 2175 248 208 178 0 68 0
[pid=25953] ppid=25952 vsize=42492 CPUtime=122.4 cores=0,2,4,6
/proc/25953/stat : 25953 (precosat) R 25952 25925 25644 0 -1 4202496 10569 0 0 0 12239 1 0 0 25 0 1 0 418846689 43511808 10524 33554432000 134512640 135142049 4289215472 18446744073709551615 134555888 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/25953/statm: 10623 10524 80 154 0 10467 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 85648
[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.92 3/186 25962
/proc/meminfo: memFree=16863848/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=34456 CPUtime=153 cores=0,2,4,6
################
# More data... #
################
/proc/25943/statm: 0 0 0 0 0 0 0
[pid=25995] ppid=25925 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/25995/stat : 25995 (timerun) S 25925 25925 25644 0 -1 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418886585 8908800 248 33554432000 4194304 4922060 140733851878816 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/25995/statm: 2175 248 208 178 0 68 0
[pid=25996] ppid=25995 vsize=1020172 CPUtime=277.84 cores=0,2,4,6
/proc/25996/stat : 25996 (gnovelty+2) R 25995 25925 25644 0 -1 4202496 708 0 0 0 27784 0 0 0 25 0 1 0 418886586 1044656128 649 33554432000 134512640 134582202 4292564464 18446744073709551615 134531698 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/25996/statm: 255043 649 238 17 0 254390 0
Current children cumulated CPU time (s) 716.65
Current children cumulated vsize (KiB) 1063328
[startup+729.501 s]
/proc/loadavg: 2.04 2.02 1.94 3/186 26483
/proc/meminfo: memFree=16887032/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=34456 CPUtime=423.99 cores=0,2,4,6
/proc/25925/stat : 25925 (python) S 25923 25925 25644 0 -1 4202496 3667 74081 0 0 2 1 42383 13 18 0 1 0 418842700 35282944 1429 33554432000 4194304 5745468 140734457836208 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/25925/statm: 8614 1429 488 379 0 934 0
[pid=25931] ppid=25925 vsize=0 CPUtime=14.49 cores=0,2,4,6
/proc/25931/stat : 25931 (features) Z 25925 25925 25644 0 -1 4202524 2929 0 0 0 1446 3 0 0 25 0 1 0 418842704 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/25931/statm: 0 0 0 0 0 0 0
[pid=25943] ppid=25925 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/25943/stat : 25943 (coach) Z 25925 25925 25644 0 -1 4202524 3927 0 0 0 33 0 0 0 20 0 1 0 418844154 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/25943/statm: 0 0 0 0 0 0 0
[pid=25995] ppid=25925 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/25995/stat : 25995 (timerun) S 25925 25925 25644 0 -1 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418886585 8908800 248 33554432000 4194304 4922060 140733851878816 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/25995/statm: 2175 248 208 178 0 68 0
[pid=25996] ppid=25995 vsize=1020172 CPUtime=290.64 cores=0,2,4,6
/proc/25996/stat : 25996 (gnovelty+2) R 25995 25925 25644 0 -1 4202496 708 0 0 0 29064 0 0 0 25 0 1 0 418886586 1044656128 649 33554432000 134512640 134582202 4292564464 18446744073709551615 134531688 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/25996/statm: 255043 649 238 17 0 254390 0
Current children cumulated CPU time (s) 729.45
Current children cumulated vsize (KiB) 1063328
[startup+735.907 s]
/proc/loadavg: 2.04 2.02 1.94 3/186 26483
/proc/meminfo: memFree=16887032/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=34456 CPUtime=423.99 cores=0,2,4,6
/proc/25925/stat : 25925 (python) S 25923 25925 25644 0 -1 4202496 3667 74081 0 0 2 1 42383 13 18 0 1 0 418842700 35282944 1429 33554432000 4194304 5745468 140734457836208 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/25925/statm: 8614 1429 488 379 0 934 0
[pid=25931] ppid=25925 vsize=0 CPUtime=14.49 cores=0,2,4,6
/proc/25931/stat : 25931 (features) Z 25925 25925 25644 0 -1 4202524 2929 0 0 0 1446 3 0 0 25 0 1 0 418842704 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/25931/statm: 0 0 0 0 0 0 0
[pid=25943] ppid=25925 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/25943/stat : 25943 (coach) Z 25925 25925 25644 0 -1 4202524 3927 0 0 0 33 0 0 0 20 0 1 0 418844154 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/25943/statm: 0 0 0 0 0 0 0
[pid=25995] ppid=25925 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/25995/stat : 25995 (timerun) S 25925 25925 25644 0 -1 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418886585 8908800 248 33554432000 4194304 4922060 140733851878816 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/25995/statm: 2175 248 208 178 0 68 0
[pid=25996] ppid=25995 vsize=1020172 CPUtime=297.05 cores=0,2,4,6
/proc/25996/stat : 25996 (gnovelty+2) R 25995 25925 25644 0 -1 4202496 708 0 0 0 29705 0 0 0 25 0 1 0 418886586 1044656128 649 33554432000 134512640 134582202 4292564464 18446744073709551615 134532015 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/25996/statm: 255043 649 238 17 0 254390 0
Current children cumulated CPU time (s) 735.86
Current children cumulated vsize (KiB) 1063328
[startup+739.101 s]
/proc/loadavg: 2.03 2.02 1.94 3/186 26483
/proc/meminfo: memFree=16886908/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=34456 CPUtime=423.99 cores=0,2,4,6
/proc/25925/stat : 25925 (python) S 25923 25925 25644 0 -1 4202496 3667 74081 0 0 2 1 42383 13 18 0 1 0 418842700 35282944 1429 33554432000 4194304 5745468 140734457836208 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/25925/statm: 8614 1429 488 379 0 934 0
[pid=25931] ppid=25925 vsize=0 CPUtime=14.49 cores=0,2,4,6
/proc/25931/stat : 25931 (features) Z 25925 25925 25644 0 -1 4202524 2929 0 0 0 1446 3 0 0 25 0 1 0 418842704 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/25931/statm: 0 0 0 0 0 0 0
[pid=25943] ppid=25925 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/25943/stat : 25943 (coach) Z 25925 25925 25644 0 -1 4202524 3927 0 0 0 33 0 0 0 20 0 1 0 418844154 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/25943/statm: 0 0 0 0 0 0 0
[pid=25995] ppid=25925 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/25995/stat : 25995 (timerun) S 25925 25925 25644 0 -1 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418886585 8908800 248 33554432000 4194304 4922060 140733851878816 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/25995/statm: 2175 248 208 178 0 68 0
[pid=25996] ppid=25995 vsize=1020172 CPUtime=300.25 cores=0,2,4,6
/proc/25996/stat : 25996 (gnovelty+2) R 25995 25925 25644 0 -1 4202496 708 0 0 0 30025 0 0 0 25 0 1 0 418886586 1044656128 649 33554432000 134512640 134582202 4292564464 18446744073709551615 134549607 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/25996/statm: 255043 649 238 17 0 254390 0
Current children cumulated CPU time (s) 739.06
Current children cumulated vsize (KiB) 1063328
[startup+740.701 s]
/proc/loadavg: 2.03 2.02 1.94 3/186 26483
/proc/meminfo: memFree=16887028/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=34456 CPUtime=423.99 cores=0,2,4,6
/proc/25925/stat : 25925 (python) S 25923 25925 25644 0 -1 4202496 3667 74081 0 0 2 1 42383 13 18 0 1 0 418842700 35282944 1429 33554432000 4194304 5745468 140734457836208 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/25925/statm: 8614 1429 488 379 0 934 0
[pid=25931] ppid=25925 vsize=0 CPUtime=14.49 cores=0,2,4,6
/proc/25931/stat : 25931 (features) Z 25925 25925 25644 0 -1 4202524 2929 0 0 0 1446 3 0 0 25 0 1 0 418842704 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/25931/statm: 0 0 0 0 0 0 0
[pid=25943] ppid=25925 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/25943/stat : 25943 (coach) Z 25925 25925 25644 0 -1 4202524 3927 0 0 0 33 0 0 0 20 0 1 0 418844154 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/25943/statm: 0 0 0 0 0 0 0
[pid=25995] ppid=25925 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/25995/stat : 25995 (timerun) S 25925 25925 25644 0 -1 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418886585 8908800 248 33554432000 4194304 4922060 140733851878816 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/25995/statm: 2175 248 208 178 0 68 0
[pid=25996] ppid=25995 vsize=1020172 CPUtime=301.84 cores=0,2,4,6
/proc/25996/stat : 25996 (gnovelty+2) R 25995 25925 25644 0 -1 4202496 708 0 0 0 30184 0 0 0 25 0 1 0 418886586 1044656128 649 33554432000 134512640 134582202 4292564464 18446744073709551615 134549687 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/25996/statm: 255043 649 238 17 0 254390 0
Current children cumulated CPU time (s) 740.65
Current children cumulated vsize (KiB) 1063328
[startup+741.501 s]
/proc/loadavg: 2.03 2.02 1.94 3/186 26483
/proc/meminfo: memFree=16887028/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=34456 CPUtime=423.99 cores=0,2,4,6
/proc/25925/stat : 25925 (python) S 25923 25925 25644 0 -1 4202496 3667 74081 0 0 2 1 42383 13 18 0 1 0 418842700 35282944 1429 33554432000 4194304 5745468 140734457836208 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/25925/statm: 8614 1429 488 379 0 934 0
[pid=25931] ppid=25925 vsize=0 CPUtime=14.49 cores=0,2,4,6
/proc/25931/stat : 25931 (features) Z 25925 25925 25644 0 -1 4202524 2929 0 0 0 1446 3 0 0 25 0 1 0 418842704 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/25931/statm: 0 0 0 0 0 0 0
[pid=25943] ppid=25925 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/25943/stat : 25943 (coach) Z 25925 25925 25644 0 -1 4202524 3927 0 0 0 33 0 0 0 20 0 1 0 418844154 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/25943/statm: 0 0 0 0 0 0 0
[pid=25995] ppid=25925 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/25995/stat : 25995 (timerun) S 25925 25925 25644 0 -1 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418886585 8908800 248 33554432000 4194304 4922060 140733851878816 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/25995/statm: 2175 248 208 178 0 68 0
[pid=25996] ppid=25995 vsize=1020172 CPUtime=302.64 cores=0,2,4,6
/proc/25996/stat : 25996 (gnovelty+2) R 25995 25925 25644 0 -1 4202496 708 0 0 0 30264 0 0 0 25 0 1 0 418886586 1044656128 649 33554432000 134512640 134582202 4292564464 18446744073709551615 134531745 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/25996/statm: 255043 649 238 17 0 254390 0
Current children cumulated CPU time (s) 741.45
Current children cumulated vsize (KiB) 1063328
[startup+741.701 s]
/proc/loadavg: 2.03 2.02 1.94 3/186 26483
/proc/meminfo: memFree=16887028/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=34456 CPUtime=423.99 cores=0,2,4,6
/proc/25925/stat : 25925 (python) S 25923 25925 25644 0 -1 4202496 3667 74081 0 0 2 1 42383 13 18 0 1 0 418842700 35282944 1429 33554432000 4194304 5745468 140734457836208 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/25925/statm: 8614 1429 488 379 0 934 0
[pid=25931] ppid=25925 vsize=0 CPUtime=14.49 cores=0,2,4,6
/proc/25931/stat : 25931 (features) Z 25925 25925 25644 0 -1 4202524 2929 0 0 0 1446 3 0 0 25 0 1 0 418842704 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/25931/statm: 0 0 0 0 0 0 0
[pid=25943] ppid=25925 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/25943/stat : 25943 (coach) Z 25925 25925 25644 0 -1 4202524 3927 0 0 0 33 0 0 0 20 0 1 0 418844154 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/25943/statm: 0 0 0 0 0 0 0
[pid=25995] ppid=25925 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/25995/stat : 25995 (timerun) S 25925 25925 25644 0 -1 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418886585 8908800 248 33554432000 4194304 4922060 140733851878816 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/25995/statm: 2175 248 208 178 0 68 0
[pid=25996] ppid=25995 vsize=1020172 CPUtime=302.84 cores=0,2,4,6
/proc/25996/stat : 25996 (gnovelty+2) R 25995 25925 25644 0 -1 4202496 708 0 0 0 30284 0 0 0 25 0 1 0 418886586 1044656128 649 33554432000 134512640 134582202 4292564464 18446744073709551615 134532075 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/25996/statm: 255043 649 238 17 0 254390 0
Current children cumulated CPU time (s) 741.65
Current children cumulated vsize (KiB) 1063328
[startup+741.801 s]
/proc/loadavg: 2.03 2.02 1.94 3/186 26483
/proc/meminfo: memFree=16887028/32951124 swapFree=67111528/67111528
[pid=25925] ppid=25923 vsize=34456 CPUtime=423.99 cores=0,2,4,6
/proc/25925/stat : 25925 (python) S 25923 25925 25644 0 -1 4202496 3667 74081 0 0 2 1 42383 13 18 0 1 0 418842700 35282944 1429 33554432000 4194304 5745468 140734457836208 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/25925/statm: 8614 1429 488 379 0 934 0
[pid=25931] ppid=25925 vsize=0 CPUtime=14.49 cores=0,2,4,6
/proc/25931/stat : 25931 (features) Z 25925 25925 25644 0 -1 4202524 2929 0 0 0 1446 3 0 0 25 0 1 0 418842704 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/25931/statm: 0 0 0 0 0 0 0
[pid=25943] ppid=25925 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/25943/stat : 25943 (coach) Z 25925 25925 25644 0 -1 4202524 3927 0 0 0 33 0 0 0 20 0 1 0 418844154 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/25943/statm: 0 0 0 0 0 0 0
[pid=25995] ppid=25925 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/25995/stat : 25995 (timerun) S 25925 25925 25644 0 -1 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418886585 8908800 248 33554432000 4194304 4922060 140733851878816 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/25995/statm: 2175 248 208 178 0 68 0
[pid=25996] ppid=25995 vsize=1020172 CPUtime=302.94 cores=0,2,4,6
/proc/25996/stat : 25996 (gnovelty+2) R 25995 25925 25644 0 -1 4202496 708 0 0 0 30294 0 0 0 25 0 1 0 418886586 1044656128 649 33554432000 134512640 134582202 4292564464 18446744073709551615 134531231 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/25996/statm: 255043 649 238 17 0 254390 0
Current children cumulated CPU time (s) 741.75
Current children cumulated vsize (KiB) 1063328
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25925 and gives
# childrusage.ru_utime.tv_sec=438
# childrusage.ru_utime.tv_usec=658313
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=183972
# CPU time returned by wait4() is 438.842
# while last known CPU time is 741.75
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 741.848
CPU time (s): 741.75
CPU user time (s): 741.58
CPU system time (s): 0.17
CPU usage (%): 99.9868
Max. virtual memory (cumulated for all children) (KiB): 1063328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 438.658
system time used= 0.183972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85218
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= 467
involuntary context switches= 1770
runsolver used 1.16682 second user time and 2.37764 second system time
The end