0.00/0.00 c cpHydra_k_10 version 0.0
7.18/7.36 c CASE TO CLASSIFY:
7.18/7.36 c Case: 0
7.18/7.36 c 19 > 0.000000 | c 35 > 10.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 16.500000 | c 15 > 21.771700 | c 34 > 20.500000 | c 16 > 8.000000 | c 13 > 11.205800 | c 14 > 13.468900 | c 11 > 6.643860 | c 12 > 10.007600 | c 21 > 6.782330 | c 20 > 100.000000 | c 22 > 6.782330 | 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.714250 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.569860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.650900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.37 c choco : 1801.0
7.18/7.37 c mistral : 1801.0
7.18/7.37 c abscon : 1801.0
7.18/7.37 c
7.18/7.37 c
7.28/7.45 c List of same ones: 10
7.28/7.45 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-60-3-5.xml
7.28/7.45 c 19 > 0.000000 | c 35 > 9.166670 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 15.000000 | c 15 > 21.291800 | c 34 > 18.333300 | c 16 > 8.000000 | c 13 > 9.302280 | c 14 > 11.949500 | c 11 > 7.055280 | c 12 > 7.956080 | c 21 > 5.291500 | c 20 > 100.000000 | c 22 > 5.291500 | 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.299210 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.154820 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.663500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.46 c choco : 15.32
7.28/7.46 c mistral : 0.031995
7.28/7.46 c abscon : 1010.32
7.28/7.46 c
7.28/7.46 c
7.28/7.46 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-60-3-5.xml
7.28/7.46 c 19 > 0.000000 | c 35 > 9.166670 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 15.000000 | c 15 > 21.519200 | c 34 > 18.333300 | c 16 > 8.000000 | c 13 > 8.587660 | c 14 > 11.344900 | c 11 > 6.643860 | c 12 > 7.512700 | c 21 > 6.782330 | c 20 > 100.000000 | c 22 > 6.782330 | 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.299210 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.154820 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.232000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.46 c choco : 1801.0
7.28/7.46 c mistral : 0.032994
7.28/7.46 c abscon : 1800.06
7.28/7.46 c
7.28/7.46 c
7.28/7.46 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-3-5.xml
7.28/7.46 c 19 > 0.000000 | c 35 > 8.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.250000 | c 15 > 21.262000 | c 34 > 17.500000 | c 16 > 8.000000 | c 13 > 7.276280 | c 14 > 10.692600 | c 11 > 6.643860 | c 12 > 6.179110 | c 21 > 6.782330 | c 20 > 100.000000 | c 22 > 6.782330 | 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 > 20.643300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.47 c choco : 8.75
7.28/7.47 c mistral : 0.039993
7.28/7.47 c abscon : 1800.1
7.28/7.47 c
7.28/7.47 c
7.28/7.47 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-80-3-7.xml
7.28/7.47 c 19 > 0.000000 | c 35 > 8.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.250000 | c 15 > 20.815600 | c 34 > 16.500000 | c 16 > 10.000000 | c 13 > 7.275120 | c 14 > 10.698700 | c 11 > 7.219170 | c 12 > 5.918460 | c 21 > 5.291500 | c 20 > 100.000000 | c 22 > 5.291500 | 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 > 19.630300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.48 c choco : 28.38
7.28/7.48 c mistral : 0.044992
7.28/7.48 c abscon : 5.41318
7.28/7.48 c
7.28/7.48 c
7.28/7.48 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-80-3-5.xml
7.28/7.48 c 19 > 0.000000 | c 35 > 8.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.250000 | c 15 > 21.104700 | c 34 > 17.500000 | c 16 > 8.000000 | c 13 > 6.357010 | c 14 > 10.125400 | c 11 > 7.189820 | c 12 > 5.136320 | c 21 > 5.291500 | c 20 > 100.000000 | c 22 > 5.291500 | 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 > 19.085400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.49 c choco : 4.44
7.28/7.49 c mistral : 0.037993
7.28/7.49 c abscon : 138.188
7.28/7.49 c
7.28/7.49 c
7.28/7.49 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-40-2-5.xml
7.28/7.49 c 19 > 0.000000 | c 35 > 10.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 19.478200 | c 34 > 20.500000 | c 16 > 7.000000 | c 13 > 10.115400 | c 14 > 11.849000 | c 11 > 6.643860 | c 12 > 8.008540 | 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.266790 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.066090 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.920900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.50 c choco : 1.77
7.37/7.50 c mistral : 0.025995
7.37/7.50 c abscon : 549.931
7.37/7.50 c
7.37/7.50 c
7.37/7.50 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-3-7.xml
7.37/7.50 c 19 > 0.000000 | c 35 > 8.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.250000 | c 15 > 20.313000 | c 34 > 16.500000 | c 16 > 10.000000 | c 13 > 6.402330 | c 14 > 9.691740 | c 11 > 6.643860 | c 12 > 5.337350 | c 21 > 6.782330 | c 20 > 100.000000 | c 22 > 6.782330 | 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 > 21.134800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.51 c choco : 2.89
7.37/7.51 c mistral : 0.043992
7.37/7.51 c abscon : 2.74458
7.37/7.51 c
7.37/7.51 c
7.37/7.51 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-40-2-3.xml
7.37/7.51 c 19 > 0.000000 | c 35 > 10.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.500000 | c 15 > 21.584200 | c 34 > 21.500000 | c 16 > 5.000000 | c 13 > 11.621600 | c 14 > 14.767100 | c 11 > 6.643860 | c 12 > 9.890860 | 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 > 7.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.700440 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.266400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.52 c choco : 2.16
7.37/7.52 c mistral : 0.022995
7.37/7.52 c abscon : 6.38303
7.37/7.52 c
7.37/7.52 c
7.37/7.52 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-40-2-5.xml
7.37/7.52 c 19 > 0.000000 | c 35 > 10.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 17.913000 | c 34 > 20.500000 | c 16 > 7.000000 | c 13 > 7.368620 | c 14 > 11.419400 | c 11 > 6.643860 | c 12 > 5.556740 | 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.266790 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.066090 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.141700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.53 c choco : 2.22
7.37/7.53 c mistral : 0.022995
7.37/7.53 c abscon : 9.00963
7.37/7.53 c
7.37/7.53 c
7.37/7.53 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-40-2-3.xml
7.37/7.53 c 19 > 0.000000 | c 35 > 10.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.500000 | c 15 > 21.727500 | c 34 > 21.500000 | c 16 > 5.000000 | c 13 > 10.941600 | c 14 > 14.173700 | c 11 > 6.643860 | c 12 > 9.878940 | 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 > 7.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.700440 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.769900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.54 c choco : 12.11
7.37/7.54 c mistral : 0.024995
7.37/7.54 c abscon : 144.326
7.37/7.54 c
7.37/7.54 c
7.37/7.54 c Length: 10
7.37/7.54 c 4.976236088360357 5.176344435187827 7.573866690832365 8.814807003922434 9.068601066421435 9.517057557979777 9.779881573899553 9.982896754564779 10.797630906930465 11.104547030487105
7.37/7.54 c
7.37/7.54 c 1.0 0.9683794107674338 0.7023094196545577 0.6148674208874203 0.5995993797261627 0.5743963712906769 0.5605868430482931 0.5503661039909212 0.5128419950123836 0.5
7.37/7.54 c
7.37/7.54 c solver 0
7.37/7.54 c before 0.0 seconds: {} 0
7.37/7.54 c before 18.0 seconds: {3, 6, 7, 8} 2238
7.37/7.54 c before 144.0 seconds: {3, 4, 6, 7, 8} 2838
7.37/7.54 c before 162.0 seconds: {3, 4, 6, 7, 8, 9} 3338
7.37/7.54 c before 558.0 seconds: {3, 4, 5, 6, 7, 8, 9} 3912
7.37/7.54 c before 1026.0 seconds: {0, 3, 4, 5, 6, 7, 8, 9} 4912
7.37/7.54 c
7.37/7.54 c solver 1
7.37/7.55 c before 0.0 seconds: {} 0
7.37/7.55 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6583
7.37/7.55 c
7.37/7.55 c solver 2
7.37/7.55 c before 0.0 seconds: {} 0
7.37/7.55 c before 18.0 seconds: {0, 2, 4, 5, 6, 7, 8, 9} 5000
7.37/7.55 c before 36.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9} 5614
7.37/7.55 c
7.37/7.55 cTotal time: 60
7.37/7.55 c 1080.0 seconds unused
7.37/7.55 c 0 c 0 c 0
7.37/7.55 c 2 c 0 c 1
7.37/7.55 c 1 c 0 c 0
7.37/7.55 c is solver0 dominated by:
7.37/7.55 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.37/7.55 c is dominated? true
7.37/7.55 c
7.37/7.55 c is solver1 dominated by:
7.37/7.55 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.37/7.55 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.37/7.55 c is dominated? false
7.37/7.55 c
7.37/7.55 c is solver2 dominated by:
7.37/7.55 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.37/7.55 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.37/7.55 c is dominated? true
7.37/7.55 c
7.37/7.55 c Number of non-dominated solvers: 1
7.37/7.55 c remove dominated solvers
7.37/7.55 c solver 1 is not dominated by another solver
7.37/7.55 c solver 2 is dominated by another solver
7.37/7.55 c solver 0 is dominated by another solver
7.37/7.55 c
7.37/7.55 c solver 0: 0.0
7.37/7.55 c
7.37/7.55 c solver 1: 18.0
7.37/7.55 c
7.37/7.55 c+ 1/1 of 99
7.37/7.55 c
7.37/7.55 c solver 2: 0.0
7.37/7.55 c do not run abscon
7.37/7.55 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6583
7.37/7.55 c do not run choco
7.37/7.55 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.37/7.55 c On Instance: HOME/instance-1077471-1215192780.xml
7.37/7.55 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-1077471-1215192780/watcher-1077471-1215192780 -o /tmp/evaluation-result-1077471-1215192780/solver-1077471-1215192780 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1077471-1215192780.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.02 2.18 2.13 4/80 12462
/proc/meminfo: memFree=1830600/2055920 swapFree=4180080/4192956
[pid=12462] ppid=12460 vsize=5360 CPUtime=0
/proc/12462/stat : 12462 (hydra) S 12460 12462 5799 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 1998252100 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12462/statm: 1340 236 195 169 0 51 0
[pid=12464] ppid=12462 vsize=44 CPUtime=0
/proc/12464/stat : 12464 (rm) R 12462 12462 5799 0 -1 4194304 22 0 0 0 0 0 0 0 23 0 1 0 1998252101 45056 2 996147200 0 0 548682069750 18446744073709551615 225612197159 0 0 4096 0 0 0 0 17 1 0 0
/proc/12464/statm: 11 2 0 0 0 1 0
[startup+0.211434 s]
/proc/loadavg: 2.02 2.18 2.13 4/80 12462
/proc/meminfo: memFree=1830600/2055920 swapFree=4180080/4192956
[pid=12462] ppid=12460 vsize=5360 CPUtime=0
/proc/12462/stat : 12462 (hydra) S 12460 12462 5799 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1998252100 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12462/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302441 s]
/proc/loadavg: 2.02 2.18 2.13 4/80 12462
/proc/meminfo: memFree=1830600/2055920 swapFree=4180080/4192956
[pid=12462] ppid=12460 vsize=5360 CPUtime=0
/proc/12462/stat : 12462 (hydra) S 12460 12462 5799 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1998252100 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12462/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.402448 s]
/proc/loadavg: 2.02 2.18 2.13 4/80 12462
/proc/meminfo: memFree=1830600/2055920 swapFree=4180080/4192956
[pid=12462] ppid=12460 vsize=5360 CPUtime=0
/proc/12462/stat : 12462 (hydra) S 12460 12462 5799 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1998252100 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12462/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701474 s]
/proc/loadavg: 2.02 2.18 2.13 4/80 12462
/proc/meminfo: memFree=1830600/2055920 swapFree=4180080/4192956
[pid=12462] ppid=12460 vsize=5360 CPUtime=0
/proc/12462/stat : 12462 (hydra) S 12460 12462 5799 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1998252100 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12462/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50267 s]
/proc/loadavg: 2.02 2.18 2.13 3/82 12466
/proc/meminfo: memFree=1828536/2055920 swapFree=4180080/4192956
[pid=12462] ppid=12460 vsize=5360 CPUtime=0
/proc/12462/stat : 12462 (hydra) S 12460 12462 5799 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1998252100 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12462/statm: 1340 236 195 169 0 51 0
[pid=12466] ppid=12462 vsize=0 CPUtime=1.46
/proc/12466/stat : 12466 (xsolve) R 12462 12462 5799 0 -1 4194308 717 0 0 0 144 2 0 0 25 0 1 0 1998252101 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/12466/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 5360
[startup+3.10168 s]
/proc/loadavg: 2.02 2.18 2.13 3/90 12478
/proc/meminfo: memFree=1822712/2055920 swapFree=4180080/4192956
[pid=12462] ppid=12460 vsize=5360 CPUtime=1.47
/proc/12462/stat : 12462 (hydra) S 12460 12462 5799 0 -1 4194304 375 1300 0 0 0 0 144 3 18 0 1 0 1998252100 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12462/statm: 1340 238 196 169 0 51 0
[pid=12470] ppid=12462 vsize=197104 CPUtime=1.56
/proc/12470/stat : 12470 (java) S 12462 12462 5799 0 -1 0 5085 0 1 0 150 6 0 0 18 0 9 0 1998252251 201834496 4266 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12470/statm: 49276 4266 1678 9 0 43859 0
[pid=12470/tid=12471] ppid=12462 vsize=197104 CPUtime=1.26
/proc/12470/task/12471/stat : 12471 (java) R 12462 12462 5799 0 -1 64 2745 0 1 0 123 3 0 0 25 0 9 0 1998252252 201834496 4266 996147200 134512640 134550740 4294955968 18446744073709551615 4126440695 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12472] ppid=12462 vsize=197104 CPUtime=0.13
/proc/12470/task/12472/stat : 12472 (java) S 12462 12462 5799 0 -1 64 1003 0 0 0 11 2 0 0 16 0 9 0 1998252253 201834496 4266 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12473] ppid=12462 vsize=197104 CPUtime=0
/proc/12470/task/12473/stat : 12473 (java) S 12462 12462 5799 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1998252253 201834496 4266 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12474] ppid=12462 vsize=197104 CPUtime=0
/proc/12470/task/12474/stat : 12474 (java) S 12462 12462 5799 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998252253 201834496 4266 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12475] ppid=12462 vsize=197104 CPUtime=0
/proc/12470/task/12475/stat : 12475 (java) S 12462 12462 5799 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1998252256 201834496 4266 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12476] ppid=12462 vsize=197104 CPUtime=0.14
/proc/12470/task/12476/stat : 12476 (java) S 12462 12462 5799 0 -1 64 613 0 0 0 14 0 0 0 16 0 9 0 1998252256 201834496 4266 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12477] ppid=12462 vsize=197104 CPUtime=0
/proc/12470/task/12477/stat : 12477 (java) S 12462 12462 5799 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1998252256 201834496 4266 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12478] ppid=12462 vsize=197104 CPUtime=0
/proc/12470/task/12478/stat : 12478 (java) S 12462 12462 5799 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1998252256 201834496 4266 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 202464
[startup+6.30296 s]
/proc/loadavg: 2.02 2.18 2.13 3/90 12479
/proc/meminfo: memFree=1807288/2055920 swapFree=4180080/4192956
[pid=12462] ppid=12460 vsize=5360 CPUtime=1.47
/proc/12462/stat : 12462 (hydra) S 12460 12462 5799 0 -1 4194304 375 1300 0 0 0 0 144 3 18 0 1 0 1998252100 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12462/statm: 1340 238 196 169 0 51 0
[pid=12470] ppid=12462 vsize=197104 CPUtime=4.73
/proc/12470/stat : 12470 (java) S 12462 12462 5799 0 -1 0 9951 0 1 0 457 16 0 0 18 0 9 0 1998252251 201834496 8245 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12470/statm: 49276 8245 2540 9 0 43859 0
[pid=12470/tid=12471] ppid=12462 vsize=197104 CPUtime=3.79
/proc/12470/task/12471/stat : 12471 (java) R 12462 12462 5799 0 -1 64 3548 0 1 0 375 4 0 0 25 0 9 0 1998252252 201834496 8245 996147200 134512640 134550740 4294955968 18446744073709551615 4126444228 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12472] ppid=12462 vsize=197104 CPUtime=0.74
/proc/12470/task/12472/stat : 12472 (java) S 12462 12462 5799 0 -1 64 5051 0 0 0 64 10 0 0 16 0 9 0 1998252253 201834496 8245 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12473] ppid=12462 vsize=197104 CPUtime=0
/proc/12470/task/12473/stat : 12473 (java) S 12462 12462 5799 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1998252253 201834496 8245 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12474] ppid=12462 vsize=197104 CPUtime=0
/proc/12470/task/12474/stat : 12474 (java) S 12462 12462 5799 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998252253 201834496 8245 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12475] ppid=12462 vsize=197104 CPUtime=0
/proc/12470/task/12475/stat : 12475 (java) S 12462 12462 5799 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1998252256 201834496 8245 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12476] ppid=12462 vsize=197104 CPUtime=0.17
/proc/12470/task/12476/stat : 12476 (java) S 12462 12462 5799 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 1998252256 201834496 8245 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12477] ppid=12462 vsize=197104 CPUtime=0
/proc/12470/task/12477/stat : 12477 (java) S 12462 12462 5799 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1998252256 201834496 8245 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12478] ppid=12462 vsize=197104 CPUtime=0
/proc/12470/task/12478/stat : 12478 (java) S 12462 12462 5799 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1998252256 201834496 8245 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202464
[startup+12.7015 s]
/proc/loadavg: 2.02 2.17 2.13 3/93 12482
/proc/meminfo: memFree=1799008/2055920 swapFree=4180080/4192956
[pid=12462] ppid=12460 vsize=5360 CPUtime=1.47
/proc/12462/stat : 12462 (hydra) S 12460 12462 5799 0 -1 4194304 375 1300 0 0 0 0 144 3 18 0 1 0 1998252100 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12462/statm: 1340 238 196 169 0 51 0
[pid=12470] ppid=12462 vsize=197428 CPUtime=5.94
/proc/12470/stat : 12470 (java) S 12462 12462 5799 0 -1 0 11426 0 1 0 575 19 0 0 18 0 10 0 1998252251 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12470/statm: 49357 9345 2543 9 0 43940 0
[pid=12481] ppid=12470 vsize=5356 CPUtime=0
/proc/12481/stat : 12481 (mistral) S 12470 12462 5799 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1998252856 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/12481/statm: 1339 236 196 169 0 50 0
[pid=12482] ppid=12481 vsize=5268 CPUtime=5.07
/proc/12482/stat : 12482 (xsolve) R 12481 12462 5799 0 -1 4194304 688 0 0 0 507 0 0 0 25 0 1 0 1998252857 5394432 652 996147200 134512640 135239763 4294955952 18446744073709551615 135030894 0 4 0 0 0 0 0 17 1 0 0
/proc/12482/statm: 1317 652 422 177 0 220 0
[pid=12470/tid=12471] ppid=12462 vsize=197428 CPUtime=4.82
/proc/12470/task/12471/stat : 12471 (java) S 12462 12462 5799 0 -1 64 3860 0 1 0 476 6 0 0 23 0 10 0 1998252252 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=12470/tid=12472] ppid=12462 vsize=197428 CPUtime=0.88
/proc/12470/task/12472/stat : 12472 (java) S 12462 12462 5799 0 -1 64 6114 0 0 0 77 11 0 0 16 0 10 0 1998252253 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12473] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12473/stat : 12473 (java) S 12462 12462 5799 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1998252253 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12474] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12474/stat : 12474 (java) S 12462 12462 5799 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1998252253 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12475] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12475/stat : 12475 (java) S 12462 12462 5799 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12476] ppid=12462 vsize=197428 CPUtime=0.2
/proc/12470/task/12476/stat : 12476 (java) S 12462 12462 5799 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12477] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12477/stat : 12477 (java) S 12462 12462 5799 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12478] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12478/stat : 12478 (java) S 12462 12462 5799 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12470/tid=12480] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12480/stat : 12480 (java) S 12462 12462 5799 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 1998252856 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 213412
[startup+25.5076 s]
/proc/loadavg: 2.01 2.16 2.12 3/93 12483
/proc/meminfo: memFree=1798432/2055920 swapFree=4180080/4192956
[pid=12462] ppid=12460 vsize=5360 CPUtime=1.47
/proc/12462/stat : 12462 (hydra) S 12460 12462 5799 0 -1 4194304 375 1300 0 0 0 0 144 3 18 0 1 0 1998252100 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12462/statm: 1340 238 196 169 0 51 0
[pid=12470] ppid=12462 vsize=197428 CPUtime=5.94
/proc/12470/stat : 12470 (java) S 12462 12462 5799 0 -1 0 11426 0 1 0 575 19 0 0 18 0 10 0 1998252251 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12470/statm: 49357 9345 2543 9 0 43940 0
[pid=12481] ppid=12470 vsize=5356 CPUtime=0
/proc/12481/stat : 12481 (mistral) S 12470 12462 5799 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1998252856 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/12481/statm: 1339 236 196 169 0 50 0
[pid=12482] ppid=12481 vsize=5268 CPUtime=17.76
/proc/12482/stat : 12482 (xsolve) R 12481 12462 5799 0 -1 4194304 688 0 0 0 1776 0 0 0 25 0 1 0 1998252857 5394432 652 996147200 134512640 135239763 4294955952 18446744073709551615 135100273 0 4 0 0 0 0 0 17 1 0 0
/proc/12482/statm: 1317 652 422 177 0 220 0
[pid=12470/tid=12471] ppid=12462 vsize=197428 CPUtime=4.82
/proc/12470/task/12471/stat : 12471 (java) S 12462 12462 5799 0 -1 64 3860 0 1 0 476 6 0 0 23 0 10 0 1998252252 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=12470/tid=12472] ppid=12462 vsize=197428 CPUtime=0.88
/proc/12470/task/12472/stat : 12472 (java) S 12462 12462 5799 0 -1 64 6114 0 0 0 77 11 0 0 16 0 10 0 1998252253 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12473] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12473/stat : 12473 (java) S 12462 12462 5799 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1998252253 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12474] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12474/stat : 12474 (java) S 12462 12462 5799 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1998252253 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12475] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12475/stat : 12475 (java) S 12462 12462 5799 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12476] ppid=12462 vsize=197428 CPUtime=0.2
/proc/12470/task/12476/stat : 12476 (java) S 12462 12462 5799 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12477] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12477/stat : 12477 (java) S 12462 12462 5799 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12478] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12478/stat : 12478 (java) S 12462 12462 5799 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12470/tid=12480] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12480/stat : 12480 (java) S 12462 12462 5799 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 1998252856 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 213412
[startup+51.1028 s]
################
# More data... #
################
/proc/12470/task/12480/stat : 12480 (java) S 12462 12462 5799 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 1998252856 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1646.64
Current children cumulated vsize (KiB) 213416
[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/94 12540
/proc/meminfo: memFree=1813080/2055920 swapFree=4180080/4192956
[pid=12462] ppid=12460 vsize=5360 CPUtime=1.47
/proc/12462/stat : 12462 (hydra) S 12460 12462 5799 0 -1 4194304 375 1300 0 0 0 0 144 3 18 0 1 0 1998252100 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12462/statm: 1340 238 196 169 0 51 0
[pid=12470] ppid=12462 vsize=197428 CPUtime=5.94
/proc/12470/stat : 12470 (java) S 12462 12462 5799 0 -1 0 11426 0 1 0 575 19 0 0 18 0 10 0 1998252251 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12470/statm: 49357 9345 2543 9 0 43940 0
[pid=12481] ppid=12470 vsize=5356 CPUtime=0
/proc/12481/stat : 12481 (mistral) S 12470 12462 5799 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1998252856 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/12481/statm: 1339 236 196 169 0 50 0
[pid=12482] ppid=12481 vsize=5272 CPUtime=1698.86
/proc/12482/stat : 12482 (xsolve) R 12481 12462 5799 0 -1 4194304 690 0 0 0 169882 4 0 0 25 0 1 0 1998252857 5398528 654 996147200 134512640 135239763 4294955952 18446744073709551615 135071326 0 4 0 0 0 0 0 17 0 0 0
/proc/12482/statm: 1318 654 422 177 0 221 0
[pid=12470/tid=12471] ppid=12462 vsize=197428 CPUtime=4.82
/proc/12470/task/12471/stat : 12471 (java) S 12462 12462 5799 0 -1 64 3860 0 1 0 476 6 0 0 23 0 10 0 1998252252 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=12470/tid=12472] ppid=12462 vsize=197428 CPUtime=0.88
/proc/12470/task/12472/stat : 12472 (java) S 12462 12462 5799 0 -1 64 6114 0 0 0 77 11 0 0 16 0 10 0 1998252253 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12473] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12473/stat : 12473 (java) S 12462 12462 5799 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1998252253 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12474] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12474/stat : 12474 (java) S 12462 12462 5799 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1998252253 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12475] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12475/stat : 12475 (java) S 12462 12462 5799 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12476] ppid=12462 vsize=197428 CPUtime=0.2
/proc/12470/task/12476/stat : 12476 (java) S 12462 12462 5799 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12477] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12477/stat : 12477 (java) S 12462 12462 5799 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12478] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12478/stat : 12478 (java) S 12462 12462 5799 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12470/tid=12480] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12480/stat : 12480 (java) S 12462 12462 5799 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 1998252856 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706.27
Current children cumulated vsize (KiB) 213416
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 12540
/proc/meminfo: memFree=1804504/2055920 swapFree=4180080/4192956
[pid=12462] ppid=12460 vsize=5360 CPUtime=1.47
/proc/12462/stat : 12462 (hydra) S 12460 12462 5799 0 -1 4194304 375 1300 0 0 0 0 144 3 18 0 1 0 1998252100 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12462/statm: 1340 238 196 169 0 51 0
[pid=12470] ppid=12462 vsize=197428 CPUtime=5.94
/proc/12470/stat : 12470 (java) S 12462 12462 5799 0 -1 0 11426 0 1 0 575 19 0 0 18 0 10 0 1998252251 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12470/statm: 49357 9345 2543 9 0 43940 0
[pid=12481] ppid=12470 vsize=5356 CPUtime=0
/proc/12481/stat : 12481 (mistral) S 12470 12462 5799 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1998252856 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/12481/statm: 1339 236 196 169 0 50 0
[pid=12482] ppid=12481 vsize=5272 CPUtime=1758.83
/proc/12482/stat : 12482 (xsolve) R 12481 12462 5799 0 -1 4194304 690 0 0 0 175879 4 0 0 25 0 1 0 1998252857 5398528 654 996147200 134512640 135239763 4294955952 18446744073709551615 135030845 0 4 0 0 0 0 0 17 0 0 0
/proc/12482/statm: 1318 654 422 177 0 221 0
[pid=12470/tid=12471] ppid=12462 vsize=197428 CPUtime=4.82
/proc/12470/task/12471/stat : 12471 (java) S 12462 12462 5799 0 -1 64 3860 0 1 0 476 6 0 0 23 0 10 0 1998252252 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=12470/tid=12472] ppid=12462 vsize=197428 CPUtime=0.88
/proc/12470/task/12472/stat : 12472 (java) S 12462 12462 5799 0 -1 64 6114 0 0 0 77 11 0 0 16 0 10 0 1998252253 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12473] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12473/stat : 12473 (java) S 12462 12462 5799 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1998252253 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12474] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12474/stat : 12474 (java) S 12462 12462 5799 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1998252253 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12475] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12475/stat : 12475 (java) S 12462 12462 5799 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12476] ppid=12462 vsize=197428 CPUtime=0.2
/proc/12470/task/12476/stat : 12476 (java) S 12462 12462 5799 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12477] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12477/stat : 12477 (java) S 12462 12462 5799 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12478] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12478/stat : 12478 (java) S 12462 12462 5799 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12470/tid=12480] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12480/stat : 12480 (java) S 12462 12462 5799 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 1998252856 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1766.24
Current children cumulated vsize (KiB) 213416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 12540
/proc/meminfo: memFree=1756568/2055920 swapFree=4180080/4192956
[pid=12462] ppid=12460 vsize=5360 CPUtime=1.47
/proc/12462/stat : 12462 (hydra) S 12460 12462 5799 0 -1 4194304 375 1300 0 0 0 0 144 3 18 0 1 0 1998252100 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12462/statm: 1340 238 196 169 0 51 0
[pid=12470] ppid=12462 vsize=197428 CPUtime=5.94
/proc/12470/stat : 12470 (java) S 12462 12462 5799 0 -1 0 11426 0 1 0 575 19 0 0 18 0 10 0 1998252251 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12470/statm: 49357 9345 2543 9 0 43940 0
[pid=12481] ppid=12470 vsize=5356 CPUtime=0
/proc/12481/stat : 12481 (mistral) S 12470 12462 5799 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1998252856 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/12481/statm: 1339 236 196 169 0 50 0
[pid=12482] ppid=12481 vsize=5272 CPUtime=1792.62
/proc/12482/stat : 12482 (xsolve) R 12481 12462 5799 0 -1 4194304 690 0 0 0 179258 4 0 0 25 0 1 0 1998252857 5398528 654 996147200 134512640 135239763 4294955952 18446744073709551615 135030862 0 4 0 0 0 0 0 17 0 0 0
/proc/12482/statm: 1318 654 422 177 0 221 0
[pid=12470/tid=12471] ppid=12462 vsize=197428 CPUtime=4.82
/proc/12470/task/12471/stat : 12471 (java) S 12462 12462 5799 0 -1 64 3860 0 1 0 476 6 0 0 23 0 10 0 1998252252 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=12470/tid=12472] ppid=12462 vsize=197428 CPUtime=0.88
/proc/12470/task/12472/stat : 12472 (java) S 12462 12462 5799 0 -1 64 6114 0 0 0 77 11 0 0 16 0 10 0 1998252253 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12473] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12473/stat : 12473 (java) S 12462 12462 5799 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1998252253 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12474] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12474/stat : 12474 (java) S 12462 12462 5799 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1998252253 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12475] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12475/stat : 12475 (java) S 12462 12462 5799 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12476] ppid=12462 vsize=197428 CPUtime=0.2
/proc/12470/task/12476/stat : 12476 (java) S 12462 12462 5799 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12477] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12477/stat : 12477 (java) S 12462 12462 5799 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12478] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12478/stat : 12478 (java) S 12462 12462 5799 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12470/tid=12480] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12480/stat : 12480 (java) S 12462 12462 5799 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 1998252856 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 213416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1816.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 12540
/proc/meminfo: memFree=1756568/2055920 swapFree=4180080/4192956
[pid=12462] ppid=12460 vsize=5360 CPUtime=1.47
/proc/12462/stat : 12462 (hydra) S 12460 12462 5799 0 -1 4194304 375 1300 0 0 0 0 144 3 18 0 1 0 1998252100 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12462/statm: 1340 238 196 169 0 51 0
[pid=12470] ppid=12462 vsize=197428 CPUtime=5.94
/proc/12470/stat : 12470 (java) S 12462 12462 5799 0 -1 0 11426 0 1 0 575 19 0 0 18 0 10 0 1998252251 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12470/statm: 49357 9345 2543 9 0 43940 0
[pid=12481] ppid=12470 vsize=5356 CPUtime=0
/proc/12481/stat : 12481 (mistral) S 12470 12462 5799 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1998252856 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/12481/statm: 1339 236 196 169 0 50 0
[pid=12482] ppid=12481 vsize=5272 CPUtime=1792.62
/proc/12482/stat : 12482 (xsolve) R 12481 12462 5799 0 -1 4194304 690 0 0 0 179258 4 0 0 25 0 1 0 1998252857 5398528 654 996147200 134512640 135239763 4294955952 18446744073709551615 135030862 0 4 0 0 0 0 0 17 0 0 0
/proc/12482/statm: 1318 654 422 177 0 221 0
[pid=12470/tid=12471] ppid=12462 vsize=197428 CPUtime=4.82
/proc/12470/task/12471/stat : 12471 (java) S 12462 12462 5799 0 -1 64 3860 0 1 0 476 6 0 0 23 0 10 0 1998252252 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=12470/tid=12472] ppid=12462 vsize=197428 CPUtime=0.88
/proc/12470/task/12472/stat : 12472 (java) S 12462 12462 5799 0 -1 64 6114 0 0 0 77 11 0 0 16 0 10 0 1998252253 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12473] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12473/stat : 12473 (java) S 12462 12462 5799 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1998252253 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12474] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12474/stat : 12474 (java) S 12462 12462 5799 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1998252253 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12475] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12475/stat : 12475 (java) S 12462 12462 5799 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12476] ppid=12462 vsize=197428 CPUtime=0.2
/proc/12470/task/12476/stat : 12476 (java) S 12462 12462 5799 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12477] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12477/stat : 12477 (java) S 12462 12462 5799 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12470/tid=12478] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12478/stat : 12478 (java) S 12462 12462 5799 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 1998252256 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12470/tid=12480] ppid=12462 vsize=197428 CPUtime=0
/proc/12470/task/12480/stat : 12480 (java) S 12462 12462 5799 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 1998252856 202166272 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 213416
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12462 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=443780
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=32994
# CPU time returned by wait4() is 1.47677
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1816.13
CPU time (s): 1800.03
CPU user time (s): 1799.77
CPU system time (s): 0.26
CPU usage (%): 99.1137
Max. virtual memory (cumulated for all children) (KiB): 213416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.44378
system time used= 0.032994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1675
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 41
runsolver used 2.28465 second user time and 6.05508 second system time
The end