0.00/0.00 c cpHydra_k_10 version 0.0
7.48/7.66 c CASE TO CLASSIFY:
7.48/7.66 c Case: 0
7.48/7.66 c 19 > 0.000000 | c 35 > 2.307690 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 22.291600 | c 34 > 3.076920 | c 16 > 6.000000 | c 13 > 7.572340 | c 14 > 11.633900 | c 11 > 7.199670 | c 12 > 7.199740 | c 21 > 6.412550 | c 20 > 100.000000 | c 22 > 7.874010 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.614710 | c 10 > 14.466500 | c 1 > 5.614710 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.184600 | c 6 > 13.533600 | c 32 > -1.000000 | c 5 > 18.604100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.67 c choco : 1801.0
7.48/7.67 c mistral : 1801.0
7.48/7.67 c abscon : 1801.0
7.48/7.67 c
7.48/7.67 c
7.57/7.75 c List of same ones: 10
7.57/7.75 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-80-3-5.xml
7.57/7.75 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.57/7.76 c choco : 48.39
7.57/7.76 c mistral : 0.036993
7.57/7.76 c abscon : 1800.07
7.57/7.76 c
7.57/7.76 c
7.57/7.76 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-80-3-5.xml
7.57/7.76 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.57/7.77 c choco : 23.56
7.57/7.77 c mistral : 0.037993
7.57/7.77 c abscon : 1800.09
7.57/7.77 c
7.57/7.77 c
7.57/7.77 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-80-3-7.xml
7.57/7.77 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.57/7.78 c choco : 3.68
7.57/7.78 c mistral : 0.043992
7.57/7.78 c abscon : 18.5052
7.57/7.78 c
7.57/7.78 c
7.57/7.78 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-60-3-3.xml
7.57/7.78 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.57/7.79 c choco : 2.39
7.57/7.79 c mistral : 0.030994
7.57/7.79 c abscon : 29.2126
7.57/7.79 c
7.57/7.79 c
7.57/7.79 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-60-3-3.xml
7.57/7.79 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.65/7.80 c choco : 17.72
7.65/7.80 c mistral : 0.028994
7.65/7.80 c abscon : 53.3069
7.65/7.80 c
7.65/7.80 c
7.65/7.80 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-20-3-7.xml
7.65/7.80 c 19 > 0.000000 | c 35 > 1.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.000000 | c 15 > 15.737600 | c 34 > 3.000000 | c 16 > 10.000000 | c 13 > 8.055940 | c 14 > 9.823370 | c 11 > 6.643860 | c 12 > 5.108940 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.930740 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.425300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.65/7.81 c choco : 1.79
7.65/7.81 c mistral : 0.023995
7.65/7.81 c abscon : 1800.04
7.65/7.81 c
7.65/7.81 c
7.65/7.81 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-60-3-3.xml
7.65/7.81 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.65/7.82 c choco : 16.72
7.65/7.82 c mistral : 0.029994
7.65/7.82 c abscon : 12.0972
7.65/7.82 c
7.65/7.82 c
7.65/7.82 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-20-3-7.xml
7.65/7.82 c 19 > 0.000000 | c 35 > 1.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.000000 | c 15 > 15.870400 | c 34 > 3.000000 | c 16 > 10.000000 | c 13 > 3.723660 | c 14 > 8.962900 | c 11 > 6.643860 | c 12 > 2.620590 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.643860 | c 10 > 8.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.930740 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.385400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.65/7.82 c choco : 1.77
7.65/7.82 c mistral : 0.022995
7.65/7.82 c abscon : 61.2477
7.65/7.82 c
7.65/7.82 c
7.65/7.83 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-80-3-7.xml
7.65/7.83 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.65/7.83 c choco : 1801.0
7.65/7.83 c mistral : 0.043992
7.65/7.83 c abscon : 101.677
7.65/7.83 c
7.65/7.83 c
7.65/7.83 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-80-3-3.xml
7.65/7.83 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.65/7.84 c choco : 2.05
7.65/7.84 c mistral : 0.034994
7.65/7.84 c abscon : 10.5924
7.65/7.84 c
7.65/7.84 c
7.84/8.03 c Length: 10
7.84/8.03 c 18.568216823058158 19.428694021595998 20.05590773169093 20.22178678480465 20.51185256421272 20.585298535323698 20.891044422527084 21.004178210594194 21.105620520972607 21.633638675491003
7.84/8.03 c
7.84/8.03 c 1.0 0.7808203452594928 0.6732584966148323 0.6495925344100097 0.6119757649337465 0.6031322582288752 0.5689086742914085 0.5572092905947387 0.5471207027395013 0.5
7.84/8.03 c
7.84/8.03 c solver 0
7.84/8.03 c before 0.0 seconds: {} 0
7.84/8.03 c before 18.0 seconds: {6, 9} 1068
7.84/8.03 c before 36.0 seconds: {2, 3, 6, 9} 2391
7.84/8.03 c before 54.0 seconds: {2, 3, 4, 6, 9} 3003
7.84/8.03 c before 72.0 seconds: {2, 3, 4, 6, 7, 9} 3560
7.84/8.03 c before 108.0 seconds: {2, 3, 4, 6, 7, 8, 9} 4108
7.84/8.03 c
7.84/8.03 c solver 1
7.84/8.04 c before 0.0 seconds: {} 0
7.84/8.04 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6492
7.84/8.04 c
7.84/8.04 c solver 2
7.84/8.04 c before 0.0 seconds: {} 0
7.84/8.04 c before 18.0 seconds: {2, 3, 4, 5, 6, 7, 9} 4164
7.84/8.04 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 9} 4944
7.84/8.04 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 5944
7.84/8.04 c
7.84/8.04 cTotal time: 10
7.84/8.04 c 180.0 seconds unused
7.84/8.04 c 0 c 0 c 1
7.84/8.04 c 3 c 0 c 1
7.84/8.04 c 3 c 0 c 0
7.84/8.04 c is solver0 dominated by:
7.84/8.04 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.84/8.04 c is dominated? true
7.84/8.04 c
7.84/8.04 c is solver1 dominated by:
7.84/8.04 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.84/8.04 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.84/8.04 c is dominated? false
7.84/8.04 c
7.84/8.04 c is solver2 dominated by:
7.84/8.04 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.84/8.04 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.84/8.04 c is dominated? true
7.84/8.04 c
7.84/8.04 c Number of non-dominated solvers: 1
7.84/8.04 c remove dominated solvers
7.84/8.04 c solver 1 is not dominated by another solver
7.84/8.04 c solver 2 is dominated by another solver
7.84/8.04 c solver 0 is dominated by another solver
7.84/8.04 c
7.84/8.04 c solver 0: 0.0
7.84/8.04 c
7.84/8.04 c solver 1: 18.0
7.84/8.04 c
7.84/8.04 c+ 1/1 of 99
7.84/8.04 c
7.84/8.04 c solver 2: 0.0
7.84/8.04 c do not run abscon
7.84/8.04 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6492
7.84/8.04 c do not run choco
7.84/8.04 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.84/8.04 c On Instance: HOME/instance-1064307-1215140506.xml
7.84/8.04 c Running for: 1800 seconds
297.35/300.40 c mistral-prime version 1.313
297.35/300.40 s SATISFIABLE
297.35/300.40 v 61 60 0 50 1 0 46 1 0 54 1 11 23 0 33 35 1 44 0 1 11 0 1 50 11 1 47 22 1 18 56 0 18 54 0 0 41 0 0 28 0 44 22 1 47 37 0 10 41 0 16 23 0 58 0 0 10 50 1 51 57 1 30 23 0 59 30 0 40 55 0 31 57 1 56 39 1 18 23 1 40 39 0 40 35 0 50 30 0 11 26 0 13 41 0 47 39 1 47 44 0 58 4 0 0 59 1 40 52 0 18 30 0 18 51 1 52 44 0 20 0 1 0 5 1 50 0 0 44 40 1 29 35 0 40 48 1 0 43 0 31 0 0 0 0 1 55 46 0
297.35/300.40 d CHECKS 972831197
297.35/300.40 d ASSIGNMENTS 1202370
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064307-1215140506/watcher-1064307-1215140506 -o /tmp/evaluation-result-1064307-1215140506/solver-1064307-1215140506 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1064307-1215140506.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.00 2.00 2.00 4/81 15628
/proc/meminfo: memFree=1675040/2055920 swapFree=4180240/4192956
[pid=15628] ppid=15626 vsize=5360 CPUtime=0
/proc/15628/stat : 15628 (hydra) R 15626 15628 14372 0 -1 4194304 312 247 0 0 0 0 0 0 22 0 1 0 1993022588 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577473183 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15628/statm: 1340 236 195 169 0 51 0
[pid=15631] ppid=15628 vsize=5360 CPUtime=0
/proc/15631/stat : 15631 (hydra) R 15628 15628 14372 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 1 0 1993022590 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577473183 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15631/statm: 1340 236 195 169 0 51 0
[startup+0.095002 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 15628
/proc/meminfo: memFree=1675040/2055920 swapFree=4180240/4192956
[pid=15628] ppid=15626 vsize=5360 CPUtime=0
/proc/15628/stat : 15628 (hydra) S 15626 15628 14372 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1993022588 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15628/statm: 1340 236 195 169 0 51 0
[pid=15631] ppid=15628 vsize=9240 CPUtime=0.07
/proc/15631/stat : 15631 (xsolve) R 15628 15628 14372 0 -1 4194304 1631 0 0 0 7 0 0 0 18 0 1 0 1993022590 9461760 1590 996147200 134512640 135239763 4294956176 18446744073709551615 8351718 0 0 4096 0 0 0 0 17 1 0 0
/proc/15631/statm: 2310 1590 380 177 0 1213 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14600
[startup+0.100995 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 15628
/proc/meminfo: memFree=1675040/2055920 swapFree=4180240/4192956
[pid=15628] ppid=15626 vsize=5360 CPUtime=0
/proc/15628/stat : 15628 (hydra) S 15626 15628 14372 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1993022588 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15628/statm: 1340 236 195 169 0 51 0
[pid=15631] ppid=15628 vsize=9636 CPUtime=0.07
/proc/15631/stat : 15631 (xsolve) R 15628 15628 14372 0 -1 4194304 1721 0 0 0 7 0 0 0 18 0 1 0 1993022590 9867264 1680 996147200 134512640 135239763 4294956176 18446744073709551615 134617963 0 0 4096 0 0 0 0 17 1 0 0
/proc/15631/statm: 2409 1680 380 177 0 1312 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14996
[startup+0.301036 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 15628
/proc/meminfo: memFree=1675040/2055920 swapFree=4180240/4192956
[pid=15628] ppid=15626 vsize=5360 CPUtime=0
/proc/15628/stat : 15628 (hydra) S 15626 15628 14372 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1993022588 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15628/statm: 1340 236 195 169 0 51 0
[pid=15631] ppid=15628 vsize=25892 CPUtime=0.28
/proc/15631/stat : 15631 (xsolve) R 15628 15628 14372 0 -1 4194304 5802 0 0 0 26 2 0 0 19 0 1 0 1993022590 26513408 5728 996147200 134512640 135239763 4294956176 18446744073709551615 135097609 0 0 4096 0 0 0 0 17 1 0 0
/proc/15631/statm: 6473 5728 436 177 0 5376 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 31252
[startup+0.701102 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 15628
/proc/meminfo: memFree=1675040/2055920 swapFree=4180240/4192956
[pid=15628] ppid=15626 vsize=5360 CPUtime=0
/proc/15628/stat : 15628 (hydra) S 15626 15628 14372 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1993022588 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15628/statm: 1340 236 195 169 0 51 0
[pid=15631] ppid=15628 vsize=25892 CPUtime=0.68
/proc/15631/stat : 15631 (xsolve) R 15628 15628 14372 0 -1 4194304 5804 0 0 0 66 2 0 0 23 0 1 0 1993022590 26513408 5730 996147200 134512640 135239763 4294956176 18446744073709551615 134801981 0 0 4096 0 0 0 0 17 1 0 0
/proc/15631/statm: 6473 5730 436 177 0 5376 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 31252
[startup+1.50124 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15632
/proc/meminfo: memFree=1653392/2055920 swapFree=4180240/4192956
[pid=15628] ppid=15626 vsize=5360 CPUtime=0
/proc/15628/stat : 15628 (hydra) S 15626 15628 14372 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1993022588 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15628/statm: 1340 236 195 169 0 51 0
[pid=15631] ppid=15628 vsize=25892 CPUtime=1.46
/proc/15631/stat : 15631 (xsolve) R 15628 15628 14372 0 -1 4194304 5804 0 0 0 144 2 0 0 25 0 1 0 1993022590 26513408 5730 996147200 134512640 135239763 4294956176 18446744073709551615 134803786 0 0 4096 0 0 0 0 17 1 0 0
/proc/15631/statm: 6473 5730 436 177 0 5376 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 31252
[startup+3.1025 s]
/proc/loadavg: 2.00 2.00 2.00 4/91 15644
/proc/meminfo: memFree=1668496/2055920 swapFree=4180240/4192956
[pid=15628] ppid=15626 vsize=5360 CPUtime=1.69
/proc/15628/stat : 15628 (hydra) S 15626 15628 14372 0 -1 4194304 375 6399 0 0 0 0 166 3 18 0 1 0 1993022588 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15628/statm: 1340 238 196 169 0 51 0
[pid=15636] ppid=15628 vsize=196996 CPUtime=1.34
/proc/15636/stat : 15636 (java) S 15628 15628 14372 0 -1 0 4798 0 1 0 129 5 0 0 18 0 9 0 1993022762 201723904 4038 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15636/statm: 49249 4038 1677 9 0 43832 0
[pid=15636/tid=15637] ppid=15628 vsize=196996 CPUtime=1.08
/proc/15636/task/15637/stat : 15637 (java) R 15628 15628 14372 0 -1 64 2685 0 1 0 106 2 0 0 25 0 9 0 1993022763 201723904 4038 996147200 134512640 134550740 4294955968 18446744073709551615 4126374548 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15638] ppid=15628 vsize=196996 CPUtime=0.09
/proc/15636/task/15638/stat : 15638 (java) S 15628 15628 14372 0 -1 64 784 0 0 0 8 1 0 0 16 0 9 0 1993022764 201723904 4038 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15639] ppid=15628 vsize=196996 CPUtime=0
/proc/15636/task/15639/stat : 15639 (java) S 15628 15628 14372 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993022764 201723904 4038 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15640] ppid=15628 vsize=196996 CPUtime=0
/proc/15636/task/15640/stat : 15640 (java) S 15628 15628 14372 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1993022764 201723904 4038 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15641] ppid=15628 vsize=196996 CPUtime=0
/proc/15636/task/15641/stat : 15641 (java) S 15628 15628 14372 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1993022767 201723904 4038 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15642] ppid=15628 vsize=196996 CPUtime=0.13
/proc/15636/task/15642/stat : 15642 (java) S 15628 15628 14372 0 -1 64 605 0 0 0 13 0 0 0 16 0 9 0 1993022767 201723904 4038 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15643] ppid=15628 vsize=196996 CPUtime=0
/proc/15636/task/15643/stat : 15643 (java) S 15628 15628 14372 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1993022767 201723904 4038 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15644] ppid=15628 vsize=196996 CPUtime=0
/proc/15636/task/15644/stat : 15644 (java) S 15628 15628 14372 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1993022767 201723904 4038 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 202356
[startup+6.30204 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 15644
/proc/meminfo: memFree=1655952/2055920 swapFree=4180240/4192956
[pid=15628] ppid=15626 vsize=5360 CPUtime=1.69
/proc/15628/stat : 15628 (hydra) S 15626 15628 14372 0 -1 4194304 375 6399 0 0 0 0 166 3 18 0 1 0 1993022588 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15628/statm: 1340 238 196 169 0 51 0
[pid=15636] ppid=15628 vsize=197108 CPUtime=4.5
/proc/15636/stat : 15636 (java) S 15628 15628 14372 0 -1 0 9646 0 1 0 438 12 0 0 18 0 9 0 1993022762 201838592 7994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15636/statm: 49277 7994 2540 9 0 43860 0
[pid=15636/tid=15637] ppid=15628 vsize=197108 CPUtime=3.58
/proc/15636/task/15637/stat : 15637 (java) R 15628 15628 14372 0 -1 64 3493 0 1 0 354 4 0 0 25 0 9 0 1993022763 201838592 7994 996147200 134512640 134550740 4294955968 18446744073709551615 4126435548 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15638] ppid=15628 vsize=197108 CPUtime=0.72
/proc/15636/task/15638/stat : 15638 (java) S 15628 15628 14372 0 -1 64 4800 0 0 0 65 7 0 0 16 0 9 0 1993022764 201838592 7994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15639] ppid=15628 vsize=197108 CPUtime=0
/proc/15636/task/15639/stat : 15639 (java) S 15628 15628 14372 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993022764 201838592 7994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15640] ppid=15628 vsize=197108 CPUtime=0
/proc/15636/task/15640/stat : 15640 (java) S 15628 15628 14372 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1993022764 201838592 7994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15641] ppid=15628 vsize=197108 CPUtime=0
/proc/15636/task/15641/stat : 15641 (java) S 15628 15628 14372 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1993022767 201838592 7994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15642] ppid=15628 vsize=197108 CPUtime=0.17
/proc/15636/task/15642/stat : 15642 (java) S 15628 15628 14372 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 1993022767 201838592 7994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15643] ppid=15628 vsize=197108 CPUtime=0
/proc/15636/task/15643/stat : 15643 (java) S 15628 15628 14372 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1993022767 201838592 7994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15644] ppid=15628 vsize=197108 CPUtime=0
/proc/15636/task/15644/stat : 15644 (java) S 15628 15628 14372 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1993022767 201838592 7994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 202468
[startup+12.7021 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 15647
/proc/meminfo: memFree=1625208/2055920 swapFree=4180240/4192956
[pid=15628] ppid=15626 vsize=5360 CPUtime=1.69
/proc/15628/stat : 15628 (hydra) S 15626 15628 14372 0 -1 4194304 375 6399 0 0 0 0 166 3 18 0 1 0 1993022588 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15628/statm: 1340 238 196 169 0 51 0
[pid=15636] ppid=15628 vsize=197432 CPUtime=6.2
/proc/15636/stat : 15636 (java) S 15628 15628 14372 0 -1 0 13878 0 1 0 603 17 0 0 18 0 10 0 1993022762 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15636/statm: 49358 9393 2543 9 0 43941 0
[pid=15646] ppid=15636 vsize=5356 CPUtime=0
/proc/15646/stat : 15646 (mistral) S 15636 15628 14372 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1993023393 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15646/statm: 1339 236 196 169 0 50 0
[pid=15647] ppid=15646 vsize=25892 CPUtime=4.59
/proc/15647/stat : 15647 (xsolve) R 15646 15628 14372 0 -1 4194304 5788 0 0 0 456 3 0 0 25 0 1 0 1993023394 26513408 5719 996147200 134512640 135239763 4294955968 18446744073709551615 134829696 0 4 0 0 0 0 0 17 1 0 0
/proc/15647/statm: 6473 5719 419 177 0 5376 0
[pid=15636/tid=15637] ppid=15628 vsize=197432 CPUtime=4.86
/proc/15636/task/15637/stat : 15637 (java) S 15628 15628 14372 0 -1 64 3855 0 1 0 481 5 0 0 23 0 10 0 1993022763 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15636/tid=15638] ppid=15628 vsize=197432 CPUtime=1.11
/proc/15636/task/15638/stat : 15638 (java) S 15628 15628 14372 0 -1 64 8571 0 0 0 101 10 0 0 16 0 10 0 1993022764 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15639] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15639/stat : 15639 (java) S 15628 15628 14372 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993022764 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15640] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15640/stat : 15640 (java) S 15628 15628 14372 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993022764 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15641] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15641/stat : 15641 (java) S 15628 15628 14372 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15642] ppid=15628 vsize=197432 CPUtime=0.2
/proc/15636/task/15642/stat : 15642 (java) S 15628 15628 14372 0 -1 64 647 0 0 0 20 0 0 0 16 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15643] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15643/stat : 15643 (java) S 15628 15628 14372 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15644] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15644/stat : 15644 (java) S 15628 15628 14372 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15645] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15645/stat : 15645 (java) S 15628 15628 14372 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1993023393 202170368 9393 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) 234040
[startup+25.5013 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 15647
/proc/meminfo: memFree=1625272/2055920 swapFree=4180240/4192956
[pid=15628] ppid=15626 vsize=5360 CPUtime=1.69
/proc/15628/stat : 15628 (hydra) S 15626 15628 14372 0 -1 4194304 375 6399 0 0 0 0 166 3 18 0 1 0 1993022588 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15628/statm: 1340 238 196 169 0 51 0
[pid=15636] ppid=15628 vsize=197432 CPUtime=6.2
/proc/15636/stat : 15636 (java) S 15628 15628 14372 0 -1 0 13878 0 1 0 603 17 0 0 18 0 10 0 1993022762 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15636/statm: 49358 9393 2543 9 0 43941 0
[pid=15646] ppid=15636 vsize=5356 CPUtime=0
/proc/15646/stat : 15646 (mistral) S 15636 15628 14372 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1993023393 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15646/statm: 1339 236 196 169 0 50 0
[pid=15647] ppid=15646 vsize=25892 CPUtime=17.26
/proc/15647/stat : 15647 (xsolve) R 15646 15628 14372 0 -1 4194304 5788 0 0 0 1723 3 0 0 25 0 1 0 1993023394 26513408 5719 996147200 134512640 135239763 4294955968 18446744073709551615 135067163 0 4 0 0 0 0 0 17 1 0 0
/proc/15647/statm: 6473 5719 419 177 0 5376 0
[pid=15636/tid=15637] ppid=15628 vsize=197432 CPUtime=4.86
/proc/15636/task/15637/stat : 15637 (java) S 15628 15628 14372 0 -1 64 3855 0 1 0 481 5 0 0 23 0 10 0 1993022763 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15636/tid=15638] ppid=15628 vsize=197432 CPUtime=1.11
/proc/15636/task/15638/stat : 15638 (java) S 15628 15628 14372 0 -1 64 8571 0 0 0 101 10 0 0 16 0 10 0 1993022764 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15639] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15639/stat : 15639 (java) S 15628 15628 14372 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993022764 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15640] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15640/stat : 15640 (java) S 15628 15628 14372 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993022764 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15641] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15641/stat : 15641 (java) S 15628 15628 14372 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/94 15647
/proc/meminfo: memFree=1625080/2055920 swapFree=4180240/4192956
[pid=15628] ppid=15626 vsize=5360 CPUtime=1.69
/proc/15628/stat : 15628 (hydra) S 15626 15628 14372 0 -1 4194304 375 6399 0 0 0 0 166 3 18 0 1 0 1993022588 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15628/statm: 1340 238 196 169 0 51 0
[pid=15636] ppid=15628 vsize=197432 CPUtime=6.2
/proc/15636/stat : 15636 (java) S 15628 15628 14372 0 -1 0 13878 0 1 0 603 17 0 0 18 0 10 0 1993022762 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15636/statm: 49358 9393 2543 9 0 43941 0
[pid=15646] ppid=15636 vsize=5356 CPUtime=0
/proc/15646/stat : 15646 (mistral) S 15636 15628 14372 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1993023393 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15646/statm: 1339 236 196 169 0 50 0
[pid=15647] ppid=15646 vsize=25892 CPUtime=286.68
/proc/15647/stat : 15647 (xsolve) R 15646 15628 14372 0 -1 4194304 5791 0 0 0 28664 4 0 0 25 0 1 0 1993023394 26513408 5722 996147200 134512640 135239763 4294955968 18446744073709551615 135067226 0 4 0 0 0 0 0 17 1 0 0
/proc/15647/statm: 6473 5722 419 177 0 5376 0
[pid=15636/tid=15637] ppid=15628 vsize=197432 CPUtime=4.86
/proc/15636/task/15637/stat : 15637 (java) S 15628 15628 14372 0 -1 64 3855 0 1 0 481 5 0 0 23 0 10 0 1993022763 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15636/tid=15638] ppid=15628 vsize=197432 CPUtime=1.11
/proc/15636/task/15638/stat : 15638 (java) S 15628 15628 14372 0 -1 64 8571 0 0 0 101 10 0 0 16 0 10 0 1993022764 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15639] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15639/stat : 15639 (java) S 15628 15628 14372 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993022764 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15640] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15640/stat : 15640 (java) S 15628 15628 14372 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993022764 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15641] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15641/stat : 15641 (java) S 15628 15628 14372 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15642] ppid=15628 vsize=197432 CPUtime=0.2
/proc/15636/task/15642/stat : 15642 (java) S 15628 15628 14372 0 -1 64 647 0 0 0 20 0 0 0 16 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15643] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15643/stat : 15643 (java) S 15628 15628 14372 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15644] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15644/stat : 15644 (java) S 15628 15628 14372 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15645] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15645/stat : 15645 (java) S 15628 15628 14372 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1993023393 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 294.57
Current children cumulated vsize (KiB) 234040
[startup+299.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 15647
/proc/meminfo: memFree=1625080/2055920 swapFree=4180240/4192956
[pid=15628] ppid=15626 vsize=5360 CPUtime=1.69
/proc/15628/stat : 15628 (hydra) S 15626 15628 14372 0 -1 4194304 375 6399 0 0 0 0 166 3 18 0 1 0 1993022588 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15628/statm: 1340 238 196 169 0 51 0
[pid=15636] ppid=15628 vsize=197432 CPUtime=6.2
/proc/15636/stat : 15636 (java) S 15628 15628 14372 0 -1 0 13878 0 1 0 603 17 0 0 18 0 10 0 1993022762 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15636/statm: 49358 9393 2543 9 0 43941 0
[pid=15646] ppid=15636 vsize=5356 CPUtime=0
/proc/15646/stat : 15646 (mistral) S 15636 15628 14372 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1993023393 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15646/statm: 1339 236 196 169 0 50 0
[pid=15647] ppid=15646 vsize=25892 CPUtime=288.27
/proc/15647/stat : 15647 (xsolve) R 15646 15628 14372 0 -1 4194304 5791 0 0 0 28823 4 0 0 25 0 1 0 1993023394 26513408 5722 996147200 134512640 135239763 4294955968 18446744073709551615 134820690 0 4 0 0 0 0 0 17 1 0 0
/proc/15647/statm: 6473 5722 419 177 0 5376 0
[pid=15636/tid=15637] ppid=15628 vsize=197432 CPUtime=4.86
/proc/15636/task/15637/stat : 15637 (java) S 15628 15628 14372 0 -1 64 3855 0 1 0 481 5 0 0 23 0 10 0 1993022763 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15636/tid=15638] ppid=15628 vsize=197432 CPUtime=1.11
/proc/15636/task/15638/stat : 15638 (java) S 15628 15628 14372 0 -1 64 8571 0 0 0 101 10 0 0 16 0 10 0 1993022764 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15639] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15639/stat : 15639 (java) S 15628 15628 14372 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993022764 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15640] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15640/stat : 15640 (java) S 15628 15628 14372 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993022764 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15641] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15641/stat : 15641 (java) S 15628 15628 14372 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15642] ppid=15628 vsize=197432 CPUtime=0.2
/proc/15636/task/15642/stat : 15642 (java) S 15628 15628 14372 0 -1 64 647 0 0 0 20 0 0 0 16 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15643] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15643/stat : 15643 (java) S 15628 15628 14372 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15644] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15644/stat : 15644 (java) R 15628 15628 14372 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15645] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15645/stat : 15645 (java) S 15628 15628 14372 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1993023393 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 296.16
Current children cumulated vsize (KiB) 234040
[startup+299.902 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 15647
/proc/meminfo: memFree=1625080/2055920 swapFree=4180240/4192956
[pid=15628] ppid=15626 vsize=5360 CPUtime=1.69
/proc/15628/stat : 15628 (hydra) S 15626 15628 14372 0 -1 4194304 375 6399 0 0 0 0 166 3 18 0 1 0 1993022588 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15628/statm: 1340 238 196 169 0 51 0
[pid=15636] ppid=15628 vsize=197432 CPUtime=6.2
/proc/15636/stat : 15636 (java) S 15628 15628 14372 0 -1 0 13878 0 1 0 603 17 0 0 18 0 10 0 1993022762 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15636/statm: 49358 9393 2543 9 0 43941 0
[pid=15646] ppid=15636 vsize=5356 CPUtime=0
/proc/15646/stat : 15646 (mistral) S 15636 15628 14372 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1993023393 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15646/statm: 1339 236 196 169 0 50 0
[pid=15647] ppid=15646 vsize=25892 CPUtime=289.06
/proc/15647/stat : 15647 (xsolve) R 15646 15628 14372 0 -1 4194304 5791 0 0 0 28902 4 0 0 25 0 1 0 1993023394 26513408 5722 996147200 134512640 135239763 4294955968 18446744073709551615 135100989 0 4 0 0 0 0 0 17 1 0 0
/proc/15647/statm: 6473 5722 419 177 0 5376 0
[pid=15636/tid=15637] ppid=15628 vsize=197432 CPUtime=4.86
/proc/15636/task/15637/stat : 15637 (java) S 15628 15628 14372 0 -1 64 3855 0 1 0 481 5 0 0 23 0 10 0 1993022763 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15636/tid=15638] ppid=15628 vsize=197432 CPUtime=1.11
/proc/15636/task/15638/stat : 15638 (java) S 15628 15628 14372 0 -1 64 8571 0 0 0 101 10 0 0 16 0 10 0 1993022764 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15639] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15639/stat : 15639 (java) S 15628 15628 14372 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993022764 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15640] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15640/stat : 15640 (java) S 15628 15628 14372 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993022764 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15641] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15641/stat : 15641 (java) S 15628 15628 14372 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15642] ppid=15628 vsize=197432 CPUtime=0.2
/proc/15636/task/15642/stat : 15642 (java) S 15628 15628 14372 0 -1 64 647 0 0 0 20 0 0 0 16 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15643] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15643/stat : 15643 (java) S 15628 15628 14372 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15644] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15644/stat : 15644 (java) S 15628 15628 14372 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15645] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15645/stat : 15645 (java) S 15628 15628 14372 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1993023393 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 296.95
Current children cumulated vsize (KiB) 234040
[startup+300.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 15647
/proc/meminfo: memFree=1625080/2055920 swapFree=4180240/4192956
[pid=15628] ppid=15626 vsize=5360 CPUtime=1.69
/proc/15628/stat : 15628 (hydra) S 15626 15628 14372 0 -1 4194304 375 6399 0 0 0 0 166 3 18 0 1 0 1993022588 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15628/statm: 1340 238 196 169 0 51 0
[pid=15636] ppid=15628 vsize=197432 CPUtime=6.2
/proc/15636/stat : 15636 (java) S 15628 15628 14372 0 -1 0 13878 0 1 0 603 17 0 0 18 0 10 0 1993022762 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15636/statm: 49358 9393 2543 9 0 43941 0
[pid=15646] ppid=15636 vsize=5356 CPUtime=0
/proc/15646/stat : 15646 (mistral) S 15636 15628 14372 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1993023393 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15646/statm: 1339 236 196 169 0 50 0
[pid=15647] ppid=15646 vsize=25892 CPUtime=289.46
/proc/15647/stat : 15647 (xsolve) R 15646 15628 14372 0 -1 4194304 5793 0 0 0 28942 4 0 0 25 0 1 0 1993023394 26513408 5724 996147200 134512640 135239763 4294955968 18446744073709551615 135100993 0 4 0 0 0 0 0 17 1 0 0
/proc/15647/statm: 6473 5724 419 177 0 5376 0
[pid=15636/tid=15637] ppid=15628 vsize=197432 CPUtime=4.86
/proc/15636/task/15637/stat : 15637 (java) S 15628 15628 14372 0 -1 64 3855 0 1 0 481 5 0 0 23 0 10 0 1993022763 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15636/tid=15638] ppid=15628 vsize=197432 CPUtime=1.11
/proc/15636/task/15638/stat : 15638 (java) S 15628 15628 14372 0 -1 64 8571 0 0 0 101 10 0 0 16 0 10 0 1993022764 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15639] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15639/stat : 15639 (java) S 15628 15628 14372 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993022764 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15640] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15640/stat : 15640 (java) S 15628 15628 14372 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993022764 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15641] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15641/stat : 15641 (java) S 15628 15628 14372 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15642] ppid=15628 vsize=197432 CPUtime=0.2
/proc/15636/task/15642/stat : 15642 (java) S 15628 15628 14372 0 -1 64 647 0 0 0 20 0 0 0 16 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15643] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15643/stat : 15643 (java) S 15628 15628 14372 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15644] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15644/stat : 15644 (java) S 15628 15628 14372 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 1993022767 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15645] ppid=15628 vsize=197432 CPUtime=0
/proc/15636/task/15645/stat : 15645 (java) S 15628 15628 14372 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1993023393 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 297.35
Current children cumulated vsize (KiB) 234040
[startup+300.402 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 15647
/proc/meminfo: memFree=1625080/2055920 swapFree=4180240/4192956
[pid=15628] ppid=15626 vsize=5360 CPUtime=1.69
/proc/15628/stat : 15628 (hydra) S 15626 15628 14372 0 -1 4194304 375 6399 0 0 0 0 166 3 18 0 1 0 1993022588 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15628/statm: 1340 238 196 169 0 51 0
[pid=15636] ppid=15628 vsize=197432 CPUtime=295.75
/proc/15636/stat : 15636 (java) S 15628 15628 14372 0 -1 0 13944 6107 1 0 603 17 28950 5 18 0 9 0 1993022762 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15636/statm: 49358 9395 2544 9 0 43941 0
[pid=15636/tid=15637] ppid=15628 vsize=197432 CPUtime=294.41
/proc/15636/task/15637/stat : 15637 (java) S 15628 15628 14372 0 -1 64 3902 6107 1 0 481 5 28950 5 16 0 9 0 1993022763 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15638] ppid=15628 vsize=197432 CPUtime=290.66
/proc/15636/task/15638/stat : 15638 (java) S 15628 15628 14372 0 -1 64 8582 6107 0 0 101 10 28950 5 16 0 9 0 1993022764 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15639] ppid=15628 vsize=197432 CPUtime=289.55
/proc/15636/task/15639/stat : 15639 (java) S 15628 15628 14372 0 -1 64 11 6107 0 0 0 0 28950 5 16 0 9 0 1993022764 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15640] ppid=15628 vsize=197432 CPUtime=289.55
/proc/15636/task/15640/stat : 15640 (java) S 15628 15628 14372 0 -1 64 5 6107 0 0 0 0 28950 5 15 0 9 0 1993022764 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15641] ppid=15628 vsize=197432 CPUtime=289.55
/proc/15636/task/15641/stat : 15641 (java) S 15628 15628 14372 0 -1 64 1 6107 0 0 0 0 28950 5 18 0 9 0 1993022767 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15642] ppid=15628 vsize=197432 CPUtime=289.75
/proc/15636/task/15642/stat : 15642 (java) S 15628 15628 14372 0 -1 64 647 6107 0 0 20 0 28950 5 16 0 9 0 1993022767 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15643] ppid=15628 vsize=197432 CPUtime=289.55
/proc/15636/task/15643/stat : 15643 (java) S 15628 15628 14372 0 -1 64 0 6107 0 0 0 0 28950 5 19 0 9 0 1993022767 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15636/tid=15644] ppid=15628 vsize=197432 CPUtime=289.55
/proc/15636/task/15644/stat : 15644 (java) S 15628 15628 14372 0 -1 64 10 6107 0 0 0 0 28950 5 15 0 9 0 1993022767 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 297.44
Current children cumulated vsize (KiB) 202792
Child status: 0
Real time (s): 300.415
CPU time (s): 297.475
CPU user time (s): 297.204
CPU system time (s): 0.270958
CPU usage (%): 99.0211
Max. virtual memory (cumulated for all children) (KiB): 234040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 297.204
system time used= 0.270958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26862
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14841
involuntary context switches= 22304
runsolver used 0.341948 second user time and 1.08283 second system time
The end