0.00/0.00 c cpHydra_k_10 version 0.0
6.81/6.93 c CASE TO CLASSIFY:
6.81/6.93 c Case: 0
6.81/6.93 c 19 > 0.000000 | c 35 > 55.714300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.714300 | c 15 > 21.919100 | c 34 > 168.571000 | c 16 > 6.000000 | c 13 > 6.685200 | c 14 > 11.673300 | c 11 > 12.444800 | c 12 > 4.059690 | c 21 > 4.379710 | c 20 > 100.000000 | c 22 > 6.403120 | 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 > 5.643860 | c 10 > 12.514200 | c 1 > 4.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.258600 | c 6 > 11.574600 | c 32 > -1.000000 | c 5 > 15.760900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.81/6.94 c choco : 1801.0
6.81/6.94 c mistral : 1801.0
6.81/6.94 c abscon : 1801.0
6.81/6.94 c
6.81/6.94 c
6.90/7.01 c List of same ones: 10
6.90/7.01 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-42.xml
6.90/7.01 c 19 > 0.000000 | c 35 > 55.781200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.781200 | c 34 > 167.344000 | c 16 > 15.000000 | c 13 > 0.268520 | c 14 > 6.906890 | c 11 > 10.124100 | c 12 > 0.492428 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | 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 > 7.169930 | c 10 > 10.016800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.721100 | c 6 > 9.103290 | c 32 > -1.000000 | c 5 > 12.115700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.90/7.02 c choco : 12.29
6.90/7.02 c mistral : 0.08
6.90/7.02 c abscon : 41.84
6.90/7.02 c
6.90/7.02 c
6.90/7.02 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-30.xml
6.90/7.02 c 19 > 0.000000 | c 35 > 57.031200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.342900 | c 34 > 171.094000 | c 16 > 14.000000 | c 13 > 0.068618 | c 14 > 6.727920 | c 11 > 10.209500 | c 12 > 0.407095 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | 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 > 7.169930 | c 10 > 10.108500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.832890 | c 6 > 9.189820 | c 32 > -1.000000 | c 5 > 12.220100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.90/7.03 c choco : 51.8
6.90/7.03 c mistral : 0.09
6.90/7.03 c abscon : 4.82
6.90/7.03 c
6.90/7.03 c
6.90/7.03 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-24.xml
6.90/7.03 c 19 > 0.000000 | c 35 > 55.468800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.111500 | c 34 > 166.406000 | c 16 > 14.000000 | c 13 > -0.023684 | c 14 > 6.392320 | c 11 > 10.116300 | c 12 > 0.391451 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | 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 > 7.169930 | c 10 > 10.007000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.714250 | c 6 > 9.092760 | c 32 > -1.000000 | c 5 > 12.101300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.90/7.04 c choco : 34.67
6.90/7.04 c mistral : 0.07
6.90/7.04 c abscon : 28.95
6.90/7.04 c
6.90/7.04 c
6.90/7.04 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-35.xml
6.90/7.04 c 19 > 0.000000 | c 35 > 56.718800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.536700 | c 34 > 170.156000 | c 16 > 17.000000 | c 13 > 0.146494 | c 14 > 7.066090 | c 11 > 10.434600 | c 12 > 0.388739 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | 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 > 7.491850 | c 10 > 10.308300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.071460 | c 6 > 9.379380 | c 32 > -1.000000 | c 5 > 12.535800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.90/7.05 c choco : 10.61
6.90/7.05 c mistral : 0.11
6.90/7.05 c abscon : 5.1
6.90/7.05 c
6.90/7.05 c
6.90/7.05 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-31.xml
6.90/7.05 c 19 > 0.000000 | c 35 > 55.937500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.514200 | c 34 > 167.812000 | c 16 > 17.000000 | c 13 > 0.274392 | c 14 > 6.741470 | c 11 > 10.238400 | c 12 > 0.459432 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | 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 > 7.159870 | c 10 > 10.139600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.876520 | c 6 > 9.216750 | c 32 > -1.000000 | c 5 > 12.308100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.90/7.06 c choco : 13.02
6.90/7.06 c mistral : 0.1
6.90/7.06 c abscon : 6.04
6.90/7.06 c
6.90/7.06 c
6.90/7.06 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-15.xml
6.90/7.06 c 19 > 0.000000 | c 35 > 56.093800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.860100 | c 34 > 168.281000 | c 16 > 18.000000 | c 13 > 0.204628 | c 14 > 7.199670 | c 11 > 10.430500 | c 12 > 0.419734 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | 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 > 7.491850 | c 10 > 10.303800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.066090 | c 6 > 9.375040 | c 32 > -1.000000 | c 5 > 12.537700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.90/7.06 c choco : 10.9
6.90/7.06 c mistral : 0.11
6.90/7.06 c abscon : 6.3
6.90/7.06 c
6.90/7.06 c
6.90/7.06 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-21.xml
6.90/7.07 c 19 > 1.562500 | c 35 > 54.375000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.713400 | c 34 > 163.125000 | c 16 > 16.000000 | c 13 > 0.609884 | c 14 > 6.820180 | c 11 > 10.189800 | c 12 > 0.494924 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.000000 | 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 > 7.149750 | c 10 > 10.087500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.810570 | c 6 > 9.167420 | c 32 > -1.000000 | c 5 > 12.225200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.90/7.07 c choco : 32.65
6.90/7.07 c mistral : 0.11
6.90/7.07 c abscon : 8.27
6.90/7.07 c
6.90/7.07 c
6.90/7.07 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-29.xml
6.90/7.07 c 19 > 0.000000 | c 35 > 57.343800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.086100 | c 34 > 172.031000 | c 16 > 16.000000 | c 13 > -0.057458 | c 14 > 6.409390 | c 11 > 10.129300 | c 12 > 0.391336 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | 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 > 7.169930 | c 10 > 10.022400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.727920 | c 6 > 9.108520 | c 32 > -1.000000 | c 5 > 12.133500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.90/7.08 c choco : 1801.0
6.90/7.08 c mistral : 0.08
6.90/7.08 c abscon : 32.27
6.90/7.08 c
6.90/7.08 c
6.90/7.08 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-40.xml
6.90/7.08 c 19 > 3.125000 | c 35 > 53.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.167300 | c 34 > 161.250000 | c 16 > 16.000000 | c 13 > 1.878620 | c 14 > 7.098030 | c 11 > 10.182400 | c 12 > 0.749082 | c 21 > 2.000000 | c 20 > 96.875000 | c 22 > 2.000000 | 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 > 0.000000 | c 2 > 7.139550 | c 10 > 10.078200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > 9.154820 | c 32 > -1.000000 | c 5 > 12.221900 | c 31 > -1.000000 | c 4 > 1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.90/7.09 c choco : 17.85
6.90/7.09 c mistral : 0.12
6.90/7.09 c abscon : 6.92
6.90/7.09 c
6.90/7.09 c
6.90/7.09 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-26.xml
6.90/7.09 c 19 > 1.562500 | c 35 > 54.531200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.539600 | c 34 > 163.594000 | c 16 > 17.000000 | c 13 > 0.654081 | c 14 > 6.768180 | c 11 > 10.209500 | c 12 > 0.503074 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.000000 | 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 > 7.149750 | c 10 > 10.107200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.839200 | c 6 > 9.184880 | c 32 > -1.000000 | c 5 > 12.274100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.90/7.10 c choco : 14.45
6.90/7.10 c mistral : 0.08
6.90/7.10 c abscon : 74.2
6.90/7.10 c
6.90/7.10 c
7.07/7.29 c Length: 10
7.07/7.29 c 31.631364159900595 31.634332200843637 31.7723464273725 32.25619770104866 32.28855795658004 32.435712533994376 32.46396724774272 32.490245371519165 32.701440146942524 32.74173210150339
7.07/7.29 c
7.07/7.29 c 1.0 0.9973341013049315 0.8873358821139659 0.6399072111455884 0.6281918857792631 0.5799125084484595 0.5714794120836735 0.5638534564234373 0.5092393924997438 0.5
7.07/7.30 c
7.07/7.30 c solver 0
7.07/7.30 c before 0.0 seconds: {} 0
7.07/7.30 c before 18.0 seconds: {1, 3, 4, 5, 6, 8} 3926
7.07/7.30 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8} 5377
7.17/7.30 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 6377
7.17/7.30 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6877
7.17/7.30 c
7.17/7.30 c solver 1
7.17/7.30 c before 0.0 seconds: {} 0
7.17/7.30 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6877
7.17/7.30 c
7.17/7.30 c solver 2
7.17/7.30 c before 0.0 seconds: {} 0
7.17/7.30 c before 18.0 seconds: {0, 3, 4, 5, 8, 9} 3857
7.17/7.30 c before 36.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9} 5316
7.17/7.30 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6313
7.17/7.30 c
7.17/7.30 cTotal time: 9
7.17/7.30 c 162.0 seconds unused
7.17/7.30 c 0 c 0 c 1
7.17/7.30 c 0 c 0 c 1
7.17/7.30 c 0 c 0 c 0
7.17/7.30 c is solver0 dominated by:
7.17/7.30 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.17/7.30 c is dominated? true
7.17/7.30 c
7.17/7.30 c is solver1 dominated by:
7.17/7.30 c solver 0 (1 solves instances that 0 can't: false) (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.17/7.30 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.17/7.30 c is dominated? false
7.17/7.30 c
7.17/7.30 c is solver2 dominated by:
7.17/7.30 c solver 0 (2 solves instances that 0 can't: false) (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.17/7.30 c is dominated? true
7.17/7.30 c
7.17/7.30 c Number of non-dominated solvers: 1
7.17/7.30 c remove dominated solvers
7.17/7.30 c solver 1 is not dominated by another solver
7.17/7.30 c solver 2 is dominated by another solver
7.17/7.30 c solver 0 is dominated by another solver
7.17/7.30 c
7.17/7.30 c solver 0: 0.0
7.17/7.30 c
7.17/7.30 c solver 1: 18.0
7.17/7.30 c
7.17/7.30 c+ 1/1 of 99
7.17/7.30 c
7.17/7.30 c solver 2: 0.0
7.17/7.31 c do not run abscon
7.17/7.31 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6877
7.17/7.31 c do not run choco
7.17/7.31 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.17/7.31 c On Instance: HOME/instance-1064601-1215142738.xml
7.17/7.31 c Running for: 1800 seconds
53.92/55.40 c mistral-prime version 1.313
53.92/55.40 s SATISFIABLE
53.92/55.40 v 15 40 38 0 0 27 6 1 9 4 1 0 0 0 0 10 1 0 8 1 34 4 0 37 0 0 9 11 0 19 6 1 37 8 1 29 4 0 36 8 0 23 0 1 35 0 0 30 9 0 4 0 1 19 4 1 34 8 0 19 9 1 4 4 1 14 11 1 15 0 1 35 6 1 7 4 0
53.92/55.40 d CHECKS 94414535
53.92/55.40 d ASSIGNMENTS 203502
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064601-1215142738/watcher-1064601-1215142738 -o /tmp/evaluation-result-1064601-1215142738/solver-1064601-1215142738 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1064601-1215142738.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: 4.23 4.77 3.98 3/81 24389
/proc/meminfo: memFree=397564/2055920 swapFree=4146776/4192956
[pid=24389] ppid=24387 vsize=5360 CPUtime=0
/proc/24389/stat : 24389 (hydra) S 24387 24389 21995 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 670003247 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24389/statm: 1340 236 195 169 0 51 0
[pid=24390] ppid=24389 vsize=5360 CPUtime=0
/proc/24390/stat : 24390 (hydra) R 24389 24389 21995 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 670003247 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 256364834087 0 0 4096 0 0 0 0 17 0 0 0
/proc/24390/statm: 1340 239 198 169 0 51 0
[startup+0.072818 s]
/proc/loadavg: 4.23 4.77 3.98 3/81 24389
/proc/meminfo: memFree=397564/2055920 swapFree=4146776/4192956
[pid=24389] ppid=24387 vsize=5360 CPUtime=0
/proc/24389/stat : 24389 (hydra) S 24387 24389 21995 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 670003247 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24389/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102817 s]
/proc/loadavg: 4.23 4.77 3.98 3/81 24389
/proc/meminfo: memFree=397564/2055920 swapFree=4146776/4192956
[pid=24389] ppid=24387 vsize=5360 CPUtime=0
/proc/24389/stat : 24389 (hydra) S 24387 24389 21995 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 670003247 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24389/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301839 s]
/proc/loadavg: 4.23 4.77 3.98 3/81 24389
/proc/meminfo: memFree=397564/2055920 swapFree=4146776/4192956
[pid=24389] ppid=24387 vsize=5360 CPUtime=0
/proc/24389/stat : 24389 (hydra) S 24387 24389 21995 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 670003247 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24389/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.70188 s]
/proc/loadavg: 4.23 4.77 3.98 3/81 24389
/proc/meminfo: memFree=397564/2055920 swapFree=4146776/4192956
[pid=24389] ppid=24387 vsize=5360 CPUtime=0
/proc/24389/stat : 24389 (hydra) S 24387 24389 21995 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 670003247 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24389/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50296 s]
/proc/loadavg: 4.23 4.77 3.98 3/83 24393
/proc/meminfo: memFree=389932/2055920 swapFree=4146776/4192956
[pid=24389] ppid=24387 vsize=5360 CPUtime=0
/proc/24389/stat : 24389 (hydra) S 24387 24389 21995 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 670003247 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24389/statm: 1340 236 195 169 0 51 0
[pid=24393] ppid=24389 vsize=10760 CPUtime=1.46
/proc/24393/stat : 24393 (xsolve) R 24389 24389 21995 0 -1 4194304 2055 0 0 0 144 2 0 0 25 0 1 0 670003248 11018240 2014 996147200 134512640 135239763 4294956176 18446744073709551615 135030867 0 0 4096 0 0 0 0 17 1 0 0
/proc/24393/statm: 2690 2014 436 177 0 1593 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 16120
[startup+3.10113 s]
/proc/loadavg: 4.23 4.77 3.98 3/91 24405
/proc/meminfo: memFree=387820/2055920 swapFree=4146776/4192956
[pid=24389] ppid=24387 vsize=5360 CPUtime=1.53
/proc/24389/stat : 24389 (hydra) S 24387 24389 21995 0 -1 4194304 375 2651 0 0 0 0 151 2 18 0 1 0 670003247 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24389/statm: 1340 238 196 169 0 51 0
[pid=24397] ppid=24389 vsize=197016 CPUtime=1.5
/proc/24397/stat : 24397 (java) S 24389 24389 21995 0 -1 0 6486 0 1 0 145 5 0 0 19 0 9 0 670003405 201744384 5452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24397/statm: 49254 5452 2540 9 0 43837 0
[pid=24397/tid=24398] ppid=24389 vsize=197016 CPUtime=1.14
/proc/24397/task/24398/stat : 24398 (java) R 24389 24389 21995 0 -1 64 2795 0 1 0 112 2 0 0 25 0 9 0 670003406 201744384 5452 996147200 134512640 134550740 4294955968 18446744073709551615 4126588752 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24399] ppid=24389 vsize=197016 CPUtime=0.18
/proc/24397/task/24399/stat : 24399 (java) S 24389 24389 21995 0 -1 64 2356 0 0 0 17 1 0 0 16 0 9 0 670003407 201744384 5452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24400] ppid=24389 vsize=197016 CPUtime=0
/proc/24397/task/24400/stat : 24400 (java) S 24389 24389 21995 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 670003408 201744384 5452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24401] ppid=24389 vsize=197016 CPUtime=0
/proc/24397/task/24401/stat : 24401 (java) S 24389 24389 21995 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 670003408 201744384 5452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24402] ppid=24389 vsize=197016 CPUtime=0
/proc/24397/task/24402/stat : 24402 (java) S 24389 24389 21995 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 670003410 201744384 5452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24403] ppid=24389 vsize=197016 CPUtime=0.14
/proc/24397/task/24403/stat : 24403 (java) S 24389 24389 21995 0 -1 64 609 0 0 0 14 0 0 0 16 0 9 0 670003410 201744384 5452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24404] ppid=24389 vsize=197016 CPUtime=0
/proc/24397/task/24404/stat : 24404 (java) S 24389 24389 21995 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 670003410 201744384 5452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24405] ppid=24389 vsize=197016 CPUtime=0
/proc/24397/task/24405/stat : 24405 (java) S 24389 24389 21995 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 670003410 201744384 5452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 202376
[startup+6.30246 s]
/proc/loadavg: 4.29 4.77 3.99 3/91 24405
/proc/meminfo: memFree=369324/2055920 swapFree=4146776/4192956
[pid=24389] ppid=24387 vsize=5360 CPUtime=1.53
/proc/24389/stat : 24389 (hydra) S 24387 24389 21995 0 -1 4194304 375 2651 0 0 0 0 151 2 18 0 1 0 670003247 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24389/statm: 1340 238 196 169 0 51 0
[pid=24397] ppid=24389 vsize=197016 CPUtime=4.68
/proc/24397/stat : 24397 (java) S 24389 24389 21995 0 -1 0 10403 0 1 0 456 12 0 0 19 0 9 0 670003405 201744384 8626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24397/statm: 49254 8626 2540 9 0 43837 0
[pid=24397/tid=24398] ppid=24389 vsize=197016 CPUtime=3.71
/proc/24397/task/24398/stat : 24398 (java) R 24389 24389 21995 0 -1 64 3618 0 1 0 367 4 0 0 25 0 9 0 670003406 201744384 8626 996147200 134512640 134550740 4294955968 18446744073709551615 4126488286 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24399] ppid=24389 vsize=197016 CPUtime=0.77
/proc/24397/task/24399/stat : 24399 (java) S 24389 24389 21995 0 -1 64 5434 0 0 0 71 6 0 0 16 0 9 0 670003407 201744384 8626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24400] ppid=24389 vsize=197016 CPUtime=0
/proc/24397/task/24400/stat : 24400 (java) S 24389 24389 21995 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 670003408 201744384 8626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24401] ppid=24389 vsize=197016 CPUtime=0
/proc/24397/task/24401/stat : 24401 (java) S 24389 24389 21995 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 670003408 201744384 8626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24402] ppid=24389 vsize=197016 CPUtime=0
/proc/24397/task/24402/stat : 24402 (java) S 24389 24389 21995 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 670003410 201744384 8626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24403] ppid=24389 vsize=197016 CPUtime=0.16
/proc/24397/task/24403/stat : 24403 (java) S 24389 24389 21995 0 -1 64 625 0 0 0 16 0 0 0 16 0 9 0 670003410 201744384 8626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24404] ppid=24389 vsize=197016 CPUtime=0
/proc/24397/task/24404/stat : 24404 (java) S 24389 24389 21995 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 670003410 201744384 8626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24405] ppid=24389 vsize=197016 CPUtime=0
/proc/24397/task/24405/stat : 24405 (java) S 24389 24389 21995 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 670003410 201744384 8626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 202376
[startup+12.7021 s]
/proc/loadavg: 4.35 4.77 3.99 3/94 24408
/proc/meminfo: memFree=353620/2055920 swapFree=4146776/4192956
[pid=24389] ppid=24387 vsize=5360 CPUtime=1.53
/proc/24389/stat : 24389 (hydra) S 24387 24389 21995 0 -1 4194304 375 2651 0 0 0 0 151 2 18 0 1 0 670003247 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24389/statm: 1340 238 196 169 0 51 0
[pid=24397] ppid=24389 vsize=197340 CPUtime=5.67
/proc/24397/stat : 24397 (java) S 24389 24389 21995 0 -1 0 13869 0 1 0 550 17 0 0 19 0 10 0 670003405 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24397/statm: 49335 9390 2543 9 0 43918 0
[pid=24407] ppid=24397 vsize=5356 CPUtime=0
/proc/24407/stat : 24407 (mistral) S 24397 24389 21995 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 670003979 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/24407/statm: 1339 236 196 169 0 50 0
[pid=24408] ppid=24407 vsize=10760 CPUtime=5.35
/proc/24408/stat : 24408 (xsolve) R 24407 24389 21995 0 -1 4194304 2032 0 0 0 534 1 0 0 25 0 1 0 670003979 11018240 1996 996147200 134512640 135239763 4294955968 18446744073709551615 134842520 0 4 0 0 0 0 0 17 1 0 0
/proc/24408/statm: 2690 1996 419 177 0 1593 0
[pid=24397/tid=24398] ppid=24389 vsize=197340 CPUtime=4.35
/proc/24397/task/24398/stat : 24398 (java) S 24389 24389 21995 0 -1 64 3854 0 1 0 430 5 0 0 23 0 10 0 670003406 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24397/tid=24399] ppid=24389 vsize=197340 CPUtime=1.08
/proc/24397/task/24399/stat : 24399 (java) S 24389 24389 21995 0 -1 64 8560 0 0 0 99 9 0 0 16 0 10 0 670003407 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24400] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24400/stat : 24400 (java) S 24389 24389 21995 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 670003408 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24401] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24401/stat : 24401 (java) S 24389 24389 21995 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 670003408 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24402] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24402/stat : 24402 (java) S 24389 24389 21995 0 -1 64 1 0 0 0 0 0 0 0 23 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24403] ppid=24389 vsize=197340 CPUtime=0.19
/proc/24397/task/24403/stat : 24403 (java) S 24389 24389 21995 0 -1 64 643 0 0 0 19 0 0 0 16 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24404] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24404/stat : 24404 (java) S 24389 24389 21995 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24405] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24405/stat : 24405 (java) S 24389 24389 21995 0 -1 64 17 0 0 0 0 0 0 0 15 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24406] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24406/stat : 24406 (java) S 24389 24389 21995 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 670003979 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 218816
[startup+25.5025 s]
/proc/loadavg: 4.41 4.77 4.00 4/94 24408
/proc/meminfo: memFree=350228/2055920 swapFree=4146776/4192956
[pid=24389] ppid=24387 vsize=5360 CPUtime=1.53
/proc/24389/stat : 24389 (hydra) S 24387 24389 21995 0 -1 4194304 375 2651 0 0 0 0 151 2 18 0 1 0 670003247 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24389/statm: 1340 238 196 169 0 51 0
[pid=24397] ppid=24389 vsize=197340 CPUtime=5.68
/proc/24397/stat : 24397 (java) S 24389 24389 21995 0 -1 0 13869 0 1 0 551 17 0 0 19 0 10 0 670003405 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24397/statm: 49335 9390 2543 9 0 43918 0
[pid=24407] ppid=24397 vsize=5356 CPUtime=0
/proc/24407/stat : 24407 (mistral) S 24397 24389 21995 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 670003979 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/24407/statm: 1339 236 196 169 0 50 0
[pid=24408] ppid=24407 vsize=10760 CPUtime=17.81
/proc/24408/stat : 24408 (xsolve) R 24407 24389 21995 0 -1 4194304 2032 0 0 0 1780 1 0 0 25 0 1 0 670003979 11018240 1996 996147200 134512640 135239763 4294955968 18446744073709551615 135095030 0 4 0 0 0 0 0 17 1 0 0
/proc/24408/statm: 2690 1996 419 177 0 1593 0
[pid=24397/tid=24398] ppid=24389 vsize=197340 CPUtime=4.35
/proc/24397/task/24398/stat : 24398 (java) S 24389 24389 21995 0 -1 64 3854 0 1 0 430 5 0 0 23 0 10 0 670003406 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24397/tid=24399] ppid=24389 vsize=197340 CPUtime=1.08
/proc/24397/task/24399/stat : 24399 (java) S 24389 24389 21995 0 -1 64 8560 0 0 0 99 9 0 0 16 0 10 0 670003407 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24400] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24400/stat : 24400 (java) S 24389 24389 21995 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 670003408 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24401] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24401/stat : 24401 (java) S 24389 24389 21995 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 670003408 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24402] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24402/stat : 24402 (java) S 24389 24389 21995 0 -1 64 1 0 0 0 0 0 0 0 23 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24403] ppid=24389 vsize=197340 CPUtime=0.19
/proc/24397/task/24403/stat : 24403 (java) S 24389 24389 21995 0 -1 64 643 0 0 0 19 0 0 0 16 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24404] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24404/stat : 24404 (java) S 24389 24389 21995 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24405] ppid=24389 vsize=197340 CPUtime=0.01
/proc/24397/task/24405/stat : 24405 (java) S 24389 24389 21995 0 -1 64 17 0 0 0 0 1 0 0 15 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24406] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24406/stat : 24406 (java) S 24389 24389 21995 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 670003979 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 218816
[startup+51.1021 s]
################
# More data... #
################
/proc/loadavg: 3.99 4.64 3.98 3/94 24408
/proc/meminfo: memFree=345620/2055920 swapFree=4146776/4192956
[pid=24389] ppid=24387 vsize=5360 CPUtime=1.53
/proc/24389/stat : 24389 (hydra) S 24387 24389 21995 0 -1 4194304 375 2651 0 0 0 0 151 2 18 0 1 0 670003247 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24389/statm: 1340 238 196 169 0 51 0
[pid=24397] ppid=24389 vsize=197340 CPUtime=5.71
/proc/24397/stat : 24397 (java) S 24389 24389 21995 0 -1 0 13869 0 1 0 552 19 0 0 19 0 10 0 670003405 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24397/statm: 49335 9390 2543 9 0 43918 0
[pid=24407] ppid=24397 vsize=5356 CPUtime=0
/proc/24407/stat : 24407 (mistral) S 24397 24389 21995 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 670003979 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/24407/statm: 1339 236 196 169 0 50 0
[pid=24408] ppid=24407 vsize=10760 CPUtime=44.49
/proc/24408/stat : 24408 (xsolve) R 24407 24389 21995 0 -1 4194304 2032 0 0 0 4448 1 0 0 25 0 1 0 670003979 11018240 1996 996147200 134512640 135239763 4294955968 18446744073709551615 134821027 0 4 0 0 0 0 0 17 1 0 0
/proc/24408/statm: 2690 1996 419 177 0 1593 0
[pid=24397/tid=24398] ppid=24389 vsize=197340 CPUtime=4.35
/proc/24397/task/24398/stat : 24398 (java) S 24389 24389 21995 0 -1 64 3854 0 1 0 430 5 0 0 23 0 10 0 670003406 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24397/tid=24399] ppid=24389 vsize=197340 CPUtime=1.08
/proc/24397/task/24399/stat : 24399 (java) S 24389 24389 21995 0 -1 64 8560 0 0 0 99 9 0 0 16 0 10 0 670003407 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24400] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24400/stat : 24400 (java) S 24389 24389 21995 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 670003408 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24401] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24401/stat : 24401 (java) S 24389 24389 21995 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 670003408 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24402] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24402/stat : 24402 (java) S 24389 24389 21995 0 -1 64 1 0 0 0 0 0 0 0 23 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24403] ppid=24389 vsize=197340 CPUtime=0.19
/proc/24397/task/24403/stat : 24403 (java) S 24389 24389 21995 0 -1 64 643 0 0 0 19 0 0 0 16 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24404] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24404/stat : 24404 (java) S 24389 24389 21995 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24405] ppid=24389 vsize=197340 CPUtime=0.03
/proc/24397/task/24405/stat : 24405 (java) S 24389 24389 21995 0 -1 64 17 0 0 0 1 2 0 0 15 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24406] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24406/stat : 24406 (java) S 24389 24389 21995 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 670003979 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.73
Current children cumulated vsize (KiB) 218816
[startup+54.7015 s]
/proc/loadavg: 3.99 4.64 3.98 3/94 24408
/proc/meminfo: memFree=345620/2055920 swapFree=4146776/4192956
[pid=24389] ppid=24387 vsize=5360 CPUtime=1.53
/proc/24389/stat : 24389 (hydra) S 24387 24389 21995 0 -1 4194304 375 2651 0 0 0 0 151 2 18 0 1 0 670003247 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24389/statm: 1340 238 196 169 0 51 0
[pid=24397] ppid=24389 vsize=197340 CPUtime=5.71
/proc/24397/stat : 24397 (java) S 24389 24389 21995 0 -1 0 13869 0 1 0 552 19 0 0 19 0 10 0 670003405 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24397/statm: 49335 9390 2543 9 0 43918 0
[pid=24407] ppid=24397 vsize=5356 CPUtime=0
/proc/24407/stat : 24407 (mistral) S 24397 24389 21995 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 670003979 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/24407/statm: 1339 236 196 169 0 50 0
[pid=24408] ppid=24407 vsize=10760 CPUtime=46.08
/proc/24408/stat : 24408 (xsolve) R 24407 24389 21995 0 -1 4194304 2032 0 0 0 4607 1 0 0 25 0 1 0 670003979 11018240 1996 996147200 134512640 135239763 4294955968 18446744073709551615 135030869 0 4 0 0 0 0 0 17 1 0 0
/proc/24408/statm: 2690 1996 419 177 0 1593 0
[pid=24397/tid=24398] ppid=24389 vsize=197340 CPUtime=4.35
/proc/24397/task/24398/stat : 24398 (java) S 24389 24389 21995 0 -1 64 3854 0 1 0 430 5 0 0 23 0 10 0 670003406 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24397/tid=24399] ppid=24389 vsize=197340 CPUtime=1.08
/proc/24397/task/24399/stat : 24399 (java) S 24389 24389 21995 0 -1 64 8560 0 0 0 99 9 0 0 16 0 10 0 670003407 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24400] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24400/stat : 24400 (java) S 24389 24389 21995 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 670003408 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24401] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24401/stat : 24401 (java) S 24389 24389 21995 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 670003408 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24402] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24402/stat : 24402 (java) S 24389 24389 21995 0 -1 64 1 0 0 0 0 0 0 0 23 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24403] ppid=24389 vsize=197340 CPUtime=0.19
/proc/24397/task/24403/stat : 24403 (java) S 24389 24389 21995 0 -1 64 643 0 0 0 19 0 0 0 16 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24404] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24404/stat : 24404 (java) S 24389 24389 21995 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24405] ppid=24389 vsize=197340 CPUtime=0.03
/proc/24397/task/24405/stat : 24405 (java) S 24389 24389 21995 0 -1 64 17 0 0 0 1 2 0 0 15 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24406] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24406/stat : 24406 (java) S 24389 24389 21995 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 670003979 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 53.32
Current children cumulated vsize (KiB) 218816
[startup+55.1016 s]
/proc/loadavg: 3.99 4.64 3.98 3/94 24408
/proc/meminfo: memFree=345620/2055920 swapFree=4146776/4192956
[pid=24389] ppid=24387 vsize=5360 CPUtime=1.53
/proc/24389/stat : 24389 (hydra) S 24387 24389 21995 0 -1 4194304 375 2651 0 0 0 0 151 2 18 0 1 0 670003247 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24389/statm: 1340 238 196 169 0 51 0
[pid=24397] ppid=24389 vsize=197340 CPUtime=5.71
/proc/24397/stat : 24397 (java) S 24389 24389 21995 0 -1 0 13869 0 1 0 552 19 0 0 19 0 10 0 670003405 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24397/statm: 49335 9390 2543 9 0 43918 0
[pid=24407] ppid=24397 vsize=5356 CPUtime=0
/proc/24407/stat : 24407 (mistral) S 24397 24389 21995 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 670003979 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/24407/statm: 1339 236 196 169 0 50 0
[pid=24408] ppid=24407 vsize=10760 CPUtime=46.48
/proc/24408/stat : 24408 (xsolve) R 24407 24389 21995 0 -1 4194304 2032 0 0 0 4647 1 0 0 25 0 1 0 670003979 11018240 1996 996147200 134512640 135239763 4294955968 18446744073709551615 135073782 0 4 0 0 0 0 0 17 1 0 0
/proc/24408/statm: 2690 1996 419 177 0 1593 0
[pid=24397/tid=24398] ppid=24389 vsize=197340 CPUtime=4.35
/proc/24397/task/24398/stat : 24398 (java) S 24389 24389 21995 0 -1 64 3854 0 1 0 430 5 0 0 23 0 10 0 670003406 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24397/tid=24399] ppid=24389 vsize=197340 CPUtime=1.08
/proc/24397/task/24399/stat : 24399 (java) S 24389 24389 21995 0 -1 64 8560 0 0 0 99 9 0 0 16 0 10 0 670003407 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24400] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24400/stat : 24400 (java) S 24389 24389 21995 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 670003408 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24401] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24401/stat : 24401 (java) S 24389 24389 21995 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 670003408 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24402] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24402/stat : 24402 (java) S 24389 24389 21995 0 -1 64 1 0 0 0 0 0 0 0 23 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24403] ppid=24389 vsize=197340 CPUtime=0.19
/proc/24397/task/24403/stat : 24403 (java) S 24389 24389 21995 0 -1 64 643 0 0 0 19 0 0 0 16 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24404] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24404/stat : 24404 (java) S 24389 24389 21995 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24405] ppid=24389 vsize=197340 CPUtime=0.03
/proc/24397/task/24405/stat : 24405 (java) S 24389 24389 21995 0 -1 64 17 0 0 0 1 2 0 0 15 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24406] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24406/stat : 24406 (java) S 24389 24389 21995 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 670003979 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 53.72
Current children cumulated vsize (KiB) 218816
[startup+55.3016 s]
/proc/loadavg: 3.91 4.61 3.97 3/94 24408
/proc/meminfo: memFree=345300/2055920 swapFree=4146776/4192956
[pid=24389] ppid=24387 vsize=5360 CPUtime=1.53
/proc/24389/stat : 24389 (hydra) S 24387 24389 21995 0 -1 4194304 375 2651 0 0 0 0 151 2 18 0 1 0 670003247 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24389/statm: 1340 238 196 169 0 51 0
[pid=24397] ppid=24389 vsize=197340 CPUtime=5.71
/proc/24397/stat : 24397 (java) S 24389 24389 21995 0 -1 0 13869 0 1 0 552 19 0 0 19 0 10 0 670003405 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24397/statm: 49335 9390 2543 9 0 43918 0
[pid=24407] ppid=24397 vsize=5356 CPUtime=0
/proc/24407/stat : 24407 (mistral) S 24397 24389 21995 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 670003979 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/24407/statm: 1339 236 196 169 0 50 0
[pid=24408] ppid=24407 vsize=10760 CPUtime=46.68
/proc/24408/stat : 24408 (xsolve) R 24407 24389 21995 0 -1 4194304 2032 0 0 0 4667 1 0 0 25 0 1 0 670003979 11018240 1996 996147200 134512640 135239763 4294955968 18446744073709551615 135030883 0 4 0 0 0 0 0 17 1 0 0
/proc/24408/statm: 2690 1996 419 177 0 1593 0
[pid=24397/tid=24398] ppid=24389 vsize=197340 CPUtime=4.35
/proc/24397/task/24398/stat : 24398 (java) S 24389 24389 21995 0 -1 64 3854 0 1 0 430 5 0 0 23 0 10 0 670003406 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24397/tid=24399] ppid=24389 vsize=197340 CPUtime=1.08
/proc/24397/task/24399/stat : 24399 (java) S 24389 24389 21995 0 -1 64 8560 0 0 0 99 9 0 0 16 0 10 0 670003407 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24400] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24400/stat : 24400 (java) S 24389 24389 21995 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 670003408 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24401] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24401/stat : 24401 (java) S 24389 24389 21995 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 670003408 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24402] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24402/stat : 24402 (java) S 24389 24389 21995 0 -1 64 1 0 0 0 0 0 0 0 23 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24403] ppid=24389 vsize=197340 CPUtime=0.19
/proc/24397/task/24403/stat : 24403 (java) S 24389 24389 21995 0 -1 64 643 0 0 0 19 0 0 0 16 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24404] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24404/stat : 24404 (java) S 24389 24389 21995 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24405] ppid=24389 vsize=197340 CPUtime=0.03
/proc/24397/task/24405/stat : 24405 (java) S 24389 24389 21995 0 -1 64 17 0 0 0 1 2 0 0 15 0 10 0 670003410 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24406] ppid=24389 vsize=197340 CPUtime=0
/proc/24397/task/24406/stat : 24406 (java) S 24389 24389 21995 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 670003979 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 53.92
Current children cumulated vsize (KiB) 218816
[startup+55.4076 s]
/proc/loadavg: 3.91 4.61 3.97 3/94 24408
/proc/meminfo: memFree=345300/2055920 swapFree=4146776/4192956
[pid=24389] ppid=24387 vsize=5360 CPUtime=1.53
/proc/24389/stat : 24389 (hydra) S 24387 24389 21995 0 -1 4194304 375 2651 0 0 0 0 151 2 18 0 1 0 670003247 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24389/statm: 1340 238 196 169 0 51 0
[pid=24397] ppid=24389 vsize=197340 CPUtime=52.49
/proc/24397/stat : 24397 (java) S 24389 24389 21995 0 -1 0 13934 2345 1 0 552 19 4677 1 19 0 10 0 670003405 202076160 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24397/statm: 49335 9391 2543 9 0 43918 0
[pid=24397/tid=24398] ppid=24389 vsize=197340 CPUtime=51.13
/proc/24397/task/24398/stat : 24398 (java) S 24389 24389 21995 0 -1 64 3905 2345 1 0 430 5 4677 1 16 0 9 0 670003406 202076160 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24397/tid=24399] ppid=24389 vsize=197340 CPUtime=47.86
/proc/24397/task/24399/stat : 24399 (java) S 24389 24389 21995 0 -1 64 8569 2345 0 0 99 9 4677 1 16 0 9 0 670003407 202076160 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24397/tid=24400] ppid=24389 vsize=197340 CPUtime=46.78
/proc/24397/task/24400/stat : 24400 (java) S 24389 24389 21995 0 -1 64 11 2345 0 0 0 0 4677 1 16 0 9 0 670003408 202076160 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24401] ppid=24389 vsize=197340 CPUtime=46.78
/proc/24397/task/24401/stat : 24401 (java) S 24389 24389 21995 0 -1 64 6 2345 0 0 0 0 4677 1 15 0 9 0 670003408 202076160 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24402] ppid=24389 vsize=197340 CPUtime=46.78
/proc/24397/task/24402/stat : 24402 (java) S 24389 24389 21995 0 -1 64 1 2345 0 0 0 0 4677 1 23 0 9 0 670003410 202076160 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24403] ppid=24389 vsize=197340 CPUtime=46.97
/proc/24397/task/24403/stat : 24403 (java) S 24389 24389 21995 0 -1 64 643 2345 0 0 19 0 4677 1 16 0 9 0 670003410 202076160 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24404] ppid=24389 vsize=197340 CPUtime=46.78
/proc/24397/task/24404/stat : 24404 (java) S 24389 24389 21995 0 -1 64 0 2345 0 0 0 0 4677 1 24 0 9 0 670003410 202076160 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24397/tid=24405] ppid=24389 vsize=197340 CPUtime=46.81
/proc/24397/task/24405/stat : 24405 (java) S 24389 24389 21995 0 -1 64 17 2345 0 0 1 2 4677 1 15 0 9 0 670003410 202076160 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 54.02
Current children cumulated vsize (KiB) 202700
Child status: 0
Real time (s): 55.4462
CPU time (s): 54.0628
CPU user time (s): 53.8098
CPU system time (s): 0.252961
CPU usage (%): 97.5048
Max. virtual memory (cumulated for all children) (KiB): 218816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.8098
system time used= 0.252961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19354
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= 10382
involuntary context switches= 11308
runsolver used 0.558915 second user time and 1.15282 second system time
The end