runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450219-1307063838/watcher-3450219-1307063838 -o /tmp/evaluation-result-3450219-1307063838/solver-3450219-1307063838 -C 5000 -W 5100 -M 15500 python portfolio_solver.py -t 5000 -s 1777141277 HOME/instance-3450219-1307063838.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.08 2.05 2.00 3/474 21538
/proc/meminfo: memFree=19530612/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/21538/stat : 21538 (python) R 21536 21538 21173 0 -1 4202496 807 0 0 0 0 0 0 0 22 0 1 0 817984037 15753216 693 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967248 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/21538/statm: 3846 693 332 364 0 333 0

[startup+0.106501 s]
/proc/loadavg: 2.08 2.05 2.00 3/474 21538
/proc/meminfo: memFree=19530612/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=21896 CPUtime=0.01 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 1515 0 0 0 1 0 0 0 22 0 1 0 817984037 22421504 1349 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 5474 1349 443 364 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21896

[startup+0.200484 s]
/proc/loadavg: 2.08 2.05 2.00 3/474 21538
/proc/meminfo: memFree=19530612/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=21896 CPUtime=0.01 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 1515 0 0 0 1 0 0 0 22 0 1 0 817984037 22421504 1349 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 5474 1349 443 364 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21896

[startup+0.300463 s]
/proc/loadavg: 2.08 2.05 2.00 3/474 21538
/proc/meminfo: memFree=19530612/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=21896 CPUtime=0.01 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 1515 0 0 0 1 0 0 0 22 0 1 0 817984037 22421504 1349 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 5474 1349 443 364 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21896

[startup+0.700394 s]
/proc/loadavg: 2.08 2.05 2.00 3/474 21538
/proc/meminfo: memFree=19530612/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=21896 CPUtime=0.01 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 1515 0 0 0 1 0 0 0 22 0 1 0 817984037 22421504 1349 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 5474 1349 443 364 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21896

[startup+1.5002 s]
/proc/loadavg: 2.08 2.05 2.00 3/476 21540
/proc/meminfo: memFree=19520320/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=21896 CPUtime=0.01 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 1515 0 0 0 1 0 0 0 22 0 1 0 817984037 22421504 1349 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 5474 1349 443 364 0 929 0
[pid=21540] ppid=21538 vsize=8364 CPUtime=1.45 cores=0,2,4,6
/proc/21540/stat : 21540 (features) R 21538 21538 21173 0 -1 4202496 2637 0 0 0 144 1 0 0 25 0 1 0 817984041 8564736 1520 33554432000 134512640 135907751 4290233952 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21540/statm: 2091 1520 111 341 0 1747 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30260

[startup+3.10092 s]
/proc/loadavg: 2.08 2.05 2.00 3/476 21540
/proc/meminfo: memFree=19515768/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=21896 CPUtime=0.01 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 1515 0 0 0 1 0 0 0 22 0 1 0 817984037 22421504 1349 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 5474 1349 443 364 0 929 0
[pid=21540] ppid=21538 vsize=153096 CPUtime=3.05 cores=0,2,4,6
/proc/21540/stat : 21540 (features) R 21538 21538 21173 0 -1 4202496 16720 0 0 0 302 3 0 0 25 0 1 0 817984041 156770304 14698 33554432000 134512640 135907751 4290233952 18446744073709551615 135396606 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21540/statm: 38274 14698 112 341 0 37930 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 174992

[startup+6.3005 s]
/proc/loadavg: 2.07 2.05 2.00 3/476 21540
/proc/meminfo: memFree=19326540/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=21896 CPUtime=0.01 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 1515 0 0 0 1 0 0 0 22 0 1 0 817984037 22421504 1349 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 5474 1349 443 364 0 929 0
[pid=21540] ppid=21538 vsize=295516 CPUtime=6.25 cores=0,2,4,6
/proc/21540/stat : 21540 (features) R 21538 21538 21173 0 -1 4202496 63524 0 0 0 613 12 0 0 25 0 1 0 817984041 302608384 61502 33554432000 134512640 135907751 4290233952 18446744073709551615 134549555 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21540/statm: 73879 61502 112 341 0 73535 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 317412

