0.00/0.00 c cpHydra_k_10 version 0.0
7.20/7.33 c CASE TO CLASSIFY:
7.20/7.33 c Case: 0
7.20/7.34 c 19 > 0.000000 | c 35 > 4.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.000000 | c 15 > 21.876100 | c 34 > 9.000000 | c 16 > 6.000000 | c 13 > 9.559570 | c 14 > 13.474800 | c 11 > 6.643860 | c 12 > 8.391420 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | 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 > 6.643860 | c 10 > 8.383700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.199670 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.576200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.35 c choco : 1801.0
7.20/7.35 c mistral : 1801.0
7.20/7.35 c abscon : 1801.0
7.20/7.35 c
7.20/7.35 c
7.29/7.42 c List of same ones: 10
7.29/7.42 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-40-3-3.xml
7.29/7.42 c 19 > 0.000000 | c 35 > 4.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.000000 | c 15 > 21.675200 | c 34 > 9.000000 | c 16 > 6.000000 | c 13 > 9.231910 | c 14 > 12.901200 | c 11 > 6.643860 | c 12 > 7.828520 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | 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 > 6.643860 | c 10 > 8.383700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.199670 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.576200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.29/7.43 c choco : 1801.0
7.29/7.43 c mistral : 0.023996
7.29/7.43 c abscon : 1800.03
7.29/7.43 c
7.29/7.43 c
7.29/7.43 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-60-3-3.xml
7.29/7.43 c 19 > 0.000000 | c 35 > 4.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.000000 | c 15 > 21.778200 | c 34 > 8.000000 | c 16 > 6.000000 | c 13 > 8.235810 | c 14 > 11.286600 | c 11 > 6.643860 | c 12 > 6.792860 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | 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 > 6.643860 | c 10 > 8.988680 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.608500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.29/7.44 c choco : 17.72
7.29/7.44 c mistral : 0.028994
7.29/7.44 c abscon : 53.3069
7.29/7.44 c
7.29/7.44 c
7.29/7.44 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-40-3-3.xml
7.29/7.44 c 19 > 0.000000 | c 35 > 4.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.000000 | c 15 > 21.787200 | c 34 > 9.000000 | c 16 > 6.000000 | c 13 > 11.289200 | c 14 > 13.984900 | c 11 > 6.643860 | c 12 > 9.900260 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | 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 > 6.643860 | c 10 > 8.383700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.199670 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.994500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.29/7.45 c choco : 15.15
7.29/7.45 c mistral : 0.024995
7.29/7.45 c abscon : 1118.46
7.29/7.45 c
7.29/7.45 c
7.29/7.45 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-60-3-3.xml
7.29/7.45 c 19 > 0.000000 | c 35 > 4.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.000000 | c 15 > 21.759200 | c 34 > 8.000000 | c 16 > 6.000000 | c 13 > 7.404920 | c 14 > 11.591500 | c 11 > 6.643860 | c 12 > 5.464670 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | 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 > 6.643860 | c 10 > 8.988680 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.185100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.29/7.46 c choco : 16.72
7.29/7.46 c mistral : 0.029994
7.29/7.46 c abscon : 12.0972
7.29/7.46 c
7.29/7.46 c
7.29/7.46 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-40-2-7.xml
7.29/7.46 c 19 > 0.000000 | c 35 > 5.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.000000 | c 15 > 21.983900 | c 34 > 10.000000 | c 16 > 9.000000 | c 13 > 11.115000 | c 14 > 13.374800 | c 11 > 6.643860 | c 12 > 9.137680 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | 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 > 6.643860 | c 10 > 8.794420 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.658210 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.900300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.29/7.47 c choco : 19.57
7.29/7.47 c mistral : 0.028994
7.29/7.47 c abscon : 1800.09
7.29/7.47 c
7.29/7.47 c
7.29/7.47 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-60-3-3.xml
7.29/7.47 c 19 > 0.000000 | c 35 > 4.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.000000 | c 15 > 20.287100 | c 34 > 8.000000 | c 16 > 6.000000 | c 13 > 8.283490 | c 14 > 11.358100 | c 11 > 6.643860 | c 12 > 6.670870 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | 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 > 6.643860 | c 10 > 8.988680 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.707200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.29/7.48 c choco : 2.39
7.29/7.48 c mistral : 0.030994
7.29/7.48 c abscon : 29.2126
7.29/7.48 c
7.29/7.48 c
7.29/7.48 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-80-3-3.xml
7.29/7.48 c 19 > 0.000000 | c 35 > 4.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.750000 | c 15 > 21.243000 | c 34 > 9.750000 | c 16 > 6.000000 | c 13 > 7.076170 | c 14 > 9.927780 | c 11 > 6.643860 | c 12 > 5.404970 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | 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 > 6.643860 | c 10 > 9.400880 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.219170 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.998200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.29/7.48 c choco : 17.78
7.29/7.48 c mistral : 0.031994
7.29/7.48 c abscon : 6.25605
7.29/7.48 c
7.29/7.48 c
7.29/7.48 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-40-2-7.xml
7.29/7.48 c 19 > 0.000000 | c 35 > 5.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.000000 | c 15 > 21.656100 | c 34 > 10.000000 | c 16 > 9.000000 | c 13 > 9.064180 | c 14 > 11.438800 | c 11 > 6.643860 | c 12 > 7.399090 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | 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 > 6.643860 | c 10 > 8.794420 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.658210 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.957500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.29/7.50 c choco : 381.2
7.29/7.50 c mistral : 0.026995
7.29/7.50 c abscon : 1800.06
7.29/7.50 c
7.29/7.50 c
7.29/7.50 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-60-2-7.xml
7.29/7.50 c 19 > 0.000000 | c 35 > 5.833330 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.000000 | c 15 > 21.637200 | c 34 > 11.666700 | c 16 > 9.000000 | c 13 > 9.238760 | c 14 > 12.000000 | c 11 > 6.643860 | c 12 > 7.191400 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | 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 > 6.643860 | c 10 > 9.308340 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.164910 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.784200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.51 c choco : 105.04
7.37/7.51 c mistral : 0.034994
7.37/7.51 c abscon : 84.4922
7.37/7.51 c
7.37/7.51 c
7.37/7.51 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-60-2-7.xml
7.37/7.51 c 19 > 0.000000 | c 35 > 5.833330 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.000000 | c 15 > 21.629400 | c 34 > 11.666700 | c 16 > 9.000000 | c 13 > 9.549770 | c 14 > 11.664000 | c 11 > 6.643860 | c 12 > 7.480510 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | 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 > 6.643860 | c 10 > 9.308340 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.164910 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.345200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.51 c choco : 28.28
7.37/7.51 c mistral : 0.032994
7.37/7.51 c abscon : 197.024
7.37/7.52 c
7.37/7.52 c
7.56/7.71 c Length: 10
7.56/7.71 c 0.8908396351757157 3.650264776314179 4.226459051321803 4.486078652654232 4.895350199495436 5.015905407969733 5.728756030631782 5.938048799142695 7.064704131993072 7.118240819711006
7.56/7.71 c
7.56/7.71 c 1.0 0.6929477614076863 0.6511960440712194 0.633984453920909 0.6086253808074684 0.601537895286537 0.5627855811202261 0.5523384837297322 0.5021585170858179 0.5
7.56/7.71 c
7.56/7.71 c solver 0
7.56/7.71 c before 0.0 seconds: {} 0
7.56/7.71 c before 18.0 seconds: {3, 6} 1196
7.56/7.71 c before 36.0 seconds: {3, 5, 6} 1798
7.56/7.71 c before 54.0 seconds: {1, 3, 5, 6} 2491
7.56/7.71 c before 90.0 seconds: {1, 3, 5, 6, 8} 2993
7.56/7.71 c before 198.0 seconds: {1, 3, 5, 6, 8, 9} 3493
7.56/7.71 c before 1134.0 seconds: {1, 2, 3, 5, 6, 8, 9} 4144
7.56/7.71 c
7.56/7.71 c solver 1
7.56/7.71 c before 0.0 seconds: {} 0
7.56/7.71 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6305
7.56/7.71 c
7.56/7.71 c solver 2
7.56/7.71 c before 0.0 seconds: {} 0
7.56/7.71 c before 18.0 seconds: {1, 2, 3, 5, 6} 3142
7.56/7.71 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 9} 4251
7.56/7.71 c before 108.0 seconds: {1, 2, 3, 4, 5, 6, 8, 9} 4753
7.56/7.71 c before 396.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9} 5305
7.56/7.71 c
7.56/7.71 cTotal time: 86
7.56/7.71 c 1548.0 seconds unused
7.56/7.71 c 0 c 0 c 0
7.56/7.71 c 3 c 0 c 1
7.56/7.71 c 2 c 0 c 0
7.56/7.71 c is solver0 dominated by:
7.56/7.71 c solver 1 (0 solves instances that 1 can't: false) (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.56/7.71 c is dominated? true
7.56/7.71 c
7.56/7.71 c is solver1 dominated by:
7.56/7.71 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.56/7.71 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.56/7.72 c is dominated? false
7.56/7.72 c
7.56/7.72 c is solver2 dominated by:
7.56/7.72 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.56/7.72 c solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true)
7.56/7.72 c is dominated? true
7.56/7.72 c
7.56/7.72 c Number of non-dominated solvers: 1
7.56/7.72 c remove dominated solvers
7.56/7.72 c solver 1 is not dominated by another solver
7.56/7.72 c solver 2 is dominated by another solver
7.56/7.72 c solver 0 is dominated by another solver
7.56/7.72 c
7.56/7.72 c solver 0: 0.0
7.56/7.72 c
7.56/7.72 c solver 1: 18.0
7.56/7.72 c
7.56/7.72 c+ 1/1 of 99
7.56/7.72 c
7.56/7.72 c solver 2: 0.0
7.56/7.72 c do not run abscon
7.56/7.72 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6305
7.56/7.72 c do not run choco
7.56/7.72 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.56/7.72 c On Instance: HOME/instance-1060044-1215125597.xml
7.56/7.72 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-1060044-1215125597/watcher-1060044-1215125597 -o /tmp/evaluation-result-1060044-1215125597/solver-1060044-1215125597 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1060044-1215125597.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: 1.91 1.98 1.99 4/80 688
/proc/meminfo: memFree=1505168/2055920 swapFree=4179812/4192956
[pid=688] ppid=686 vsize=18572 CPUtime=0
/proc/688/stat : 688 (runsolver) R 686 688 31958 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1991533241 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 254195330343 0 0 4096 24578 0 0 0 17 1 0 0
/proc/688/statm: 4643 292 257 25 0 2626 0
[startup+0.0694659 s]
/proc/loadavg: 1.91 1.98 1.99 4/80 688
/proc/meminfo: memFree=1505168/2055920 swapFree=4179812/4192956
[pid=688] ppid=686 vsize=5360 CPUtime=0
/proc/688/stat : 688 (hydra) S 686 688 31958 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991533241 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/688/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101467 s]
/proc/loadavg: 1.91 1.98 1.99 4/80 688
/proc/meminfo: memFree=1505168/2055920 swapFree=4179812/4192956
[pid=688] ppid=686 vsize=5360 CPUtime=0
/proc/688/stat : 688 (hydra) S 686 688 31958 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991533241 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/688/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301497 s]
/proc/loadavg: 1.91 1.98 1.99 4/80 688
/proc/meminfo: memFree=1505168/2055920 swapFree=4179812/4192956
[pid=688] ppid=686 vsize=5360 CPUtime=0
/proc/688/stat : 688 (hydra) S 686 688 31958 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991533241 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/688/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.70156 s]
/proc/loadavg: 1.91 1.98 1.99 4/80 688
/proc/meminfo: memFree=1505168/2055920 swapFree=4179812/4192956
[pid=688] ppid=686 vsize=5360 CPUtime=0
/proc/688/stat : 688 (hydra) S 686 688 31958 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991533241 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/688/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50169 s]
/proc/loadavg: 1.91 1.98 1.99 3/82 692
/proc/meminfo: memFree=1504128/2055920 swapFree=4179812/4192956
[pid=688] ppid=686 vsize=5360 CPUtime=1.47
/proc/688/stat : 688 (hydra) S 686 688 31958 0 -1 4194304 348 913 0 0 0 0 145 2 16 0 1 0 1991533241 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/688/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 5360
[startup+3.10294 s]
/proc/loadavg: 1.91 1.98 1.99 3/90 704
/proc/meminfo: memFree=1497344/2055920 swapFree=4179812/4192956
[pid=688] ppid=686 vsize=5360 CPUtime=1.47
/proc/688/stat : 688 (hydra) S 686 688 31958 0 -1 4194304 375 1249 0 0 0 0 145 2 18 0 1 0 1991533241 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/688/statm: 1340 238 196 169 0 51 0
[pid=696] ppid=688 vsize=197104 CPUtime=1.57
/proc/696/stat : 696 (java) S 688 688 31958 0 -1 0 5080 0 1 0 153 4 0 0 18 0 9 0 1991533392 201834496 4258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 49276 4258 1678 9 0 43859 0
[pid=696/tid=697] ppid=688 vsize=197104 CPUtime=1.23
/proc/696/task/697/stat : 697 (java) R 688 688 31958 0 -1 64 2746 0 1 0 122 1 0 0 25 0 9 0 1991533393 201834496 4258 996147200 134512640 134550740 4294955968 18446744073709551615 4126456649 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=698] ppid=688 vsize=197104 CPUtime=0.15
/proc/696/task/698/stat : 698 (java) S 688 688 31958 0 -1 64 996 0 0 0 14 1 0 0 16 0 9 0 1991533394 201834496 4258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=699] ppid=688 vsize=197104 CPUtime=0
/proc/696/task/699/stat : 699 (java) S 688 688 31958 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1991533394 201834496 4258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=700] ppid=688 vsize=197104 CPUtime=0
/proc/696/task/700/stat : 700 (java) S 688 688 31958 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1991533394 201834496 4258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=701] ppid=688 vsize=197104 CPUtime=0
/proc/696/task/701/stat : 701 (java) S 688 688 31958 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991533396 201834496 4258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=702] ppid=688 vsize=197104 CPUtime=0.15
/proc/696/task/702/stat : 702 (java) S 688 688 31958 0 -1 64 612 0 0 0 15 0 0 0 16 0 9 0 1991533396 201834496 4258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=703] ppid=688 vsize=197104 CPUtime=0
/proc/696/task/703/stat : 703 (java) S 688 688 31958 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1991533396 201834496 4258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=704] ppid=688 vsize=197104 CPUtime=0
/proc/696/task/704/stat : 704 (java) S 688 688 31958 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1991533396 201834496 4258 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 202464
[startup+6.30243 s]
/proc/loadavg: 1.92 1.98 1.99 3/90 704
/proc/meminfo: memFree=1484864/2055920 swapFree=4179812/4192956
[pid=688] ppid=686 vsize=5360 CPUtime=1.47
/proc/688/stat : 688 (hydra) S 686 688 31958 0 -1 4194304 375 1249 0 0 0 0 145 2 18 0 1 0 1991533241 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/688/statm: 1340 238 196 169 0 51 0
[pid=696] ppid=688 vsize=197104 CPUtime=4.74
/proc/696/stat : 696 (java) S 688 688 31958 0 -1 0 9984 0 1 0 464 10 0 0 18 0 9 0 1991533392 201834496 8277 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 49276 8277 2540 9 0 43859 0
[pid=696/tid=697] ppid=688 vsize=197104 CPUtime=3.74
/proc/696/task/697/stat : 697 (java) R 688 688 31958 0 -1 64 3547 0 1 0 372 2 0 0 25 0 9 0 1991533393 201834496 8277 996147200 134512640 134550740 4294955968 18446744073709551615 4126374423 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=698] ppid=688 vsize=197104 CPUtime=0.78
/proc/696/task/698/stat : 698 (java) S 688 688 31958 0 -1 64 5084 0 0 0 72 6 0 0 16 0 9 0 1991533394 201834496 8277 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=699] ppid=688 vsize=197104 CPUtime=0
/proc/696/task/699/stat : 699 (java) S 688 688 31958 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1991533394 201834496 8277 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=700] ppid=688 vsize=197104 CPUtime=0
/proc/696/task/700/stat : 700 (java) S 688 688 31958 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1991533394 201834496 8277 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=701] ppid=688 vsize=197104 CPUtime=0
/proc/696/task/701/stat : 701 (java) S 688 688 31958 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991533396 201834496 8277 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=702] ppid=688 vsize=197104 CPUtime=0.17
/proc/696/task/702/stat : 702 (java) S 688 688 31958 0 -1 64 627 0 0 0 17 0 0 0 16 0 9 0 1991533396 201834496 8277 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=703] ppid=688 vsize=197104 CPUtime=0
/proc/696/task/703/stat : 703 (java) S 688 688 31958 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1991533396 201834496 8277 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=704] ppid=688 vsize=197104 CPUtime=0
/proc/696/task/704/stat : 704 (java) S 688 688 31958 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1991533396 201834496 8277 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 202464
[startup+12.7024 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 707
/proc/meminfo: memFree=1475816/2055920 swapFree=4179812/4192956
[pid=688] ppid=686 vsize=5360 CPUtime=1.47
/proc/688/stat : 688 (hydra) S 686 688 31958 0 -1 4194304 375 1249 0 0 0 0 145 2 18 0 1 0 1991533241 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/688/statm: 1340 238 196 169 0 51 0
[pid=696] ppid=688 vsize=197428 CPUtime=6.12
/proc/696/stat : 696 (java) S 688 688 31958 0 -1 0 13883 0 1 0 597 15 0 0 18 0 10 0 1991533392 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 49357 9394 2543 9 0 43940 0
[pid=706] ppid=696 vsize=5356 CPUtime=0
/proc/706/stat : 706 (mistral) S 696 688 31958 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1991534014 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 254195327812 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/706/statm: 1339 236 196 169 0 50 0
[pid=707] ppid=706 vsize=5132 CPUtime=4.91
/proc/707/stat : 707 (xsolve) R 706 688 31958 0 -1 4194304 631 0 0 0 491 0 0 0 25 0 1 0 1991534014 5255168 595 996147200 134512640 135239763 4294955968 18446744073709551615 134802977 0 4 0 0 0 0 0 17 1 0 0
/proc/707/statm: 1283 595 416 177 0 186 0
[pid=696/tid=697] ppid=688 vsize=197428 CPUtime=4.76
/proc/696/task/697/stat : 697 (java) S 688 688 31958 0 -1 64 3857 0 1 0 472 4 0 0 23 0 10 0 1991533393 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=696/tid=698] ppid=688 vsize=197428 CPUtime=1.11
/proc/696/task/698/stat : 698 (java) S 688 688 31958 0 -1 64 8572 0 0 0 103 8 0 0 16 0 10 0 1991533394 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=699] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/699/stat : 699 (java) S 688 688 31958 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1991533394 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=700] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/700/stat : 700 (java) S 688 688 31958 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1991533394 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=701] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/701/stat : 701 (java) S 688 688 31958 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=702] ppid=688 vsize=197428 CPUtime=0.21
/proc/696/task/702/stat : 702 (java) S 688 688 31958 0 -1 64 644 0 0 0 21 0 0 0 16 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=703] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/703/stat : 703 (java) S 688 688 31958 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=704] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/704/stat : 704 (java) S 688 688 31958 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=705] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/705/stat : 705 (java) S 688 688 31958 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1991534014 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 213276
[startup+25.5024 s]
/proc/loadavg: 1.94 1.98 1.99 3/93 707
/proc/meminfo: memFree=1475880/2055920 swapFree=4179812/4192956
[pid=688] ppid=686 vsize=5360 CPUtime=1.47
/proc/688/stat : 688 (hydra) S 686 688 31958 0 -1 4194304 375 1249 0 0 0 0 145 2 18 0 1 0 1991533241 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/688/statm: 1340 238 196 169 0 51 0
[pid=696] ppid=688 vsize=197428 CPUtime=6.12
/proc/696/stat : 696 (java) S 688 688 31958 0 -1 0 13883 0 1 0 597 15 0 0 18 0 10 0 1991533392 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 49357 9394 2543 9 0 43940 0
[pid=706] ppid=696 vsize=5356 CPUtime=0
/proc/706/stat : 706 (mistral) S 696 688 31958 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1991534014 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 254195327812 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/706/statm: 1339 236 196 169 0 50 0
[pid=707] ppid=706 vsize=5136 CPUtime=17.58
/proc/707/stat : 707 (xsolve) R 706 688 31958 0 -1 4194304 632 0 0 0 1758 0 0 0 25 0 1 0 1991534014 5259264 596 996147200 134512640 135239763 4294955968 18446744073709551615 135101089 0 4 0 0 0 0 0 17 1 0 0
/proc/707/statm: 1284 596 416 177 0 187 0
[pid=696/tid=697] ppid=688 vsize=197428 CPUtime=4.76
/proc/696/task/697/stat : 697 (java) S 688 688 31958 0 -1 64 3857 0 1 0 472 4 0 0 23 0 10 0 1991533393 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=696/tid=698] ppid=688 vsize=197428 CPUtime=1.11
/proc/696/task/698/stat : 698 (java) S 688 688 31958 0 -1 64 8572 0 0 0 103 8 0 0 16 0 10 0 1991533394 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=699] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/699/stat : 699 (java) S 688 688 31958 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1991533394 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=700] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/700/stat : 700 (java) S 688 688 31958 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1991533394 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=701] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/701/stat : 701 (java) S 688 688 31958 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=702] ppid=688 vsize=197428 CPUtime=0.21
/proc/696/task/702/stat : 702 (java) S 688 688 31958 0 -1 64 644 0 0 0 21 0 0 0 16 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=703] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/703/stat : 703 (java) S 688 688 31958 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=704] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/704/stat : 704 (java) S 688 688 31958 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=705] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/705/stat : 705 (java) S 688 688 31958 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1991534014 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 213280
[startup+51.1024 s]
/proc/loadavg: 1.96 1.98 1.99 3/93 707
/proc/meminfo: memFree=1475752/2055920 swapFree=4179812/4192956
[pid=688] ppid=686 vsize=5360 CPUtime=1.47
/proc/688/stat : 688 (hydra) S 686 688 31958 0 -1 4194304 375 1249 0 0 0 0 145 2 18 0 1 0 1991533241 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/688/statm: 1340 238 196 169 0 51 0
[pid=696] ppid=688 vsize=197428 CPUtime=6.12
################
# More data... #
################
/proc/696/task/705/stat : 705 (java) S 688 688 31958 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1991534014 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1649.55
Current children cumulated vsize (KiB) 213316
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 793
/proc/meminfo: memFree=1437544/2055920 swapFree=4179812/4192956
[pid=688] ppid=686 vsize=5360 CPUtime=1.47
/proc/688/stat : 688 (hydra) S 686 688 31958 0 -1 4194304 375 1249 0 0 0 0 145 2 18 0 1 0 1991533241 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/688/statm: 1340 238 196 169 0 51 0
[pid=696] ppid=688 vsize=197428 CPUtime=6.12
/proc/696/stat : 696 (java) S 688 688 31958 0 -1 0 13883 0 1 0 597 15 0 0 18 0 10 0 1991533392 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 49357 9394 2543 9 0 43940 0
[pid=706] ppid=696 vsize=5356 CPUtime=0
/proc/706/stat : 706 (mistral) S 696 688 31958 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1991534014 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 254195327812 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/706/statm: 1339 236 196 169 0 50 0
[pid=707] ppid=706 vsize=5172 CPUtime=1701.94
/proc/707/stat : 707 (xsolve) R 706 688 31958 0 -1 4194304 644 0 0 0 170190 4 0 0 25 0 1 0 1991534014 5296128 608 996147200 134512640 135239763 4294955968 18446744073709551615 134803484 0 4 0 0 0 0 0 17 0 0 0
/proc/707/statm: 1293 608 416 177 0 196 0
[pid=696/tid=697] ppid=688 vsize=197428 CPUtime=4.76
/proc/696/task/697/stat : 697 (java) S 688 688 31958 0 -1 64 3857 0 1 0 472 4 0 0 23 0 10 0 1991533393 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=696/tid=698] ppid=688 vsize=197428 CPUtime=1.11
/proc/696/task/698/stat : 698 (java) S 688 688 31958 0 -1 64 8572 0 0 0 103 8 0 0 16 0 10 0 1991533394 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=699] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/699/stat : 699 (java) S 688 688 31958 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1991533394 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=700] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/700/stat : 700 (java) S 688 688 31958 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1991533394 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=701] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/701/stat : 701 (java) S 688 688 31958 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=702] ppid=688 vsize=197428 CPUtime=0.21
/proc/696/task/702/stat : 702 (java) S 688 688 31958 0 -1 64 644 0 0 0 21 0 0 0 16 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=703] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/703/stat : 703 (java) S 688 688 31958 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=704] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/704/stat : 704 (java) S 688 688 31958 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=705] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/705/stat : 705 (java) S 688 688 31958 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1991534014 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1709.53
Current children cumulated vsize (KiB) 213316
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 793
/proc/meminfo: memFree=1437416/2055920 swapFree=4179812/4192956
[pid=688] ppid=686 vsize=5360 CPUtime=1.47
/proc/688/stat : 688 (hydra) S 686 688 31958 0 -1 4194304 375 1249 0 0 0 0 145 2 18 0 1 0 1991533241 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/688/statm: 1340 238 196 169 0 51 0
[pid=696] ppid=688 vsize=197428 CPUtime=6.12
/proc/696/stat : 696 (java) S 688 688 31958 0 -1 0 13883 0 1 0 597 15 0 0 18 0 10 0 1991533392 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 49357 9394 2543 9 0 43940 0
[pid=706] ppid=696 vsize=5356 CPUtime=0
/proc/706/stat : 706 (mistral) S 696 688 31958 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1991534014 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 254195327812 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/706/statm: 1339 236 196 169 0 50 0
[pid=707] ppid=706 vsize=5172 CPUtime=1761.92
/proc/707/stat : 707 (xsolve) R 706 688 31958 0 -1 4194304 644 0 0 0 176188 4 0 0 25 0 1 0 1991534014 5296128 608 996147200 134512640 135239763 4294955968 18446744073709551615 135100977 0 4 0 0 0 0 0 17 0 0 0
/proc/707/statm: 1293 608 416 177 0 196 0
[pid=696/tid=697] ppid=688 vsize=197428 CPUtime=4.76
/proc/696/task/697/stat : 697 (java) S 688 688 31958 0 -1 64 3857 0 1 0 472 4 0 0 23 0 10 0 1991533393 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=696/tid=698] ppid=688 vsize=197428 CPUtime=1.11
/proc/696/task/698/stat : 698 (java) S 688 688 31958 0 -1 64 8572 0 0 0 103 8 0 0 16 0 10 0 1991533394 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=699] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/699/stat : 699 (java) S 688 688 31958 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1991533394 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=700] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/700/stat : 700 (java) S 688 688 31958 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1991533394 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=701] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/701/stat : 701 (java) S 688 688 31958 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=702] ppid=688 vsize=197428 CPUtime=0.21
/proc/696/task/702/stat : 702 (java) S 688 688 31958 0 -1 64 644 0 0 0 21 0 0 0 16 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=703] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/703/stat : 703 (java) S 688 688 31958 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=704] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/704/stat : 704 (java) S 688 688 31958 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=705] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/705/stat : 705 (java) S 688 688 31958 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1991534014 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1769.51
Current children cumulated vsize (KiB) 213316
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 793
/proc/meminfo: memFree=1437416/2055920 swapFree=4179812/4192956
[pid=688] ppid=686 vsize=5360 CPUtime=1.47
/proc/688/stat : 688 (hydra) S 686 688 31958 0 -1 4194304 375 1249 0 0 0 0 145 2 18 0 1 0 1991533241 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/688/statm: 1340 238 196 169 0 51 0
[pid=696] ppid=688 vsize=197428 CPUtime=6.12
/proc/696/stat : 696 (java) S 688 688 31958 0 -1 0 13883 0 1 0 597 15 0 0 18 0 10 0 1991533392 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 49357 9394 2543 9 0 43940 0
[pid=706] ppid=696 vsize=5356 CPUtime=0
/proc/706/stat : 706 (mistral) S 696 688 31958 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1991534014 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 254195327812 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/706/statm: 1339 236 196 169 0 50 0
[pid=707] ppid=706 vsize=5172 CPUtime=1792.5
/proc/707/stat : 707 (xsolve) R 706 688 31958 0 -1 4194304 644 0 0 0 179246 4 0 0 25 0 1 0 1991534014 5296128 608 996147200 134512640 135239763 4294955968 18446744073709551615 135031215 0 4 0 0 0 0 0 17 0 0 0
/proc/707/statm: 1293 608 416 177 0 196 0
[pid=696/tid=697] ppid=688 vsize=197428 CPUtime=4.76
/proc/696/task/697/stat : 697 (java) S 688 688 31958 0 -1 64 3857 0 1 0 472 4 0 0 23 0 10 0 1991533393 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=696/tid=698] ppid=688 vsize=197428 CPUtime=1.11
/proc/696/task/698/stat : 698 (java) S 688 688 31958 0 -1 64 8572 0 0 0 103 8 0 0 16 0 10 0 1991533394 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=699] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/699/stat : 699 (java) S 688 688 31958 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1991533394 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=700] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/700/stat : 700 (java) S 688 688 31958 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1991533394 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=701] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/701/stat : 701 (java) S 688 688 31958 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=702] ppid=688 vsize=197428 CPUtime=0.21
/proc/696/task/702/stat : 702 (java) S 688 688 31958 0 -1 64 644 0 0 0 21 0 0 0 16 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=703] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/703/stat : 703 (java) S 688 688 31958 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=704] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/704/stat : 704 (java) S 688 688 31958 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=705] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/705/stat : 705 (java) S 688 688 31958 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1991534014 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 213316
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1812.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 793
/proc/meminfo: memFree=1437416/2055920 swapFree=4179812/4192956
[pid=688] ppid=686 vsize=5360 CPUtime=1.47
/proc/688/stat : 688 (hydra) S 686 688 31958 0 -1 4194304 375 1249 0 0 0 0 145 2 18 0 1 0 1991533241 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/688/statm: 1340 238 196 169 0 51 0
[pid=696] ppid=688 vsize=197428 CPUtime=6.12
/proc/696/stat : 696 (java) S 688 688 31958 0 -1 0 13883 0 1 0 597 15 0 0 18 0 10 0 1991533392 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 49357 9394 2543 9 0 43940 0
[pid=706] ppid=696 vsize=5356 CPUtime=0
/proc/706/stat : 706 (mistral) S 696 688 31958 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1991534014 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 254195327812 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/706/statm: 1339 236 196 169 0 50 0
[pid=707] ppid=706 vsize=5172 CPUtime=1792.5
/proc/707/stat : 707 (xsolve) R 706 688 31958 0 -1 4194304 644 0 0 0 179246 4 0 0 25 0 1 0 1991534014 5296128 608 996147200 134512640 135239763 4294955968 18446744073709551615 135031215 0 4 0 0 0 0 0 17 0 0 0
/proc/707/statm: 1293 608 416 177 0 196 0
[pid=696/tid=697] ppid=688 vsize=197428 CPUtime=4.76
/proc/696/task/697/stat : 697 (java) S 688 688 31958 0 -1 64 3857 0 1 0 472 4 0 0 23 0 10 0 1991533393 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=696/tid=698] ppid=688 vsize=197428 CPUtime=1.11
/proc/696/task/698/stat : 698 (java) S 688 688 31958 0 -1 64 8572 0 0 0 103 8 0 0 16 0 10 0 1991533394 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=699] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/699/stat : 699 (java) S 688 688 31958 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1991533394 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=700] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/700/stat : 700 (java) S 688 688 31958 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1991533394 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=701] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/701/stat : 701 (java) S 688 688 31958 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=702] ppid=688 vsize=197428 CPUtime=0.21
/proc/696/task/702/stat : 702 (java) S 688 688 31958 0 -1 64 644 0 0 0 21 0 0 0 16 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=703] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/703/stat : 703 (java) S 688 688 31958 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=704] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/704/stat : 704 (java) S 688 688 31958 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1991533396 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=705] ppid=688 vsize=197428 CPUtime=0
/proc/696/task/705/stat : 705 (java) S 688 688 31958 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1991534014 202166272 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 213316
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 688 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=454778
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=25996
# CPU time returned by wait4() is 1.48077
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1812.93
CPU time (s): 1800.09
CPU user time (s): 1799.88
CPU system time (s): 0.21
CPU usage (%): 99.2919
Max. virtual memory (cumulated for all children) (KiB): 213316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.45478
system time used= 0.025996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1624
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= 33
involuntary context switches= 69
runsolver used 1.87671 second user time and 6.44202 second system time
The end