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-3218958-1303204867/watcher-3218958-1303204867 -o /tmp/evaluation-result-3218958-1303204867/solver-3218958-1303204867 -C 5000 -W 5000 -M 15500 python portfolio_solver.py -t 5000 -s 1180085181 HOME/instance-3218958-1303204867.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: 2.00 2.02 2.78 2/181 2513
/proc/meminfo: memFree=16633672/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/2513/stat : 2513 (python) R 2511 2513 2245 0 -1 4202496 662 0 0 0 0 0 0 0 25 0 1 0 510717424 15642624 559 33554432000 4194304 5745468 140733744307728 18446744073709551615 4547741 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/2513/statm: 3819 562 318 379 0 292 0

[startup+0.0760879 s]
/proc/loadavg: 2.00 2.02 2.78 2/181 2513
/proc/meminfo: memFree=16633672/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=21952 CPUtime=0.02 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2511 2513 2245 0 -1 4202496 1528 0 0 0 2 0 0 0 25 0 1 0 510717424 22478848 1366 33554432000 4194304 5745468 140733744307728 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/2513/statm: 5488 1366 463 379 0 929 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21952

[startup+0.101079 s]
/proc/loadavg: 2.00 2.02 2.78 2/181 2513
/proc/meminfo: memFree=16633672/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=21952 CPUtime=0.02 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2511 2513 2245 0 -1 4202496 1528 0 0 0 2 0 0 0 25 0 1 0 510717424 22478848 1366 33554432000 4194304 5745468 140733744307728 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/2513/statm: 5488 1366 463 379 0 929 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21952

[startup+0.301042 s]
/proc/loadavg: 2.00 2.02 2.78 2/181 2513
/proc/meminfo: memFree=16633672/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=21952 CPUtime=0.02 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2511 2513 2245 0 -1 4202496 1528 0 0 0 2 0 0 0 25 0 1 0 510717424 22478848 1366 33554432000 4194304 5745468 140733744307728 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/2513/statm: 5488 1366 463 379 0 929 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21952

[startup+0.700964 s]
/proc/loadavg: 2.00 2.02 2.78 2/181 2513
/proc/meminfo: memFree=16633672/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=21952 CPUtime=0.02 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2511 2513 2245 0 -1 4202496 1528 0 0 0 2 0 0 0 25 0 1 0 510717424 22478848 1366 33554432000 4194304 5745468 140733744307728 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/2513/statm: 5488 1366 463 379 0 929 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21952

[startup+1.50082 s]
/proc/loadavg: 2.00 2.02 2.78 3/183 2515
/proc/meminfo: memFree=16622124/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=21952 CPUtime=0.02 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2511 2513 2245 0 -1 4202496 1528 0 0 0 2 0 0 0 25 0 1 0 510717424 22478848 1366 33554432000 4194304 5745468 140733744307728 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/2513/statm: 5488 1366 463 379 0 929 0
[pid=2515] ppid=2513 vsize=8364 CPUtime=1.45 cores=0,2,4,6
/proc/2515/stat : 2515 (features) R 2513 2513 2245 0 -1 4202496 2646 0 0 0 144 1 0 0 25 0 1 0 510717428 8564736 1530 33554432000 134512640 135907751 4293617952 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/2515/statm: 2091 1530 111 341 0 1747 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30316

[startup+3.10051 s]
/proc/loadavg: 2.00 2.02 2.77 3/183 2515
/proc/meminfo: memFree=16623612/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=21952 CPUtime=0.02 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2511 2513 2245 0 -1 4202496 1528 0 0 0 2 0 0 0 25 0 1 0 510717424 22478848 1366 33554432000 4194304 5745468 140733744307728 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/2513/statm: 5488 1366 463 379 0 929 0
[pid=2515] ppid=2513 vsize=4844 CPUtime=3.05 cores=0,2,4,6
/proc/2515/stat : 2515 (features) R 2513 2513 2245 0 -1 4202496 2914 0 0 0 303 2 0 0 25 0 1 0 510717428 4960256 893 33554432000 134512640 135907751 4293617952 18446744073709551615 134518699 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/2515/statm: 1211 893 112 341 0 867 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 26796