[startup+12.7004 s]
/proc/loadavg: 2.07 2.05 2.00 3/476 21541
/proc/meminfo: memFree=18833164/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=21896 CPUtime=0.01 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 1515 0 0 0 1 0 0 0 22 0 1 0 817984037 22421504 1349 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 5474 1349 443 364 0 929 0
[pid=21540] ppid=21538 vsize=708328 CPUtime=12.65 cores=0,2,4,6
/proc/21540/stat : 21540 (features) R 21538 21538 21173 0 -1 4202496 175179 0 0 0 1236 29 0 0 25 0 1 0 817984041 725327872 173156 33554432000 134512640 135907751 4290233952 18446744073709551615 134534779 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21540/statm: 177082 173156 112 341 0 176738 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 730224

[startup+25.5011 s]
/proc/loadavg: 2.05 2.04 2.00 3/476 21541
/proc/meminfo: memFree=18834300/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=21896 CPUtime=0.01 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 1515 0 0 0 1 0 0 0 22 0 1 0 817984037 22421504 1349 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 5474 1349 443 364 0 929 0
[pid=21540] ppid=21538 vsize=708328 CPUtime=25.45 cores=0,2,4,6
/proc/21540/stat : 21540 (features) R 21538 21538 21173 0 -1 4202496 175216 0 0 0 2516 29 0 0 25 0 1 0 817984041 725327872 173193 33554432000 134512640 135907751 4290233952 18446744073709551615 134534355 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21540/statm: 177082 173193 112 341 0 176738 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 730224

[startup+51.1006 s]
/proc/loadavg: 2.03 2.04 2.00 3/476 21542
/proc/meminfo: memFree=18834444/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=21896 CPUtime=0.01 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 1515 0 0 0 1 0 0 0 22 0 1 0 817984037 22421504 1349 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 5474 1349 443 364 0 929 0
[pid=21540] ppid=21538 vsize=708328 CPUtime=51.06 cores=0,2,4,6
/proc/21540/stat : 21540 (features) R 21538 21538 21173 0 -1 4202496 175289 0 0 0 5076 30 0 0 25 0 1 0 817984041 725327872 173266 33554432000 134512640 135907751 4290233952 18446744073709551615 134534342 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21540/statm: 177082 173266 112 341 0 176738 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 730224

