0.00/0.00 c cpHydra_k_10 version 0.0
7.02/7.86 c CASE TO CLASSIFY:
7.02/7.86 c Case: 0
7.02/7.86 c 19 > 0.000000 | c 35 > 169.091000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.727300 | c 15 > 21.228200 | c 34 > 272.727000 | c 16 > 180.000000 | c 13 > 8.365780 | c 14 > 11.054600 | c 11 > 11.456400 | c 12 > 6.423190 | c 21 > 1.234580 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.375000 | c 1 > 8.607330 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.375000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.044300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.02/7.87 c choco : 1801.0
7.02/7.87 c mistral : 1801.0
7.02/7.87 c abscon : 1801.0
7.02/7.87 c
7.02/7.87 c
7.10/7.95 c List of same ones: 10
7.10/7.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bk4x3.xml
7.10/7.95 c 19 > 0.000000 | c 35 > 143.077000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 14.942400 | c 34 > 230.769000 | c 16 > 120.000000 | c 13 > 0.604055 | c 14 > 7.451210 | c 11 > 10.541100 | c 12 > 0.592046 | c 21 > 1.230220 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.343200 | c 1 > 7.577430 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.343200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.624900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.96 c choco : 5.25
7.10/7.96 c mistral : 0.17
7.10/7.96 c abscon : 1800.09
7.10/7.96 c
7.10/7.96 c
7.10/7.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc03.xml
7.10/7.96 c 19 > 0.000000 | c 35 > 105.366000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 40.000000 | c 15 > 19.853600 | c 34 > 171.951000 | c 16 > 169.000000 | c 13 > 4.829990 | c 14 > 8.442940 | c 11 > 11.734700 | c 12 > 3.200360 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.866500 | c 1 > 7.569860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.866500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.843600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.97 c choco : 2.64
7.10/7.97 c mistral : 1.78
7.10/7.97 c abscon : 65.1051
7.10/7.97 c
7.10/7.97 c
7.10/7.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-rgn.xml
7.10/7.97 c 19 > 0.000000 | c 35 > 93.548400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 38.709700 | c 15 > 19.503700 | c 34 > 187.097000 | c 16 > 127.000000 | c 13 > 6.481930 | c 14 > 10.316300 | c 11 > 11.964300 | c 12 > 3.424420 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.442900 | c 1 > 10.299200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.442900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 30.165900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.98 c choco : 37.43
7.10/7.98 c mistral : 1800.06
7.10/7.98 c abscon : 384.748
7.10/7.98 c
7.10/7.98 c
7.10/7.98 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-neos20.xml
7.10/7.98 c 19 > 21.689000 | c 35 > 111.094000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.771300 | c 15 > 19.752000 | c 34 > 202.328000 | c 16 > 270.000000 | c 13 > 4.428430 | c 14 > 6.965780 | c 11 > 11.941400 | c 12 > 3.092220 | c 21 > 1.211450 | c 20 > 78.311000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.686100 | c 1 > 11.941400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.666900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 30.855700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.99 c choco : 23.83
7.10/7.99 c mistral : 4.90325
7.10/7.99 c abscon : 7.12692
7.10/7.99 c
7.10/7.99 c
7.10/7.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-opt1217.xml
7.10/7.99 c 19 > 0.000000 | c 35 > 137.611000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.017700 | c 15 > 16.381500 | c 34 > 207.257000 | c 16 > 67.000000 | c 13 > 0.529806 | c 14 > 9.525520 | c 11 > 11.598100 | c 12 > 0.631367 | c 21 > 1.413310 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.065100 | c 1 > 9.616550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.065100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 27.345600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/8.00 c choco : 2.76
7.20/8.00 c mistral : 0.59
7.20/8.00 c abscon : 5.06423
7.20/8.00 c
7.20/8.00 c
7.20/8.00 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc01.xml
7.20/8.00 c 19 > 0.000000 | c 35 > 111.831000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 40.563400 | c 15 > 18.420800 | c 34 > 166.197000 | c 16 > 101.000000 | c 13 > 3.527310 | c 14 > 7.761550 | c 11 > 10.493900 | c 12 > 2.036790 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.617500 | c 1 > 6.820180 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.617500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.095300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/8.01 c choco : 1.96
7.20/8.01 c mistral : 0.89
7.20/8.01 c abscon : 25.1202
7.20/8.01 c
7.20/8.01 c
7.20/8.01 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/enigma.xml
7.20/8.01 c 19 > 0.000000 | c 35 > 94.761900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 57.142900 | c 15 > 14.122200 | c 34 > 189.524000 | c 16 > 90.000000 | c 13 > 0.608555 | c 14 > 6.584960 | c 11 > 9.854870 | c 12 > 0.557701 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.103300 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.103300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.452400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/8.02 c choco : 1.49
7.20/8.02 c mistral : 0.08
7.20/8.02 c abscon : 1.3048
7.20/8.02 c
7.20/8.02 c
7.20/8.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-qnet1.xml
7.20/8.02 c 19 > 21.205800 | c 35 > 115.021000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.960500 | c 15 > 18.134700 | c 34 > 190.988000 | c 16 > 77.000000 | c 13 > 0.491467 | c 14 > 11.026500 | c 11 > 12.070100 | c 12 > 1.563900 | c 21 > 1.341360 | c 20 > 78.794200 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.421400 | c 1 > 12.070100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.407900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.997500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/8.03 c choco : 9.52
7.20/8.03 c mistral : 1.89
7.20/8.03 c abscon : 1605.97
7.20/8.03 c
7.20/8.03 c
7.20/8.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08a.xml
7.20/8.03 c 19 > 0.000000 | c 35 > 99.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 19.200000 | c 15 > 19.988500 | c 34 > 160.000000 | c 16 > 240.000000 | c 13 > -1.511630 | c 14 > 10.840000 | c 11 > 12.173100 | c 12 > 1.984930 | c 21 > 1.365340 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.889900 | c 1 > 12.173100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.889900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 31.609200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/8.05 c choco : 18.53
7.20/8.05 c mistral : 1800.06
7.20/8.05 c abscon : 1348.66
7.20/8.05 c
7.20/8.05 c
7.20/8.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-vpm2.xml
7.20/8.05 c 19 > 0.000000 | c 35 > 94.691400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 46.666700 | c 15 > 15.755100 | c 34 > 189.259000 | c 16 > 84.000000 | c 13 > -0.301197 | c 14 > -1.000000 | c 11 > 11.427300 | c 12 > 2.237580 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.622200 | c 1 > 11.427300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.622200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 30.683200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/8.06 c choco : 5.27
7.20/8.06 c mistral : 0.63
7.20/8.06 c abscon : 1800.14
7.20/8.06 c
7.20/8.06 c
7.36/8.26 c Length: 10
7.36/8.26 c 78.8374143881321 120.49839911947542 126.92972695479651 133.5809628320503 135.43208160147913 145.18385146076955 146.31106050096844 146.9112772330544 147.56077111978706 149.74575037749293
7.36/8.26 c
7.36/8.26 c 1.0 0.6299081804472425 0.5958651221634086 0.5643236972463637 0.5561307122831355 0.5166183616604093 0.512410177337928 0.5101972524834574 0.5078240806765534 0.5
7.36/8.26 c
7.36/8.26 c solver 0
7.36/8.26 c before 0.0 seconds: {} 0
7.36/8.26 c before 18.0 seconds: {3, 4, 6} 1632
7.36/8.26 c before 36.0 seconds: {3, 4, 5, 6} 2149
7.36/8.26 c before 72.0 seconds: {1, 3, 4, 5, 6} 2779
7.36/8.26 c before 396.0 seconds: {1, 2, 3, 4, 5, 6} 3375
7.36/8.26 c before 1350.0 seconds: {1, 2, 3, 4, 5, 6, 8} 3883
7.36/8.26 c before 1620.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8} 4393
7.36/8.26 c
7.36/8.26 c solver 1
7.36/8.26 c before 0.0 seconds: {} 0
7.36/8.26 c before 18.0 seconds: {0, 1, 3, 4, 5, 6, 7, 9} 4789
7.36/8.26 c
7.36/8.26 c solver 2
7.36/8.26 c before 0.0 seconds: {} 0
7.36/8.26 c before 18.0 seconds: {0, 1, 4, 5, 6, 7, 9} 4225
7.36/8.26 c before 36.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9} 5297
7.36/8.26 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5893
7.36/8.26 c
7.36/8.26 cTotal time: 94
7.36/8.26 c 1692.0 seconds unused
7.36/8.26 c 0 c 2 c 0
7.36/8.26 c 2 c 0 c 0
7.36/8.26 c 2 c 2 c 0
7.36/8.26 c is solver0 dominated by:
7.36/8.26 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.36/8.26 c solver 2 (0 solves instances that 2 can't: false) (2 doesn't solve instances that 0 can't: false) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
7.36/8.26 c is dominated? true
7.36/8.26 c
7.36/8.26 c is solver1 dominated by:
7.36/8.26 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.36/8.27 c solver 2 (1 solves instances that 2 can't: false) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.36/8.27 c is dominated? true
7.36/8.27 c
7.36/8.27 c is solver2 dominated by:
7.36/8.27 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.36/8.27 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: true) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true)
7.36/8.27 c is dominated? false
7.36/8.27 c
7.36/8.27 c Number of non-dominated solvers: 1
7.36/8.27 c remove dominated solvers
7.36/8.27 c solver 2 is not dominated by another solver
7.36/8.27 c solver 1 is dominated by another solver
7.36/8.27 c solver 0 is dominated by another solver
7.36/8.27 c
7.36/8.27 c solver 0: 0.0
7.36/8.27 c
7.36/8.27 c solver 1: 0.0
7.36/8.27 c
7.36/8.27 c solver 2: 54.0
7.36/8.27 c
7.36/8.27 c+ 3/3 of 97
7.36/8.27 c do not run abscon
7.36/8.27 c do not run mistral
7.36/8.27 c run choco for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5893
7.36/8.27 c Starting solver: HOME/cpHydra_k_10/solver/choco
7.36/8.27 c On Instance: HOME/instance-1063425-1215136918.xml
7.36/8.27 c Running for: 1800 seconds
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063425-1215136918/watcher-1063425-1215136918 -o /tmp/evaluation-result-1063425-1215136918/solver-1063425-1215136918 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1063425-1215136918.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 18863
/proc/meminfo: memFree=1556652/2055920 swapFree=4179028/4192956
[pid=18863] ppid=18861 vsize=18572 CPUtime=0
/proc/18863/stat : 18863 (runsolver) R 18861 18863 17933 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1992664772 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 240907775271 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18863/statm: 4643 292 257 25 0 2626 0
[startup+0.0545361 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 18863
/proc/meminfo: memFree=1556652/2055920 swapFree=4179028/4192956
[pid=18863] ppid=18861 vsize=5360 CPUtime=0
/proc/18863/stat : 18863 (hydra) S 18861 18863 17933 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992664772 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18863/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102548 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 18863
/proc/meminfo: memFree=1556652/2055920 swapFree=4179028/4192956
[pid=18863] ppid=18861 vsize=5360 CPUtime=0
/proc/18863/stat : 18863 (hydra) S 18861 18863 17933 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992664772 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18863/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302565 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 18863
/proc/meminfo: memFree=1556652/2055920 swapFree=4179028/4192956
[pid=18863] ppid=18861 vsize=5360 CPUtime=0
/proc/18863/stat : 18863 (hydra) S 18861 18863 17933 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992664772 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18863/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.702607 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 18863
/proc/meminfo: memFree=1556652/2055920 swapFree=4179028/4192956
[pid=18863] ppid=18861 vsize=5360 CPUtime=0
/proc/18863/stat : 18863 (hydra) S 18861 18863 17933 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992664772 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18863/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50269 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18867
/proc/meminfo: memFree=1549916/2055920 swapFree=4179028/4192956
[pid=18863] ppid=18861 vsize=5360 CPUtime=0
/proc/18863/stat : 18863 (hydra) S 18861 18863 17933 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992664772 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18863/statm: 1340 236 195 169 0 51 0
[pid=18867] ppid=18863 vsize=10916 CPUtime=1.47
/proc/18867/stat : 18867 (xsolve) R 18863 18863 17933 0 -1 4194304 2134 0 0 0 147 0 0 0 25 0 1 0 1992664773 11177984 1995 996147200 134512640 135239763 4294956176 18446744073709551615 135071504 0 0 4096 0 0 0 0 17 1 0 0
/proc/18867/statm: 2729 1995 431 177 0 1632 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 16276
[startup+3.10184 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 18879
/proc/meminfo: memFree=1548124/2055920 swapFree=4179028/4192956
[pid=18863] ppid=18861 vsize=5360 CPUtime=1.55
/proc/18863/stat : 18863 (hydra) S 18861 18863 17933 0 -1 4194304 375 2730 0 0 0 0 154 1 18 0 1 0 1992664772 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18863/statm: 1340 238 196 169 0 51 0
[pid=18871] ppid=18863 vsize=197016 CPUtime=1.3
/proc/18871/stat : 18871 (java) S 18863 18863 17933 0 -1 0 4992 0 1 0 123 7 0 0 18 0 9 0 1992664931 201744384 4189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18871/statm: 49254 4189 1678 9 0 43837 0
[pid=18871/tid=18872] ppid=18863 vsize=197016 CPUtime=1
/proc/18871/task/18872/stat : 18872 (java) R 18863 18863 17933 0 -1 64 2727 0 1 0 97 3 0 0 25 0 9 0 1992664932 201744384 4189 996147200 134512640 134550740 4294955968 18446744073709551615 4126432176 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18873] ppid=18863 vsize=197016 CPUtime=0.12
/proc/18871/task/18873/stat : 18873 (java) S 18863 18863 17933 0 -1 64 931 0 0 0 11 1 0 0 16 0 9 0 1992664933 201744384 4189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18874] ppid=18863 vsize=197016 CPUtime=0
/proc/18871/task/18874/stat : 18874 (java) S 18863 18863 17933 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992664933 201744384 4189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18875] ppid=18863 vsize=197016 CPUtime=0
/proc/18871/task/18875/stat : 18875 (java) S 18863 18863 17933 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992664933 201744384 4189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18876] ppid=18863 vsize=197016 CPUtime=0
/proc/18871/task/18876/stat : 18876 (java) S 18863 18863 17933 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992664937 201744384 4189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18877] ppid=18863 vsize=197016 CPUtime=0.14
/proc/18871/task/18877/stat : 18877 (java) S 18863 18863 17933 0 -1 64 610 0 0 0 14 0 0 0 16 0 9 0 1992664937 201744384 4189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18878] ppid=18863 vsize=197016 CPUtime=0
/proc/18871/task/18878/stat : 18878 (java) S 18863 18863 17933 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1992664937 201744384 4189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18879] ppid=18863 vsize=197016 CPUtime=0
/proc/18871/task/18879/stat : 18879 (java) S 18863 18863 17933 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992664937 201744384 4189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 202376
[startup+6.30216 s]
/proc/loadavg: 2.08 2.02 2.01 5/99 18972
/proc/meminfo: memFree=1534044/2055920 swapFree=4179028/4192956
[pid=18863] ppid=18861 vsize=5360 CPUtime=1.55
/proc/18863/stat : 18863 (hydra) S 18861 18863 17933 0 -1 4194304 375 2730 0 0 0 0 154 1 18 0 1 0 1992664772 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18863/statm: 1340 238 196 169 0 51 0
[pid=18871] ppid=18863 vsize=197016 CPUtime=4.11
/proc/18871/stat : 18871 (java) S 18863 18863 17933 0 -1 0 9552 0 1 0 397 14 0 0 18 0 9 0 1992664931 201744384 7915 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18871/statm: 49254 7915 2540 9 0 43837 0
[pid=18871/tid=18872] ppid=18863 vsize=197016 CPUtime=3.21
/proc/18871/task/18872/stat : 18872 (java) R 18863 18863 17933 0 -1 64 3477 0 1 0 316 5 0 0 25 0 9 0 1992664932 201744384 7915 996147200 134512640 134550740 4294955968 18446744073709551615 4126491109 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18873] ppid=18863 vsize=197016 CPUtime=0.7
/proc/18871/task/18873/stat : 18873 (java) S 18863 18863 17933 0 -1 64 4725 0 0 0 63 7 0 0 16 0 9 0 1992664933 201744384 7915 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18874] ppid=18863 vsize=197016 CPUtime=0
/proc/18871/task/18874/stat : 18874 (java) S 18863 18863 17933 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992664933 201744384 7915 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18875] ppid=18863 vsize=197016 CPUtime=0
/proc/18871/task/18875/stat : 18875 (java) S 18863 18863 17933 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992664933 201744384 7915 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18876] ppid=18863 vsize=197016 CPUtime=0
/proc/18871/task/18876/stat : 18876 (java) S 18863 18863 17933 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992664937 201744384 7915 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18877] ppid=18863 vsize=197016 CPUtime=0.17
/proc/18871/task/18877/stat : 18877 (java) S 18863 18863 17933 0 -1 64 626 0 0 0 17 0 0 0 16 0 9 0 1992664937 201744384 7915 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18878] ppid=18863 vsize=197016 CPUtime=0
/proc/18871/task/18878/stat : 18878 (java) S 18863 18863 17933 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1992664937 201744384 7915 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18879] ppid=18863 vsize=197016 CPUtime=0
/proc/18871/task/18879/stat : 18879 (java) S 18863 18863 17933 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992664937 201744384 7915 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 202376
[startup+12.7028 s]
/proc/loadavg: 2.31 2.07 2.02 4/107 19310
/proc/meminfo: memFree=1477748/2055920 swapFree=4179028/4192956
[pid=18863] ppid=18861 vsize=5360 CPUtime=1.55
/proc/18863/stat : 18863 (hydra) S 18861 18863 17933 0 -1 4194304 375 2730 0 0 0 0 154 1 18 0 1 0 1992664772 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18863/statm: 1340 238 196 169 0 51 0
[pid=18871] ppid=18863 vsize=197340 CPUtime=5.88
/proc/18871/stat : 18871 (java) S 18863 18863 17933 0 -1 0 13873 0 1 0 567 21 0 0 18 0 10 0 1992664931 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18871/statm: 49335 9389 2543 9 0 43918 0
[pid=19066] ppid=18871 vsize=5356 CPUtime=0
/proc/19066/stat : 19066 (choco) S 18871 18863 17933 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 1992665600 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/19066/statm: 1339 238 197 169 0 50 0
[pid=19071] ppid=19066 vsize=655600 CPUtime=3.99
/proc/19071/stat : 19071 (java) S 19066 18863 17933 0 -1 0 14503 0 1 0 387 12 0 0 18 0 9 0 1992665601 671334400 14079 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19071/statm: 163900 14079 1933 9 0 158429 0
[pid=19071/tid=19074] ppid=19066 vsize=655600 CPUtime=3.65
/proc/19071/task/19074/stat : 19074 (java) R 19066 18863 17933 0 -1 64 12186 0 1 0 356 9 0 0 25 0 9 0 1992665602 671334400 14079 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19103] ppid=19066 vsize=655600 CPUtime=0.02
/proc/19071/task/19103/stat : 19103 (java) S 19066 18863 17933 0 -1 64 1180 0 0 0 2 0 0 0 17 0 9 0 1992665612 671334400 14079 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19105] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19105/stat : 19105 (java) S 19066 18863 17933 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992665612 671334400 14079 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19106] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19106/stat : 19106 (java) S 19066 18863 17933 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 1992665612 671334400 14079 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19143] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19143/stat : 19143 (java) S 19066 18863 17933 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1992665624 671334400 14079 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19144] ppid=19066 vsize=655600 CPUtime=0.28
/proc/19071/task/19144/stat : 19144 (java) S 19066 18863 17933 0 -1 64 592 0 0 0 28 0 0 0 16 0 9 0 1992665624 671334400 14079 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19179] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19179/stat : 19179 (java) S 19066 18863 17933 0 -1 64 0 0 0 0 0 0 0 0 17 0 9 0 1992665634 671334400 14079 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19180] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19180/stat : 19180 (java) S 19066 18863 17933 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992665634 671334400 14079 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18871/tid=18872] ppid=18863 vsize=197340 CPUtime=4.55
/proc/18871/task/18872/stat : 18872 (java) S 18863 18863 17933 0 -1 64 3853 0 1 0 448 7 0 0 16 0 10 0 1992664932 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18871/tid=18873] ppid=18863 vsize=197340 CPUtime=1.09
/proc/18871/task/18873/stat : 18873 (java) S 18863 18863 17933 0 -1 64 8571 0 0 0 98 11 0 0 16 0 10 0 1992664933 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18871/tid=18874] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18874/stat : 18874 (java) S 18863 18863 17933 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992664933 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18871/tid=18875] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18875/stat : 18875 (java) S 18863 18863 17933 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1992664933 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18871/tid=18876] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18876/stat : 18876 (java) S 18863 18863 17933 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992664937 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18877] ppid=18863 vsize=197340 CPUtime=0.21
/proc/18871/task/18877/stat : 18877 (java) S 18863 18863 17933 0 -1 64 644 0 0 0 20 1 0 0 16 0 10 0 1992664937 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18871/tid=18878] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18878/stat : 18878 (java) S 18863 18863 17933 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992664937 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18879] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18879/stat : 18879 (java) S 18863 18863 17933 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 1992664937 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=19065] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/19065/stat : 19065 (java) S 18863 18863 17933 0 -1 64 71 0 0 0 0 0 0 0 16 0 10 0 1992665600 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.42
Current children cumulated vsize (KiB) 863656
[startup+25.5021 s]
/proc/loadavg: 2.31 2.08 2.02 3/102 19366
/proc/meminfo: memFree=1476852/2055920 swapFree=4179028/4192956
[pid=18863] ppid=18861 vsize=5360 CPUtime=1.55
/proc/18863/stat : 18863 (hydra) S 18861 18863 17933 0 -1 4194304 375 2730 0 0 0 0 154 1 18 0 1 0 1992664772 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18863/statm: 1340 238 196 169 0 51 0
[pid=18871] ppid=18863 vsize=197340 CPUtime=5.88
/proc/18871/stat : 18871 (java) S 18863 18863 17933 0 -1 0 13873 0 1 0 567 21 0 0 18 0 10 0 1992664931 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18871/statm: 49335 9389 2543 9 0 43918 0
[pid=19066] ppid=18871 vsize=5356 CPUtime=0
/proc/19066/stat : 19066 (choco) S 18871 18863 17933 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 1992665600 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/19066/statm: 1339 238 197 169 0 50 0
[pid=19071] ppid=19066 vsize=655600 CPUtime=16.78
/proc/19071/stat : 19071 (java) S 19066 18863 17933 0 -1 0 14949 0 1 0 1660 18 0 0 18 0 9 0 1992665601 671334400 14522 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19071/statm: 163900 14522 1933 9 0 158429 0
[pid=19071/tid=19074] ppid=19066 vsize=655600 CPUtime=16.43
/proc/19071/task/19074/stat : 19074 (java) R 19066 18863 17933 0 -1 64 12189 0 1 0 1627 16 0 0 25 0 9 0 1992665602 671334400 14522 996147200 134512640 134550740 4294955936 18446744073709551615 4127039058 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19103] ppid=19066 vsize=655600 CPUtime=0.03
/proc/19071/task/19103/stat : 19103 (java) S 19066 18863 17933 0 -1 64 1620 0 0 0 3 0 0 0 16 0 9 0 1992665612 671334400 14522 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19105] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19105/stat : 19105 (java) S 19066 18863 17933 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992665612 671334400 14522 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19106] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19106/stat : 19106 (java) S 19066 18863 17933 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 1992665612 671334400 14522 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19143] ppid=19066 vsize=655600 CPUtime=0
################
# More data... #
################
/proc/18871/statm: 49335 9389 2543 9 0 43918 0
[pid=19066] ppid=18871 vsize=5356 CPUtime=0
/proc/19066/stat : 19066 (choco) S 18871 18863 17933 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 1992665600 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/19066/statm: 1339 238 197 169 0 50 0
[pid=19071] ppid=19066 vsize=655600 CPUtime=1712.93
/proc/19071/stat : 19071 (java) S 19066 18863 17933 0 -1 0 15373 0 1 0 170409 884 0 0 18 0 9 0 1992665601 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19071/statm: 163900 14820 1933 9 0 158429 0
[pid=19071/tid=19074] ppid=19066 vsize=655600 CPUtime=1712.45
/proc/19071/task/19074/stat : 19074 (java) R 19066 18863 17933 0 -1 64 12315 0 1 0 170364 881 0 0 25 0 9 0 1992665602 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19103] ppid=19066 vsize=655600 CPUtime=0.16
/proc/19071/task/19103/stat : 19103 (java) S 19066 18863 17933 0 -1 64 1918 0 0 0 15 1 0 0 17 0 9 0 1992665612 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19105] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19105/stat : 19105 (java) S 19066 18863 17933 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992665612 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19106] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19106/stat : 19106 (java) S 19066 18863 17933 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 1992665612 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19143] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19143/stat : 19143 (java) S 19066 18863 17933 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1992665624 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19144] ppid=19066 vsize=655600 CPUtime=0.28
/proc/19071/task/19144/stat : 19144 (java) S 19066 18863 17933 0 -1 64 595 0 0 0 28 0 0 0 15 0 9 0 1992665624 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19179] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19179/stat : 19179 (java) S 19066 18863 17933 0 -1 64 0 0 0 0 0 0 0 0 17 0 9 0 1992665634 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19180] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19180/stat : 19180 (java) S 19066 18863 17933 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992665634 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18872] ppid=18863 vsize=197340 CPUtime=4.55
/proc/18871/task/18872/stat : 18872 (java) S 18863 18863 17933 0 -1 64 3853 0 1 0 448 7 0 0 16 0 10 0 1992664932 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18871/tid=18873] ppid=18863 vsize=197340 CPUtime=1.09
/proc/18871/task/18873/stat : 18873 (java) S 18863 18863 17933 0 -1 64 8571 0 0 0 98 11 0 0 16 0 10 0 1992664933 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18871/tid=18874] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18874/stat : 18874 (java) S 18863 18863 17933 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992664933 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18871/tid=18875] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18875/stat : 18875 (java) S 18863 18863 17933 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1992664933 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18871/tid=18876] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18876/stat : 18876 (java) S 18863 18863 17933 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992664937 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18877] ppid=18863 vsize=197340 CPUtime=0.21
/proc/18871/task/18877/stat : 18877 (java) S 18863 18863 17933 0 -1 64 644 0 0 0 20 1 0 0 16 0 10 0 1992664937 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18871/tid=18878] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18878/stat : 18878 (java) S 18863 18863 17933 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992664937 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18879] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18879/stat : 18879 (java) S 18863 18863 17933 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 1992664937 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=19065] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/19065/stat : 19065 (java) S 18863 18863 17933 0 -1 64 71 0 0 0 0 0 0 0 16 0 10 0 1992665600 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.36
Current children cumulated vsize (KiB) 863656
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 19440
/proc/meminfo: memFree=1452428/2055920 swapFree=4179028/4192956
[pid=18863] ppid=18861 vsize=5360 CPUtime=1.55
/proc/18863/stat : 18863 (hydra) S 18861 18863 17933 0 -1 4194304 375 2730 0 0 0 0 154 1 18 0 1 0 1992664772 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18863/statm: 1340 238 196 169 0 51 0
[pid=18871] ppid=18863 vsize=197340 CPUtime=5.88
/proc/18871/stat : 18871 (java) S 18863 18863 17933 0 -1 0 13873 0 1 0 567 21 0 0 18 0 10 0 1992664931 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18871/statm: 49335 9389 2543 9 0 43918 0
[pid=19066] ppid=18871 vsize=5356 CPUtime=0
/proc/19066/stat : 19066 (choco) S 18871 18863 17933 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 1992665600 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/19066/statm: 1339 238 197 169 0 50 0
[pid=19071] ppid=19066 vsize=655600 CPUtime=1772.91
/proc/19071/stat : 19071 (java) S 19066 18863 17933 0 -1 0 15377 0 1 0 176373 918 0 0 18 0 9 0 1992665601 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19071/statm: 163900 14820 1933 9 0 158429 0
[pid=19071/tid=19074] ppid=19066 vsize=655600 CPUtime=1772.42
/proc/19071/task/19074/stat : 19074 (java) R 19066 18863 17933 0 -1 64 12319 0 1 0 176328 914 0 0 25 0 9 0 1992665602 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4127040263 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19103] ppid=19066 vsize=655600 CPUtime=0.16
/proc/19071/task/19103/stat : 19103 (java) S 19066 18863 17933 0 -1 64 1918 0 0 0 15 1 0 0 16 0 9 0 1992665612 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19105] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19105/stat : 19105 (java) S 19066 18863 17933 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992665612 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19106] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19106/stat : 19106 (java) S 19066 18863 17933 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 1992665612 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19143] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19143/stat : 19143 (java) S 19066 18863 17933 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1992665624 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19144] ppid=19066 vsize=655600 CPUtime=0.28
/proc/19071/task/19144/stat : 19144 (java) S 19066 18863 17933 0 -1 64 595 0 0 0 28 0 0 0 15 0 9 0 1992665624 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19179] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19179/stat : 19179 (java) S 19066 18863 17933 0 -1 64 0 0 0 0 0 0 0 0 17 0 9 0 1992665634 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19180] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19180/stat : 19180 (java) S 19066 18863 17933 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992665634 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18872] ppid=18863 vsize=197340 CPUtime=4.55
/proc/18871/task/18872/stat : 18872 (java) S 18863 18863 17933 0 -1 64 3853 0 1 0 448 7 0 0 16 0 10 0 1992664932 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18871/tid=18873] ppid=18863 vsize=197340 CPUtime=1.09
/proc/18871/task/18873/stat : 18873 (java) S 18863 18863 17933 0 -1 64 8571 0 0 0 98 11 0 0 16 0 10 0 1992664933 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18871/tid=18874] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18874/stat : 18874 (java) S 18863 18863 17933 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992664933 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18871/tid=18875] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18875/stat : 18875 (java) S 18863 18863 17933 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1992664933 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18871/tid=18876] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18876/stat : 18876 (java) S 18863 18863 17933 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992664937 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18877] ppid=18863 vsize=197340 CPUtime=0.21
/proc/18871/task/18877/stat : 18877 (java) S 18863 18863 17933 0 -1 64 644 0 0 0 20 1 0 0 16 0 10 0 1992664937 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18871/tid=18878] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18878/stat : 18878 (java) S 18863 18863 17933 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992664937 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18879] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18879/stat : 18879 (java) S 18863 18863 17933 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 1992664937 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=19065] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/19065/stat : 19065 (java) S 18863 18863 17933 0 -1 64 71 0 0 0 0 0 0 0 16 0 10 0 1992665600 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.34
Current children cumulated vsize (KiB) 863656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 19440
/proc/meminfo: memFree=1452428/2055920 swapFree=4179028/4192956
[pid=18863] ppid=18861 vsize=5360 CPUtime=1.55
/proc/18863/stat : 18863 (hydra) S 18861 18863 17933 0 -1 4194304 375 2730 0 0 0 0 154 1 18 0 1 0 1992664772 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18863/statm: 1340 238 196 169 0 51 0
[pid=18871] ppid=18863 vsize=197340 CPUtime=5.88
/proc/18871/stat : 18871 (java) S 18863 18863 17933 0 -1 0 13873 0 1 0 567 21 0 0 18 0 10 0 1992664931 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18871/statm: 49335 9389 2543 9 0 43918 0
[pid=19066] ppid=18871 vsize=5356 CPUtime=0
/proc/19066/stat : 19066 (choco) S 18871 18863 17933 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 1992665600 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/19066/statm: 1339 238 197 169 0 50 0
[pid=19071] ppid=19066 vsize=655600 CPUtime=1792.61
/proc/19071/stat : 19071 (java) S 19066 18863 17933 0 -1 0 15379 0 1 0 178322 939 0 0 18 0 9 0 1992665601 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19071/statm: 163900 14820 1933 9 0 158429 0
[pid=19071/tid=19074] ppid=19066 vsize=655600 CPUtime=1792.13
/proc/19071/task/19074/stat : 19074 (java) R 19066 18863 17933 0 -1 64 12321 0 1 0 178277 936 0 0 25 0 9 0 1992665602 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4127039093 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19103] ppid=19066 vsize=655600 CPUtime=0.16
/proc/19071/task/19103/stat : 19103 (java) S 19066 18863 17933 0 -1 64 1918 0 0 0 15 1 0 0 16 0 9 0 1992665612 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19105] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19105/stat : 19105 (java) S 19066 18863 17933 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992665612 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19106] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19106/stat : 19106 (java) S 19066 18863 17933 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 1992665612 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19143] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19143/stat : 19143 (java) S 19066 18863 17933 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1992665624 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19144] ppid=19066 vsize=655600 CPUtime=0.28
/proc/19071/task/19144/stat : 19144 (java) S 19066 18863 17933 0 -1 64 595 0 0 0 28 0 0 0 15 0 9 0 1992665624 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19179] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19179/stat : 19179 (java) S 19066 18863 17933 0 -1 64 0 0 0 0 0 0 0 0 17 0 9 0 1992665634 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19071/tid=19180] ppid=19066 vsize=655600 CPUtime=0
/proc/19071/task/19180/stat : 19180 (java) S 19066 18863 17933 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992665634 671334400 14820 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18872] ppid=18863 vsize=197340 CPUtime=4.55
/proc/18871/task/18872/stat : 18872 (java) S 18863 18863 17933 0 -1 64 3853 0 1 0 448 7 0 0 16 0 10 0 1992664932 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18871/tid=18873] ppid=18863 vsize=197340 CPUtime=1.09
/proc/18871/task/18873/stat : 18873 (java) S 18863 18863 17933 0 -1 64 8571 0 0 0 98 11 0 0 16 0 10 0 1992664933 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18871/tid=18874] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18874/stat : 18874 (java) S 18863 18863 17933 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992664933 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18871/tid=18875] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18875/stat : 18875 (java) S 18863 18863 17933 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1992664933 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18871/tid=18876] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18876/stat : 18876 (java) S 18863 18863 17933 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992664937 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18877] ppid=18863 vsize=197340 CPUtime=0.21
/proc/18871/task/18877/stat : 18877 (java) S 18863 18863 17933 0 -1 64 644 0 0 0 20 1 0 0 16 0 10 0 1992664937 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18871/tid=18878] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18878/stat : 18878 (java) S 18863 18863 17933 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992664937 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=18879] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/18879/stat : 18879 (java) R 18863 18863 17933 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 1992664937 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18871/tid=19065] ppid=18863 vsize=197340 CPUtime=0
/proc/18871/task/19065/stat : 19065 (java) S 18863 18863 17933 0 -1 64 71 0 0 0 0 0 0 0 16 0 10 0 1992665600 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 863656
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18863 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=548764
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=19996
# CPU time returned by wait4() is 1.56876
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1802.04
CPU time (s): 1800.04
CPU user time (s): 1790.43
CPU system time (s): 9.61
CPU usage (%): 99.8893
Max. virtual memory (cumulated for all children) (KiB): 863656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.54876
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3105
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= 32
involuntary context switches= 74
runsolver used 8.97564 second user time and 16.6555 second system time
The end