[startup+6.3009 s]
/proc/loadavg: 2.00 2.02 2.77 3/183 2515
/proc/meminfo: memFree=16625472/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=21952 CPUtime=0.02 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2511 2513 2245 0 -1 4202496 1528 0 0 0 2 0 0 0 25 0 1 0 510717424 22478848 1366 33554432000 4194304 5745468 140733744307728 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/2513/statm: 5488 1366 463 379 0 929 0
[pid=2515] ppid=2513 vsize=4844 CPUtime=6.26 cores=0,2,4,6
/proc/2515/stat : 2515 (features) R 2513 2513 2245 0 -1 4202496 2914 0 0 0 623 3 0 0 25 0 1 0 510717428 4960256 893 33554432000 134512640 135907751 4293617952 18446744073709551615 134851242 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/2515/statm: 1211 893 112 341 0 867 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 26796

[startup+12.7007 s]
/proc/loadavg: 2.00 2.02 2.76 3/183 2515
/proc/meminfo: memFree=16626040/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=21952 CPUtime=0.02 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2511 2513 2245 0 -1 4202496 1528 0 0 0 2 0 0 0 25 0 1 0 510717424 22478848 1366 33554432000 4194304 5745468 140733744307728 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/2513/statm: 5488 1366 463 379 0 929 0
[pid=2515] ppid=2513 vsize=4844 CPUtime=12.66 cores=0,2,4,6
/proc/2515/stat : 2515 (features) R 2513 2513 2245 0 -1 4202496 2914 0 0 0 1263 3 0 0 25 0 1 0 510717428 4960256 893 33554432000 134512640 135907751 4293617952 18446744073709551615 134524742 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/2515/statm: 1211 893 112 341 0 867 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26796

[startup+25.5013 s]
/proc/loadavg: 2.00 2.02 2.75 3/186 2519
/proc/meminfo: memFree=16598504/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=34452 CPUtime=0.03 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2511 2513 2245 0 -1 4202496 2173 0 0 0 2 1 0 0 18 0 1 0 510717424 35278848 1426 33554432000 4194304 5745468 140733744307728 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/2513/statm: 8613 1426 488 379 0 933 0
[pid=2515] ppid=2513 vsize=0 CPUtime=13.17 cores=0,2,4,6
/proc/2515/stat : 2515 (features) Z 2513 2513 2245 0 -1 4202524 2928 0 0 0 1314 3 0 0 25 0 1 0 510717428 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2515/statm: 0 0 0 0 0 0 0
[pid=2516] ppid=2513 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/2516/stat : 2516 (coach) Z 2513 2513 2245 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 510718745 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/2516/statm: 0 0 0 0 0 0 0
[pid=2517] ppid=2513 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2517/stat : 2517 (timerun) S 2513 2513 2245 0 -1 4202496 756 0 0 0 0 0 0 0 17 0 1 0 510718779 8908800 247 33554432000 4194304 4922060 140734858674432 18446744073709551615 256415210629 0 65536 16781316 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/2517/statm: 2175 247 208 178 0 68 0
[pid=2518] ppid=2517 vsize=38960 CPUtime=11.93 cores=0,2,4,6
/proc/2518/stat : 2518 (cryptominisat) R 2517 2513 2245 0 -1 4202496 23453 0 0 0 1189 4 0 0 25 0 1 0 510718779 39895040 8105 33554432000 134512640 134994940 4290849600 18446744073709551615 134798270 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2518/statm: 9740 8105 356 118 0 8925 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 82112

