0.00/0.00 c cpHydra_k_10 version 0.0
7.19/7.32 c CASE TO CLASSIFY:
7.19/7.32 c Case: 0
7.19/7.33 c 19 > 0.000000 | c 35 > 3.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.000000 | c 15 > 21.940000 | c 34 > 6.000000 | c 16 > 10.000000 | c 13 > 6.536640 | c 14 > 10.660900 | c 11 > 6.643860 | c 12 > 5.321210 | 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.539160 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.417850 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.793900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.19/7.34 c choco : 1801.0
7.19/7.34 c mistral : 1801.0
7.19/7.34 c abscon : 1801.0
7.19/7.34 c
7.19/7.34 c
7.29/7.42 c List of same ones: 10
7.29/7.42 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-80-3-7.xml
7.29/7.42 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.29/7.42 c choco : 3.68
7.29/7.42 c mistral : 0.043992
7.29/7.42 c abscon : 18.5052
7.29/7.42 c
7.29/7.42 c
7.29/7.42 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-80-3-5.xml
7.29/7.42 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.29/7.43 c choco : 48.39
7.29/7.43 c mistral : 0.036993
7.29/7.43 c abscon : 1800.07
7.29/7.43 c
7.29/7.43 c
7.29/7.43 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-80-3-7.xml
7.29/7.43 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.29/7.44 c choco : 1801.0
7.29/7.44 c mistral : 0.043992
7.29/7.44 c abscon : 101.677
7.29/7.44 c
7.29/7.44 c
7.29/7.44 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-80-3-5.xml
7.29/7.44 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.29/7.45 c choco : 23.56
7.29/7.45 c mistral : 0.037993
7.29/7.45 c abscon : 1800.09
7.29/7.45 c
7.29/7.45 c
7.29/7.45 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-60-3-3.xml
7.29/7.45 c 19 > 0.000000 | c 35 > 4.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.000000 | c 15 > 20.287100 | c 34 > 8.000000 | c 16 > 6.000000 | c 13 > 8.283490 | c 14 > 11.358100 | c 11 > 6.643860 | c 12 > 6.670870 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.988680 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.707200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.29/7.46 c choco : 2.39
7.29/7.46 c mistral : 0.030994
7.29/7.46 c abscon : 29.2126
7.29/7.46 c
7.29/7.46 c
7.29/7.46 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-60-3-3.xml
7.29/7.46 c 19 > 0.000000 | c 35 > 4.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.000000 | c 15 > 21.778200 | c 34 > 8.000000 | c 16 > 6.000000 | c 13 > 8.235810 | c 14 > 11.286600 | c 11 > 6.643860 | c 12 > 6.792860 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.988680 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.608500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.29/7.47 c choco : 17.72
7.29/7.47 c mistral : 0.028994
7.29/7.47 c abscon : 53.3069
7.29/7.47 c
7.29/7.47 c
7.29/7.47 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-60-3-3.xml
7.29/7.47 c 19 > 0.000000 | c 35 > 4.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.000000 | c 15 > 21.759200 | c 34 > 8.000000 | c 16 > 6.000000 | c 13 > 7.404920 | c 14 > 11.591500 | c 11 > 6.643860 | c 12 > 5.464670 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.988680 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.185100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.29/7.48 c choco : 16.72
7.29/7.48 c mistral : 0.029994
7.29/7.48 c abscon : 12.0972
7.29/7.48 c
7.29/7.48 c
7.29/7.48 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-80-3-3.xml
7.29/7.48 c 19 > 0.000000 | c 35 > 4.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.750000 | c 15 > 20.720500 | c 34 > 9.750000 | c 16 > 6.000000 | c 13 > 5.964230 | c 14 > 9.871910 | c 11 > 6.643860 | c 12 > 4.590360 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.400880 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.219170 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.079400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.29/7.49 c choco : 2.05
7.29/7.49 c mistral : 0.034994
7.29/7.49 c abscon : 10.5924
7.29/7.49 c
7.29/7.49 c
7.29/7.49 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-80-3-3.xml
7.29/7.49 c 19 > 0.000000 | c 35 > 4.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.750000 | c 15 > 21.243000 | c 34 > 9.750000 | c 16 > 6.000000 | c 13 > 7.076170 | c 14 > 9.927780 | c 11 > 6.643860 | c 12 > 5.404970 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 9.400880 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.219170 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.998200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.29/7.50 c choco : 17.78
7.29/7.50 c mistral : 0.031994
7.29/7.50 c abscon : 6.25605
7.29/7.50 c
7.29/7.50 c
7.29/7.50 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-20-2-7.xml
7.29/7.50 c 19 > 0.000000 | c 35 > 3.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.000000 | c 15 > 16.091000 | c 34 > 6.000000 | c 16 > 9.000000 | c 13 > 3.616460 | c 14 > 8.614710 | c 11 > 6.643860 | c 12 > 2.392320 | 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.930740 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.137900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.51 c choco : 1.66
7.37/7.51 c mistral : 0.021995
7.37/7.51 c abscon : 1800.1
7.37/7.51 c
7.37/7.51 c
7.57/7.73 c Length: 10
7.57/7.73 c 2.5546553152431346 3.397430819001323 4.616010790206193 4.858359306411991 5.911673930326334 5.939554417715188 6.109568705759842 7.154104468869601 7.291085226692937 8.026618436614513
7.57/7.73 c
7.57/7.73 c 1.0 0.8665383393060238 0.7263682069724127 0.7037290874433719 0.6197728441070186 0.6178218632147607 0.6061856627998612 0.5433163663606005 0.536025905720751 0.5
7.57/7.73 c
7.57/7.73 c solver 0
7.57/7.73 c before 0.0 seconds: {} 0
7.57/7.73 c before 18.0 seconds: {6, 7, 8} 1685
7.57/7.73 c before 36.0 seconds: {0, 4, 6, 7, 8} 3305
7.57/7.73 c before 54.0 seconds: {0, 4, 5, 6, 7, 8} 3923
7.57/7.73 c before 108.0 seconds: {0, 2, 4, 5, 6, 7, 8} 4649
7.57/7.73 c
7.57/7.73 c solver 1
7.57/7.73 c before 0.0 seconds: {} 0
7.57/7.73 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6719
7.57/7.73 c
7.57/7.73 c solver 2
7.57/7.73 c before 0.0 seconds: {} 0
7.57/7.73 c before 18.0 seconds: {0, 4, 5, 6, 7, 8, 9} 4423
7.57/7.73 c before 36.0 seconds: {0, 3, 4, 5, 6, 7, 8, 9} 5126
7.57/7.73 c before 54.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9} 5993
7.57/7.73 c
7.57/7.73 cTotal time: 10
7.57/7.73 c 180.0 seconds unused
7.57/7.73 c 0 c 0 c 1
7.57/7.73 c 3 c 0 c 1
7.57/7.73 c 3 c 0 c 0
7.57/7.74 c is solver0 dominated by:
7.57/7.74 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.57/7.74 c is dominated? true
7.57/7.74 c
7.57/7.74 c is solver1 dominated by:
7.57/7.74 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.57/7.74 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.57/7.74 c is dominated? false
7.57/7.74 c
7.57/7.74 c is solver2 dominated by:
7.57/7.74 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.57/7.74 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.57/7.74 c is dominated? true
7.57/7.74 c
7.57/7.74 c Number of non-dominated solvers: 1
7.57/7.74 c remove dominated solvers
7.57/7.74 c solver 1 is not dominated by another solver
7.57/7.74 c solver 2 is dominated by another solver
7.57/7.74 c solver 0 is dominated by another solver
7.57/7.74 c
7.57/7.74 c solver 0: 0.0
7.57/7.74 c
7.57/7.74 c solver 1: 18.0
7.57/7.74 c
7.57/7.74 c+ 1/1 of 99
7.57/7.74 c
7.57/7.74 c solver 2: 0.0
7.57/7.74 c do not run abscon
7.57/7.74 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6719
7.57/7.74 c do not run choco
7.57/7.74 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.57/7.74 c On Instance: HOME/instance-1067476-1215150183.xml
7.57/7.74 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-1067476-1215150183/watcher-1067476-1215150183 -o /tmp/evaluation-result-1067476-1215150183/solver-1067476-1215150183 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1067476-1215150183.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
[startup+0 s]
/proc/loadavg: 1.83 1.86 1.94 4/74 27523
/proc/meminfo: memFree=1637376/2055920 swapFree=4180796/4192956
[pid=27523] ppid=27521 vsize=18572 CPUtime=0
/proc/27523/stat : 27523 (runsolver) R 27521 25205 25205 0 -1 4194368 12 0 0 0 0 0 0 0 19 0 1 0 1993988171 19017728 290 996147200 4194304 4296836 548682068496 18446744073709551615 257212592143 0 0 4096 24578 0 0 0 17 1 0 0
/proc/27523/statm: 4643 290 255 25 0 2626 0
[startup+0.064365 s]
/proc/loadavg: 1.83 1.86 1.94 4/74 27523
/proc/meminfo: memFree=1637376/2055920 swapFree=4180796/4192956
[pid=27523] ppid=27521 vsize=5360 CPUtime=0
/proc/27523/stat : 27523 (hydra) S 27521 27523 25205 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993988171 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27523/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101355 s]
/proc/loadavg: 1.83 1.86 1.94 4/74 27523
/proc/meminfo: memFree=1637376/2055920 swapFree=4180796/4192956
[pid=27523] ppid=27521 vsize=5360 CPUtime=0
/proc/27523/stat : 27523 (hydra) S 27521 27523 25205 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993988171 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27523/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301374 s]
/proc/loadavg: 1.83 1.86 1.94 4/74 27523
/proc/meminfo: memFree=1637376/2055920 swapFree=4180796/4192956
[pid=27523] ppid=27521 vsize=5360 CPUtime=0
/proc/27523/stat : 27523 (hydra) S 27521 27523 25205 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993988171 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27523/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701405 s]
/proc/loadavg: 1.83 1.86 1.94 4/74 27523
/proc/meminfo: memFree=1637376/2055920 swapFree=4180796/4192956
[pid=27523] ppid=27521 vsize=5360 CPUtime=0
/proc/27523/stat : 27523 (hydra) S 27521 27523 25205 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993988171 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27523/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50147 s]
/proc/loadavg: 1.84 1.86 1.94 3/76 27527
/proc/meminfo: memFree=1635888/2055920 swapFree=4180796/4192956
[pid=27523] ppid=27521 vsize=5360 CPUtime=0
/proc/27523/stat : 27523 (hydra) S 27521 27523 25205 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993988171 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27523/statm: 1340 236 195 169 0 51 0
[pid=27527] ppid=27523 vsize=5516 CPUtime=1.46
/proc/27527/stat : 27527 (xsolve) R 27523 27523 25205 0 -1 4194304 772 0 0 0 146 0 0 0 25 0 1 0 1993988172 5648384 731 996147200 134512640 135239763 4294956176 18446744073709551615 134806827 0 0 4096 0 0 0 0 17 1 0 0
/proc/27527/statm: 1379 731 433 177 0 282 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10876
[startup+3.10261 s]
/proc/loadavg: 1.84 1.86 1.94 3/84 27539
/proc/meminfo: memFree=1629232/2055920 swapFree=4180796/4192956
[pid=27523] ppid=27521 vsize=5360 CPUtime=1.48
/proc/27523/stat : 27523 (hydra) S 27521 27523 25205 0 -1 4194304 375 1366 0 0 0 0 147 1 18 0 1 0 1993988171 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27523/statm: 1340 238 196 169 0 51 0
[pid=27531] ppid=27523 vsize=197016 CPUtime=1.57
/proc/27531/stat : 27531 (java) S 27523 27523 25205 0 -1 0 6411 0 1 0 151 6 0 0 18 0 9 0 1993988322 201744384 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27531/statm: 49254 5394 2540 9 0 43837 0
[pid=27531/tid=27532] ppid=27523 vsize=197016 CPUtime=1.17
/proc/27531/task/27532/stat : 27532 (java) R 27523 27523 25205 0 -1 64 2777 0 1 0 115 2 0 0 25 0 9 0 1993988323 201744384 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4126460816 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27533] ppid=27523 vsize=197016 CPUtime=0.21
/proc/27531/task/27533/stat : 27533 (java) S 27523 27523 25205 0 -1 64 2299 0 0 0 19 2 0 0 16 0 9 0 1993988324 201744384 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27534] ppid=27523 vsize=197016 CPUtime=0
/proc/27531/task/27534/stat : 27534 (java) S 27523 27523 25205 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993988325 201744384 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27535] ppid=27523 vsize=197016 CPUtime=0
/proc/27531/task/27535/stat : 27535 (java) S 27523 27523 25205 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1993988325 201744384 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27536] ppid=27523 vsize=197016 CPUtime=0
/proc/27531/task/27536/stat : 27536 (java) S 27523 27523 25205 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1993988327 201744384 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27537] ppid=27523 vsize=197016 CPUtime=0.15
/proc/27531/task/27537/stat : 27537 (java) S 27523 27523 25205 0 -1 64 610 0 0 0 15 0 0 0 16 0 9 0 1993988327 201744384 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27538] ppid=27523 vsize=197016 CPUtime=0
/proc/27531/task/27538/stat : 27538 (java) S 27523 27523 25205 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1993988327 201744384 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27539] ppid=27523 vsize=197016 CPUtime=0
/proc/27531/task/27539/stat : 27539 (java) S 27523 27523 25205 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993988327 201744384 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 202376
[startup+6.3023 s]
/proc/loadavg: 1.84 1.86 1.94 3/84 27539
/proc/meminfo: memFree=1616432/2055920 swapFree=4180796/4192956
[pid=27523] ppid=27521 vsize=5360 CPUtime=1.48
/proc/27523/stat : 27523 (hydra) S 27521 27523 25205 0 -1 4194304 375 1366 0 0 0 0 147 1 18 0 1 0 1993988171 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27523/statm: 1340 238 196 169 0 51 0
[pid=27531] ppid=27523 vsize=197016 CPUtime=4.73
/proc/27531/stat : 27531 (java) S 27523 27523 25205 0 -1 0 10040 0 1 0 458 15 0 0 18 0 9 0 1993988322 201744384 8323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27531/statm: 49254 8323 2540 9 0 43837 0
[pid=27531/tid=27532] ppid=27523 vsize=197016 CPUtime=3.69
/proc/27531/task/27532/stat : 27532 (java) R 27523 27523 25205 0 -1 64 3557 0 1 0 365 4 0 0 25 0 9 0 1993988323 201744384 8323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27533] ppid=27523 vsize=197016 CPUtime=0.81
/proc/27531/task/27533/stat : 27533 (java) S 27523 27523 25205 0 -1 64 5132 0 0 0 73 8 0 0 15 0 9 0 1993988324 201744384 8323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27534] ppid=27523 vsize=197016 CPUtime=0
/proc/27531/task/27534/stat : 27534 (java) S 27523 27523 25205 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993988325 201744384 8323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27535] ppid=27523 vsize=197016 CPUtime=0
/proc/27531/task/27535/stat : 27535 (java) S 27523 27523 25205 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1993988325 201744384 8323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27536] ppid=27523 vsize=197016 CPUtime=0
/proc/27531/task/27536/stat : 27536 (java) S 27523 27523 25205 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1993988327 201744384 8323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27537] ppid=27523 vsize=197016 CPUtime=0.18
/proc/27531/task/27537/stat : 27537 (java) S 27523 27523 25205 0 -1 64 626 0 0 0 18 0 0 0 16 0 9 0 1993988327 201744384 8323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27538] ppid=27523 vsize=197016 CPUtime=0
/proc/27531/task/27538/stat : 27538 (java) S 27523 27523 25205 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1993988327 201744384 8323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27539] ppid=27523 vsize=197016 CPUtime=0
/proc/27531/task/27539/stat : 27539 (java) S 27523 27523 25205 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993988327 201744384 8323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 202376
[startup+12.7024 s]
/proc/loadavg: 1.94 1.88 1.94 3/87 27542
/proc/meminfo: memFree=1607128/2055920 swapFree=4180796/4192956
[pid=27523] ppid=27521 vsize=5360 CPUtime=1.48
/proc/27523/stat : 27523 (hydra) S 27521 27523 25205 0 -1 4194304 375 1366 0 0 0 0 147 1 18 0 1 0 1993988171 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27523/statm: 1340 238 196 169 0 51 0
[pid=27531] ppid=27523 vsize=197340 CPUtime=6.13
/proc/27531/stat : 27531 (java) S 27523 27523 25205 0 -1 0 13875 0 1 0 592 21 0 0 18 0 10 0 1993988322 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27531/statm: 49335 9389 2543 9 0 43918 0
[pid=27541] ppid=27531 vsize=5356 CPUtime=0
/proc/27541/stat : 27541 (mistral) S 27531 27523 25205 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1993988946 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 257203692356 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/27541/statm: 1339 236 196 169 0 50 0
[pid=27542] ppid=27541 vsize=5516 CPUtime=4.89
/proc/27542/stat : 27542 (xsolve) R 27541 27523 25205 0 -1 4194304 751 0 0 0 489 0 0 0 25 0 1 0 1993988946 5648384 715 996147200 134512640 135239763 4294955968 18446744073709551615 134806802 0 4 0 0 0 0 0 17 1 0 0
/proc/27542/statm: 1379 715 416 177 0 282 0
[pid=27531/tid=27532] ppid=27523 vsize=197340 CPUtime=4.68
/proc/27531/task/27532/stat : 27532 (java) S 27523 27523 25205 0 -1 64 3856 0 1 0 462 6 0 0 23 0 10 0 1993988323 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=27531/tid=27533] ppid=27523 vsize=197340 CPUtime=1.19
/proc/27531/task/27533/stat : 27533 (java) S 27523 27523 25205 0 -1 64 8570 0 0 0 107 12 0 0 16 0 10 0 1993988324 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27534] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27534/stat : 27534 (java) S 27523 27523 25205 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993988325 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27535] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27535/stat : 27535 (java) S 27523 27523 25205 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993988325 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27536] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27536/stat : 27536 (java) S 27523 27523 25205 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27537] ppid=27523 vsize=197340 CPUtime=0.22
/proc/27531/task/27537/stat : 27537 (java) S 27523 27523 25205 0 -1 64 642 0 0 0 21 1 0 0 16 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27538] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27538/stat : 27538 (java) S 27523 27523 25205 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27539] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27539/stat : 27539 (java) S 27523 27523 25205 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27540] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27540/stat : 27540 (java) S 27523 27523 25205 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993988946 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 213572
[startup+25.5025 s]
/proc/loadavg: 1.95 1.88 1.94 3/87 27542
/proc/meminfo: memFree=1606744/2055920 swapFree=4180796/4192956
[pid=27523] ppid=27521 vsize=5360 CPUtime=1.48
/proc/27523/stat : 27523 (hydra) S 27521 27523 25205 0 -1 4194304 375 1366 0 0 0 0 147 1 18 0 1 0 1993988171 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27523/statm: 1340 238 196 169 0 51 0
[pid=27531] ppid=27523 vsize=197340 CPUtime=6.13
/proc/27531/stat : 27531 (java) S 27523 27523 25205 0 -1 0 13875 0 1 0 592 21 0 0 18 0 10 0 1993988322 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27531/statm: 49335 9389 2543 9 0 43918 0
[pid=27541] ppid=27531 vsize=5356 CPUtime=0
/proc/27541/stat : 27541 (mistral) S 27531 27523 25205 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1993988946 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 257203692356 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/27541/statm: 1339 236 196 169 0 50 0
[pid=27542] ppid=27541 vsize=5520 CPUtime=17.57
/proc/27542/stat : 27542 (xsolve) R 27541 27523 25205 0 -1 4194304 752 0 0 0 1757 0 0 0 25 0 1 0 1993988946 5652480 716 996147200 134512640 135239763 4294955968 18446744073709551615 134808120 0 4 0 0 0 0 0 17 1 0 0
/proc/27542/statm: 1380 716 416 177 0 283 0
[pid=27531/tid=27532] ppid=27523 vsize=197340 CPUtime=4.68
/proc/27531/task/27532/stat : 27532 (java) S 27523 27523 25205 0 -1 64 3856 0 1 0 462 6 0 0 23 0 10 0 1993988323 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=27531/tid=27533] ppid=27523 vsize=197340 CPUtime=1.19
/proc/27531/task/27533/stat : 27533 (java) S 27523 27523 25205 0 -1 64 8570 0 0 0 107 12 0 0 16 0 10 0 1993988324 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27534] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27534/stat : 27534 (java) S 27523 27523 25205 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993988325 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27535] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27535/stat : 27535 (java) S 27523 27523 25205 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993988325 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27536] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27536/stat : 27536 (java) S 27523 27523 25205 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27537] ppid=27523 vsize=197340 CPUtime=0.22
/proc/27531/task/27537/stat : 27537 (java) S 27523 27523 25205 0 -1 64 642 0 0 0 21 1 0 0 16 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27538] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27538/stat : 27538 (java) S 27523 27523 25205 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27539] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27539/stat : 27539 (java) S 27523 27523 25205 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27540] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27540/stat : 27540 (java) S 27523 27523 25205 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993988946 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 213576
[startup+51.1026 s]
/proc/loadavg: 1.97 1.89 1.94 3/87 27542
/proc/meminfo: memFree=1605912/2055920 swapFree=4180796/4192956
[pid=27523] ppid=27521 vsize=5360 CPUtime=1.48
/proc/27523/stat : 27523 (hydra) S 27521 27523 25205 0 -1 4194304 375 1366 0 0 0 0 147 1 18 0 1 0 1993988171 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27523/statm: 1340 238 196 169 0 51 0
################
# More data... #
################
/proc/27531/task/27540/stat : 27540 (java) S 27523 27523 25205 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993988946 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1592.65
Current children cumulated vsize (KiB) 213584
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.96 3/85 27576
/proc/meminfo: memFree=1731624/2055920 swapFree=4180796/4192956
[pid=27523] ppid=27521 vsize=5360 CPUtime=1.48
/proc/27523/stat : 27523 (hydra) S 27521 27523 25205 0 -1 4194304 375 1366 0 0 0 0 147 1 18 0 1 0 1993988171 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27523/statm: 1340 238 196 169 0 51 0
[pid=27531] ppid=27523 vsize=197340 CPUtime=6.13
/proc/27531/stat : 27531 (java) S 27523 27523 25205 0 -1 0 13875 0 1 0 592 21 0 0 18 0 10 0 1993988322 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27531/statm: 49335 9389 2543 9 0 43918 0
[pid=27541] ppid=27531 vsize=5356 CPUtime=0
/proc/27541/stat : 27541 (mistral) S 27531 27523 25205 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1993988946 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 257203692356 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/27541/statm: 1339 236 196 169 0 50 0
[pid=27542] ppid=27541 vsize=5528 CPUtime=1645.02
/proc/27542/stat : 27542 (xsolve) R 27541 27523 25205 0 -1 4194304 755 0 0 0 164500 2 0 0 25 0 1 0 1993988946 5660672 719 996147200 134512640 135239763 4294955968 18446744073709551615 135099337 0 4 0 0 0 0 0 17 0 0 0
/proc/27542/statm: 1382 719 416 177 0 285 0
[pid=27531/tid=27532] ppid=27523 vsize=197340 CPUtime=4.68
/proc/27531/task/27532/stat : 27532 (java) S 27523 27523 25205 0 -1 64 3856 0 1 0 462 6 0 0 23 0 10 0 1993988323 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=27531/tid=27533] ppid=27523 vsize=197340 CPUtime=1.19
/proc/27531/task/27533/stat : 27533 (java) S 27523 27523 25205 0 -1 64 8570 0 0 0 107 12 0 0 16 0 10 0 1993988324 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27534] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27534/stat : 27534 (java) S 27523 27523 25205 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993988325 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27535] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27535/stat : 27535 (java) S 27523 27523 25205 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993988325 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27536] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27536/stat : 27536 (java) S 27523 27523 25205 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27537] ppid=27523 vsize=197340 CPUtime=0.22
/proc/27531/task/27537/stat : 27537 (java) S 27523 27523 25205 0 -1 64 642 0 0 0 21 1 0 0 16 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27538] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27538/stat : 27538 (java) S 27523 27523 25205 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27539] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27539/stat : 27539 (java) S 27523 27523 25205 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27531/tid=27540] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27540/stat : 27540 (java) S 27523 27523 25205 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993988946 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.63
Current children cumulated vsize (KiB) 213584
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.96 3/85 27576
/proc/meminfo: memFree=1731560/2055920 swapFree=4180796/4192956
[pid=27523] ppid=27521 vsize=5360 CPUtime=1.48
/proc/27523/stat : 27523 (hydra) S 27521 27523 25205 0 -1 4194304 375 1366 0 0 0 0 147 1 18 0 1 0 1993988171 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27523/statm: 1340 238 196 169 0 51 0
[pid=27531] ppid=27523 vsize=197340 CPUtime=6.13
/proc/27531/stat : 27531 (java) S 27523 27523 25205 0 -1 0 13875 0 1 0 592 21 0 0 18 0 10 0 1993988322 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27531/statm: 49335 9389 2543 9 0 43918 0
[pid=27541] ppid=27531 vsize=5356 CPUtime=0
/proc/27541/stat : 27541 (mistral) S 27531 27523 25205 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1993988946 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 257203692356 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/27541/statm: 1339 236 196 169 0 50 0
[pid=27542] ppid=27541 vsize=5532 CPUtime=1705
/proc/27542/stat : 27542 (xsolve) R 27541 27523 25205 0 -1 4194304 756 0 0 0 170498 2 0 0 25 0 1 0 1993988946 5664768 720 996147200 134512640 135239763 4294955968 18446744073709551615 135034561 0 4 0 0 0 0 0 17 0 0 0
/proc/27542/statm: 1383 720 416 177 0 286 0
[pid=27531/tid=27532] ppid=27523 vsize=197340 CPUtime=4.68
/proc/27531/task/27532/stat : 27532 (java) S 27523 27523 25205 0 -1 64 3856 0 1 0 462 6 0 0 23 0 10 0 1993988323 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=27531/tid=27533] ppid=27523 vsize=197340 CPUtime=1.19
/proc/27531/task/27533/stat : 27533 (java) S 27523 27523 25205 0 -1 64 8570 0 0 0 107 12 0 0 16 0 10 0 1993988324 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27534] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27534/stat : 27534 (java) S 27523 27523 25205 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993988325 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27535] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27535/stat : 27535 (java) S 27523 27523 25205 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993988325 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27536] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27536/stat : 27536 (java) S 27523 27523 25205 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27537] ppid=27523 vsize=197340 CPUtime=0.22
/proc/27531/task/27537/stat : 27537 (java) S 27523 27523 25205 0 -1 64 642 0 0 0 21 1 0 0 16 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27538] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27538/stat : 27538 (java) S 27523 27523 25205 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27539] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27539/stat : 27539 (java) S 27523 27523 25205 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27531/tid=27540] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27540/stat : 27540 (java) S 27523 27523 25205 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993988946 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.61
Current children cumulated vsize (KiB) 213588
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.96 3/85 27576
/proc/meminfo: memFree=1731560/2055920 swapFree=4180796/4192956
[pid=27523] ppid=27521 vsize=5360 CPUtime=1.48
/proc/27523/stat : 27523 (hydra) S 27521 27523 25205 0 -1 4194304 375 1366 0 0 0 0 147 1 18 0 1 0 1993988171 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27523/statm: 1340 238 196 169 0 51 0
[pid=27531] ppid=27523 vsize=197340 CPUtime=6.13
/proc/27531/stat : 27531 (java) S 27523 27523 25205 0 -1 0 13875 0 1 0 592 21 0 0 18 0 10 0 1993988322 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27531/statm: 49335 9389 2543 9 0 43918 0
[pid=27541] ppid=27531 vsize=5356 CPUtime=0
/proc/27541/stat : 27541 (mistral) S 27531 27523 25205 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1993988946 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 257203692356 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/27541/statm: 1339 236 196 169 0 50 0
[pid=27542] ppid=27541 vsize=5532 CPUtime=1764.98
/proc/27542/stat : 27542 (xsolve) R 27541 27523 25205 0 -1 4194304 756 0 0 0 176496 2 0 0 25 0 1 0 1993988946 5664768 720 996147200 134512640 135239763 4294955968 18446744073709551615 135071371 0 4 0 0 0 0 0 17 0 0 0
/proc/27542/statm: 1383 720 416 177 0 286 0
[pid=27531/tid=27532] ppid=27523 vsize=197340 CPUtime=4.68
/proc/27531/task/27532/stat : 27532 (java) S 27523 27523 25205 0 -1 64 3856 0 1 0 462 6 0 0 23 0 10 0 1993988323 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=27531/tid=27533] ppid=27523 vsize=197340 CPUtime=1.19
/proc/27531/task/27533/stat : 27533 (java) S 27523 27523 25205 0 -1 64 8570 0 0 0 107 12 0 0 16 0 10 0 1993988324 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27534] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27534/stat : 27534 (java) S 27523 27523 25205 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993988325 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27535] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27535/stat : 27535 (java) S 27523 27523 25205 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993988325 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27536] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27536/stat : 27536 (java) S 27523 27523 25205 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27537] ppid=27523 vsize=197340 CPUtime=0.22
/proc/27531/task/27537/stat : 27537 (java) S 27523 27523 25205 0 -1 64 642 0 0 0 21 1 0 0 16 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27538] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27538/stat : 27538 (java) S 27523 27523 25205 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27539] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27539/stat : 27539 (java) S 27523 27523 25205 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27531/tid=27540] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27540/stat : 27540 (java) S 27523 27523 25205 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993988946 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.59
Current children cumulated vsize (KiB) 213588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.8 s]
/proc/loadavg: 1.99 1.98 1.96 3/85 27576
/proc/meminfo: memFree=1731560/2055920 swapFree=4180796/4192956
[pid=27523] ppid=27521 vsize=5360 CPUtime=1.48
/proc/27523/stat : 27523 (hydra) S 27521 27523 25205 0 -1 4194304 375 1366 0 0 0 0 147 1 18 0 1 0 1993988171 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27523/statm: 1340 238 196 169 0 51 0
[pid=27531] ppid=27523 vsize=197340 CPUtime=6.13
/proc/27531/stat : 27531 (java) S 27523 27523 25205 0 -1 0 13875 0 1 0 592 21 0 0 18 0 10 0 1993988322 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27531/statm: 49335 9389 2543 9 0 43918 0
[pid=27541] ppid=27531 vsize=5356 CPUtime=0
/proc/27541/stat : 27541 (mistral) S 27531 27523 25205 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1993988946 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 257203692356 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/27541/statm: 1339 236 196 169 0 50 0
[pid=27542] ppid=27541 vsize=5532 CPUtime=1792.47
/proc/27542/stat : 27542 (xsolve) R 27541 27523 25205 0 -1 4194304 756 0 0 0 179245 2 0 0 25 0 1 0 1993988946 5664768 720 996147200 134512640 135239763 4294955968 18446744073709551615 135030786 0 4 0 0 0 0 0 17 0 0 0
/proc/27542/statm: 1383 720 416 177 0 286 0
[pid=27531/tid=27532] ppid=27523 vsize=197340 CPUtime=4.68
/proc/27531/task/27532/stat : 27532 (java) S 27523 27523 25205 0 -1 64 3856 0 1 0 462 6 0 0 23 0 10 0 1993988323 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=27531/tid=27533] ppid=27523 vsize=197340 CPUtime=1.19
/proc/27531/task/27533/stat : 27533 (java) S 27523 27523 25205 0 -1 64 8570 0 0 0 107 12 0 0 16 0 10 0 1993988324 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27534] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27534/stat : 27534 (java) S 27523 27523 25205 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993988325 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27535] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27535/stat : 27535 (java) S 27523 27523 25205 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993988325 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27536] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27536/stat : 27536 (java) S 27523 27523 25205 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27537] ppid=27523 vsize=197340 CPUtime=0.22
/proc/27531/task/27537/stat : 27537 (java) S 27523 27523 25205 0 -1 64 642 0 0 0 21 1 0 0 16 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27538] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27538/stat : 27538 (java) S 27523 27523 25205 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27531/tid=27539] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27539/stat : 27539 (java) S 27523 27523 25205 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1993988327 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27531/tid=27540] ppid=27523 vsize=197340 CPUtime=0
/proc/27531/task/27540/stat : 27540 (java) S 27523 27523 25205 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993988946 202076160 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 213588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27523 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=477775
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=16997
# CPU time returned by wait4() is 1.49477
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1809.83
CPU time (s): 1800.08
CPU user time (s): 1799.84
CPU system time (s): 0.24
CPU usage (%): 99.4613
Max. virtual memory (cumulated for all children) (KiB): 213588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.47778
system time used= 0.016997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1741
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= 42
runsolver used 2.18667 second user time and 6.11807 second system time
The end