0.00/0.00 c cpHydra_k_10 version 0.0
6.99/7.19 c CASE TO CLASSIFY:
7.09/7.20 c Case: 0
7.09/7.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.543800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.433100 | c 14 > 13.778800 | c 11 > 4.584960 | c 12 > 12.537100 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.108520 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.20 c choco : 1801.0
7.09/7.20 c mistral : 1801.0
7.09/7.20 c abscon : 1801.0
7.09/7.20 c
7.09/7.20 c
7.09/7.27 c List of same ones: 10
7.09/7.27 c /home/eomahony/cpZilla/CSP/random/rand-2-25/rand-25-25-300-147-52021_ext.xml
7.09/7.27 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.293600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.017100 | c 14 > 13.448100 | c 11 > 4.643860 | c 12 > 12.063900 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.228820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.287710 | c 31 > -1.000000 | c 4 > 4.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.27 c choco : 391.36
7.09/7.27 c mistral : 275.489
7.09/7.27 c abscon : 304.569
7.09/7.27 c
7.09/7.27 c
7.09/7.27 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-55021_ext.xml
7.09/7.27 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.002300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.099800 | c 14 > 13.346100 | c 11 > 4.523560 | c 12 > 12.116200 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.28 c choco : 1801.0
7.09/7.28 c mistral : 95.25
7.09/7.28 c abscon : 95.2655
7.09/7.28 c
7.09/7.28 c
7.09/7.28 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-47021_ext.xml
7.09/7.28 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.186200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.847930 | c 14 > 13.524700 | c 11 > 4.523560 | c 12 > 12.000700 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.29 c choco : 1801.0
7.09/7.29 c mistral : 87.28
7.09/7.29 c abscon : 95.6315
7.09/7.29 c
7.09/7.29 c
7.09/7.29 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-51021_ext.xml
7.09/7.29 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.035600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.900150 | c 14 > 13.407300 | c 11 > 4.523560 | c 12 > 11.948300 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.29 c choco : 1801.0
7.09/7.29 c mistral : 90.08
7.09/7.29 c abscon : 101.899
7.09/7.29 c
7.09/7.29 c
7.09/7.29 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-48021_ext.xml
7.09/7.29 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.056900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.888660 | c 14 > 13.373500 | c 11 > 4.523560 | c 12 > 11.901900 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.30 c choco : 1801.0
7.20/7.30 c mistral : 32.602
7.20/7.30 c abscon : 62.8434
7.20/7.30 c
7.20/7.30 c
7.20/7.30 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-50021_ext.xml
7.20/7.30 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.944600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.806920 | c 14 > 13.303600 | c 11 > 4.523560 | c 12 > 11.896500 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.31 c choco : 1801.0
7.20/7.31 c mistral : 31.2942
7.20/7.31 c abscon : 59.9849
7.20/7.31 c
7.20/7.31 c
7.20/7.31 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-54021_ext.xml
7.20/7.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.985800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.714940 | c 14 > 13.308600 | c 11 > 4.523560 | c 12 > 11.788000 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.31 c choco : 1801.0
7.20/7.31 c mistral : 4.64529
7.20/7.31 c abscon : 12.3941
7.20/7.31 c
7.20/7.31 c
7.20/7.31 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-46021_ext.xml
7.20/7.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.889900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.733450 | c 14 > 13.227800 | c 11 > 4.523560 | c 12 > 11.834200 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.32 c choco : 1801.0
7.20/7.32 c mistral : 83.47
7.20/7.32 c abscon : 101.002
7.20/7.32 c
7.20/7.32 c
7.20/7.32 c /home/eomahony/cpZilla/CSP/random/rand-2-23/rand-23-23-253-131-52021_ext.xml
7.20/7.32 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.880600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.678130 | c 14 > 13.205500 | c 11 > 4.523560 | c 12 > 11.815300 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.982990 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.047120 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.32 c choco : 1801.0
7.20/7.32 c mistral : 88.66
7.20/7.32 c abscon : 92.282
7.20/7.32 c
7.20/7.32 c
7.20/7.32 c /home/eomahony/cpZilla/CSP/random/rand-2-24/rand-24-24-276-139-50021_ext.xml
7.20/7.32 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.886400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.676820 | c 14 > 13.145300 | c 11 > 4.584960 | c 12 > 11.670100 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.108520 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.33 c choco : 112.05
7.20/7.33 c mistral : 27.24
7.20/7.33 c abscon : 138.649
7.20/7.33 c
7.20/7.33 c
7.20/7.33 c Length: 10
7.20/7.33 c 0.790335048697703 0.9101412428848616 0.939283397543043 1.0424300813483867 1.0774476765022067 1.202907009872335 1.2919042060462531 1.3320752923540031 1.3853309759404069 1.4687223864297858
7.20/7.33 c
7.20/7.33 c 1.0 0.8499033262032494 0.8199662467582906 0.7290705974934474 0.7026280289456687 0.6218264406489926 0.5749257201942221 0.5559970515215679 0.5327440342523388 0.5
7.20/7.33 c
7.20/7.33 c solver 0
7.20/7.33 c before 0.0 seconds: {} 0
7.20/7.34 c before 18.0 seconds: {6} 574
7.20/7.34 c before 72.0 seconds: {4, 5, 6} 1899
7.20/7.34 c before 108.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8} 5387
7.20/7.34 c before 144.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9} 5887
7.20/7.34 c before 306.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6887
7.20/7.34 c
7.20/7.34 c solver 1
7.20/7.34 c before 0.0 seconds: {} 0
7.20/7.34 c before 18.0 seconds: {6} 574
7.20/7.34 c before 36.0 seconds: {4, 5, 6, 9} 2399
7.20/7.34 c before 90.0 seconds: {2, 4, 5, 6, 7, 8, 9} 4308
7.20/7.34 c before 108.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9} 5887
7.20/7.34 c before 288.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6887
7.20/7.34 c
7.20/7.34 c solver 2
7.20/7.34 c before 0.0 seconds: {} 0
7.20/7.34 c before 126.0 seconds: {9} 500
7.20/7.34 c before 396.0 seconds: {0, 9} 1500
7.20/7.34 c
7.20/7.34 cTotal time: 55
7.20/7.34 c 990.0 seconds unused
7.20/7.34 c 0 c 0 c 8
7.20/7.34 c 0 c 0 c 8
7.20/7.34 c 0 c 0 c 0
7.20/7.34 c is solver0 dominated by:
7.20/7.34 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.20/7.34 c is dominated? true
7.20/7.34 c
7.20/7.34 c is solver1 dominated by:
7.20/7.34 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.20/7.34 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.20/7.34 c is dominated? false
7.20/7.34 c
7.20/7.34 c is solver2 dominated by:
7.20/7.34 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: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.20/7.34 c is dominated? true
7.20/7.34 c
7.20/7.34 c Number of non-dominated solvers: 1
7.20/7.34 c remove dominated solvers
7.20/7.34 c solver 1 is not dominated by another solver
7.20/7.34 c solver 2 is dominated by another solver
7.20/7.34 c solver 0 is dominated by another solver
7.20/7.34 c
7.20/7.34 c solver 0: 0.0
7.20/7.34 c
7.20/7.34 c solver 1: 288.0
7.20/7.34 c
7.20/7.34 c+ 16/16 of 84
7.20/7.34 c
7.20/7.34 c solver 2: 0.0
7.20/7.34 c do not run abscon
7.20/7.34 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6887
7.20/7.34 c do not run choco
7.20/7.34 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.20/7.34 c On Instance: HOME/instance-1045355-1215020929.xml
7.20/7.35 c Running for: 1800 seconds
89.49/89.74 c mistral-prime version 1.313
89.49/89.74 s UNSATISFIABLE
89.49/89.74 d CHECKS 378565952
89.49/89.74 d ASSIGNMENTS 860974
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1045355-1215020929/watcher-1045355-1215020929 -o /tmp/evaluation-result-1045355-1215020929/solver-1045355-1215020929 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1045355-1215020929.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: 1.90 1.95 1.67 4/81 10255
/proc/meminfo: memFree=1797716/2055920 swapFree=4179028/4192956
[pid=10255] ppid=10253 vsize=18572 CPUtime=0
/proc/10255/stat : 10255 (runsolver) R 10253 10255 10072 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 1981066037 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 240907775271 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10255/statm: 4643 292 257 25 0 2626 0
[startup+0.102629 s]
/proc/loadavg: 1.90 1.95 1.67 4/81 10255
/proc/meminfo: memFree=1797716/2055920 swapFree=4179028/4192956
[pid=10255] ppid=10253 vsize=5360 CPUtime=0
/proc/10255/stat : 10255 (hydra) S 10253 10255 10072 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1981066037 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10255/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.201634 s]
/proc/loadavg: 1.90 1.95 1.67 4/81 10255
/proc/meminfo: memFree=1797716/2055920 swapFree=4179028/4192956
[pid=10255] ppid=10253 vsize=5360 CPUtime=0
/proc/10255/stat : 10255 (hydra) S 10253 10255 10072 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1981066037 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10255/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301644 s]
/proc/loadavg: 1.90 1.95 1.67 4/81 10255
/proc/meminfo: memFree=1797716/2055920 swapFree=4179028/4192956
[pid=10255] ppid=10253 vsize=5360 CPUtime=0
/proc/10255/stat : 10255 (hydra) S 10253 10255 10072 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1981066037 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10255/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701683 s]
/proc/loadavg: 1.90 1.95 1.67 4/81 10255
/proc/meminfo: memFree=1797716/2055920 swapFree=4179028/4192956
[pid=10255] ppid=10253 vsize=5360 CPUtime=0
/proc/10255/stat : 10255 (hydra) S 10253 10255 10072 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1981066037 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10255/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50176 s]
/proc/loadavg: 1.90 1.95 1.67 3/83 10259
/proc/meminfo: memFree=1790852/2055920 swapFree=4179028/4192956
[pid=10255] ppid=10253 vsize=5360 CPUtime=0
/proc/10255/stat : 10255 (hydra) S 10253 10255 10072 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1981066037 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10255/statm: 1340 236 195 169 0 51 0
[pid=10259] ppid=10255 vsize=6044 CPUtime=1.46
/proc/10259/stat : 10259 (xsolve) R 10255 10255 10072 0 -1 4194304 857 0 0 0 145 1 0 0 25 0 1 0 1981066038 6189056 816 996147200 134512640 135239763 4294956176 18446744073709551615 135030641 0 0 4096 0 0 0 0 17 1 0 0
/proc/10259/statm: 1511 816 412 177 0 414 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 11404
[startup+3.10293 s]
/proc/loadavg: 1.90 1.95 1.67 3/91 10271
/proc/meminfo: memFree=1779844/2055920 swapFree=4179028/4192956
[pid=10255] ppid=10253 vsize=5360 CPUtime=1.51
/proc/10255/stat : 10255 (hydra) S 10253 10255 10072 0 -1 4194304 375 1454 0 0 0 0 150 1 20 0 1 0 1981066037 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10255/statm: 1340 238 196 169 0 51 0
[pid=10263] ppid=10255 vsize=197024 CPUtime=1.52
/proc/10263/stat : 10263 (java) S 10255 10255 10072 0 -1 0 5172 0 1 0 147 5 0 0 21 0 9 0 1981066193 201752576 4328 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10263/statm: 49256 4328 1678 9 0 43839 0
[pid=10263/tid=10264] ppid=10255 vsize=197024 CPUtime=1.19
/proc/10263/task/10264/stat : 10264 (java) R 10255 10255 10072 0 -1 64 2769 0 1 0 117 2 0 0 25 0 9 0 1981066194 201752576 4328 996147200 134512640 134550740 4294955968 18446744073709551615 4126518029 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10265] ppid=10255 vsize=197024 CPUtime=0.14
/proc/10263/task/10265/stat : 10265 (java) S 10255 10255 10072 0 -1 64 1062 0 0 0 13 1 0 0 16 0 9 0 1981066196 201752576 4328 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10266] ppid=10255 vsize=197024 CPUtime=0
/proc/10263/task/10266/stat : 10266 (java) S 10255 10255 10072 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981066196 201752576 4328 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10267] ppid=10255 vsize=197024 CPUtime=0
/proc/10263/task/10267/stat : 10267 (java) S 10255 10255 10072 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981066196 201752576 4328 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10268] ppid=10255 vsize=197024 CPUtime=0
/proc/10263/task/10268/stat : 10268 (java) S 10255 10255 10072 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981066198 201752576 4328 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10269] ppid=10255 vsize=197024 CPUtime=0.15
/proc/10263/task/10269/stat : 10269 (java) S 10255 10255 10072 0 -1 64 617 0 0 0 15 0 0 0 16 0 9 0 1981066198 201752576 4328 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10270] ppid=10255 vsize=197024 CPUtime=0
/proc/10263/task/10270/stat : 10270 (java) S 10255 10255 10072 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1981066199 201752576 4328 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10271] ppid=10255 vsize=197024 CPUtime=0
/proc/10263/task/10271/stat : 10271 (java) S 10255 10255 10072 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981066199 201752576 4328 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) 202384
[startup+6.30125 s]
/proc/loadavg: 1.90 1.95 1.67 3/94 10274
/proc/meminfo: memFree=1756716/2055920 swapFree=4179028/4192956
[pid=10255] ppid=10253 vsize=5360 CPUtime=1.51
/proc/10255/stat : 10255 (hydra) S 10253 10255 10072 0 -1 4194304 375 1454 0 0 0 0 150 1 20 0 1 0 1981066037 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10255/statm: 1340 238 196 169 0 51 0
[pid=10263] ppid=10255 vsize=197024 CPUtime=4.69
/proc/10263/stat : 10263 (java) S 10255 10255 10072 0 -1 0 10132 0 1 0 455 14 0 0 21 0 9 0 1981066193 201752576 8410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10263/statm: 49256 8410 2540 9 0 43839 0
[pid=10263/tid=10264] ppid=10255 vsize=197024 CPUtime=3.74
/proc/10263/task/10264/stat : 10264 (java) R 10255 10255 10072 0 -1 64 3579 0 1 0 369 5 0 0 25 0 9 0 1981066194 201752576 8410 996147200 134512640 134550740 4294955968 18446744073709551615 4126665376 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10265] ppid=10255 vsize=197024 CPUtime=0.75
/proc/10263/task/10265/stat : 10265 (java) S 10255 10255 10072 0 -1 64 5196 0 0 0 67 8 0 0 16 0 9 0 1981066196 201752576 8410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10266] ppid=10255 vsize=197024 CPUtime=0
/proc/10263/task/10266/stat : 10266 (java) S 10255 10255 10072 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981066196 201752576 8410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10267] ppid=10255 vsize=197024 CPUtime=0
/proc/10263/task/10267/stat : 10267 (java) S 10255 10255 10072 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981066196 201752576 8410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10268] ppid=10255 vsize=197024 CPUtime=0
/proc/10263/task/10268/stat : 10268 (java) S 10255 10255 10072 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981066198 201752576 8410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10269] ppid=10255 vsize=197024 CPUtime=0.17
/proc/10263/task/10269/stat : 10269 (java) S 10255 10255 10072 0 -1 64 633 0 0 0 17 0 0 0 16 0 9 0 1981066198 201752576 8410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10270] ppid=10255 vsize=197024 CPUtime=0
/proc/10263/task/10270/stat : 10270 (java) S 10255 10255 10072 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1981066199 201752576 8410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10271] ppid=10255 vsize=197024 CPUtime=0
/proc/10263/task/10271/stat : 10271 (java) S 10255 10255 10072 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981066199 201752576 8410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202384
[startup+12.7019 s]
/proc/loadavg: 1.91 1.96 1.67 3/94 10319
/proc/meminfo: memFree=1766188/2055920 swapFree=4179028/4192956
[pid=10255] ppid=10253 vsize=5360 CPUtime=1.51
/proc/10255/stat : 10255 (hydra) S 10253 10255 10072 0 -1 4194304 375 1454 0 0 0 0 150 1 20 0 1 0 1981066037 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10255/statm: 1340 238 196 169 0 51 0
[pid=10263] ppid=10255 vsize=197348 CPUtime=5.73
/proc/10263/stat : 10263 (java) S 10255 10255 10072 0 -1 0 11435 0 1 0 555 18 0 0 21 0 10 0 1981066193 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10263/statm: 49337 9403 2544 9 0 43920 0
[pid=10293] ppid=10263 vsize=5356 CPUtime=0
/proc/10293/stat : 10293 (mistral) S 10263 10255 10072 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 1981066772 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10293/statm: 1339 236 196 169 0 50 0
[pid=10294] ppid=10293 vsize=6044 CPUtime=5.33
/proc/10294/stat : 10294 (xsolve) R 10293 10255 10072 0 -1 4194304 832 0 0 0 532 1 0 0 25 0 1 0 1981066773 6189056 796 996147200 134512640 135239763 4294955968 18446744073709551615 135103094 0 4 0 0 0 0 0 17 0 0 0
/proc/10294/statm: 1511 796 392 177 0 414 0
[pid=10263/tid=10264] ppid=10255 vsize=197348 CPUtime=4.64
/proc/10263/task/10264/stat : 10264 (java) S 10255 10255 10072 0 -1 64 3859 0 1 0 457 7 0 0 17 0 10 0 1981066194 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10263/tid=10265] ppid=10255 vsize=197348 CPUtime=0.86
/proc/10263/task/10265/stat : 10265 (java) S 10255 10255 10072 0 -1 64 6121 0 0 0 77 9 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10266] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10266/stat : 10266 (java) S 10255 10255 10072 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10267] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10267/stat : 10267 (java) S 10255 10255 10072 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10263/tid=10268] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10268/stat : 10268 (java) S 10255 10255 10072 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981066198 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10269] ppid=10255 vsize=197348 CPUtime=0.2
/proc/10263/task/10269/stat : 10269 (java) S 10255 10255 10072 0 -1 64 651 0 0 0 20 0 0 0 16 0 10 0 1981066198 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10263/tid=10270] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10270/stat : 10270 (java) S 10255 10255 10072 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1981066199 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10271] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10271/stat : 10271 (java) S 10255 10255 10072 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1981066199 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10292] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10292/stat : 10292 (java) S 10255 10255 10072 0 -1 64 68 0 0 0 0 0 0 0 18 0 10 0 1981066772 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 214108
[startup+25.5021 s]
/proc/loadavg: 2.07 1.99 1.69 3/97 10322
/proc/meminfo: memFree=1744980/2055920 swapFree=4179028/4192956
[pid=10255] ppid=10253 vsize=5360 CPUtime=1.51
/proc/10255/stat : 10255 (hydra) S 10253 10255 10072 0 -1 4194304 375 1454 0 0 0 0 150 1 20 0 1 0 1981066037 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10255/statm: 1340 238 196 169 0 51 0
[pid=10263] ppid=10255 vsize=197348 CPUtime=5.73
/proc/10263/stat : 10263 (java) S 10255 10255 10072 0 -1 0 11435 0 1 0 555 18 0 0 21 0 10 0 1981066193 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10263/statm: 49337 9403 2544 9 0 43920 0
[pid=10293] ppid=10263 vsize=5356 CPUtime=0
/proc/10293/stat : 10293 (mistral) S 10263 10255 10072 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 1981066772 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10293/statm: 1339 236 196 169 0 50 0
[pid=10294] ppid=10293 vsize=6044 CPUtime=18.12
/proc/10294/stat : 10294 (xsolve) R 10293 10255 10072 0 -1 4194304 832 0 0 0 1811 1 0 0 25 0 1 0 1981066773 6189056 796 996147200 134512640 135239763 4294955968 18446744073709551615 135103046 0 4 0 0 0 0 0 17 0 0 0
/proc/10294/statm: 1511 796 392 177 0 414 0
[pid=10263/tid=10264] ppid=10255 vsize=197348 CPUtime=4.64
/proc/10263/task/10264/stat : 10264 (java) S 10255 10255 10072 0 -1 64 3859 0 1 0 457 7 0 0 17 0 10 0 1981066194 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10263/tid=10265] ppid=10255 vsize=197348 CPUtime=0.86
/proc/10263/task/10265/stat : 10265 (java) S 10255 10255 10072 0 -1 64 6121 0 0 0 77 9 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10266] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10266/stat : 10266 (java) S 10255 10255 10072 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10267] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10267/stat : 10267 (java) S 10255 10255 10072 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10263/tid=10268] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10268/stat : 10268 (java) S 10255 10255 10072 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981066198 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10269] ppid=10255 vsize=197348 CPUtime=0.2
/proc/10263/task/10269/stat : 10269 (java) S 10255 10255 10072 0 -1 64 651 0 0 0 20 0 0 0 16 0 10 0 1981066198 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10263/tid=10270] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10270/stat : 10270 (java) S 10255 10255 10072 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1981066199 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10271] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10271/stat : 10271 (java) S 10255 10255 10072 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1981066199 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10292] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10292/stat : 10292 (java) S 10255 10255 10072 0 -1 64 68 0 0 0 0 0 0 0 18 0 10 0 1981066772 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 214108
[startup+51.1027 s]
/proc/loadavg: 2.12 2.01 1.70 3/97 10322
/proc/meminfo: memFree=1745108/2055920 swapFree=4179028/4192956
[pid=10255] ppid=10253 vsize=5360 CPUtime=1.51
################
# More data... #
################
[pid=10293] ppid=10263 vsize=5356 CPUtime=0
/proc/10293/stat : 10293 (mistral) S 10263 10255 10072 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 1981066772 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10293/statm: 1339 236 196 169 0 50 0
[pid=10294] ppid=10293 vsize=6048 CPUtime=80.56
/proc/10294/stat : 10294 (xsolve) R 10293 10255 10072 0 -1 4194304 833 0 0 0 8055 1 0 0 25 0 1 0 1981066773 6193152 797 996147200 134512640 135239763 4294955968 18446744073709551615 134821584 0 4 0 0 0 0 0 17 0 0 0
/proc/10294/statm: 1512 797 392 177 0 415 0
[pid=10263/tid=10264] ppid=10255 vsize=197348 CPUtime=4.64
/proc/10263/task/10264/stat : 10264 (java) S 10255 10255 10072 0 -1 64 3859 0 1 0 457 7 0 0 17 0 10 0 1981066194 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10263/tid=10265] ppid=10255 vsize=197348 CPUtime=0.86
/proc/10263/task/10265/stat : 10265 (java) S 10255 10255 10072 0 -1 64 6121 0 0 0 77 9 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10266] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10266/stat : 10266 (java) S 10255 10255 10072 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10267] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10267/stat : 10267 (java) S 10255 10255 10072 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10263/tid=10268] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10268/stat : 10268 (java) S 10255 10255 10072 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981066198 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10269] ppid=10255 vsize=197348 CPUtime=0.2
/proc/10263/task/10269/stat : 10269 (java) S 10255 10255 10072 0 -1 64 651 0 0 0 20 0 0 0 16 0 10 0 1981066198 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10263/tid=10270] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10270/stat : 10270 (java) S 10255 10255 10072 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1981066199 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10271] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10271/stat : 10271 (java) S 10255 10255 10072 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1981066199 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10292] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10292/stat : 10292 (java) S 10255 10255 10072 0 -1 64 68 0 0 0 0 0 0 0 18 0 10 0 1981066772 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 87.8
Current children cumulated vsize (KiB) 214112
[startup+88.8024 s]
/proc/loadavg: 2.07 2.00 1.71 3/97 10322
/proc/meminfo: memFree=1745044/2055920 swapFree=4179028/4192956
[pid=10255] ppid=10253 vsize=5360 CPUtime=1.51
/proc/10255/stat : 10255 (hydra) S 10253 10255 10072 0 -1 4194304 375 1454 0 0 0 0 150 1 20 0 1 0 1981066037 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10255/statm: 1340 238 196 169 0 51 0
[pid=10263] ppid=10255 vsize=197348 CPUtime=5.73
/proc/10263/stat : 10263 (java) S 10255 10255 10072 0 -1 0 11435 0 1 0 555 18 0 0 21 0 10 0 1981066193 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10263/statm: 49337 9403 2544 9 0 43920 0
[pid=10293] ppid=10263 vsize=5356 CPUtime=0
/proc/10293/stat : 10293 (mistral) S 10263 10255 10072 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 1981066772 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10293/statm: 1339 236 196 169 0 50 0
[pid=10294] ppid=10293 vsize=6048 CPUtime=81.35
/proc/10294/stat : 10294 (xsolve) R 10293 10255 10072 0 -1 4194304 833 0 0 0 8134 1 0 0 25 0 1 0 1981066773 6193152 797 996147200 134512640 135239763 4294955968 18446744073709551615 135103066 0 4 0 0 0 0 0 17 0 0 0
/proc/10294/statm: 1512 797 392 177 0 415 0
[pid=10263/tid=10264] ppid=10255 vsize=197348 CPUtime=4.64
/proc/10263/task/10264/stat : 10264 (java) S 10255 10255 10072 0 -1 64 3859 0 1 0 457 7 0 0 17 0 10 0 1981066194 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10263/tid=10265] ppid=10255 vsize=197348 CPUtime=0.86
/proc/10263/task/10265/stat : 10265 (java) S 10255 10255 10072 0 -1 64 6121 0 0 0 77 9 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10266] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10266/stat : 10266 (java) S 10255 10255 10072 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10267] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10267/stat : 10267 (java) S 10255 10255 10072 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10263/tid=10268] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10268/stat : 10268 (java) S 10255 10255 10072 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981066198 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10269] ppid=10255 vsize=197348 CPUtime=0.2
/proc/10263/task/10269/stat : 10269 (java) S 10255 10255 10072 0 -1 64 651 0 0 0 20 0 0 0 16 0 10 0 1981066198 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10263/tid=10270] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10270/stat : 10270 (java) S 10255 10255 10072 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1981066199 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10271] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10271/stat : 10271 (java) S 10255 10255 10072 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1981066199 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10292] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10292/stat : 10292 (java) S 10255 10255 10072 0 -1 64 68 0 0 0 0 0 0 0 18 0 10 0 1981066772 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 88.59
Current children cumulated vsize (KiB) 214112
[startup+89.2075 s]
/proc/loadavg: 2.07 2.00 1.71 3/97 10322
/proc/meminfo: memFree=1745044/2055920 swapFree=4179028/4192956
[pid=10255] ppid=10253 vsize=5360 CPUtime=1.51
/proc/10255/stat : 10255 (hydra) S 10253 10255 10072 0 -1 4194304 375 1454 0 0 0 0 150 1 20 0 1 0 1981066037 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10255/statm: 1340 238 196 169 0 51 0
[pid=10263] ppid=10255 vsize=197348 CPUtime=5.73
/proc/10263/stat : 10263 (java) S 10255 10255 10072 0 -1 0 11435 0 1 0 555 18 0 0 21 0 10 0 1981066193 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10263/statm: 49337 9403 2544 9 0 43920 0
[pid=10293] ppid=10263 vsize=5356 CPUtime=0
/proc/10293/stat : 10293 (mistral) S 10263 10255 10072 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 1981066772 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10293/statm: 1339 236 196 169 0 50 0
[pid=10294] ppid=10293 vsize=6048 CPUtime=81.76
/proc/10294/stat : 10294 (xsolve) R 10293 10255 10072 0 -1 4194304 833 0 0 0 8175 1 0 0 25 0 1 0 1981066773 6193152 797 996147200 134512640 135239763 4294955968 18446744073709551615 135031223 0 4 0 0 0 0 0 17 0 0 0
/proc/10294/statm: 1512 797 392 177 0 415 0
[pid=10263/tid=10264] ppid=10255 vsize=197348 CPUtime=4.64
/proc/10263/task/10264/stat : 10264 (java) S 10255 10255 10072 0 -1 64 3859 0 1 0 457 7 0 0 17 0 10 0 1981066194 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10263/tid=10265] ppid=10255 vsize=197348 CPUtime=0.86
/proc/10263/task/10265/stat : 10265 (java) S 10255 10255 10072 0 -1 64 6121 0 0 0 77 9 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10266] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10266/stat : 10266 (java) S 10255 10255 10072 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10267] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10267/stat : 10267 (java) S 10255 10255 10072 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10263/tid=10268] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10268/stat : 10268 (java) S 10255 10255 10072 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981066198 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10269] ppid=10255 vsize=197348 CPUtime=0.2
/proc/10263/task/10269/stat : 10269 (java) S 10255 10255 10072 0 -1 64 651 0 0 0 20 0 0 0 16 0 10 0 1981066198 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10263/tid=10270] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10270/stat : 10270 (java) S 10255 10255 10072 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1981066199 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10271] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10271/stat : 10271 (java) S 10255 10255 10072 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1981066199 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10292] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10292/stat : 10292 (java) S 10255 10255 10072 0 -1 64 68 0 0 0 0 0 0 0 18 0 10 0 1981066772 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 89
Current children cumulated vsize (KiB) 214112
[startup+89.6015 s]
/proc/loadavg: 2.07 2.00 1.71 3/97 10322
/proc/meminfo: memFree=1745044/2055920 swapFree=4179028/4192956
[pid=10255] ppid=10253 vsize=5360 CPUtime=1.51
/proc/10255/stat : 10255 (hydra) S 10253 10255 10072 0 -1 4194304 375 1454 0 0 0 0 150 1 20 0 1 0 1981066037 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10255/statm: 1340 238 196 169 0 51 0
[pid=10263] ppid=10255 vsize=197348 CPUtime=5.73
/proc/10263/stat : 10263 (java) S 10255 10255 10072 0 -1 0 11435 0 1 0 555 18 0 0 21 0 10 0 1981066193 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10263/statm: 49337 9403 2544 9 0 43920 0
[pid=10293] ppid=10263 vsize=5356 CPUtime=0
/proc/10293/stat : 10293 (mistral) S 10263 10255 10072 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 1981066772 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10293/statm: 1339 236 196 169 0 50 0
[pid=10294] ppid=10293 vsize=6048 CPUtime=82.15
/proc/10294/stat : 10294 (xsolve) R 10293 10255 10072 0 -1 4194304 833 0 0 0 8214 1 0 0 25 0 1 0 1981066773 6193152 797 996147200 134512640 135239763 4294955968 18446744073709551615 135103024 0 4 0 0 0 0 0 17 0 0 0
/proc/10294/statm: 1512 797 392 177 0 415 0
[pid=10263/tid=10264] ppid=10255 vsize=197348 CPUtime=4.64
/proc/10263/task/10264/stat : 10264 (java) S 10255 10255 10072 0 -1 64 3859 0 1 0 457 7 0 0 17 0 10 0 1981066194 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10263/tid=10265] ppid=10255 vsize=197348 CPUtime=0.86
/proc/10263/task/10265/stat : 10265 (java) S 10255 10255 10072 0 -1 64 6121 0 0 0 77 9 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10266] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10266/stat : 10266 (java) S 10255 10255 10072 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10267] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10267/stat : 10267 (java) S 10255 10255 10072 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10263/tid=10268] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10268/stat : 10268 (java) S 10255 10255 10072 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981066198 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10269] ppid=10255 vsize=197348 CPUtime=0.2
/proc/10263/task/10269/stat : 10269 (java) S 10255 10255 10072 0 -1 64 651 0 0 0 20 0 0 0 16 0 10 0 1981066198 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10263/tid=10270] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10270/stat : 10270 (java) S 10255 10255 10072 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1981066199 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10271] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10271/stat : 10271 (java) S 10255 10255 10072 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1981066199 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10292] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10292/stat : 10292 (java) S 10255 10255 10072 0 -1 64 68 0 0 0 0 0 0 0 18 0 10 0 1981066772 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 89.39
Current children cumulated vsize (KiB) 214112
[startup+89.7015 s]
/proc/loadavg: 2.07 2.00 1.71 3/97 10322
/proc/meminfo: memFree=1745044/2055920 swapFree=4179028/4192956
[pid=10255] ppid=10253 vsize=5360 CPUtime=1.51
/proc/10255/stat : 10255 (hydra) S 10253 10255 10072 0 -1 4194304 375 1454 0 0 0 0 150 1 20 0 1 0 1981066037 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10255/statm: 1340 238 196 169 0 51 0
[pid=10263] ppid=10255 vsize=197348 CPUtime=5.73
/proc/10263/stat : 10263 (java) S 10255 10255 10072 0 -1 0 11435 0 1 0 555 18 0 0 21 0 10 0 1981066193 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10263/statm: 49337 9403 2544 9 0 43920 0
[pid=10293] ppid=10263 vsize=5356 CPUtime=0
/proc/10293/stat : 10293 (mistral) S 10263 10255 10072 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 1981066772 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 240907772740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10293/statm: 1339 236 196 169 0 50 0
[pid=10294] ppid=10293 vsize=6048 CPUtime=82.25
/proc/10294/stat : 10294 (xsolve) R 10293 10255 10072 0 -1 4194304 833 0 0 0 8224 1 0 0 25 0 1 0 1981066773 6193152 797 996147200 134512640 135239763 4294955968 18446744073709551615 135103076 0 4 0 0 0 0 0 17 0 0 0
/proc/10294/statm: 1512 797 392 177 0 415 0
[pid=10263/tid=10264] ppid=10255 vsize=197348 CPUtime=4.64
/proc/10263/task/10264/stat : 10264 (java) S 10255 10255 10072 0 -1 64 3859 0 1 0 457 7 0 0 17 0 10 0 1981066194 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10263/tid=10265] ppid=10255 vsize=197348 CPUtime=0.86
/proc/10263/task/10265/stat : 10265 (java) S 10255 10255 10072 0 -1 64 6121 0 0 0 77 9 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10266] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10266/stat : 10266 (java) S 10255 10255 10072 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10267] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10267/stat : 10267 (java) S 10255 10255 10072 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981066196 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10263/tid=10268] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10268/stat : 10268 (java) S 10255 10255 10072 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981066198 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10269] ppid=10255 vsize=197348 CPUtime=0.2
/proc/10263/task/10269/stat : 10269 (java) S 10255 10255 10072 0 -1 64 651 0 0 0 20 0 0 0 16 0 10 0 1981066198 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10263/tid=10270] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10270/stat : 10270 (java) S 10255 10255 10072 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1981066199 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10271] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10271/stat : 10271 (java) S 10255 10255 10072 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1981066199 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10263/tid=10292] ppid=10255 vsize=197348 CPUtime=0
/proc/10263/task/10292/stat : 10292 (java) S 10255 10255 10072 0 -1 64 68 0 0 0 0 0 0 0 18 0 10 0 1981066772 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 89.49
Current children cumulated vsize (KiB) 214112
Child status: 0
Real time (s): 89.7554
CPU time (s): 89.5924
CPU user time (s): 89.3604
CPU system time (s): 0.231964
CPU usage (%): 99.8184
Max. virtual memory (cumulated for all children) (KiB): 214112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.3604
system time used= 0.231964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14532
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= 10346
involuntary context switches= 9485
runsolver used 0.143978 second user time and 0.306953 second system time
The end