[startup+51.1004 s]
/proc/loadavg: 2.15 2.05 2.74 3/186 2523
/proc/meminfo: memFree=16611996/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=34452 CPUtime=25.03 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2511 2513 2245 0 -1 4202496 2478 36543 0 0 2 1 2493 7 18 0 1 0 510717424 35278848 1428 33554432000 4194304 5745468 140733744307728 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/2513/statm: 8613 1428 488 379 0 933 0
[pid=2515] ppid=2513 vsize=0 CPUtime=13.17 cores=0,2,4,6
/proc/2515/stat : 2515 (features) Z 2513 2513 2245 0 -1 4202524 2928 0 0 0 1314 3 0 0 25 0 1 0 510717428 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2515/statm: 0 0 0 0 0 0 0
[pid=2516] ppid=2513 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/2516/stat : 2516 (coach) Z 2513 2513 2245 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 510718745 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/2516/statm: 0 0 0 0 0 0 0
[pid=2522] ppid=2513 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2522/stat : 2522 (timerun) S 2513 2513 2245 0 -1 4202496 752 0 0 0 0 0 0 0 19 0 1 0 510721280 8908800 247 33554432000 4194304 4922060 140733999703024 18446744073709551615 256415210629 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/2522/statm: 2175 247 208 178 0 68 0
[pid=2523] ppid=2522 vsize=19140 CPUtime=12.52 cores=0,2,4,6
/proc/2523/stat : 2523 (precosat) R 2522 2513 2245 0 -1 4202496 4724 0 0 0 1252 0 0 0 25 0 1 0 510721280 19599360 4679 33554432000 134512640 135142049 4294359952 18446744073709551615 134555480 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/2523/statm: 4785 4679 80 154 0 4629 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 62292

[startup+102.307 s]
/proc/loadavg: 2.06 2.04 2.70 3/186 2525
/proc/meminfo: memFree=16594972/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=34452 CPUtime=25.03 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2511 2513 2245 0 -1 4202496 2478 36543 0 0 2 1 2493 7 18 0 1 0 510717424 35278848 1428 33554432000 4194304 5745468 140733744307728 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/2513/statm: 8613 1428 488 379 0 933 0
[pid=2515] ppid=2513 vsize=0 CPUtime=13.17 cores=0,2,4,6
/proc/2515/stat : 2515 (features) Z 2513 2513 2245 0 -1 4202524 2928 0 0 0 1314 3 0 0 25 0 1 0 510717428 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2515/statm: 0 0 0 0 0 0 0
[pid=2516] ppid=2513 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/2516/stat : 2516 (coach) Z 2513 2513 2245 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 510718745 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/2516/statm: 0 0 0 0 0 0 0
[pid=2522] ppid=2513 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2522/stat : 2522 (timerun) S 2513 2513 2245 0 -1 4202496 752 0 0 0 0 0 0 0 19 0 1 0 510721280 8908800 247 33554432000 4194304 4922060 140733999703024 18446744073709551615 256415210629 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/2522/statm: 2175 247 208 178 0 68 0
[pid=2523] ppid=2522 vsize=34988 CPUtime=63.74 cores=0,2,4,6
/proc/2523/stat : 2523 (precosat) R 2522 2513 2245 0 -1 4202496 8679 0 0 0 6372 2 0 0 25 0 1 0 510721280 35827712 8634 33554432000 134512640 135142049 4294359952 18446744073709551615 134599508 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/2523/statm: 8747 8634 80 154 0 8591 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 78140

