0.00/0.00 c cpHydra_k_10 version 0.0
7.11/7.20 c CASE TO CLASSIFY:
7.11/7.20 c Case: 0
7.11/7.20 c 19 > 0.000000 | c 35 > 2.307690 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 22.191300 | c 34 > 3.076920 | c 16 > 6.000000 | c 13 > 9.155450 | c 14 > 12.740200 | c 11 > 7.199670 | c 12 > 7.920440 | c 21 > 6.386860 | c 20 > 100.000000 | c 22 > 7.810250 | 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.614710 | c 10 > 14.466500 | c 1 > 5.614710 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.214600 | c 6 > 13.533600 | c 32 > -1.000000 | c 5 > 18.587200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.21 c choco : 1801.0
7.11/7.21 c mistral : 1801.0
7.11/7.21 c abscon : 1801.0
7.11/7.21 c
7.11/7.21 c
7.11/7.28 c List of same ones: 10
7.11/7.28 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-80-3-5.xml
7.11/7.28 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.29 c choco : 48.39
7.11/7.29 c mistral : 0.036993
7.11/7.29 c abscon : 1800.07
7.11/7.29 c
7.11/7.29 c
7.11/7.29 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-80-3-5.xml
7.11/7.29 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.20/7.30 c choco : 23.56
7.20/7.30 c mistral : 0.037993
7.20/7.30 c abscon : 1800.09
7.20/7.30 c
7.20/7.30 c
7.20/7.30 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-60-3-3.xml
7.20/7.30 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.20/7.31 c choco : 2.39
7.20/7.31 c mistral : 0.030994
7.20/7.31 c abscon : 29.2126
7.20/7.31 c
7.20/7.31 c
7.20/7.31 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-80-3-7.xml
7.20/7.31 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.20/7.32 c choco : 3.68
7.20/7.32 c mistral : 0.043992
7.20/7.32 c abscon : 18.5052
7.20/7.32 c
7.20/7.32 c
7.20/7.32 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-60-3-3.xml
7.20/7.32 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.20/7.33 c choco : 17.72
7.20/7.33 c mistral : 0.028994
7.20/7.33 c abscon : 53.3069
7.20/7.33 c
7.20/7.33 c
7.20/7.33 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-20-3-7.xml
7.20/7.33 c 19 > 0.000000 | c 35 > 1.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.000000 | c 15 > 15.737600 | c 34 > 3.000000 | c 16 > 10.000000 | c 13 > 8.055940 | c 14 > 9.823370 | c 11 > 6.643860 | c 12 > 5.108940 | 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.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.930740 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.425300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.34 c choco : 1.79
7.20/7.34 c mistral : 0.023995
7.20/7.34 c abscon : 1800.04
7.20/7.34 c
7.20/7.34 c
7.20/7.34 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-60-3-3.xml
7.20/7.34 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.20/7.35 c choco : 16.72
7.20/7.35 c mistral : 0.029994
7.20/7.35 c abscon : 12.0972
7.20/7.35 c
7.20/7.35 c
7.20/7.35 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-40-3-3.xml
7.20/7.35 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.20/7.35 c choco : 15.15
7.20/7.35 c mistral : 0.024995
7.20/7.35 c abscon : 1118.46
7.20/7.35 c
7.20/7.35 c
7.20/7.35 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-80-3-7.xml
7.20/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.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.20/7.36 c choco : 1801.0
7.20/7.36 c mistral : 0.043992
7.20/7.36 c abscon : 101.677
7.20/7.36 c
7.20/7.36 c
7.20/7.36 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-20-3-7.xml
7.20/7.36 c 19 > 0.000000 | c 35 > 1.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.000000 | c 15 > 15.870400 | c 34 > 3.000000 | c 16 > 10.000000 | c 13 > 3.723660 | c 14 > 8.962900 | c 11 > 6.643860 | c 12 > 2.620590 | 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.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.930740 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.385400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.37 c choco : 1.77
7.20/7.37 c mistral : 0.022995
7.20/7.37 c abscon : 61.2477
7.20/7.37 c
7.20/7.37 c
7.20/7.37 c Length: 10
7.20/7.37 c 19.051195659876573 20.05719911683583 20.30768079881846 20.309259910092734 20.61398343504234 20.809220223016528 21.08702652594718 21.324242323353484 21.50914175893822 21.66535457253354
7.20/7.37 c
7.20/7.37 c 1.0 0.7221109568447608 0.6753808611197747 0.6751054375485174 0.6258540288000703 0.5979069559015893 0.5621859481532683 0.5348984960695986 0.5153992093257539 0.5
7.20/7.38 c
7.20/7.38 c solver 0
7.20/7.38 c before 0.0 seconds: {} 0
7.20/7.38 c before 18.0 seconds: {6} 562
7.20/7.38 c before 36.0 seconds: {2, 3, 6} 1912
7.20/7.38 c before 54.0 seconds: {2, 3, 4, 6} 2538
7.20/7.38 c before 72.0 seconds: {2, 3, 4, 6, 9} 3038
7.20/7.38 c before 108.0 seconds: {2, 3, 4, 6, 8, 9} 3553
7.20/7.38 c before 1134.0 seconds: {2, 3, 4, 6, 7, 8, 9} 4088
7.20/7.38 c
7.20/7.38 c solver 1
7.20/7.38 c before 0.0 seconds: {} 0
7.20/7.38 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6408
7.20/7.38 c
7.20/7.38 c solver 2
7.20/7.38 c before 0.0 seconds: {} 0
7.20/7.38 c before 18.0 seconds: {2, 3, 4, 5, 6, 7, 9} 4171
7.20/7.38 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 9} 4893
7.20/7.38 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 5893
7.20/7.38 c
7.20/7.38 cTotal time: 67
7.20/7.38 c 1206.0 seconds unused
7.20/7.38 c 0 c 0 c 1
7.20/7.38 c 3 c 0 c 1
7.20/7.38 c 3 c 0 c 0
7.20/7.38 c is solver0 dominated by:
7.20/7.38 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.20/7.38 c is dominated? true
7.20/7.38 c
7.20/7.38 c is solver1 dominated by:
7.20/7.38 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.20/7.38 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.20/7.38 c is dominated? false
7.20/7.38 c
7.20/7.38 c is solver2 dominated by:
7.20/7.38 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.20/7.38 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.20/7.38 c is dominated? true
7.20/7.38 c
7.20/7.38 c Number of non-dominated solvers: 1
7.20/7.38 c remove dominated solvers
7.20/7.38 c solver 1 is not dominated by another solver
7.20/7.38 c solver 2 is dominated by another solver
7.20/7.38 c solver 0 is dominated by another solver
7.20/7.38 c
7.20/7.38 c solver 0: 0.0
7.20/7.38 c
7.20/7.38 c solver 1: 18.0
7.20/7.38 c
7.20/7.38 c+ 1/1 of 99
7.20/7.38 c
7.20/7.38 c solver 2: 0.0
7.20/7.38 c do not run abscon
7.20/7.38 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6408
7.20/7.38 c do not run choco
7.20/7.39 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.20/7.39 c On Instance: HOME/instance-1064517-1215142155.xml
7.20/7.39 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-1064517-1215142155/watcher-1064517-1215142155 -o /tmp/evaluation-result-1064517-1215142155/solver-1064517-1215142155 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1064517-1215142155.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.01 2.02 2.00 4/79 23203
/proc/meminfo: memFree=1470520/2055920 swapFree=4178892/4192956
[pid=23203] ppid=23201 vsize=5360 CPUtime=0
/proc/23203/stat : 23203 (hydra) S 23201 23203 20899 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 669944500 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23203/statm: 1340 236 195 169 0 51 0
[pid=23206] ppid=23203 vsize=3236 CPUtime=0
/proc/23206/stat : 23206 (xsolve) D 23203 23203 20899 0 -1 4194304 76 0 0 0 0 0 0 0 18 0 1 0 669944501 3313664 52 996147200 134512640 135239763 4294956176 18446744073709551615 6378276 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/23206/statm: 809 52 38 177 0 12 0
[startup+0.046104 s]
/proc/loadavg: 2.01 2.02 2.00 4/79 23203
/proc/meminfo: memFree=1470520/2055920 swapFree=4178892/4192956
[pid=23203] ppid=23201 vsize=5360 CPUtime=0
/proc/23203/stat : 23203 (hydra) S 23201 23203 20899 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 669944500 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23203/statm: 1340 236 195 169 0 51 0
[pid=23206] ppid=23203 vsize=6864 CPUtime=0.03
/proc/23206/stat : 23206 (xsolve) R 23203 23203 20899 0 -1 4194304 1045 0 0 0 3 0 0 0 18 0 1 0 669944501 7028736 1005 996147200 134512640 135239763 4294956176 18446744073709551615 6813307 0 0 4096 0 0 0 0 17 1 0 0
/proc/23206/statm: 1716 1005 380 177 0 619 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12224
[startup+0.101109 s]
/proc/loadavg: 2.01 2.02 2.00 4/79 23203
/proc/meminfo: memFree=1470520/2055920 swapFree=4178892/4192956
[pid=23203] ppid=23201 vsize=5360 CPUtime=0
/proc/23203/stat : 23203 (hydra) S 23201 23203 20899 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 669944500 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23203/statm: 1340 236 195 169 0 51 0
[pid=23206] ppid=23203 vsize=10524 CPUtime=0.08
/proc/23206/stat : 23206 (xsolve) R 23203 23203 20899 0 -1 4194304 1933 0 0 0 7 1 0 0 18 0 1 0 669944501 10776576 1892 996147200 134512640 135239763 4294956176 18446744073709551615 134884318 0 0 4096 0 0 0 0 17 1 0 0
/proc/23206/statm: 2631 1892 386 177 0 1534 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15884
[startup+0.301132 s]
/proc/loadavg: 2.01 2.02 2.00 4/79 23203
/proc/meminfo: memFree=1470520/2055920 swapFree=4178892/4192956
[pid=23203] ppid=23201 vsize=5360 CPUtime=0
/proc/23203/stat : 23203 (hydra) S 23201 23203 20899 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 669944500 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23203/statm: 1340 236 195 169 0 51 0
[pid=23206] ppid=23203 vsize=26300 CPUtime=0.29
/proc/23206/stat : 23206 (xsolve) R 23203 23203 20899 0 -1 4194304 5912 0 0 0 25 4 0 0 19 0 1 0 669944501 26931200 5838 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23206/statm: 6575 5838 436 177 0 5478 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31660
[startup+0.701177 s]
/proc/loadavg: 2.01 2.02 2.00 4/79 23203
/proc/meminfo: memFree=1470520/2055920 swapFree=4178892/4192956
[pid=23203] ppid=23201 vsize=5360 CPUtime=0
/proc/23203/stat : 23203 (hydra) S 23201 23203 20899 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 669944500 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23203/statm: 1340 236 195 169 0 51 0
[pid=23206] ppid=23203 vsize=26300 CPUtime=0.68
/proc/23206/stat : 23206 (xsolve) R 23203 23203 20899 0 -1 4194304 5916 0 0 0 64 4 0 0 23 0 1 0 669944501 26931200 5842 996147200 134512640 135239763 4294956176 18446744073709551615 135095030 0 0 4096 0 0 0 0 17 1 0 0
/proc/23206/statm: 6575 5842 436 177 0 5478 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 31660
[startup+1.50127 s]
/proc/loadavg: 2.01 2.02 2.00 3/81 23207
/proc/meminfo: memFree=1448480/2055920 swapFree=4178892/4192956
[pid=23203] ppid=23201 vsize=5360 CPUtime=0
/proc/23203/stat : 23203 (hydra) S 23201 23203 20899 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 669944500 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23203/statm: 1340 236 195 169 0 51 0
[pid=23206] ppid=23203 vsize=26300 CPUtime=1.48
/proc/23206/stat : 23206 (xsolve) R 23203 23203 20899 0 -1 4194304 5916 0 0 0 144 4 0 0 25 0 1 0 669944501 26931200 5842 996147200 134512640 135239763 4294956176 18446744073709551615 135097600 0 0 4096 0 0 0 0 17 1 0 0
/proc/23206/statm: 6575 5842 436 177 0 5478 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 31660
[startup+3.10244 s]
/proc/loadavg: 2.09 2.03 2.01 3/89 23219
/proc/meminfo: memFree=1462864/2055920 swapFree=4178892/4192956
[pid=23203] ppid=23201 vsize=5360 CPUtime=1.71
/proc/23203/stat : 23203 (hydra) S 23201 23203 20899 0 -1 4194304 375 6511 0 0 0 0 166 5 19 0 1 0 669944500 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23203/statm: 1340 238 196 169 0 51 0
[pid=23211] ppid=23203 vsize=197020 CPUtime=1.35
/proc/23211/stat : 23211 (java) S 23203 23203 20899 0 -1 0 5110 0 1 0 128 7 0 0 20 0 9 0 669944673 201748480 4286 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23211/statm: 49255 4286 1678 9 0 43838 0
[pid=23211/tid=23212] ppid=23203 vsize=197020 CPUtime=1.04
/proc/23211/task/23212/stat : 23212 (java) R 23203 23203 20899 0 -1 64 2749 0 1 0 101 3 0 0 25 0 9 0 669944674 201748480 4286 996147200 134512640 134550740 4294955968 18446744073709551615 4126649825 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23213] ppid=23203 vsize=197020 CPUtime=0.14
/proc/23211/task/23213/stat : 23213 (java) S 23203 23203 20899 0 -1 64 1022 0 0 0 12 2 0 0 16 0 9 0 669944675 201748480 4286 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23214] ppid=23203 vsize=197020 CPUtime=0
/proc/23211/task/23214/stat : 23214 (java) S 23203 23203 20899 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 669944675 201748480 4286 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23215] ppid=23203 vsize=197020 CPUtime=0
/proc/23211/task/23215/stat : 23215 (java) S 23203 23203 20899 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 669944675 201748480 4286 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23216] ppid=23203 vsize=197020 CPUtime=0
/proc/23211/task/23216/stat : 23216 (java) S 23203 23203 20899 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 669944677 201748480 4286 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23217] ppid=23203 vsize=197020 CPUtime=0.15
/proc/23211/task/23217/stat : 23217 (java) S 23203 23203 20899 0 -1 64 614 0 0 0 14 1 0 0 16 0 9 0 669944677 201748480 4286 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23218] ppid=23203 vsize=197020 CPUtime=0
/proc/23211/task/23218/stat : 23218 (java) S 23203 23203 20899 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 669944677 201748480 4286 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23219] ppid=23203 vsize=197020 CPUtime=0
/proc/23211/task/23219/stat : 23219 (java) S 23203 23203 20899 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 669944677 201748480 4286 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 202380
[startup+6.30227 s]
/proc/loadavg: 2.09 2.03 2.01 3/89 23219
/proc/meminfo: memFree=1449808/2055920 swapFree=4178892/4192956
[pid=23203] ppid=23201 vsize=5360 CPUtime=1.71
/proc/23203/stat : 23203 (hydra) S 23201 23203 20899 0 -1 4194304 375 6511 0 0 0 0 166 5 19 0 1 0 669944500 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23203/statm: 1340 238 196 169 0 51 0
[pid=23211] ppid=23203 vsize=197020 CPUtime=4.51
/proc/23211/stat : 23211 (java) S 23203 23203 20899 0 -1 0 10088 0 1 0 435 16 0 0 20 0 9 0 669944673 201748480 8357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23211/statm: 49255 8357 2540 9 0 43838 0
[pid=23211/tid=23212] ppid=23203 vsize=197020 CPUtime=3.57
/proc/23211/task/23212/stat : 23212 (java) R 23203 23203 20899 0 -1 64 3572 0 1 0 351 6 0 0 25 0 9 0 669944674 201748480 8357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23213] ppid=23203 vsize=197020 CPUtime=0.75
/proc/23211/task/23213/stat : 23213 (java) S 23203 23203 20899 0 -1 64 5161 0 0 0 67 8 0 0 15 0 9 0 669944675 201748480 8357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23214] ppid=23203 vsize=197020 CPUtime=0
/proc/23211/task/23214/stat : 23214 (java) S 23203 23203 20899 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 669944675 201748480 8357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23215] ppid=23203 vsize=197020 CPUtime=0
/proc/23211/task/23215/stat : 23215 (java) S 23203 23203 20899 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 669944675 201748480 8357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23216] ppid=23203 vsize=197020 CPUtime=0
/proc/23211/task/23216/stat : 23216 (java) S 23203 23203 20899 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 669944677 201748480 8357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23217] ppid=23203 vsize=197020 CPUtime=0.17
/proc/23211/task/23217/stat : 23217 (java) S 23203 23203 20899 0 -1 64 630 0 0 0 16 1 0 0 16 0 9 0 669944677 201748480 8357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23218] ppid=23203 vsize=197020 CPUtime=0
/proc/23211/task/23218/stat : 23218 (java) S 23203 23203 20899 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 669944677 201748480 8357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23219] ppid=23203 vsize=197020 CPUtime=0
/proc/23211/task/23219/stat : 23219 (java) S 23203 23203 20899 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 669944677 201748480 8357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 202380
[startup+12.7025 s]
/proc/loadavg: 2.15 2.05 2.01 3/92 23222
/proc/meminfo: memFree=1420224/2055920 swapFree=4178892/4192956
[pid=23203] ppid=23201 vsize=5360 CPUtime=1.71
/proc/23203/stat : 23203 (hydra) S 23201 23203 20899 0 -1 4194304 375 6511 0 0 0 0 166 5 19 0 1 0 669944500 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23203/statm: 1340 238 196 169 0 51 0
[pid=23211] ppid=23203 vsize=197344 CPUtime=5.56
/proc/23211/stat : 23211 (java) S 23203 23203 20899 0 -1 0 11406 0 1 0 536 20 0 0 20 0 10 0 669944673 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23211/statm: 49336 9336 2543 9 0 43919 0
[pid=23221] ppid=23211 vsize=5356 CPUtime=0
/proc/23221/stat : 23221 (mistral) S 23211 23203 20899 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 669945239 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/23221/statm: 1339 236 196 169 0 50 0
[pid=23222] ppid=23221 vsize=26300 CPUtime=5.23
/proc/23222/stat : 23222 (xsolve) R 23221 23203 20899 0 -1 4194304 5895 0 0 0 521 2 0 0 25 0 1 0 669945240 26931200 5826 996147200 134512640 135239763 4294955968 18446744073709551615 135097601 0 4 0 0 0 0 0 17 0 0 0
/proc/23222/statm: 6575 5826 419 177 0 5478 0
[pid=23211/tid=23212] ppid=23203 vsize=197344 CPUtime=4.46
/proc/23211/task/23212/stat : 23212 (java) S 23203 23203 20899 0 -1 64 3861 0 1 0 438 8 0 0 24 0 10 0 669944674 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=23211/tid=23213] ppid=23203 vsize=197344 CPUtime=0.88
/proc/23211/task/23213/stat : 23213 (java) S 23203 23203 20899 0 -1 64 6095 0 0 0 79 9 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23214] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23214/stat : 23214 (java) S 23203 23203 20899 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23215] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23215/stat : 23215 (java) S 23203 23203 20899 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23216] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23216/stat : 23216 (java) S 23203 23203 20899 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23217] ppid=23203 vsize=197344 CPUtime=0.19
/proc/23211/task/23217/stat : 23217 (java) S 23203 23203 20899 0 -1 64 646 0 0 0 18 1 0 0 16 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23218] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23218/stat : 23218 (java) S 23203 23203 20899 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23219] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23219/stat : 23219 (java) S 23203 23203 20899 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23220] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23220/stat : 23220 (java) S 23203 23203 20899 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 669945239 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 234360
[startup+25.5029 s]
/proc/loadavg: 2.13 2.05 2.01 3/92 23222
/proc/meminfo: memFree=1420288/2055920 swapFree=4178892/4192956
[pid=23203] ppid=23201 vsize=5360 CPUtime=1.71
/proc/23203/stat : 23203 (hydra) S 23201 23203 20899 0 -1 4194304 375 6511 0 0 0 0 166 5 19 0 1 0 669944500 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23203/statm: 1340 238 196 169 0 51 0
[pid=23211] ppid=23203 vsize=197344 CPUtime=5.56
/proc/23211/stat : 23211 (java) S 23203 23203 20899 0 -1 0 11406 0 1 0 536 20 0 0 20 0 10 0 669944673 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23211/statm: 49336 9336 2543 9 0 43919 0
[pid=23221] ppid=23211 vsize=5356 CPUtime=0
/proc/23221/stat : 23221 (mistral) S 23211 23203 20899 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 669945239 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/23221/statm: 1339 236 196 169 0 50 0
[pid=23222] ppid=23221 vsize=26300 CPUtime=17.9
/proc/23222/stat : 23222 (xsolve) R 23221 23203 20899 0 -1 4194304 5895 0 0 0 1788 2 0 0 25 0 1 0 669945240 26931200 5826 996147200 134512640 135239763 4294955968 18446744073709551615 135030890 0 4 0 0 0 0 0 17 0 0 0
/proc/23222/statm: 6575 5826 419 177 0 5478 0
[pid=23211/tid=23212] ppid=23203 vsize=197344 CPUtime=4.46
/proc/23211/task/23212/stat : 23212 (java) S 23203 23203 20899 0 -1 64 3861 0 1 0 438 8 0 0 24 0 10 0 669944674 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=23211/tid=23213] ppid=23203 vsize=197344 CPUtime=0.88
/proc/23211/task/23213/stat : 23213 (java) S 23203 23203 20899 0 -1 64 6095 0 0 0 79 9 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23214] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23214/stat : 23214 (java) S 23203 23203 20899 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23215] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23215/stat : 23215 (java) S 23203 23203 20899 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23216] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23216/stat : 23216 (java) S 23203 23203 20899 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/23211/task/23213/stat : 23213 (java) S 23203 23203 20899 0 -1 64 6095 0 0 0 79 9 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23214] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23214/stat : 23214 (java) S 23203 23203 20899 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23215] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23215/stat : 23215 (java) S 23203 23203 20899 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23216] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23216/stat : 23216 (java) S 23203 23203 20899 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23217] ppid=23203 vsize=197344 CPUtime=0.19
/proc/23211/task/23217/stat : 23217 (java) S 23203 23203 20899 0 -1 64 646 0 0 0 18 1 0 0 16 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23218] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23218/stat : 23218 (java) S 23203 23203 20899 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23219] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23219/stat : 23219 (java) S 23203 23203 20899 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23220] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23220/stat : 23220 (java) S 23203 23203 20899 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 669945239 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1586.35
Current children cumulated vsize (KiB) 234360
[startup+1662.3 s]
/proc/loadavg: 2.65 2.44 2.20 4/103 23358
/proc/meminfo: memFree=1053864/2055920 swapFree=4178892/4192956
[pid=23203] ppid=23201 vsize=5360 CPUtime=1.71
/proc/23203/stat : 23203 (hydra) S 23201 23203 20899 0 -1 4194304 375 6511 0 0 0 0 166 5 19 0 1 0 669944500 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23203/statm: 1340 238 196 169 0 51 0
[pid=23211] ppid=23203 vsize=197344 CPUtime=5.58
/proc/23211/stat : 23211 (java) S 23203 23203 20899 0 -1 0 11406 0 1 0 537 21 0 0 20 0 10 0 669944673 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23211/statm: 49336 9336 2543 9 0 43919 0
[pid=23221] ppid=23211 vsize=5356 CPUtime=0
/proc/23221/stat : 23221 (mistral) S 23211 23203 20899 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 669945239 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/23221/statm: 1339 236 196 169 0 50 0
[pid=23222] ppid=23221 vsize=26300 CPUtime=1638.38
/proc/23222/stat : 23222 (xsolve) R 23221 23203 20899 0 -1 4194304 5896 0 0 0 163831 7 0 0 25 0 1 0 669945240 26931200 5827 996147200 134512640 135239763 4294955968 18446744073709551615 135030883 0 4 0 0 0 0 0 17 0 0 0
/proc/23222/statm: 6575 5827 419 177 0 5478 0
[pid=23211/tid=23212] ppid=23203 vsize=197344 CPUtime=4.46
/proc/23211/task/23212/stat : 23212 (java) S 23203 23203 20899 0 -1 64 3861 0 1 0 438 8 0 0 24 0 10 0 669944674 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=23211/tid=23213] ppid=23203 vsize=197344 CPUtime=0.88
/proc/23211/task/23213/stat : 23213 (java) S 23203 23203 20899 0 -1 64 6095 0 0 0 79 9 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23214] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23214/stat : 23214 (java) S 23203 23203 20899 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23215] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23215/stat : 23215 (java) S 23203 23203 20899 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23216] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23216/stat : 23216 (java) S 23203 23203 20899 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23217] ppid=23203 vsize=197344 CPUtime=0.19
/proc/23211/task/23217/stat : 23217 (java) S 23203 23203 20899 0 -1 64 646 0 0 0 18 1 0 0 16 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23218] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23218/stat : 23218 (java) S 23203 23203 20899 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23219] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23219/stat : 23219 (java) S 23203 23203 20899 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23220] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23220/stat : 23220 (java) S 23203 23203 20899 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 669945239 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1645.67
Current children cumulated vsize (KiB) 234360
[startup+1722.3 s]
/proc/loadavg: 2.62 2.46 2.22 4/103 23358
/proc/meminfo: memFree=1053480/2055920 swapFree=4178892/4192956
[pid=23203] ppid=23201 vsize=5360 CPUtime=1.71
/proc/23203/stat : 23203 (hydra) S 23201 23203 20899 0 -1 4194304 375 6511 0 0 0 0 166 5 19 0 1 0 669944500 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23203/statm: 1340 238 196 169 0 51 0
[pid=23211] ppid=23203 vsize=197344 CPUtime=5.58
/proc/23211/stat : 23211 (java) S 23203 23203 20899 0 -1 0 11406 0 1 0 537 21 0 0 20 0 10 0 669944673 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23211/statm: 49336 9336 2543 9 0 43919 0
[pid=23221] ppid=23211 vsize=5356 CPUtime=0
/proc/23221/stat : 23221 (mistral) S 23211 23203 20899 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 669945239 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/23221/statm: 1339 236 196 169 0 50 0
[pid=23222] ppid=23221 vsize=26300 CPUtime=1697.71
/proc/23222/stat : 23222 (xsolve) R 23221 23203 20899 0 -1 4194304 5901 0 0 0 169764 7 0 0 25 0 1 0 669945240 26931200 5832 996147200 134512640 135239763 4294955968 18446744073709551615 135071045 0 4 0 0 0 0 0 17 0 0 0
/proc/23222/statm: 6575 5832 419 177 0 5478 0
[pid=23211/tid=23212] ppid=23203 vsize=197344 CPUtime=4.46
/proc/23211/task/23212/stat : 23212 (java) S 23203 23203 20899 0 -1 64 3861 0 1 0 438 8 0 0 24 0 10 0 669944674 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=23211/tid=23213] ppid=23203 vsize=197344 CPUtime=0.88
/proc/23211/task/23213/stat : 23213 (java) S 23203 23203 20899 0 -1 64 6095 0 0 0 79 9 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23214] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23214/stat : 23214 (java) S 23203 23203 20899 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23215] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23215/stat : 23215 (java) S 23203 23203 20899 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23216] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23216/stat : 23216 (java) S 23203 23203 20899 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23217] ppid=23203 vsize=197344 CPUtime=0.19
/proc/23211/task/23217/stat : 23217 (java) S 23203 23203 20899 0 -1 64 646 0 0 0 18 1 0 0 16 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23218] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23218/stat : 23218 (java) S 23203 23203 20899 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23219] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23219/stat : 23219 (java) S 23203 23203 20899 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23220] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23220/stat : 23220 (java) S 23203 23203 20899 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 669945239 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1705
Current children cumulated vsize (KiB) 234360
[startup+1782.3 s]
/proc/loadavg: 2.67 2.51 2.25 4/103 23358
/proc/meminfo: memFree=1053416/2055920 swapFree=4178892/4192956
[pid=23203] ppid=23201 vsize=5360 CPUtime=1.71
/proc/23203/stat : 23203 (hydra) S 23201 23203 20899 0 -1 4194304 375 6511 0 0 0 0 166 5 19 0 1 0 669944500 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23203/statm: 1340 238 196 169 0 51 0
[pid=23211] ppid=23203 vsize=197344 CPUtime=5.58
/proc/23211/stat : 23211 (java) S 23203 23203 20899 0 -1 0 11406 0 1 0 537 21 0 0 20 0 10 0 669944673 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23211/statm: 49336 9336 2543 9 0 43919 0
[pid=23221] ppid=23211 vsize=5356 CPUtime=0
/proc/23221/stat : 23221 (mistral) S 23211 23203 20899 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 669945239 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/23221/statm: 1339 236 196 169 0 50 0
[pid=23222] ppid=23221 vsize=26300 CPUtime=1757.05
/proc/23222/stat : 23222 (xsolve) R 23221 23203 20899 0 -1 4194304 5911 0 0 0 175698 7 0 0 25 0 1 0 669945240 26931200 5842 996147200 134512640 135239763 4294955968 18446744073709551615 135030864 0 4 0 0 0 0 0 17 0 0 0
/proc/23222/statm: 6575 5842 419 177 0 5478 0
[pid=23211/tid=23212] ppid=23203 vsize=197344 CPUtime=4.46
/proc/23211/task/23212/stat : 23212 (java) S 23203 23203 20899 0 -1 64 3861 0 1 0 438 8 0 0 24 0 10 0 669944674 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=23211/tid=23213] ppid=23203 vsize=197344 CPUtime=0.88
/proc/23211/task/23213/stat : 23213 (java) S 23203 23203 20899 0 -1 64 6095 0 0 0 79 9 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23214] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23214/stat : 23214 (java) S 23203 23203 20899 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23215] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23215/stat : 23215 (java) S 23203 23203 20899 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23216] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23216/stat : 23216 (java) S 23203 23203 20899 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23217] ppid=23203 vsize=197344 CPUtime=0.19
/proc/23211/task/23217/stat : 23217 (java) S 23203 23203 20899 0 -1 64 646 0 0 0 18 1 0 0 16 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23218] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23218/stat : 23218 (java) S 23203 23203 20899 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23219] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23219/stat : 23219 (java) S 23203 23203 20899 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23220] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23220/stat : 23220 (java) S 23203 23203 20899 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 669945239 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1764.34
Current children cumulated vsize (KiB) 234360
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1818.4 s]
/proc/loadavg: 2.37 2.45 2.24 3/103 23358
/proc/meminfo: memFree=1053480/2055920 swapFree=4178892/4192956
[pid=23203] ppid=23201 vsize=5360 CPUtime=1.71
/proc/23203/stat : 23203 (hydra) S 23201 23203 20899 0 -1 4194304 375 6511 0 0 0 0 166 5 19 0 1 0 669944500 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23203/statm: 1340 238 196 169 0 51 0
[pid=23211] ppid=23203 vsize=197344 CPUtime=5.58
/proc/23211/stat : 23211 (java) S 23203 23203 20899 0 -1 0 11406 0 1 0 537 21 0 0 20 0 10 0 669944673 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23211/statm: 49336 9336 2543 9 0 43919 0
[pid=23221] ppid=23211 vsize=5356 CPUtime=0
/proc/23221/stat : 23221 (mistral) S 23211 23203 20899 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 669945239 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/23221/statm: 1339 236 196 169 0 50 0
[pid=23222] ppid=23221 vsize=26300 CPUtime=1792.76
/proc/23222/stat : 23222 (xsolve) R 23221 23203 20899 0 -1 4194304 5911 0 0 0 179269 7 0 0 25 0 1 0 669945240 26931200 5842 996147200 134512640 135239763 4294955968 18446744073709551615 135096169 0 4 0 0 0 0 0 17 0 0 0
/proc/23222/statm: 6575 5842 419 177 0 5478 0
[pid=23211/tid=23212] ppid=23203 vsize=197344 CPUtime=4.46
/proc/23211/task/23212/stat : 23212 (java) S 23203 23203 20899 0 -1 64 3861 0 1 0 438 8 0 0 24 0 10 0 669944674 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=23211/tid=23213] ppid=23203 vsize=197344 CPUtime=0.88
/proc/23211/task/23213/stat : 23213 (java) S 23203 23203 20899 0 -1 64 6095 0 0 0 79 9 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23214] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23214/stat : 23214 (java) S 23203 23203 20899 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23215] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23215/stat : 23215 (java) S 23203 23203 20899 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 669944675 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23216] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23216/stat : 23216 (java) S 23203 23203 20899 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23217] ppid=23203 vsize=197344 CPUtime=0.19
/proc/23211/task/23217/stat : 23217 (java) S 23203 23203 20899 0 -1 64 646 0 0 0 18 1 0 0 16 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23218] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23218/stat : 23218 (java) S 23203 23203 20899 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23219] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23219/stat : 23219 (java) S 23203 23203 20899 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 669944677 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23211/tid=23220] ppid=23203 vsize=197344 CPUtime=0
/proc/23211/task/23220/stat : 23220 (java) S 23203 23203 20899 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 669945239 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 234360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1818.43
CPU time (s): 1800.1
CPU user time (s): 1799.73
CPU system time (s): 0.367944
CPU usage (%): 98.9923
Max. virtual memory (cumulated for all children) (KiB): 234360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.367944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24611
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45904
involuntary context switches= 82283
runsolver used 2.44363 second user time and 6.25805 second system time
The end