0.00/0.00 c cpHydra_k_10 version 0.0
7.01/7.25 c CASE TO CLASSIFY:
7.01/7.25 c Case: 0
7.01/7.25 c 19 > 0.000000 | c 35 > 3.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.000000 | c 15 > 22.011900 | c 34 > 6.000000 | c 16 > 10.000000 | c 13 > 5.214060 | c 14 > 10.348700 | c 11 > 6.643860 | c 12 > 4.523560 | 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.539160 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.417850 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.303500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.26 c choco : 1801.0
7.01/7.26 c mistral : 1801.0
7.01/7.26 c abscon : 1801.0
7.01/7.26 c
7.01/7.26 c
7.11/7.33 c List of same ones: 10
7.11/7.33 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-80-3-7.xml
7.11/7.33 c 19 > 0.000000 | c 35 > 3.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.500000 | c 15 > 21.026400 | c 34 > 7.500000 | c 16 > 10.000000 | c 13 > 6.250280 | c 14 > 9.629360 | c 11 > 6.643860 | c 12 > 4.682010 | 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.948370 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.826550 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.716500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.34 c choco : 1801.0
7.11/7.34 c mistral : 0.043992
7.11/7.34 c abscon : 101.677
7.11/7.34 c
7.11/7.34 c
7.11/7.34 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-80-3-5.xml
7.11/7.34 c 19 > 0.000000 | c 35 > 2.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.500000 | c 15 > 20.970000 | c 34 > 4.500000 | c 16 > 8.000000 | c 13 > 4.691640 | c 14 > 8.894820 | c 11 > 6.643860 | c 12 > 3.825790 | 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.714250 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.569860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.624300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.35 c choco : 23.56
7.11/7.35 c mistral : 0.037993
7.11/7.35 c abscon : 1800.09
7.11/7.35 c
7.11/7.35 c
7.11/7.35 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-80-3-7.xml
7.11/7.35 c 19 > 0.000000 | c 35 > 3.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.500000 | c 15 > 21.390300 | c 34 > 7.500000 | c 16 > 10.000000 | c 13 > 7.141140 | c 14 > 10.596200 | c 11 > 6.643860 | c 12 > 5.817370 | 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 > 9.948370 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.826550 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.253600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.36 c choco : 3.68
7.11/7.36 c mistral : 0.043992
7.11/7.36 c abscon : 18.5052
7.11/7.36 c
7.11/7.36 c
7.11/7.36 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-80-3-5.xml
7.11/7.36 c 19 > 0.000000 | c 35 > 2.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.500000 | c 15 > 21.335300 | c 34 > 4.500000 | c 16 > 8.000000 | c 13 > 5.816180 | c 14 > 9.499850 | c 11 > 6.643860 | c 12 > 4.890450 | 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 > 9.714250 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.569860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.704700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.37 c choco : 48.39
7.11/7.37 c mistral : 0.036993
7.11/7.37 c abscon : 1800.07
7.11/7.37 c
7.11/7.37 c
7.11/7.37 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-60-3-3.xml
7.11/7.37 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.11/7.38 c choco : 16.72
7.11/7.38 c mistral : 0.029994
7.11/7.38 c abscon : 12.0972
7.11/7.38 c
7.11/7.38 c
7.11/7.38 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-60-3-3.xml
7.11/7.38 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.11/7.39 c choco : 17.72
7.11/7.39 c mistral : 0.028994
7.11/7.39 c abscon : 53.3069
7.11/7.39 c
7.11/7.39 c
7.11/7.39 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-80-3-3.xml
7.11/7.39 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.11/7.39 c choco : 17.78
7.11/7.39 c mistral : 0.031994
7.11/7.39 c abscon : 6.25605
7.11/7.39 c
7.11/7.39 c
7.11/7.39 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-80-3-3.xml
7.11/7.39 c 19 > 0.000000 | c 35 > 4.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.750000 | c 15 > 19.410300 | c 34 > 9.750000 | c 16 > 6.000000 | c 13 > 5.259780 | c 14 > 8.379380 | c 11 > 6.643860 | c 12 > 3.606440 | 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.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 > 22.628700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.40 c choco : 2.8
7.18/7.40 c mistral : 0.034993
7.18/7.40 c abscon : 6.04908
7.18/7.40 c
7.18/7.40 c
7.18/7.40 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-60-3-3.xml
7.18/7.40 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.18/7.41 c choco : 2.39
7.18/7.41 c mistral : 0.030994
7.18/7.41 c abscon : 29.2126
7.18/7.41 c
7.18/7.41 c
7.18/7.41 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-80-3-3.xml
7.18/7.41 c 19 > 0.000000 | c 35 > 4.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.750000 | c 15 > 20.720500 | c 34 > 9.750000 | c 16 > 6.000000 | c 13 > 5.964230 | c 14 > 9.871910 | c 11 > 6.643860 | c 12 > 4.590360 | 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 > 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.079400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.42 c choco : 2.05
7.18/7.42 c mistral : 0.034994
7.18/7.42 c abscon : 10.5924
7.18/7.42 c
7.18/7.42 c
7.18/7.42 c Length: 10
7.18/7.42 c 2.8557093848289257 3.8430821075147485 4.707373035632507 4.813810710570161 5.849830915684658 6.707928647212939 7.459780284338139 7.722973415466352 7.76321674638806 8.058098954703894
7.18/7.42 c
7.18/7.42 c 1.0 0.8404829335897916 0.737503589372485 0.7265409097943236 0.6347078050575917 0.574557075435478 0.5305063520234292 0.516640370787953 0.5145838385057604 0.5
7.18/7.43 c
7.18/7.43 c solver 0
7.18/7.43 c before 0.0 seconds: {} 0
7.18/7.43 c before 18.0 seconds: {4, 6, 7, 9} 2181
7.18/7.43 c before 36.0 seconds: {2, 4, 6, 7, 8, 9} 3433
7.18/7.43 c before 54.0 seconds: {2, 4, 5, 6, 7, 8, 9} 4008
7.18/7.43 c before 108.0 seconds: {0, 2, 4, 5, 6, 7, 8, 9} 5008
7.18/7.43 c
7.18/7.43 c solver 1
7.18/7.43 c before 0.0 seconds: {} 0
7.18/7.43 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6575
7.18/7.43 c
7.18/7.43 c solver 2
7.18/7.43 c before 0.0 seconds: {} 0
7.18/7.43 c before 18.0 seconds: {2, 4, 5, 6, 7, 8, 9} 4008
7.18/7.43 c before 36.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9} 4848
7.18/7.43 c before 54.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9} 5575
7.18/7.43 c
7.18/7.43 cTotal time: 10
7.18/7.43 c 180.0 seconds unused
7.18/7.43 c 0 c 0 c 1
7.18/7.43 c 2 c 0 c 1
7.18/7.43 c 2 c 0 c 0
7.18/7.43 c is solver0 dominated by:
7.18/7.43 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.18/7.43 c is dominated? true
7.18/7.43 c
7.18/7.43 c is solver1 dominated by:
7.18/7.43 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.18/7.43 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.18/7.43 c is dominated? false
7.18/7.43 c
7.18/7.43 c is solver2 dominated by:
7.18/7.43 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.18/7.43 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.18/7.43 c is dominated? true
7.18/7.43 c
7.18/7.43 c Number of non-dominated solvers: 1
7.18/7.43 c remove dominated solvers
7.18/7.43 c solver 1 is not dominated by another solver
7.18/7.43 c solver 2 is dominated by another solver
7.18/7.43 c solver 0 is dominated by another solver
7.18/7.43 c
7.18/7.43 c solver 0: 0.0
7.18/7.43 c
7.18/7.43 c solver 1: 18.0
7.18/7.43 c
7.18/7.43 c+ 1/1 of 99
7.18/7.43 c
7.18/7.43 c solver 2: 0.0
7.18/7.43 c do not run abscon
7.18/7.43 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6575
7.18/7.43 c do not run choco
7.18/7.43 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.18/7.43 c On Instance: HOME/instance-1059918-1215125206.xml
7.18/7.43 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-1059918-1215125206/watcher-1059918-1215125206 -o /tmp/evaluation-result-1059918-1215125206/solver-1059918-1215125206 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1059918-1215125206.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.29 2.16 2.06 3/80 17786
/proc/meminfo: memFree=1709552/2055920 swapFree=4179916/4192956
[pid=17786] ppid=17784 vsize=5260 CPUtime=0
/proc/17786/stat : 17786 (hydra) R 17784 17786 15926 0 -1 4194304 67 0 0 0 0 0 0 0 20 0 1 0 1991493983 5386240 50 996147200 4194304 4889804 548682068816 18446744073709551615 213113687904 0 0 4096 0 0 0 0 17 1 0 0
/proc/17786/statm: 1315 50 36 169 0 14 0
[startup+0.037075 s]
/proc/loadavg: 2.29 2.16 2.06 3/80 17786
/proc/meminfo: memFree=1709552/2055920 swapFree=4179916/4192956
[pid=17786] ppid=17784 vsize=5360 CPUtime=0
/proc/17786/stat : 17786 (hydra) S 17784 17786 15926 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991493983 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17786/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101515 s]
/proc/loadavg: 2.29 2.16 2.06 3/80 17786
/proc/meminfo: memFree=1709552/2055920 swapFree=4179916/4192956
[pid=17786] ppid=17784 vsize=5360 CPUtime=0
/proc/17786/stat : 17786 (hydra) S 17784 17786 15926 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991493983 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17786/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301527 s]
/proc/loadavg: 2.29 2.16 2.06 3/80 17786
/proc/meminfo: memFree=1709552/2055920 swapFree=4179916/4192956
[pid=17786] ppid=17784 vsize=5360 CPUtime=0
/proc/17786/stat : 17786 (hydra) S 17784 17786 15926 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991493983 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17786/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.70157 s]
/proc/loadavg: 2.29 2.16 2.06 3/80 17786
/proc/meminfo: memFree=1709552/2055920 swapFree=4179916/4192956
[pid=17786] ppid=17784 vsize=5360 CPUtime=0
/proc/17786/stat : 17786 (hydra) S 17784 17786 15926 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991493983 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17786/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50166 s]
/proc/loadavg: 2.29 2.16 2.06 3/82 17790
/proc/meminfo: memFree=1706080/2055920 swapFree=4179916/4192956
[pid=17786] ppid=17784 vsize=5360 CPUtime=0
/proc/17786/stat : 17786 (hydra) S 17784 17786 15926 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991493983 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17786/statm: 1340 236 195 169 0 51 0
[pid=17790] ppid=17786 vsize=5524 CPUtime=1.42
/proc/17790/stat : 17790 (xsolve) R 17786 17786 15926 0 -1 4194304 766 0 7 0 142 0 0 0 25 0 1 0 1991493984 5656576 732 996147200 134512640 135239763 4294956176 18446744073709551615 134805714 0 0 4096 0 0 0 0 17 0 0 0
/proc/17790/statm: 1381 732 433 177 0 284 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 10884
[startup+3.10183 s]
/proc/loadavg: 2.26 2.16 2.06 3/90 17802
/proc/meminfo: memFree=1699104/2055920 swapFree=4179916/4192956
[pid=17786] ppid=17784 vsize=5360 CPUtime=1.48
/proc/17786/stat : 17786 (hydra) S 17784 17786 15926 0 -1 4194304 375 1357 0 10 0 0 147 1 19 0 1 0 1991493983 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17786/statm: 1340 238 196 169 0 51 0
[pid=17794] ppid=17786 vsize=197020 CPUtime=1.43
/proc/17794/stat : 17794 (java) S 17786 17786 15926 0 -1 0 5169 0 1 0 138 5 0 0 20 0 9 0 1991494141 201748480 4332 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17794/statm: 49255 4332 1678 9 0 43838 0
[pid=17794/tid=17795] ppid=17786 vsize=197020 CPUtime=1.11
/proc/17794/task/17795/stat : 17795 (java) R 17786 17786 15926 0 -1 64 2762 0 1 0 110 1 0 0 25 0 9 0 1991494142 201748480 4332 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17796] ppid=17786 vsize=197020 CPUtime=0.15
/proc/17794/task/17796/stat : 17796 (java) R 17786 17786 15926 0 -1 64 1069 0 0 0 13 2 0 0 15 0 9 0 1991494150 201748480 4332 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17797] ppid=17786 vsize=197020 CPUtime=0
/proc/17794/task/17797/stat : 17797 (java) S 17786 17786 15926 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1991494150 201748480 4332 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17798] ppid=17786 vsize=197020 CPUtime=0
/proc/17794/task/17798/stat : 17798 (java) S 17786 17786 15926 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1991494150 201748480 4332 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17799] ppid=17786 vsize=197020 CPUtime=0
/proc/17794/task/17799/stat : 17799 (java) S 17786 17786 15926 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 1991494152 201748480 4332 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17800] ppid=17786 vsize=197020 CPUtime=0.14
/proc/17794/task/17800/stat : 17800 (java) S 17786 17786 15926 0 -1 64 614 0 0 0 14 0 0 0 16 0 9 0 1991494152 201748480 4332 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17801] ppid=17786 vsize=197020 CPUtime=0
/proc/17794/task/17801/stat : 17801 (java) S 17786 17786 15926 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 1991494152 201748480 4332 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17802] ppid=17786 vsize=197020 CPUtime=0
/proc/17794/task/17802/stat : 17802 (java) S 17786 17786 15926 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1991494152 201748480 4333 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 202380
[startup+6.30218 s]
/proc/loadavg: 2.26 2.16 2.06 3/90 17802
/proc/meminfo: memFree=1685984/2055920 swapFree=4179916/4192956
[pid=17786] ppid=17784 vsize=5360 CPUtime=1.48
/proc/17786/stat : 17786 (hydra) S 17784 17786 15926 0 -1 4194304 375 1357 0 10 0 0 147 1 19 0 1 0 1991493983 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17786/statm: 1340 238 196 169 0 51 0
[pid=17794] ppid=17786 vsize=197020 CPUtime=4.63
/proc/17794/stat : 17794 (java) S 17786 17786 15926 0 -1 0 10064 0 1 0 449 14 0 0 20 0 9 0 1991494141 201748480 8337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17794/statm: 49255 8337 2540 9 0 43838 0
[pid=17794/tid=17795] ppid=17786 vsize=197020 CPUtime=3.67
/proc/17794/task/17795/stat : 17795 (java) R 17786 17786 15926 0 -1 64 3567 0 1 0 363 4 0 0 25 0 9 0 1991494142 201748480 8337 996147200 134512640 134550740 4294955968 18446744073709551615 4126489285 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17796] ppid=17786 vsize=197020 CPUtime=0.77
/proc/17794/task/17796/stat : 17796 (java) S 17786 17786 15926 0 -1 64 5142 0 0 0 68 9 0 0 16 0 9 0 1991494150 201748480 8337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17797] ppid=17786 vsize=197020 CPUtime=0
/proc/17794/task/17797/stat : 17797 (java) S 17786 17786 15926 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1991494150 201748480 8337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17798] ppid=17786 vsize=197020 CPUtime=0
/proc/17794/task/17798/stat : 17798 (java) S 17786 17786 15926 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1991494150 201748480 8337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17799] ppid=17786 vsize=197020 CPUtime=0
/proc/17794/task/17799/stat : 17799 (java) S 17786 17786 15926 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 1991494152 201748480 8337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17800] ppid=17786 vsize=197020 CPUtime=0.16
/proc/17794/task/17800/stat : 17800 (java) S 17786 17786 15926 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 1991494152 201748480 8337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17801] ppid=17786 vsize=197020 CPUtime=0
/proc/17794/task/17801/stat : 17801 (java) S 17786 17786 15926 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 1991494152 201748480 8337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17802] ppid=17786 vsize=197020 CPUtime=0
/proc/17794/task/17802/stat : 17802 (java) S 17786 17786 15926 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1991494152 201748480 8337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 202380
[startup+12.7029 s]
/proc/loadavg: 2.22 2.16 2.06 3/93 17805
/proc/meminfo: memFree=1677128/2055920 swapFree=4179916/4192956
[pid=17786] ppid=17784 vsize=5360 CPUtime=1.48
/proc/17786/stat : 17786 (hydra) S 17784 17786 15926 0 -1 4194304 375 1357 0 10 0 0 147 1 19 0 1 0 1991493983 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17786/statm: 1340 238 196 169 0 51 0
[pid=17794] ppid=17786 vsize=197344 CPUtime=5.74
/proc/17794/stat : 17794 (java) S 17786 17786 15926 0 -1 0 11405 0 1 0 556 18 0 0 20 0 10 0 1991494141 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17794/statm: 49336 9335 2543 9 0 43919 0
[pid=17804] ppid=17794 vsize=5356 CPUtime=0
/proc/17804/stat : 17804 (mistral) S 17794 17786 15926 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 1991494727 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17804/statm: 1339 236 196 169 0 50 0
[pid=17805] ppid=17804 vsize=5524 CPUtime=5.24
/proc/17805/stat : 17805 (xsolve) R 17804 17786 15926 0 -1 4194304 752 0 0 0 524 0 0 0 25 0 1 0 1991494727 5656576 716 996147200 134512640 135239763 4294955968 18446744073709551615 135100848 0 4 0 0 0 0 0 17 0 0 0
/proc/17805/statm: 1381 716 416 177 0 284 0
[pid=17794/tid=17795] ppid=17786 vsize=197344 CPUtime=4.6
/proc/17794/task/17795/stat : 17795 (java) S 17786 17786 15926 0 -1 64 3858 0 1 0 455 5 0 0 16 0 10 0 1991494142 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17794/tid=17796] ppid=17786 vsize=197344 CPUtime=0.91
/proc/17794/task/17796/stat : 17796 (java) S 17786 17786 15926 0 -1 64 6095 0 0 0 81 10 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17797] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17797/stat : 17797 (java) S 17786 17786 15926 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17798] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17798/stat : 17798 (java) S 17786 17786 15926 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17799] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17799/stat : 17799 (java) S 17786 17786 15926 0 -1 64 0 0 0 0 0 0 0 0 21 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17800] ppid=17786 vsize=197344 CPUtime=0.19
/proc/17794/task/17800/stat : 17800 (java) S 17786 17786 15926 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17801] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17801/stat : 17801 (java) S 17786 17786 15926 0 -1 64 1 0 0 0 0 0 0 0 22 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17802] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17802/stat : 17802 (java) S 17786 17786 15926 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17803] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17803/stat : 17803 (java) S 17786 17786 15926 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1991494727 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 213584
[startup+25.5023 s]
/proc/loadavg: 2.19 2.15 2.06 3/93 17805
/proc/meminfo: memFree=1677384/2055920 swapFree=4179916/4192956
[pid=17786] ppid=17784 vsize=5360 CPUtime=1.48
/proc/17786/stat : 17786 (hydra) S 17784 17786 15926 0 -1 4194304 375 1357 0 10 0 0 147 1 19 0 1 0 1991493983 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17786/statm: 1340 238 196 169 0 51 0
[pid=17794] ppid=17786 vsize=197344 CPUtime=5.74
/proc/17794/stat : 17794 (java) S 17786 17786 15926 0 -1 0 11405 0 1 0 556 18 0 0 20 0 10 0 1991494141 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17794/statm: 49336 9335 2543 9 0 43919 0
[pid=17804] ppid=17794 vsize=5356 CPUtime=0
/proc/17804/stat : 17804 (mistral) S 17794 17786 15926 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 1991494727 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17804/statm: 1339 236 196 169 0 50 0
[pid=17805] ppid=17804 vsize=5528 CPUtime=18.04
/proc/17805/stat : 17805 (xsolve) R 17804 17786 15926 0 -1 4194304 753 0 0 0 1803 1 0 0 25 0 1 0 1991494727 5660672 717 996147200 134512640 135239763 4294955968 18446744073709551615 134803392 0 4 0 0 0 0 0 17 0 0 0
/proc/17805/statm: 1382 717 416 177 0 285 0
[pid=17794/tid=17795] ppid=17786 vsize=197344 CPUtime=4.6
/proc/17794/task/17795/stat : 17795 (java) S 17786 17786 15926 0 -1 64 3858 0 1 0 455 5 0 0 16 0 10 0 1991494142 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17794/tid=17796] ppid=17786 vsize=197344 CPUtime=0.91
/proc/17794/task/17796/stat : 17796 (java) S 17786 17786 15926 0 -1 64 6095 0 0 0 81 10 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17797] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17797/stat : 17797 (java) S 17786 17786 15926 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17798] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17798/stat : 17798 (java) S 17786 17786 15926 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17799] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17799/stat : 17799 (java) S 17786 17786 15926 0 -1 64 0 0 0 0 0 0 0 0 21 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17800] ppid=17786 vsize=197344 CPUtime=0.19
/proc/17794/task/17800/stat : 17800 (java) S 17786 17786 15926 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17801] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17801/stat : 17801 (java) S 17786 17786 15926 0 -1 64 1 0 0 0 0 0 0 0 22 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17802] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17802/stat : 17802 (java) S 17786 17786 15926 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17803] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17803/stat : 17803 (java) S 17786 17786 15926 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1991494727 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 213588
[startup+51.1021 s]
/proc/loadavg: 2.12 2.14 2.06 3/93 17805
/proc/meminfo: memFree=1677576/2055920 swapFree=4179916/4192956
[pid=17786] ppid=17784 vsize=5360 CPUtime=1.48
################
# More data... #
################
/proc/17794/task/17796/stat : 17796 (java) S 17786 17786 15926 0 -1 64 6095 0 0 0 81 10 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17797] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17797/stat : 17797 (java) S 17786 17786 15926 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17798] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17798/stat : 17798 (java) S 17786 17786 15926 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17799] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17799/stat : 17799 (java) S 17786 17786 15926 0 -1 64 0 0 0 0 0 0 0 0 21 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17800] ppid=17786 vsize=197344 CPUtime=0.19
/proc/17794/task/17800/stat : 17800 (java) S 17786 17786 15926 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17801] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17801/stat : 17801 (java) S 17786 17786 15926 0 -1 64 1 0 0 0 0 0 0 0 22 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17802] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17802/stat : 17802 (java) S 17786 17786 15926 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17794/tid=17803] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17803/stat : 17803 (java) S 17786 17786 15926 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1991494727 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.99
Current children cumulated vsize (KiB) 213780
[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/87 18559
/proc/meminfo: memFree=1806768/2055920 swapFree=4179916/4192956
[pid=17786] ppid=17784 vsize=5360 CPUtime=1.48
/proc/17786/stat : 17786 (hydra) S 17784 17786 15926 0 -1 4194304 375 1357 0 10 0 0 147 1 19 0 1 0 1991493983 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17786/statm: 1340 238 196 169 0 51 0
[pid=17794] ppid=17786 vsize=197344 CPUtime=5.74
/proc/17794/stat : 17794 (java) S 17786 17786 15926 0 -1 0 11405 0 1 0 556 18 0 0 20 0 10 0 1991494141 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17794/statm: 49336 9335 2543 9 0 43919 0
[pid=17804] ppid=17794 vsize=5356 CPUtime=0
/proc/17804/stat : 17804 (mistral) S 17794 17786 15926 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 1991494727 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17804/statm: 1339 236 196 169 0 50 0
[pid=17805] ppid=17804 vsize=5720 CPUtime=1708.48
/proc/17805/stat : 17805 (xsolve) R 17804 17786 15926 0 -1 4194304 767 0 0 0 170822 26 0 0 25 0 1 0 1991494727 5857280 731 996147200 134512640 135239763 4294955968 18446744073709551615 135100988 0 4 0 0 0 0 0 17 0 0 0
/proc/17805/statm: 1430 731 416 177 0 333 0
[pid=17794/tid=17795] ppid=17786 vsize=197344 CPUtime=4.6
/proc/17794/task/17795/stat : 17795 (java) S 17786 17786 15926 0 -1 64 3858 0 1 0 455 5 0 0 16 0 10 0 1991494142 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17794/tid=17796] ppid=17786 vsize=197344 CPUtime=0.91
/proc/17794/task/17796/stat : 17796 (java) S 17786 17786 15926 0 -1 64 6095 0 0 0 81 10 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17797] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17797/stat : 17797 (java) S 17786 17786 15926 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17798] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17798/stat : 17798 (java) S 17786 17786 15926 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17799] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17799/stat : 17799 (java) S 17786 17786 15926 0 -1 64 0 0 0 0 0 0 0 0 21 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17800] ppid=17786 vsize=197344 CPUtime=0.19
/proc/17794/task/17800/stat : 17800 (java) S 17786 17786 15926 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17801] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17801/stat : 17801 (java) S 17786 17786 15926 0 -1 64 1 0 0 0 0 0 0 0 22 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17802] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17802/stat : 17802 (java) S 17786 17786 15926 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17794/tid=17803] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17803/stat : 17803 (java) S 17786 17786 15926 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1991494727 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.7
Current children cumulated vsize (KiB) 213780
[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/87 18559
/proc/meminfo: memFree=1806192/2055920 swapFree=4179916/4192956
[pid=17786] ppid=17784 vsize=5360 CPUtime=1.48
/proc/17786/stat : 17786 (hydra) S 17784 17786 15926 0 -1 4194304 375 1357 0 10 0 0 147 1 19 0 1 0 1991493983 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17786/statm: 1340 238 196 169 0 51 0
[pid=17794] ppid=17786 vsize=197344 CPUtime=5.74
/proc/17794/stat : 17794 (java) S 17786 17786 15926 0 -1 0 11405 0 1 0 556 18 0 0 20 0 10 0 1991494141 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17794/statm: 49336 9335 2543 9 0 43919 0
[pid=17804] ppid=17794 vsize=5356 CPUtime=0
/proc/17804/stat : 17804 (mistral) S 17794 17786 15926 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 1991494727 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17804/statm: 1339 236 196 169 0 50 0
[pid=17805] ppid=17804 vsize=5720 CPUtime=1768.18
/proc/17805/stat : 17805 (xsolve) R 17804 17786 15926 0 -1 4194304 767 0 0 0 176792 26 0 0 25 0 1 0 1991494727 5857280 731 996147200 134512640 135239763 4294955968 18446744073709551615 135101105 0 4 0 0 0 0 0 17 0 0 0
/proc/17805/statm: 1430 731 416 177 0 333 0
[pid=17794/tid=17795] ppid=17786 vsize=197344 CPUtime=4.6
/proc/17794/task/17795/stat : 17795 (java) S 17786 17786 15926 0 -1 64 3858 0 1 0 455 5 0 0 16 0 10 0 1991494142 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17794/tid=17796] ppid=17786 vsize=197344 CPUtime=0.91
/proc/17794/task/17796/stat : 17796 (java) S 17786 17786 15926 0 -1 64 6095 0 0 0 81 10 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17797] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17797/stat : 17797 (java) S 17786 17786 15926 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17798] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17798/stat : 17798 (java) S 17786 17786 15926 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17799] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17799/stat : 17799 (java) S 17786 17786 15926 0 -1 64 0 0 0 0 0 0 0 0 21 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17800] ppid=17786 vsize=197344 CPUtime=0.19
/proc/17794/task/17800/stat : 17800 (java) S 17786 17786 15926 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17801] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17801/stat : 17801 (java) S 17786 17786 15926 0 -1 64 1 0 0 0 0 0 0 0 22 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17802] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17802/stat : 17802 (java) S 17786 17786 15926 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17794/tid=17803] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17803/stat : 17803 (java) S 17786 17786 15926 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1991494727 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.4
Current children cumulated vsize (KiB) 213780
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.1 s]
/proc/loadavg: 1.99 1.99 2.00 3/87 18559
/proc/meminfo: memFree=1806192/2055920 swapFree=4179916/4192956
[pid=17786] ppid=17784 vsize=5360 CPUtime=1.48
/proc/17786/stat : 17786 (hydra) S 17784 17786 15926 0 -1 4194304 375 1357 0 10 0 0 147 1 19 0 1 0 1991493983 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17786/statm: 1340 238 196 169 0 51 0
[pid=17794] ppid=17786 vsize=197344 CPUtime=5.74
/proc/17794/stat : 17794 (java) S 17786 17786 15926 0 -1 0 11405 0 1 0 556 18 0 0 20 0 10 0 1991494141 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17794/statm: 49336 9335 2543 9 0 43919 0
[pid=17804] ppid=17794 vsize=5356 CPUtime=0
/proc/17804/stat : 17804 (mistral) S 17794 17786 15926 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 1991494727 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17804/statm: 1339 236 196 169 0 50 0
[pid=17805] ppid=17804 vsize=5720 CPUtime=1792.86
/proc/17805/stat : 17805 (xsolve) R 17804 17786 15926 0 -1 4194304 767 0 0 0 179260 26 0 0 25 0 1 0 1991494727 5857280 731 996147200 134512640 135239763 4294955968 18446744073709551615 135099264 0 4 0 0 0 0 0 17 0 0 0
/proc/17805/statm: 1430 731 416 177 0 333 0
[pid=17794/tid=17795] ppid=17786 vsize=197344 CPUtime=4.6
/proc/17794/task/17795/stat : 17795 (java) S 17786 17786 15926 0 -1 64 3858 0 1 0 455 5 0 0 16 0 10 0 1991494142 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17794/tid=17796] ppid=17786 vsize=197344 CPUtime=0.91
/proc/17794/task/17796/stat : 17796 (java) S 17786 17786 15926 0 -1 64 6095 0 0 0 81 10 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17797] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17797/stat : 17797 (java) S 17786 17786 15926 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17798] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17798/stat : 17798 (java) S 17786 17786 15926 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17799] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17799/stat : 17799 (java) S 17786 17786 15926 0 -1 64 0 0 0 0 0 0 0 0 21 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17800] ppid=17786 vsize=197344 CPUtime=0.19
/proc/17794/task/17800/stat : 17800 (java) S 17786 17786 15926 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17801] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17801/stat : 17801 (java) S 17786 17786 15926 0 -1 64 1 0 0 0 0 0 0 0 22 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17802] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17802/stat : 17802 (java) S 17786 17786 15926 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17794/tid=17803] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17803/stat : 17803 (java) S 17786 17786 15926 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1991494727 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 213780
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1807.1 s]
/proc/loadavg: 1.99 1.99 2.00 3/87 18559
/proc/meminfo: memFree=1806192/2055920 swapFree=4179916/4192956
[pid=17786] ppid=17784 vsize=5360 CPUtime=1.48
/proc/17786/stat : 17786 (hydra) S 17784 17786 15926 0 -1 4194304 375 1357 0 10 0 0 147 1 19 0 1 0 1991493983 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17786/statm: 1340 238 196 169 0 51 0
[pid=17794] ppid=17786 vsize=197344 CPUtime=5.74
/proc/17794/stat : 17794 (java) S 17786 17786 15926 0 -1 0 11405 0 1 0 556 18 0 0 20 0 10 0 1991494141 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17794/statm: 49336 9335 2543 9 0 43919 0
[pid=17804] ppid=17794 vsize=5356 CPUtime=0
/proc/17804/stat : 17804 (mistral) S 17794 17786 15926 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 1991494727 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17804/statm: 1339 236 196 169 0 50 0
[pid=17805] ppid=17804 vsize=5720 CPUtime=1792.86
/proc/17805/stat : 17805 (xsolve) R 17804 17786 15926 0 -1 4194304 767 0 0 0 179260 26 0 0 25 0 1 0 1991494727 5857280 731 996147200 134512640 135239763 4294955968 18446744073709551615 135099264 0 4 0 0 0 0 0 17 0 0 0
/proc/17805/statm: 1430 731 416 177 0 333 0
[pid=17794/tid=17795] ppid=17786 vsize=197344 CPUtime=4.6
/proc/17794/task/17795/stat : 17795 (java) S 17786 17786 15926 0 -1 64 3858 0 1 0 455 5 0 0 16 0 10 0 1991494142 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17794/tid=17796] ppid=17786 vsize=197344 CPUtime=0.91
/proc/17794/task/17796/stat : 17796 (java) S 17786 17786 15926 0 -1 64 6095 0 0 0 81 10 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17797] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17797/stat : 17797 (java) S 17786 17786 15926 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17798] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17798/stat : 17798 (java) S 17786 17786 15926 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1991494150 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17799] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17799/stat : 17799 (java) S 17786 17786 15926 0 -1 64 0 0 0 0 0 0 0 0 21 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17800] ppid=17786 vsize=197344 CPUtime=0.19
/proc/17794/task/17800/stat : 17800 (java) S 17786 17786 15926 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17801] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17801/stat : 17801 (java) S 17786 17786 15926 0 -1 64 1 0 0 0 0 0 0 0 22 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17794/tid=17802] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17802/stat : 17802 (java) S 17786 17786 15926 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1991494152 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17794/tid=17803] ppid=17786 vsize=197344 CPUtime=0
/proc/17794/task/17803/stat : 17803 (java) S 17786 17786 15926 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1991494727 202080256 9335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 213780
Child status: 0
Real time (s): 1807.13
CPU time (s): 1800.13
CPU user time (s): 1799.64
CPU system time (s): 0.484926
CPU usage (%): 99.6128
Max. virtual memory (cumulated for all children) (KiB): 213780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.484926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14313
page faults= 11
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45757
involuntary context switches= 61504
runsolver used 2.20566 second user time and 6.06408 second system time
The end