[startup+162.301 s]
/proc/loadavg: 2.02 2.03 2.66 3/186 2526
/proc/meminfo: memFree=16588116/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=34452 CPUtime=25.03 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2511 2513 2245 0 -1 4202496 2478 36543 0 0 2 1 2493 7 18 0 1 0 510717424 35278848 1428 33554432000 4194304 5745468 140733744307728 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/2513/statm: 8613 1428 488 379 0 933 0
[pid=2515] ppid=2513 vsize=0 CPUtime=13.17 cores=0,2,4,6
/proc/2515/stat : 2515 (features) Z 2513 2513 2245 0 -1 4202524 2928 0 0 0 1314 3 0 0 25 0 1 0 510717428 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2515/statm: 0 0 0 0 0 0 0
[pid=2516] ppid=2513 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/2516/stat : 2516 (coach) Z 2513 2513 2245 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 510718745 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/2516/statm: 0 0 0 0 0 0 0
[pid=2522] ppid=2513 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2522/stat : 2522 (timerun) S 2513 2513 2245 0 -1 4202496 752 0 0 0 0 0 0 0 19 0 1 0 510721280 8908800 247 33554432000 4194304 4922060 140733999703024 18446744073709551615 256415210629 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/2522/statm: 2175 247 208 178 0 68 0
[pid=2523] ppid=2522 vsize=41796 CPUtime=123.73 cores=0,2,4,6
/proc/2523/stat : 2523 (precosat) R 2522 2513 2245 0 -1 4202496 10368 0 0 0 12371 2 0 0 25 0 1 0 510721280 42799104 10323 33554432000 134512640 135142049 4294359952 18446744073709551615 134555855 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/2523/statm: 10449 10323 80 154 0 10293 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 84948