[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 21549
/proc/meminfo: memFree=18896816/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=34396 CPUtime=0.02 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 2163 0 0 0 2 0 0 0 18 0 1 0 817984037 35221504 1407 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 8599 1407 468 364 0 933 0
[pid=21540] ppid=21538 vsize=0 CPUtime=92.98 cores=0,2,4,6
/proc/21540/stat : 21540 (features) Z 21538 21538 21173 0 -1 4202524 228196 0 0 0 9256 42 0 0 25 0 1 0 817984041 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/21540/statm: 0 0 0 0 0 0 0
[pid=21547] ppid=21538 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/21547/stat : 21547 (coach) Z 21538 21538 21173 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 817993338 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/21547/statm: 0 0 0 0 0 0 0
[pid=21548] ppid=21538 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21548/stat : 21548 (timerun) S 21538 21538 21173 0 -1 4202496 754 0 0 0 0 0 0 0 17 0 1 0 817993373 8908800 248 33554432000 4194304 4922060 140736172614336 18446744073709551615 274473786501 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/21548/statm: 2175 248 208 178 0 68 0
[pid=21549] ppid=21548 vsize=750144 CPUtime=8.94 cores=0,2,4,6
/proc/21549/stat : 21549 (cryptominisat) R 21548 21538 21173 0 -1 4202496 158494 0 0 0 870 24 0 0 25 0 1 0 817993373 768147456 132429 33554432000 134512640 134994940 4289264144 18446744073709551615 134641553 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/21549/statm: 187536 132429 321 118 0 186721 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 793240

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 21559
/proc/meminfo: memFree=18702700/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=34396 CPUtime=21.05 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 2464 236086 0 0 2 0 2064 39 18 0 1 0 817984037 35221504 1407 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 8599 1407 468 364 0 933 0
[pid=21540] ppid=21538 vsize=0 CPUtime=92.98 cores=0,2,4,6
/proc/21540/stat : 21540 (features) Z 21538 21538 21173 0 -1 4202524 228196 0 0 0 9256 42 0 0 25 0 1 0 817984041 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/21540/statm: 0 0 0 0 0 0 0
[pid=21547] ppid=21538 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/21547/stat : 21547 (coach) Z 21538 21538 21173 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 817993338 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/21547/statm: 0 0 0 0 0 0 0
[pid=21556] ppid=21538 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21556/stat : 21556 (timerun) S 21538 21538 21173 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 817995477 8908800 248 33554432000 4194304 4922060 140734000681744 18446744073709551615 274473786501 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/21556/statm: 2175 248 208 178 0 68 0
[pid=21557] ppid=21556 vsize=712484 CPUtime=47.89 cores=0,2,4,6
/proc/21557/stat : 21557 (precosat) R 21556 21538 21173 0 -1 4202496 190263 0 0 0 4755 34 0 0 25 0 1 0 817995477 729583616 171430 33554432000 134512640 135142049 4293288080 18446744073709551615 134618097 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/21557/statm: 178121 171430 79 154 0 177965 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 755580

[startup+222.318 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 21560
/proc/meminfo: memFree=18664772/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=34396 CPUtime=21.05 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 2464 236086 0 0 2 0 2064 39 18 0 1 0 817984037 35221504 1407 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 8599 1407 468 364 0 933 0
[pid=21540] ppid=21538 vsize=0 CPUtime=92.98 cores=0,2,4,6
/proc/21540/stat : 21540 (features) Z 21538 21538 21173 0 -1 4202524 228196 0 0 0 9256 42 0 0 25 0 1 0 817984041 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/21540/statm: 0 0 0 0 0 0 0
[pid=21547] ppid=21538 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/21547/stat : 21547 (coach) Z 21538 21538 21173 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 817993338 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/21547/statm: 0 0 0 0 0 0 0
[pid=21556] ppid=21538 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21556/stat : 21556 (timerun) S 21538 21538 21173 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 817995477 8908800 248 33554432000 4194304 4922060 140734000681744 18446744073709551615 274473786501 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/21556/statm: 2175 248 208 178 0 68 0
[pid=21557] ppid=21556 vsize=709664 CPUtime=107.91 cores=0,2,4,6
/proc/21557/stat : 21557 (precosat) R 21556 21538 21173 0 -1 4202496 224065 0 0 0 10751 40 0 0 25 0 1 0 817995477 726695936 164784 33554432000 134512640 135142049 4293288080 18446744073709551615 134556107 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/21557/statm: 177416 164784 82 154 0 177260 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 752760

[startup+282.301 s]

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

/proc/loadavg: 1.01 1.02 1.00 2/472 22208
/proc/meminfo: memFree=15546932/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=34396 CPUtime=1219.48 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 3846 3414644 0 0 2 1 120913 1032 18 0 1 0 817984037 35221504 1421 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 8599 1421 468 364 0 933 0
[pid=21540] ppid=21538 vsize=0 CPUtime=92.98 cores=0,2,4,6
/proc/21540/stat : 21540 (features) Z 21538 21538 21173 0 -1 4202524 228196 0 0 0 9256 42 0 0 25 0 1 0 817984041 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/21540/statm: 0 0 0 0 0 0 0
[pid=21547] ppid=21538 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/21547/stat : 21547 (coach) Z 21538 21538 21173 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 817993338 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/21547/statm: 0 0 0 0 0 0 0
[pid=21639] ppid=21538 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21639/stat : 21639 (timerun) S 21538 21538 21173 0 -1 4202496 746 0 0 0 0 0 0 0 19 0 1 0 818115318 8908800 248 33554432000 4194304 4922060 140733380837648 18446744073709551615 274473786501 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21639/statm: 2175 248 208 178 0 68 0
[pid=21640] ppid=21639 vsize=1371008 CPUtime=3349.55 cores=0,2,4,6
/proc/21640/stat : 21640 (mxc-sat09) R 21639 21538 21173 0 -1 4202496 375504 0 0 0 334851 104 0 0 25 0 1 0 818115318 1403912192 327105 33554432000 134512640 134581694 4288226128 18446744073709551615 134530728 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21640/statm: 342752 327105 205 17 0 342099 0
Current children cumulated CPU time (s) 4662.34
Current children cumulated vsize (KiB) 1414104

[startup+4722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/472 22209
/proc/meminfo: memFree=15546016/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=34396 CPUtime=1219.48 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 3846 3414644 0 0 2 1 120913 1032 18 0 1 0 817984037 35221504 1421 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 8599 1421 468 364 0 933 0
[pid=21540] ppid=21538 vsize=0 CPUtime=92.98 cores=0,2,4,6
/proc/21540/stat : 21540 (features) Z 21538 21538 21173 0 -1 4202524 228196 0 0 0 9256 42 0 0 25 0 1 0 817984041 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/21540/statm: 0 0 0 0 0 0 0
[pid=21547] ppid=21538 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/21547/stat : 21547 (coach) Z 21538 21538 21173 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 817993338 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/21547/statm: 0 0 0 0 0 0 0
[pid=21639] ppid=21538 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21639/stat : 21639 (timerun) S 21538 21538 21173 0 -1 4202496 746 0 0 0 0 0 0 0 19 0 1 0 818115318 8908800 248 33554432000 4194304 4922060 140733380837648 18446744073709551615 274473786501 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21639/statm: 2175 248 208 178 0 68 0
[pid=21640] ppid=21639 vsize=1371304 CPUtime=3409.57 cores=0,2,4,6
/proc/21640/stat : 21640 (mxc-sat09) R 21639 21538 21173 0 -1 4202496 375671 0 0 0 340853 104 0 0 25 0 1 0 818115318 1404215296 327272 33554432000 134512640 134581694 4288226128 18446744073709551615 134533150 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21640/statm: 342826 327272 205 17 0 342173 0
Current children cumulated CPU time (s) 4722.36
Current children cumulated vsize (KiB) 1414400

[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/472 22211
/proc/meminfo: memFree=15546096/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=34396 CPUtime=1219.48 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 3846 3414644 0 0 2 1 120913 1032 18 0 1 0 817984037 35221504 1421 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 8599 1421 468 364 0 933 0
[pid=21540] ppid=21538 vsize=0 CPUtime=92.98 cores=0,2,4,6
/proc/21540/stat : 21540 (features) Z 21538 21538 21173 0 -1 4202524 228196 0 0 0 9256 42 0 0 25 0 1 0 817984041 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/21540/statm: 0 0 0 0 0 0 0
[pid=21547] ppid=21538 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/21547/stat : 21547 (coach) Z 21538 21538 21173 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 817993338 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/21547/statm: 0 0 0 0 0 0 0
[pid=21639] ppid=21538 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21639/stat : 21639 (timerun) S 21538 21538 21173 0 -1 4202496 746 0 0 0 0 0 0 0 19 0 1 0 818115318 8908800 248 33554432000 4194304 4922060 140733380837648 18446744073709551615 274473786501 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21639/statm: 2175 248 208 178 0 68 0
[pid=21640] ppid=21639 vsize=1371304 CPUtime=3469.56 cores=0,2,4,6
/proc/21640/stat : 21640 (mxc-sat09) R 21639 21538 21173 0 -1 4202496 375713 0 0 0 346852 104 0 0 25 0 1 0 818115318 1404215296 327314 33554432000 134512640 134581694 4288226128 18446744073709551615 134533150 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21640/statm: 342826 327314 205 17 0 342173 0
Current children cumulated CPU time (s) 4782.35
Current children cumulated vsize (KiB) 1414400

Solver just ended. Dumping a history of the last processes samples

[startup+4782.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/472 22211
/proc/meminfo: memFree=15546096/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=34396 CPUtime=1219.48 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 3846 3414644 0 0 2 1 120913 1032 18 0 1 0 817984037 35221504 1421 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 8599 1421 468 364 0 933 0
[pid=21540] ppid=21538 vsize=0 CPUtime=92.98 cores=0,2,4,6
/proc/21540/stat : 21540 (features) Z 21538 21538 21173 0 -1 4202524 228196 0 0 0 9256 42 0 0 25 0 1 0 817984041 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/21540/statm: 0 0 0 0 0 0 0
[pid=21547] ppid=21538 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/21547/stat : 21547 (coach) Z 21538 21538 21173 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 817993338 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/21547/statm: 0 0 0 0 0 0 0
[pid=21639] ppid=21538 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21639/stat : 21639 (timerun) S 21538 21538 21173 0 -1 4202496 746 0 0 0 0 0 0 0 19 0 1 0 818115318 8908800 248 33554432000 4194304 4922060 140733380837648 18446744073709551615 274473786501 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21639/statm: 2175 248 208 178 0 68 0
[pid=21640] ppid=21639 vsize=1371304 CPUtime=3469.66 cores=0,2,4,6
/proc/21640/stat : 21640 (mxc-sat09) R 21639 21538 21173 0 -1 4202496 375713 0 0 0 346862 104 0 0 25 0 1 0 818115318 1404215296 327314 33554432000 134512640 134581694 4288226128 18446744073709551615 134533040 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21640/statm: 342826 327314 205 17 0 342173 0
Current children cumulated CPU time (s) 4782.45
Current children cumulated vsize (KiB) 1414400

[startup+4783.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/472 22211
/proc/meminfo: memFree=15545972/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=34396 CPUtime=1219.48 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 3846 3414644 0 0 2 1 120913 1032 18 0 1 0 817984037 35221504 1421 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 8599 1421 468 364 0 933 0
[pid=21540] ppid=21538 vsize=0 CPUtime=92.98 cores=0,2,4,6
/proc/21540/stat : 21540 (features) Z 21538 21538 21173 0 -1 4202524 228196 0 0 0 9256 42 0 0 25 0 1 0 817984041 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/21540/statm: 0 0 0 0 0 0 0
[pid=21547] ppid=21538 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/21547/stat : 21547 (coach) Z 21538 21538 21173 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 817993338 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/21547/statm: 0 0 0 0 0 0 0
[pid=21639] ppid=21538 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21639/stat : 21639 (timerun) S 21538 21538 21173 0 -1 4202496 746 0 0 0 0 0 0 0 19 0 1 0 818115318 8908800 248 33554432000 4194304 4922060 140733380837648 18446744073709551615 274473786501 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21639/statm: 2175 248 208 178 0 68 0
[pid=21640] ppid=21639 vsize=1371304 CPUtime=3470.46 cores=0,2,4,6
/proc/21640/stat : 21640 (mxc-sat09) R 21639 21538 21173 0 -1 4202496 375714 0 0 0 346942 104 0 0 25 0 1 0 818115318 1404215296 327315 33554432000 134512640 134581694 4288226128 18446744073709551615 134533040 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21640/statm: 342826 327315 205 17 0 342173 0
Current children cumulated CPU time (s) 4783.25
Current children cumulated vsize (KiB) 1414400

[startup+4783.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/472 22211
/proc/meminfo: memFree=15545972/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=34396 CPUtime=1219.48 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 3846 3414644 0 0 2 1 120913 1032 18 0 1 0 817984037 35221504 1421 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 8599 1421 468 364 0 933 0
[pid=21540] ppid=21538 vsize=0 CPUtime=92.98 cores=0,2,4,6
/proc/21540/stat : 21540 (features) Z 21538 21538 21173 0 -1 4202524 228196 0 0 0 9256 42 0 0 25 0 1 0 817984041 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/21540/statm: 0 0 0 0 0 0 0
[pid=21547] ppid=21538 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/21547/stat : 21547 (coach) Z 21538 21538 21173 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 817993338 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/21547/statm: 0 0 0 0 0 0 0
[pid=21639] ppid=21538 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21639/stat : 21639 (timerun) S 21538 21538 21173 0 -1 4202496 746 0 0 0 0 0 0 0 19 0 1 0 818115318 8908800 248 33554432000 4194304 4922060 140733380837648 18446744073709551615 274473786501 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21639/statm: 2175 248 208 178 0 68 0
[pid=21640] ppid=21639 vsize=1371304 CPUtime=3470.86 cores=0,2,4,6
/proc/21640/stat : 21640 (mxc-sat09) R 21639 21538 21173 0 -1 4202496 375714 0 0 0 346982 104 0 0 25 0 1 0 818115318 1404215296 327315 33554432000 134512640 134581694 4288226128 18446744073709551615 134531256 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21640/statm: 342826 327315 205 17 0 342173 0
Current children cumulated CPU time (s) 4783.65
Current children cumulated vsize (KiB) 1414400

[startup+4783.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/472 22211
/proc/meminfo: memFree=15545972/32950928 swapFree=61858088/67111528
[pid=21538] ppid=21536 vsize=34396 CPUtime=1219.48 cores=0,2,4,6
/proc/21538/stat : 21538 (python) S 21536 21538 21173 0 -1 4202496 3846 3414644 0 0 2 1 120913 1032 18 0 1 0 817984037 35221504 1421 33554432000 4194304 5683644 140734618053680 18446744073709551615 274473967360 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/21538/statm: 8599 1421 468 364 0 933 0
[pid=21540] ppid=21538 vsize=0 CPUtime=92.98 cores=0,2,4,6
/proc/21540/stat : 21540 (features) Z 21538 21538 21173 0 -1 4202524 228196 0 0 0 9256 42 0 0 25 0 1 0 817984041 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/21540/statm: 0 0 0 0 0 0 0
[pid=21547] ppid=21538 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/21547/stat : 21547 (coach) Z 21538 21538 21173 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 817993338 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/21547/statm: 0 0 0 0 0 0 0
[pid=21639] ppid=21538 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/21639/stat : 21639 (timerun) S 21538 21538 21173 0 -1 4202496 746 0 0 0 0 0 0 0 19 0 1 0 818115318 8908800 248 33554432000 4194304 4922060 140733380837648 18446744073709551615 274473786501 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21639/statm: 2175 248 208 178 0 68 0
[pid=21640] ppid=21639 vsize=1371304 CPUtime=3470.96 cores=0,2,4,6
/proc/21640/stat : 21640 (mxc-sat09) R 21639 21538 21173 0 -1 4202496 375714 0 0 0 346992 104 0 0 25 0 1 0 818115318 1404215296 327315 33554432000 134512640 134581694 4288226128 18446744073709551615 134533150 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21640/statm: 342826 327315 205 17 0 342173 0
Current children cumulated CPU time (s) 4783.75
Current children cumulated vsize (KiB) 1414400

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21538 and gives
#  childrusage.ru_utime.tv_sec=1302
#  childrusage.ru_utime.tv_usec=53057
#  childrusage.ru_stime.tv_sec=10
#  childrusage.ru_stime.tv_usec=776361
# CPU time returned by wait4() is 1312.83
# while last known CPU time is 4783.75
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.00012207
#  lost CPU user time (s): 0.00012207
#  lost CPU system time (s): 0

Real time (s): 4783.8
CPU time (s): 4783.75
CPU user time (s): 4771.95
CPU system time (s): 11.8
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 4145324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1302.05
system time used= 10.7764
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3651210
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= 701
involuntary context switches= 2558

runsolver used 23.6444 second user time and 50.1614 second system time

The end