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-3219660-1303259270/watcher-3219660-1303259270 -o /tmp/evaluation-result-3219660-1303259270/solver-3219660-1303259270 -C 5000 -W 5000 -M 15500 python portfolio_solver.py -t 5000 -s 543356404 HOME/instance-3219660-1303259270.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: 0.00 0.00 0.50 1/172 4119
/proc/meminfo: memFree=16963068/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=15244 CPUtime=0 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 718 0 0 0 0 0 0 0 19 0 1 0 437524099 15609856 612 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476692992 0 2147483391 16781312 2 18446744071699207358 0 0 17 1 0 0 0
/proc/4119/statm: 3811 612 330 379 0 284 0
[startup+0.0828691 s]
/proc/loadavg: 0.00 0.00 0.50 1/172 4119
/proc/meminfo: memFree=16963068/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=21952 CPUtime=0.02 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 1528 0 0 0 1 1 0 0 17 0 1 0 437524099 22478848 1366 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/4119/statm: 5488 1366 463 379 0 929 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21952
[startup+0.100881 s]
/proc/loadavg: 0.00 0.00 0.50 1/172 4119
/proc/meminfo: memFree=16963068/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=21952 CPUtime=0.02 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 1528 0 0 0 1 1 0 0 17 0 1 0 437524099 22478848 1366 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/4119/statm: 5488 1366 463 379 0 929 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21952
[startup+0.300838 s]
/proc/loadavg: 0.00 0.00 0.50 1/172 4119
/proc/meminfo: memFree=16963068/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=21952 CPUtime=0.02 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 1528 0 0 0 1 1 0 0 17 0 1 0 437524099 22478848 1366 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/4119/statm: 5488 1366 463 379 0 929 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21952
[startup+0.700756 s]
/proc/loadavg: 0.00 0.00 0.50 1/172 4119
/proc/meminfo: memFree=16963068/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=21952 CPUtime=0.02 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 1528 0 0 0 1 1 0 0 17 0 1 0 437524099 22478848 1366 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/4119/statm: 5488 1366 463 379 0 929 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21952
[startup+1.50061 s]
/proc/loadavg: 0.00 0.00 0.50 2/174 4121
/proc/meminfo: memFree=16951768/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=21952 CPUtime=0.02 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 1528 0 0 0 1 1 0 0 17 0 1 0 437524099 22478848 1366 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/4119/statm: 5488 1366 463 379 0 929 0
[pid=4121] ppid=4119 vsize=8364 CPUtime=1.42 cores=1,3,5,7
/proc/4121/stat : 4121 (features) R 4119 4119 4091 0 -1 4202496 2639 0 0 0 136 6 0 0 21 0 1 0 437524107 8564736 1522 33554432000 134512640 135907751 4290413280 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/4121/statm: 2091 1522 111 341 0 1747 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 30316
[startup+3.10029 s]
/proc/loadavg: 0.00 0.00 0.50 3/180 4132
/proc/meminfo: memFree=16904468/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=21952 CPUtime=0.02 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 1528 0 0 0 1 1 0 0 17 0 1 0 437524099 22478848 1366 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/4119/statm: 5488 1366 463 379 0 929 0
[pid=4121] ppid=4119 vsize=4844 CPUtime=3.02 cores=1,3,5,7
/proc/4121/stat : 4121 (features) R 4119 4119 4091 0 -1 4202496 2915 0 0 0 293 9 0 0 25 0 1 0 437524107 4960256 893 33554432000 134512640 135907751 4290413280 18446744073709551615 134851226 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/4121/statm: 1211 893 112 341 0 867 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 26796
[startup+6.30068 s]
/proc/loadavg: 0.16 0.03 0.50 3/180 4132
/proc/meminfo: memFree=16909676/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=21952 CPUtime=0.02 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 1528 0 0 0 1 1 0 0 17 0 1 0 437524099 22478848 1366 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/4119/statm: 5488 1366 463 379 0 929 0
[pid=4121] ppid=4119 vsize=4844 CPUtime=6.22 cores=1,3,5,7
/proc/4121/stat : 4121 (features) R 4119 4119 4091 0 -1 4202496 2915 0 0 0 613 9 0 0 25 0 1 0 437524107 4960256 893 33554432000 134512640 135907751 4290413280 18446744073709551615 134518699 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/4121/statm: 1211 893 112 341 0 867 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 26796
[startup+12.7004 s]
/proc/loadavg: 0.31 0.07 0.51 3/180 4133
/proc/meminfo: memFree=16911728/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=21952 CPUtime=0.02 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 1528 0 0 0 1 1 0 0 17 0 1 0 437524099 22478848 1366 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/4119/statm: 5488 1366 463 379 0 929 0
[pid=4121] ppid=4119 vsize=4844 CPUtime=12.61 cores=1,3,5,7
/proc/4121/stat : 4121 (features) R 4119 4119 4091 0 -1 4202496 2915 0 0 0 1252 9 0 0 25 0 1 0 437524107 4960256 893 33554432000 134512640 135907751 4290413280 18446744073709551615 134518600 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/4121/statm: 1211 893 112 341 0 867 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 26796
[startup+25.501 s]
/proc/loadavg: 0.68 0.16 0.53 3/186 4139
/proc/meminfo: memFree=16854424/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=34452 CPUtime=0.04 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 2170 0 4 0 2 2 0 0 18 0 1 0 437524099 35278848 1426 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/4119/statm: 8613 1426 488 379 0 933 0
[pid=4121] ppid=4119 vsize=0 CPUtime=13.23 cores=1,3,5,7
/proc/4121/stat : 4121 (features) Z 4119 4119 4091 0 -1 4202524 2929 0 0 0 1314 9 0 0 25 0 1 0 437524107 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/4121/statm: 0 0 0 0 0 0 0
[pid=4134] ppid=4119 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/4134/stat : 4134 (coach) Z 4119 4119 4091 0 -1 4202524 3922 0 6 0 32 0 0 0 18 0 1 0 437525431 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 10
/proc/4134/statm: 0 0 0 0 0 0 0
[pid=4135] ppid=4119 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/4135/stat : 4135 (timerun) S 4119 4119 4091 0 -1 4202496 753 0 0 0 0 0 0 0 17 0 1 0 437525479 8908800 248 33554432000 4194304 4922060 140734425888224 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4135/statm: 2175 248 208 178 0 68 0
[pid=4136] ppid=4135 vsize=36916 CPUtime=11.66 cores=1,3,5,7
/proc/4136/stat : 4136 (cryptominisat) R 4135 4119 4091 0 -1 4202496 21344 0 6 0 1163 3 0 0 25 0 1 0 437525479 37801984 7355 33554432000 134512640 134994940 4292504688 18446744073709551615 134798374 0 0 16781312 2 0 0 0 17 3 0 0 3
/proc/4136/statm: 9229 7355 357 118 0 8414 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 80068
[startup+51.1011 s]
/proc/loadavg: 1.13 0.31 0.57 3/186 4148
/proc/meminfo: memFree=16879972/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=34452 CPUtime=25.03 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 2474 32423 4 6 2 2 2494 5 18 0 1 0 437524099 35278848 1428 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/4119/statm: 8613 1428 488 379 0 933 0
[pid=4121] ppid=4119 vsize=0 CPUtime=13.23 cores=1,3,5,7
/proc/4121/stat : 4121 (features) Z 4119 4119 4091 0 -1 4202524 2929 0 0 0 1314 9 0 0 25 0 1 0 437524107 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/4121/statm: 0 0 0 0 0 0 0
[pid=4134] ppid=4119 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/4134/stat : 4134 (coach) Z 4119 4119 4091 0 -1 4202524 3922 0 6 0 32 0 0 0 18 0 1 0 437525431 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 10
/proc/4134/statm: 0 0 0 0 0 0 0
[pid=4144] ppid=4119 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/4144/stat : 4144 (timerun) S 4119 4119 4091 0 -1 4202496 750 0 0 0 0 0 0 0 18 0 1 0 437527983 8908800 247 33554432000 4194304 4922060 140733414277760 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4144/statm: 2175 247 208 178 0 68 0
[pid=4145] ppid=4144 vsize=17284 CPUtime=12.25 cores=1,3,5,7
/proc/4145/stat : 4145 (precosat) R 4144 4119 4091 0 -1 4202496 4270 0 0 0 1225 0 0 0 25 0 1 0 437527984 17698816 4225 33554432000 134512640 135142049 4290371344 18446744073709551615 134555752 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/4145/statm: 4321 4225 80 154 0 4165 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 60436
[startup+102.307 s]
/proc/loadavg: 1.62 0.56 0.64 3/186 4149
/proc/meminfo: memFree=16844828/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=34452 CPUtime=25.03 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 2474 32423 4 6 2 2 2494 5 18 0 1 0 437524099 35278848 1428 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/4119/statm: 8613 1428 488 379 0 933 0
[pid=4121] ppid=4119 vsize=0 CPUtime=13.23 cores=1,3,5,7
/proc/4121/stat : 4121 (features) Z 4119 4119 4091 0 -1 4202524 2929 0 0 0 1314 9 0 0 25 0 1 0 437524107 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/4121/statm: 0 0 0 0 0 0 0
[pid=4134] ppid=4119 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/4134/stat : 4134 (coach) Z 4119 4119 4091 0 -1 4202524 3922 0 6 0 32 0 0 0 18 0 1 0 437525431 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 10
/proc/4134/statm: 0 0 0 0 0 0 0
[pid=4144] ppid=4119 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/4144/stat : 4144 (timerun) S 4119 4119 4091 0 -1 4202496 750 0 0 0 0 0 0 0 18 0 1 0 437527983 8908800 247 33554432000 4194304 4922060 140733414277760 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4144/statm: 2175 247 208 178 0 68 0
[pid=4145] ppid=4144 vsize=30736 CPUtime=63.45 cores=1,3,5,7
/proc/4145/stat : 4145 (precosat) R 4144 4119 4091 0 -1 4202496 7662 0 0 0 6345 0 0 0 25 0 1 0 437527984 31473664 7588 33554432000 134512640 135142049 4290371344 18446744073709551615 134555861 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/4145/statm: 7684 7588 80 154 0 7528 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 73888
[startup+162.301 s]
/proc/loadavg: 1.86 0.82 0.73 3/186 4151
/proc/meminfo: memFree=16825700/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=34452 CPUtime=25.03 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 2474 32423 4 6 2 2 2494 5 18 0 1 0 437524099 35278848 1428 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/4119/statm: 8613 1428 488 379 0 933 0
[pid=4121] ppid=4119 vsize=0 CPUtime=13.23 cores=1,3,5,7
/proc/4121/stat : 4121 (features) Z 4119 4119 4091 0 -1 4202524 2929 0 0 0 1314 9 0 0 25 0 1 0 437524107 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/4121/statm: 0 0 0 0 0 0 0
[pid=4134] ppid=4119 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/4134/stat : 4134 (coach) Z 4119 4119 4091 0 -1 4202524 3922 0 6 0 32 0 0 0 18 0 1 0 437525431 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 10
/proc/4134/statm: 0 0 0 0 0 0 0
[pid=4144] ppid=4119 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/4144/stat : 4144 (timerun) S 4119 4119 4091 0 -1 4202496 750 0 0 0 0 0 0 0 18 0 1 0 437527983 8908800 247 33554432000 4194304 4922060 140733414277760 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4144/statm: 2175 247 208 178 0 68 0
[pid=4145] ppid=4144 vsize=38192 CPUtime=123.45 cores=1,3,5,7
/proc/4145/stat : 4145 (precosat) R 4144 4119 4091 0 -1 4202496 9501 0 0 0 12344 1 0 0 25 0 1 0 437527984 39108608 9424 33554432000 134512640 135142049 4290371344 18446744073709551615 134555816 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/4145/statm: 9548 9424 80 154 0 9392 0
Current children cumulated CPU time (s) 162.03
Current children cumulated vsize (KiB) 81344
[startup+222.301 s]
/proc/loadavg: 1.95 1.04 0.80 3/186 4156
/proc/meminfo: memFree=16890460/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=34452 CPUtime=153.01 cores=1,3,5,7
################
# More data... #
################
/proc/4134/statm: 0 0 0 0 0 0 0
[pid=4168] ppid=4119 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/4168/stat : 4168 (timerun) S 4119 4119 4091 0 -1 4202496 751 0 0 0 0 0 0 0 20 0 1 0 437556683 8908800 248 33554432000 4194304 4922060 140733786825248 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4168/statm: 2175 248 208 178 0 68 0
[pid=4169] ppid=4168 vsize=1019836 CPUtime=19.66 cores=1,3,5,7
/proc/4169/stat : 4169 (gnovelty+2) R 4168 4119 4091 0 -1 4202496 614 0 0 0 1966 0 0 0 25 0 1 0 437556683 1044312064 556 33554432000 134512640 134582202 4291290608 18446744073709551615 134531370 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/4169/statm: 254959 556 238 17 0 254306 0
Current children cumulated CPU time (s) 345.22
Current children cumulated vsize (KiB) 1062988
[startup+358.301 s]
/proc/loadavg: 1.99 1.38 0.96 3/186 4172
/proc/meminfo: memFree=16911832/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=34452 CPUtime=312.01 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 3058 60284 4 7 2 2 31187 10 18 0 1 0 437524099 35278848 1428 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 0
/proc/4119/statm: 8613 1428 488 379 0 933 0
[pid=4121] ppid=4119 vsize=0 CPUtime=13.23 cores=1,3,5,7
/proc/4121/stat : 4121 (features) Z 4119 4119 4091 0 -1 4202524 2929 0 0 0 1314 9 0 0 25 0 1 0 437524107 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/4121/statm: 0 0 0 0 0 0 0
[pid=4134] ppid=4119 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/4134/stat : 4134 (coach) Z 4119 4119 4091 0 -1 4202524 3922 0 6 0 32 0 0 0 18 0 1 0 437525431 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 10
/proc/4134/statm: 0 0 0 0 0 0 0
[pid=4168] ppid=4119 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/4168/stat : 4168 (timerun) S 4119 4119 4091 0 -1 4202496 751 0 0 0 0 0 0 0 20 0 1 0 437556683 8908800 248 33554432000 4194304 4922060 140733786825248 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4168/statm: 2175 248 208 178 0 68 0
[pid=4169] ppid=4168 vsize=1019836 CPUtime=32.46 cores=1,3,5,7
/proc/4169/stat : 4169 (gnovelty+2) R 4168 4119 4091 0 -1 4202496 614 0 0 0 3246 0 0 0 25 0 1 0 437556683 1044312064 556 33554432000 134512640 134582202 4291290608 18446744073709551615 134548844 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/4169/statm: 254959 556 238 17 0 254306 0
Current children cumulated CPU time (s) 358.02
Current children cumulated vsize (KiB) 1062988
[startup+364.701 s]
/proc/loadavg: 1.99 1.40 0.97 3/186 4174
/proc/meminfo: memFree=16911448/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=34452 CPUtime=350 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 3207 61660 4 7 2 2 34986 10 18 0 1 0 437524099 35278848 1428 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 0
/proc/4119/statm: 8613 1428 488 379 0 933 0
[pid=4121] ppid=4119 vsize=0 CPUtime=13.23 cores=1,3,5,7
/proc/4121/stat : 4121 (features) Z 4119 4119 4091 0 -1 4202524 2929 0 0 0 1314 9 0 0 25 0 1 0 437524107 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/4121/statm: 0 0 0 0 0 0 0
[pid=4134] ppid=4119 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/4134/stat : 4134 (coach) Z 4119 4119 4091 0 -1 4202524 3922 0 6 0 32 0 0 0 18 0 1 0 437525431 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 10
/proc/4134/statm: 0 0 0 0 0 0 0
[pid=4173] ppid=4119 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/4173/stat : 4173 (timerun) S 4119 4119 4091 0 -1 4202496 751 0 0 0 0 0 0 0 19 0 1 0 437560483 8908800 248 33554432000 4194304 4922060 140733838169408 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4173/statm: 2175 248 208 178 0 68 0
[pid=4174] ppid=4173 vsize=458068 CPUtime=0.86 cores=1,3,5,7
/proc/4174/stat : 4174 (TNM) R 4173 4119 4091 0 -1 4202496 955 0 0 0 86 0 0 0 23 0 1 0 437560483 469061632 900 33554432000 134512640 134534564 4288869840 18446744073709551615 134530549 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/4174/statm: 114517 900 95 6 0 113183 0
Current children cumulated CPU time (s) 364.41
Current children cumulated vsize (KiB) 501220
[startup+366.307 s]
/proc/loadavg: 1.99 1.40 0.97 3/186 4174
/proc/meminfo: memFree=16909960/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=34452 CPUtime=350 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 3207 61660 4 7 2 2 34986 10 18 0 1 0 437524099 35278848 1428 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 0
/proc/4119/statm: 8613 1428 488 379 0 933 0
[pid=4121] ppid=4119 vsize=0 CPUtime=13.23 cores=1,3,5,7
/proc/4121/stat : 4121 (features) Z 4119 4119 4091 0 -1 4202524 2929 0 0 0 1314 9 0 0 25 0 1 0 437524107 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/4121/statm: 0 0 0 0 0 0 0
[pid=4134] ppid=4119 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/4134/stat : 4134 (coach) Z 4119 4119 4091 0 -1 4202524 3922 0 6 0 32 0 0 0 18 0 1 0 437525431 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 10
/proc/4134/statm: 0 0 0 0 0 0 0
[pid=4173] ppid=4119 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/4173/stat : 4173 (timerun) S 4119 4119 4091 0 -1 4202496 751 0 0 0 0 0 0 0 19 0 1 0 437560483 8908800 248 33554432000 4194304 4922060 140733838169408 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4173/statm: 2175 248 208 178 0 68 0
[pid=4174] ppid=4173 vsize=458068 CPUtime=2.46 cores=1,3,5,7
/proc/4174/stat : 4174 (TNM) R 4173 4119 4091 0 -1 4202496 955 0 0 0 246 0 0 0 25 0 1 0 437560483 469061632 900 33554432000 134512640 134534564 4288869840 18446744073709551615 134528302 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/4174/statm: 114517 900 95 6 0 113183 0
Current children cumulated CPU time (s) 366.01
Current children cumulated vsize (KiB) 501220
[startup+367.1 s]
/proc/loadavg: 1.99 1.40 0.97 3/186 4174
/proc/meminfo: memFree=16909960/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=34452 CPUtime=350 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 3207 61660 4 7 2 2 34986 10 18 0 1 0 437524099 35278848 1428 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 0
/proc/4119/statm: 8613 1428 488 379 0 933 0
[pid=4121] ppid=4119 vsize=0 CPUtime=13.23 cores=1,3,5,7
/proc/4121/stat : 4121 (features) Z 4119 4119 4091 0 -1 4202524 2929 0 0 0 1314 9 0 0 25 0 1 0 437524107 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/4121/statm: 0 0 0 0 0 0 0
[pid=4134] ppid=4119 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/4134/stat : 4134 (coach) Z 4119 4119 4091 0 -1 4202524 3922 0 6 0 32 0 0 0 18 0 1 0 437525431 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 10
/proc/4134/statm: 0 0 0 0 0 0 0
[pid=4173] ppid=4119 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/4173/stat : 4173 (timerun) S 4119 4119 4091 0 -1 4202496 751 0 0 0 0 0 0 0 19 0 1 0 437560483 8908800 248 33554432000 4194304 4922060 140733838169408 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4173/statm: 2175 248 208 178 0 68 0
[pid=4174] ppid=4173 vsize=458068 CPUtime=3.26 cores=1,3,5,7
/proc/4174/stat : 4174 (TNM) R 4173 4119 4091 0 -1 4202496 955 0 0 0 326 0 0 0 25 0 1 0 437560483 469061632 900 33554432000 134512640 134534564 4288869840 18446744073709551615 134528310 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/4174/statm: 114517 900 95 6 0 113183 0
Current children cumulated CPU time (s) 366.81
Current children cumulated vsize (KiB) 501220
[startup+367.9 s]
/proc/loadavg: 1.99 1.40 0.97 3/186 4176
/proc/meminfo: memFree=16908596/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=34452 CPUtime=350 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 3207 61660 4 7 2 2 34986 10 18 0 1 0 437524099 35278848 1428 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 0
/proc/4119/statm: 8613 1428 488 379 0 933 0
[pid=4121] ppid=4119 vsize=0 CPUtime=13.23 cores=1,3,5,7
/proc/4121/stat : 4121 (features) Z 4119 4119 4091 0 -1 4202524 2929 0 0 0 1314 9 0 0 25 0 1 0 437524107 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/4121/statm: 0 0 0 0 0 0 0
[pid=4134] ppid=4119 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/4134/stat : 4134 (coach) Z 4119 4119 4091 0 -1 4202524 3922 0 6 0 32 0 0 0 18 0 1 0 437525431 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 10
/proc/4134/statm: 0 0 0 0 0 0 0
[pid=4173] ppid=4119 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/4173/stat : 4173 (timerun) S 4119 4119 4091 0 -1 4202496 751 0 0 0 0 0 0 0 19 0 1 0 437560483 8908800 248 33554432000 4194304 4922060 140733838169408 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4173/statm: 2175 248 208 178 0 68 0
[pid=4174] ppid=4173 vsize=458068 CPUtime=4.06 cores=1,3,5,7
/proc/4174/stat : 4174 (TNM) R 4173 4119 4091 0 -1 4202496 955 0 0 0 406 0 0 0 25 0 1 0 437560483 469061632 900 33554432000 134512640 134534564 4288869840 18446744073709551615 134528687 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/4174/statm: 114517 900 95 6 0 113183 0
Current children cumulated CPU time (s) 367.61
Current children cumulated vsize (KiB) 501220
[startup+368.1 s]
/proc/loadavg: 1.99 1.40 0.97 3/186 4176
/proc/meminfo: memFree=16908596/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=34452 CPUtime=350 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 3207 61660 4 7 2 2 34986 10 18 0 1 0 437524099 35278848 1428 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 0
/proc/4119/statm: 8613 1428 488 379 0 933 0
[pid=4121] ppid=4119 vsize=0 CPUtime=13.23 cores=1,3,5,7
/proc/4121/stat : 4121 (features) Z 4119 4119 4091 0 -1 4202524 2929 0 0 0 1314 9 0 0 25 0 1 0 437524107 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/4121/statm: 0 0 0 0 0 0 0
[pid=4134] ppid=4119 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/4134/stat : 4134 (coach) Z 4119 4119 4091 0 -1 4202524 3922 0 6 0 32 0 0 0 18 0 1 0 437525431 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 10
/proc/4134/statm: 0 0 0 0 0 0 0
[pid=4173] ppid=4119 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/4173/stat : 4173 (timerun) S 4119 4119 4091 0 -1 4202496 751 0 0 0 0 0 0 0 19 0 1 0 437560483 8908800 248 33554432000 4194304 4922060 140733838169408 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4173/statm: 2175 248 208 178 0 68 0
[pid=4174] ppid=4173 vsize=458068 CPUtime=4.26 cores=1,3,5,7
/proc/4174/stat : 4174 (TNM) R 4173 4119 4091 0 -1 4202496 955 0 0 0 426 0 0 0 25 0 1 0 437560483 469061632 900 33554432000 134512640 134534564 4288869840 18446744073709551615 134528504 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/4174/statm: 114517 900 95 6 0 113183 0
Current children cumulated CPU time (s) 367.81
Current children cumulated vsize (KiB) 501220
[startup+368.201 s]
/proc/loadavg: 1.99 1.40 0.97 3/186 4176
/proc/meminfo: memFree=16908596/32950928 swapFree=67087032/67111528
[pid=4119] ppid=4117 vsize=34452 CPUtime=350 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4117 4119 4091 0 -1 4202496 3207 61660 4 7 2 2 34986 10 18 0 1 0 437524099 35278848 1428 33554432000 4194304 5745468 140734540890880 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 0
/proc/4119/statm: 8613 1428 488 379 0 933 0
[pid=4121] ppid=4119 vsize=0 CPUtime=13.23 cores=1,3,5,7
/proc/4121/stat : 4121 (features) Z 4119 4119 4091 0 -1 4202524 2929 0 0 0 1314 9 0 0 25 0 1 0 437524107 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/4121/statm: 0 0 0 0 0 0 0
[pid=4134] ppid=4119 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/4134/stat : 4134 (coach) Z 4119 4119 4091 0 -1 4202524 3922 0 6 0 32 0 0 0 18 0 1 0 437525431 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 10
/proc/4134/statm: 0 0 0 0 0 0 0
[pid=4173] ppid=4119 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/4173/stat : 4173 (timerun) S 4119 4119 4091 0 -1 4202496 751 0 0 0 0 0 0 0 19 0 1 0 437560483 8908800 248 33554432000 4194304 4922060 140733838169408 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4173/statm: 2175 248 208 178 0 68 0
[pid=4174] ppid=4173 vsize=458068 CPUtime=4.36 cores=1,3,5,7
/proc/4174/stat : 4174 (TNM) R 4173 4119 4091 0 -1 4202496 955 0 0 0 436 0 0 0 25 0 1 0 437560483 469061632 900 33554432000 134512640 134534564 4288869840 18446744073709551615 134528957 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/4174/statm: 114517 900 95 6 0 113183 0
Current children cumulated CPU time (s) 367.91
Current children cumulated vsize (KiB) 501220
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4119 and gives
# childrusage.ru_utime.tv_sec=363
# childrusage.ru_utime.tv_usec=365760
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=236963
# CPU time returned by wait4() is 363.603
# while last known CPU time is 367.91
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 368.235
CPU time (s): 367.91
CPU user time (s): 367.7
CPU system time (s): 0.21
CPU usage (%): 99.9117
Max. virtual memory (cumulated for all children) (KiB): 1062988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 363.366
system time used= 0.236963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72326
page faults= 17
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 786
involuntary context switches= 799
runsolver used 0.526919 second user time and 1.2928 second system time
The end