[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.61 3/186 2530
/proc/meminfo: memFree=16615980/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=34452 CPUtime=153.01 cores=0,2,4,6

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

/proc/2550/stat : 2550 (timerun) S 2513 2513 2245 0 -1 4202496 753 0 0 0 0 0 0 0 18 0 1 0 510761178 8908800 248 33554432000 4194304 4922060 140735092965408 18446744073709551615 256415210629 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2550/statm: 2175 248 208 178 0 68 0
[pid=2551] ppid=2550 vsize=1020172 CPUtime=24.75 cores=0,2,4,6
/proc/2551/stat : 2551 (gnovelty+2) R 2550 2513 2245 0 -1 4202496 707 0 0 0 2475 0 0 0 25 0 1 0 510761178 1044656128 649 33554432000 134512640 134582202 4289084592 18446744073709551615 134531698 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/2551/statm: 255043 649 238 17 0 254390 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 1063324

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

[startup+486.301 s]
/proc/loadavg: 2.00 2.00 2.45 3/186 2552
/proc/meminfo: memFree=16627256/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=34452 CPUtime=423.98 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2511 2513 2245 0 -1 4202496 3643 73363 0 0 2 1 42380 15 18 0 1 0 510717424 35278848 1428 33554432000 4194304 5745468 140733744307728 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/2513/statm: 8613 1428 488 379 0 933 0
[pid=2515] ppid=2513 vsize=0 CPUtime=13.17 cores=0,2,4,6
/proc/2515/stat : 2515 (features) Z 2513 2513 2245 0 -1 4202524 2928 0 0 0 1314 3 0 0 25 0 1 0 510717428 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2515/statm: 0 0 0 0 0 0 0
[pid=2516] ppid=2513 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/2516/stat : 2516 (coach) Z 2513 2513 2245 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 510718745 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/2516/statm: 0 0 0 0 0 0 0
[pid=2550] ppid=2513 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2550/stat : 2550 (timerun) S 2513 2513 2245 0 -1 4202496 753 0 0 0 0 0 0 0 18 0 1 0 510761178 8908800 248 33554432000 4194304 4922060 140735092965408 18446744073709551615 256415210629 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2550/statm: 2175 248 208 178 0 68 0
[pid=2551] ppid=2550 vsize=1020172 CPUtime=48.75 cores=0,2,4,6
/proc/2551/stat : 2551 (gnovelty+2) R 2550 2513 2245 0 -1 4202496 707 0 0 0 4875 0 0 0 25 0 1 0 510761178 1044656128 649 33554432000 134512640 134582202 4289084592 18446744073709551615 134532245 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/2551/statm: 255043 649 238 17 0 254390 0
Current children cumulated CPU time (s) 486.23
Current children cumulated vsize (KiB) 1063324

[startup+492.701 s]
/proc/loadavg: 2.00 2.00 2.44 3/186 2552
/proc/meminfo: memFree=16627256/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=34452 CPUtime=423.98 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2511 2513 2245 0 -1 4202496 3643 73363 0 0 2 1 42380 15 18 0 1 0 510717424 35278848 1428 33554432000 4194304 5745468 140733744307728 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/2513/statm: 8613 1428 488 379 0 933 0
[pid=2515] ppid=2513 vsize=0 CPUtime=13.17 cores=0,2,4,6
/proc/2515/stat : 2515 (features) Z 2513 2513 2245 0 -1 4202524 2928 0 0 0 1314 3 0 0 25 0 1 0 510717428 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2515/statm: 0 0 0 0 0 0 0
[pid=2516] ppid=2513 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/2516/stat : 2516 (coach) Z 2513 2513 2245 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 510718745 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/2516/statm: 0 0 0 0 0 0 0
[pid=2550] ppid=2513 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2550/stat : 2550 (timerun) S 2513 2513 2245 0 -1 4202496 753 0 0 0 0 0 0 0 18 0 1 0 510761178 8908800 248 33554432000 4194304 4922060 140735092965408 18446744073709551615 256415210629 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2550/statm: 2175 248 208 178 0 68 0
[pid=2551] ppid=2550 vsize=1020172 CPUtime=55.15 cores=0,2,4,6
/proc/2551/stat : 2551 (gnovelty+2) R 2550 2513 2245 0 -1 4202496 707 0 0 0 5515 0 0 0 25 0 1 0 510761178 1044656128 649 33554432000 134512640 134582202 4289084592 18446744073709551615 134531688 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/2551/statm: 255043 649 238 17 0 254390 0
Current children cumulated CPU time (s) 492.63
Current children cumulated vsize (KiB) 1063324

[startup+495.901 s]
/proc/loadavg: 2.00 2.00 2.44 3/186 2552
/proc/meminfo: memFree=16627256/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=34452 CPUtime=423.98 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2511 2513 2245 0 -1 4202496 3643 73363 0 0 2 1 42380 15 18 0 1 0 510717424 35278848 1428 33554432000 4194304 5745468 140733744307728 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/2513/statm: 8613 1428 488 379 0 933 0
[pid=2515] ppid=2513 vsize=0 CPUtime=13.17 cores=0,2,4,6
/proc/2515/stat : 2515 (features) Z 2513 2513 2245 0 -1 4202524 2928 0 0 0 1314 3 0 0 25 0 1 0 510717428 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2515/statm: 0 0 0 0 0 0 0
[pid=2516] ppid=2513 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/2516/stat : 2516 (coach) Z 2513 2513 2245 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 510718745 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/2516/statm: 0 0 0 0 0 0 0
[pid=2550] ppid=2513 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2550/stat : 2550 (timerun) S 2513 2513 2245 0 -1 4202496 753 0 0 0 0 0 0 0 18 0 1 0 510761178 8908800 248 33554432000 4194304 4922060 140735092965408 18446744073709551615 256415210629 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2550/statm: 2175 248 208 178 0 68 0
[pid=2551] ppid=2550 vsize=1020172 CPUtime=58.35 cores=0,2,4,6
/proc/2551/stat : 2551 (gnovelty+2) R 2550 2513 2245 0 -1 4202496 707 0 0 0 5835 0 0 0 25 0 1 0 510761178 1044656128 649 33554432000 134512640 134582202 4289084592 18446744073709551615 134531971 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/2551/statm: 255043 649 238 17 0 254390 0
Current children cumulated CPU time (s) 495.83
Current children cumulated vsize (KiB) 1063324

[startup+497.501 s]
/proc/loadavg: 2.00 2.00 2.44 3/186 2552
/proc/meminfo: memFree=16627256/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=34452 CPUtime=423.98 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2511 2513 2245 0 -1 4202496 3643 73363 0 0 2 1 42380 15 18 0 1 0 510717424 35278848 1428 33554432000 4194304 5745468 140733744307728 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/2513/statm: 8613 1428 488 379 0 933 0
[pid=2515] ppid=2513 vsize=0 CPUtime=13.17 cores=0,2,4,6
/proc/2515/stat : 2515 (features) Z 2513 2513 2245 0 -1 4202524 2928 0 0 0 1314 3 0 0 25 0 1 0 510717428 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2515/statm: 0 0 0 0 0 0 0
[pid=2516] ppid=2513 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/2516/stat : 2516 (coach) Z 2513 2513 2245 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 510718745 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/2516/statm: 0 0 0 0 0 0 0
[pid=2550] ppid=2513 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2550/stat : 2550 (timerun) S 2513 2513 2245 0 -1 4202496 753 0 0 0 0 0 0 0 18 0 1 0 510761178 8908800 248 33554432000 4194304 4922060 140735092965408 18446744073709551615 256415210629 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2550/statm: 2175 248 208 178 0 68 0
[pid=2551] ppid=2550 vsize=1020172 CPUtime=59.95 cores=0,2,4,6
/proc/2551/stat : 2551 (gnovelty+2) R 2550 2513 2245 0 -1 4202496 707 0 0 0 5995 0 0 0 25 0 1 0 510761178 1044656128 649 33554432000 134512640 134582202 4289084592 18446744073709551615 134548879 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/2551/statm: 255043 649 238 17 0 254390 0
Current children cumulated CPU time (s) 497.43
Current children cumulated vsize (KiB) 1063324

[startup+499.1 s]
/proc/loadavg: 2.00 2.00 2.44 3/186 2552
/proc/meminfo: memFree=16627132/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=34452 CPUtime=423.98 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2511 2513 2245 0 -1 4202496 3643 73363 0 0 2 1 42380 15 18 0 1 0 510717424 35278848 1428 33554432000 4194304 5745468 140733744307728 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/2513/statm: 8613 1428 488 379 0 933 0
[pid=2515] ppid=2513 vsize=0 CPUtime=13.17 cores=0,2,4,6
/proc/2515/stat : 2515 (features) Z 2513 2513 2245 0 -1 4202524 2928 0 0 0 1314 3 0 0 25 0 1 0 510717428 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2515/statm: 0 0 0 0 0 0 0
[pid=2516] ppid=2513 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/2516/stat : 2516 (coach) Z 2513 2513 2245 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 510718745 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/2516/statm: 0 0 0 0 0 0 0
[pid=2550] ppid=2513 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2550/stat : 2550 (timerun) S 2513 2513 2245 0 -1 4202496 753 0 0 0 0 0 0 0 18 0 1 0 510761178 8908800 248 33554432000 4194304 4922060 140735092965408 18446744073709551615 256415210629 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2550/statm: 2175 248 208 178 0 68 0
[pid=2551] ppid=2550 vsize=1020172 CPUtime=61.55 cores=0,2,4,6
/proc/2551/stat : 2551 (gnovelty+2) R 2550 2513 2245 0 -1 4202496 707 0 0 0 6155 0 0 0 25 0 1 0 510761178 1044656128 649 33554432000 134512640 134582202 4289084592 18446744073709551615 134531698 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/2551/statm: 255043 649 238 17 0 254390 0
Current children cumulated CPU time (s) 499.03
Current children cumulated vsize (KiB) 1063324

[startup+499.5 s]
/proc/loadavg: 2.00 2.00 2.44 3/186 2552
/proc/meminfo: memFree=16627132/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=34452 CPUtime=423.98 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2511 2513 2245 0 -1 4202496 3643 73363 0 0 2 1 42380 15 18 0 1 0 510717424 35278848 1428 33554432000 4194304 5745468 140733744307728 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/2513/statm: 8613 1428 488 379 0 933 0
[pid=2515] ppid=2513 vsize=0 CPUtime=13.17 cores=0,2,4,6
/proc/2515/stat : 2515 (features) Z 2513 2513 2245 0 -1 4202524 2928 0 0 0 1314 3 0 0 25 0 1 0 510717428 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2515/statm: 0 0 0 0 0 0 0
[pid=2516] ppid=2513 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/2516/stat : 2516 (coach) Z 2513 2513 2245 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 510718745 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/2516/statm: 0 0 0 0 0 0 0
[pid=2550] ppid=2513 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2550/stat : 2550 (timerun) S 2513 2513 2245 0 -1 4202496 753 0 0 0 0 0 0 0 18 0 1 0 510761178 8908800 248 33554432000 4194304 4922060 140735092965408 18446744073709551615 256415210629 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2550/statm: 2175 248 208 178 0 68 0
[pid=2551] ppid=2550 vsize=1020172 CPUtime=61.95 cores=0,2,4,6
/proc/2551/stat : 2551 (gnovelty+2) R 2550 2513 2245 0 -1 4202496 707 0 0 0 6195 0 0 0 25 0 1 0 510761178 1044656128 649 33554432000 134512640 134582202 4289084592 18446744073709551615 134531274 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/2551/statm: 255043 649 238 17 0 254390 0
Current children cumulated CPU time (s) 499.43
Current children cumulated vsize (KiB) 1063324

[startup+499.701 s]
/proc/loadavg: 2.00 2.00 2.44 3/186 2552
/proc/meminfo: memFree=16627132/32950928 swapFree=67111524/67111528
[pid=2513] ppid=2511 vsize=34452 CPUtime=423.98 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2511 2513 2245 0 -1 4202496 3643 73363 0 0 2 1 42380 15 18 0 1 0 510717424 35278848 1428 33554432000 4194304 5745468 140733744307728 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/2513/statm: 8613 1428 488 379 0 933 0
[pid=2515] ppid=2513 vsize=0 CPUtime=13.17 cores=0,2,4,6
/proc/2515/stat : 2515 (features) Z 2513 2513 2245 0 -1 4202524 2928 0 0 0 1314 3 0 0 25 0 1 0 510717428 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2515/statm: 0 0 0 0 0 0 0
[pid=2516] ppid=2513 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/2516/stat : 2516 (coach) Z 2513 2513 2245 0 -1 4202524 3927 0 0 0 32 1 0 0 20 0 1 0 510718745 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/2516/statm: 0 0 0 0 0 0 0
[pid=2550] ppid=2513 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2550/stat : 2550 (timerun) S 2513 2513 2245 0 -1 4202496 753 0 0 0 0 0 0 0 18 0 1 0 510761178 8908800 248 33554432000 4194304 4922060 140735092965408 18446744073709551615 256415210629 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2550/statm: 2175 248 208 178 0 68 0
[pid=2551] ppid=2550 vsize=1020172 CPUtime=62.15 cores=0,2,4,6
/proc/2551/stat : 2551 (gnovelty+2) R 2550 2513 2245 0 -1 4202496 707 0 0 0 6215 0 0 0 25 0 1 0 510761178 1044656128 649 33554432000 134512640 134582202 4289084592 18446744073709551615 134532373 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/2551/statm: 255043 649 238 17 0 254390 0
Current children cumulated CPU time (s) 499.63
Current children cumulated vsize (KiB) 1063324

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2513 and gives
#  childrusage.ru_utime.tv_sec=437
#  childrusage.ru_utime.tv_usec=300520
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=220966
# CPU time returned by wait4() is 437.522
# while last known CPU time is 499.63
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 499.752
CPU time (s): 499.63
CPU user time (s): 499.43
CPU system time (s): 0.2
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 1063324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 437.301
system time used= 0.220966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84473
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= 523
involuntary context switches= 1385

runsolver used 0.888864 second user time and 1.77273 second system time

The end