0.00/0.00 c cpHydra_k_10 version 0.0
6.85/6.92 c CASE TO CLASSIFY:
6.85/6.92 c Case: 0
6.85/6.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.804400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 7.130370 | c 14 > 10.107200 | c 11 > 6.209450 | c 12 > 7.968360 | c 21 > 19.938100 | c 20 > 0.000000 | c 22 > 31.638600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.285710 | c 27 > 0.714286 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.455330 | 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 > 14.882700 | c 31 > -1.000000 | c 4 > 6.209450 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.85/6.93 c choco : 1801.0
6.85/6.93 c mistral : 1801.0
6.85/6.93 c abscon : 1801.0
6.85/6.93 c
6.85/6.93 c
6.85/7.00 c List of same ones: 10
6.85/7.00 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-25/tsp-25-38_ext.xml
6.85/7.00 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.630600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 6.764570 | c 14 > 10.044400 | c 11 > 6.209450 | c 12 > 7.910700 | c 21 > 19.546200 | c 20 > 0.000000 | c 22 > 31.638600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.285710 | c 27 > 0.714286 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.455330 | 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 > 14.825500 | c 31 > -1.000000 | c 4 > 6.209450 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.94/7.01 c choco : 114.23
6.94/7.01 c mistral : 2.89
6.94/7.01 c abscon : 2.57661
6.94/7.01 c
6.94/7.01 c
6.94/7.01 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-20/tsp-20-76_ext.xml
6.94/7.01 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.770600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 7.500560 | c 14 > 9.977280 | c 11 > 5.882640 | c 12 > 8.304170 | c 21 > 19.793600 | c 20 > 0.000000 | c 22 > 31.638600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.130430 | c 27 > 0.869565 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.851750 | 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 > 14.544500 | c 31 > -1.000000 | c 4 > 5.882640 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.94/7.01 c choco : 17.44
6.94/7.01 c mistral : 3.81
6.94/7.01 c abscon : 6.60799
6.94/7.01 c
6.94/7.01 c
6.94/7.01 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-25/tsp-25-3_ext.xml
6.94/7.01 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.255500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 6.241670 | c 14 > 9.344300 | c 11 > 6.209450 | c 12 > 7.345140 | c 21 > 19.610700 | c 20 > 0.000000 | c 22 > 31.638600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.285710 | c 27 > 0.714286 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.455330 | 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 > 14.835000 | c 31 > -1.000000 | c 4 > 6.209450 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.94/7.02 c choco : 1801.0
6.94/7.02 c mistral : 2.29
6.94/7.02 c abscon : 5.43817
6.94/7.02 c
6.94/7.02 c
6.94/7.02 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-20/tsp-20-453_ext.xml
6.94/7.02 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.658400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 6.878120 | c 14 > 9.703900 | c 11 > 5.882640 | c 12 > 7.835250 | c 21 > 19.770000 | c 20 > 0.000000 | c 22 > 31.638600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.130430 | c 27 > 0.869565 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.851750 | 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 > 14.541100 | c 31 > -1.000000 | c 4 > 5.882640 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.94/7.03 c choco : 1801.0
6.94/7.03 c mistral : 45.45
6.94/7.03 c abscon : 24.3123
6.94/7.03 c
6.94/7.03 c
6.94/7.03 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-25/tsp-25-190_ext.xml
6.94/7.03 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.004800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 6.257910 | c 14 > 9.503830 | c 11 > 6.209450 | c 12 > 7.199410 | c 21 > 19.803000 | c 20 > 0.000000 | c 22 > 31.638600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.285710 | c 27 > 0.714286 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.455330 | 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 > 14.863100 | c 31 > -1.000000 | c 4 > 6.209450 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.94/7.04 c choco : 1801.0
6.94/7.04 c mistral : 65.27
6.94/7.04 c abscon : 65.1211
6.94/7.04 c
6.94/7.04 c
6.94/7.04 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-25/tsp-25-523_ext.xml
6.94/7.04 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.905900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 6.263350 | c 14 > 9.505810 | c 11 > 6.209450 | c 12 > 7.230770 | c 21 > 19.826900 | c 20 > 0.000000 | c 22 > 31.638600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.285710 | c 27 > 0.714286 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.455330 | 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 > 14.866600 | c 31 > -1.000000 | c 4 > 6.209450 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.94/7.05 c choco : 1801.0
6.94/7.05 c mistral : 39.31
6.94/7.05 c abscon : 18.2322
6.94/7.05 c
6.94/7.05 c
6.94/7.05 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-20/tsp-20-142_ext.xml
6.94/7.05 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.532300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 7.294330 | c 14 > 9.622050 | c 11 > 5.882640 | c 12 > 7.894720 | c 21 > 19.770000 | c 20 > 0.000000 | c 22 > 31.638600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.130430 | c 27 > 0.869565 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.851750 | 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 > 14.541100 | c 31 > -1.000000 | c 4 > 5.882640 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.94/7.06 c choco : 1801.0
6.94/7.06 c mistral : 31.3072
6.94/7.06 c abscon : 29.6705
6.94/7.06 c
6.94/7.06 c
6.94/7.06 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-25/tsp-25-312_ext.xml
6.94/7.06 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.990700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 6.378510 | c 14 > 9.255030 | c 11 > 6.209450 | c 12 > 7.126770 | c 21 > 19.938100 | c 20 > 0.000000 | c 22 > 31.638600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.285710 | c 27 > 0.714286 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.455330 | 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 > 14.882700 | c 31 > -1.000000 | c 4 > 6.209450 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.94/7.06 c choco : 1801.0
6.94/7.06 c mistral : 63.6513
6.94/7.06 c abscon : 55.6755
6.94/7.06 c
6.94/7.06 c
6.94/7.06 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-20/tsp-20-190_ext.xml
6.94/7.06 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.201200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 7.492430 | c 14 > 10.715100 | c 11 > 5.882640 | c 12 > 8.934890 | c 21 > 19.548200 | c 20 > 0.000000 | c 22 > 31.638600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.130430 | c 27 > 0.869565 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.851750 | 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 > 14.508500 | c 31 > -1.000000 | c 4 > 5.882640 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.94/7.07 c choco : 1801.0
6.94/7.07 c mistral : 3.9
6.94/7.07 c abscon : 4.79527
6.94/7.07 c
6.94/7.07 c
6.94/7.07 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-25/tsp-25-843_ext.xml
6.94/7.07 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.237400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 6.054800 | c 14 > 9.523560 | c 11 > 6.209450 | c 12 > 6.971540 | c 21 > 19.667000 | c 20 > 0.000000 | c 22 > 31.638600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.285710 | c 27 > 0.714286 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.455330 | 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 > 14.843200 | c 31 > -1.000000 | c 4 > 6.209450 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.94/7.08 c choco : 38.91
6.94/7.08 c mistral : 46.6209
6.94/7.08 c abscon : 37.8013
6.94/7.08 c
6.94/7.08 c
6.94/7.08 c Length: 10
6.94/7.08 c 0.5728368402957337 1.4480441786910363 1.473419332165829 1.5259112718113728 1.540948487458293 1.5739629984850356 1.6300321004633636 1.6315233944384624 1.6482869287053747 1.6993178180964261
6.94/7.08 c
6.94/7.08 c 1.0 0.5627654259087923 0.5557206247634872 0.5416931776638887 0.5378043273786738 0.529459108660364 0.5158644666339195 0.515512408697943 0.5115877581669436 0.5
6.94/7.09 c
6.94/7.09 c solver 0
6.94/7.09 c before 0.0 seconds: {} 0
6.94/7.09 c before 18.0 seconds: {0, 1, 2, 8} 2630
6.94/7.09 c before 36.0 seconds: {0, 1, 2, 3, 5, 6, 8} 4217
6.94/7.09 c before 54.0 seconds: {0, 1, 2, 3, 5, 6, 8, 9} 4717
6.94/7.09 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5770
6.94/7.09 c
6.94/7.09 c solver 1
6.94/7.09 c before 0.0 seconds: {} 0
6.94/7.09 c before 18.0 seconds: {0, 1, 2, 8} 2630
6.94/7.09 c before 36.0 seconds: {0, 1, 2, 6, 8} 3145
6.94/7.09 c before 54.0 seconds: {0, 1, 2, 3, 5, 6, 8, 9} 4717
6.94/7.09 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5770
6.94/7.09 c
6.94/7.09 c solver 2
6.94/7.09 c before 0.0 seconds: {} 0
6.94/7.09 c before 18.0 seconds: {1} 562
6.94/7.09 c before 54.0 seconds: {1, 9} 1062
6.94/7.09 c before 126.0 seconds: {0, 1, 9} 2062
6.94/7.09 c
6.94/7.09 cTotal time: 15
6.94/7.09 c 270.0 seconds unused
6.94/7.09 c 0 c 0 c 7
6.94/7.09 c 0 c 0 c 7
6.94/7.09 c 0 c 0 c 0
6.94/7.09 c is solver0 dominated by:
6.94/7.09 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: true) (0 < 1: false)
6.94/7.09 c is dominated? true
6.94/7.09 c
6.94/7.09 c is solver1 dominated by:
6.94/7.09 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: false) (1 is equally as fast as 0: true) (1 < 0: true)
6.94/7.09 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)
6.94/7.09 c is dominated? false
6.94/7.09 c
6.94/7.09 c is solver2 dominated by:
6.94/7.09 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)
6.94/7.09 c is dominated? true
6.94/7.09 c
6.94/7.09 c Number of non-dominated solvers: 1
6.94/7.09 c remove dominated solvers
6.94/7.09 c solver 1 is not dominated by another solver
6.94/7.09 c solver 2 is dominated by another solver
6.94/7.09 c solver 0 is dominated by another solver
6.94/7.10 c
6.94/7.10 c solver 0: 0.0
6.94/7.10 c
6.94/7.10 c solver 1: 72.0
6.94/7.10 c
6.94/7.10 c+ 4/4 of 96
6.94/7.10 c
6.94/7.10 c solver 2: 0.0
6.94/7.10 c do not run abscon
7.01/7.10 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5770
7.01/7.10 c do not run choco
7.01/7.10 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.01/7.10 c On Instance: HOME/instance-1051646-1215054445.xml
7.01/7.10 c Running for: 1800 seconds
40.78/40.96 c mistral-prime version 1.313
40.78/40.96 s SATISFIABLE
40.78/40.96 v 24 1 18 1 15 20 17 1 25 13 23 7 2 4 16 17 1 15 13 6 5 14 11 5 7 0 4 10 14 4 20 1 10 3 8 8 6 1 9 17 19 9 12 9 22 1 3 13 21 9 2 22 23 36 43 47 64 79 85 99 104 104 114 118 119 122 130 131 148 157 166 167 180 189 189 0
40.78/40.96 d CHECKS 18077467
40.78/40.96 d ASSIGNMENTS 28169
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1051646-1215054445/watcher-1051646-1215054445 -o /tmp/evaluation-result-1051646-1215054445/solver-1051646-1215054445 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1051646-1215054445.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 32635
/proc/meminfo: memFree=1667920/2055920 swapFree=4179808/4192956
[pid=32635] ppid=32633 vsize=5360 CPUtime=0
/proc/32635/stat : 32635 (hydra) S 32633 32635 27912 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 661172188 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32635/statm: 1340 236 195 169 0 51 0
[pid=32638] ppid=32635 vsize=3240 CPUtime=0
/proc/32638/stat : 32638 (xsolve) R 32635 32635 27912 0 -1 4194304 76 0 0 0 0 0 0 0 18 0 1 0 661172189 3317760 52 996147200 134512640 135239763 4294956176 18446744073709551615 11924538 0 0 4096 0 0 0 0 17 0 0 0
/proc/32638/statm: 823 56 40 177 0 13 0
[startup+0.084915 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 32635
/proc/meminfo: memFree=1667920/2055920 swapFree=4179808/4192956
[pid=32635] ppid=32633 vsize=5360 CPUtime=0
/proc/32635/stat : 32635 (hydra) S 32633 32635 27912 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 661172188 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32635/statm: 1340 236 195 169 0 51 0
[pid=32638] ppid=32635 vsize=8328 CPUtime=0.07
/proc/32638/stat : 32638 (xsolve) R 32635 32635 27912 0 -1 4194304 1461 0 0 0 7 0 0 0 18 0 1 0 661172189 8527872 1420 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/32638/statm: 2082 1420 424 177 0 985 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13688
[startup+0.101918 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 32635
/proc/meminfo: memFree=1667920/2055920 swapFree=4179808/4192956
[pid=32635] ppid=32633 vsize=5360 CPUtime=0
/proc/32635/stat : 32635 (hydra) S 32633 32635 27912 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 661172188 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32635/statm: 1340 236 195 169 0 51 0
[pid=32638] ppid=32635 vsize=8328 CPUtime=0.08
/proc/32638/stat : 32638 (xsolve) R 32635 32635 27912 0 -1 4194304 1461 0 0 0 8 0 0 0 18 0 1 0 661172189 8527872 1420 996147200 134512640 135239763 4294956176 18446744073709551615 134789093 0 0 4096 0 0 0 0 17 0 0 0
/proc/32638/statm: 2082 1420 424 177 0 985 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13688
[startup+0.301936 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 32635
/proc/meminfo: memFree=1667920/2055920 swapFree=4179808/4192956
[pid=32635] ppid=32633 vsize=5360 CPUtime=0
/proc/32635/stat : 32635 (hydra) S 32633 32635 27912 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 661172188 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32635/statm: 1340 236 195 169 0 51 0
[pid=32638] ppid=32635 vsize=8328 CPUtime=0.28
/proc/32638/stat : 32638 (xsolve) R 32635 32635 27912 0 -1 4194304 1463 0 0 0 28 0 0 0 20 0 1 0 661172189 8527872 1422 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/32638/statm: 2082 1422 424 177 0 985 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13688
[startup+0.701977 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 32635
/proc/meminfo: memFree=1667920/2055920 swapFree=4179808/4192956
[pid=32635] ppid=32633 vsize=5360 CPUtime=0
/proc/32635/stat : 32635 (hydra) S 32633 32635 27912 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 661172188 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32635/statm: 1340 236 195 169 0 51 0
[pid=32638] ppid=32635 vsize=8328 CPUtime=0.68
/proc/32638/stat : 32638 (xsolve) R 32635 32635 27912 0 -1 4194304 1464 0 0 0 68 0 0 0 23 0 1 0 661172189 8527872 1423 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/32638/statm: 2082 1423 425 177 0 985 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13688
[startup+1.50206 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 32639
/proc/meminfo: memFree=1663616/2055920 swapFree=4179808/4192956
[pid=32635] ppid=32633 vsize=5360 CPUtime=0
/proc/32635/stat : 32635 (hydra) S 32633 32635 27912 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 661172188 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32635/statm: 1340 236 195 169 0 51 0
[pid=32638] ppid=32635 vsize=8328 CPUtime=1.48
/proc/32638/stat : 32638 (xsolve) R 32635 32635 27912 0 -1 4194304 1464 0 0 0 148 0 0 0 25 0 1 0 661172189 8527872 1423 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/32638/statm: 2082 1423 425 177 0 985 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13688
[startup+3.10222 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 32651
/proc/meminfo: memFree=1659648/2055920 swapFree=4179808/4192956
[pid=32635] ppid=32633 vsize=5360 CPUtime=1.5
/proc/32635/stat : 32635 (hydra) S 32633 32635 27912 0 -1 4194304 375 2061 0 0 0 0 149 1 19 0 1 0 661172188 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32635/statm: 1340 238 196 169 0 51 0
[pid=32643] ppid=32635 vsize=197020 CPUtime=1.54
/proc/32643/stat : 32643 (java) S 32635 32635 27912 0 -1 0 6506 0 1 0 148 6 0 0 20 0 9 0 661172339 201748480 5468 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32643/statm: 49255 5469 2540 9 0 43838 0
[pid=32643/tid=32644] ppid=32635 vsize=197020 CPUtime=1.18
/proc/32643/task/32644/stat : 32644 (java) R 32635 32635 27912 0 -1 64 2801 0 1 0 116 2 0 0 25 0 9 0 661172340 201748480 5470 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32645] ppid=32635 vsize=197020 CPUtime=0.2
/proc/32643/task/32645/stat : 32645 (java) R 32635 32635 27912 0 -1 64 2371 0 0 0 18 2 0 0 15 0 9 0 661172342 201748480 5470 996147200 134512640 134550740 4294955968 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32646] ppid=32635 vsize=197020 CPUtime=0
/proc/32643/task/32646/stat : 32646 (java) S 32635 32635 27912 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 661172342 201748480 5470 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32647] ppid=32635 vsize=197020 CPUtime=0
/proc/32643/task/32647/stat : 32647 (java) S 32635 32635 27912 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 661172342 201748480 5470 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32648] ppid=32635 vsize=197020 CPUtime=0
/proc/32643/task/32648/stat : 32648 (java) S 32635 32635 27912 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 661172346 201748480 5471 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32649] ppid=32635 vsize=197020 CPUtime=0.13
/proc/32643/task/32649/stat : 32649 (java) S 32635 32635 27912 0 -1 64 611 0 0 0 13 0 0 0 16 0 9 0 661172346 201748480 5472 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32650] ppid=32635 vsize=197020 CPUtime=0
/proc/32643/task/32650/stat : 32650 (java) S 32635 32635 27912 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 661172346 201748480 5474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32651] ppid=32635 vsize=197020 CPUtime=0
/proc/32643/task/32651/stat : 32651 (java) S 32635 32635 27912 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 661172346 201748480 5476 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 202380
[startup+6.30154 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 32651
/proc/meminfo: memFree=1645504/2055920 swapFree=4179808/4192956
[pid=32635] ppid=32633 vsize=5360 CPUtime=1.5
/proc/32635/stat : 32635 (hydra) S 32633 32635 27912 0 -1 4194304 375 2061 0 0 0 0 149 1 19 0 1 0 661172188 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32635/statm: 1340 238 196 169 0 51 0
[pid=32643] ppid=32635 vsize=197020 CPUtime=4.75
/proc/32643/stat : 32643 (java) S 32635 32635 27912 0 -1 0 10441 0 1 0 460 15 0 0 20 0 9 0 661172339 201748480 8669 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32643/statm: 49255 8669 2540 9 0 43838 0
[pid=32643/tid=32644] ppid=32635 vsize=197020 CPUtime=3.78
/proc/32643/task/32644/stat : 32644 (java) R 32635 32635 27912 0 -1 64 3631 0 1 0 373 5 0 0 25 0 9 0 661172340 201748480 8669 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32645] ppid=32635 vsize=197020 CPUtime=0.77
/proc/32643/task/32645/stat : 32645 (java) R 32635 32635 27912 0 -1 64 5458 0 0 0 69 8 0 0 15 0 9 0 661172342 201748480 8669 996147200 134512640 134550740 4294955968 18446744073709551615 102109593 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32646] ppid=32635 vsize=197020 CPUtime=0
/proc/32643/task/32646/stat : 32646 (java) S 32635 32635 27912 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 661172342 201748480 8669 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32647] ppid=32635 vsize=197020 CPUtime=0
/proc/32643/task/32647/stat : 32647 (java) S 32635 32635 27912 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 661172342 201748480 8669 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32648] ppid=32635 vsize=197020 CPUtime=0
/proc/32643/task/32648/stat : 32648 (java) S 32635 32635 27912 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 661172346 201748480 8669 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32649] ppid=32635 vsize=197020 CPUtime=0.16
/proc/32643/task/32649/stat : 32649 (java) S 32635 32635 27912 0 -1 64 627 0 0 0 16 0 0 0 16 0 9 0 661172346 201748480 8669 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32650] ppid=32635 vsize=197020 CPUtime=0
/proc/32643/task/32650/stat : 32650 (java) S 32635 32635 27912 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 661172346 201748480 8669 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32651] ppid=32635 vsize=197020 CPUtime=0
/proc/32643/task/32651/stat : 32651 (java) S 32635 32635 27912 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 661172346 201748480 8669 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 202380
[startup+12.7012 s]
/proc/loadavg: 2.07 2.02 2.00 3/86 32654
/proc/meminfo: memFree=1635248/2055920 swapFree=4179808/4192956
[pid=32635] ppid=32633 vsize=5360 CPUtime=1.5
/proc/32635/stat : 32635 (hydra) S 32633 32635 27912 0 -1 4194304 375 2061 0 0 0 0 149 1 19 0 1 0 661172188 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32635/statm: 1340 238 196 169 0 51 0
[pid=32643] ppid=32635 vsize=197344 CPUtime=5.52
/proc/32643/stat : 32643 (java) S 32635 32635 27912 0 -1 0 11433 0 1 0 536 16 0 0 20 0 10 0 661172339 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32643/statm: 49336 9404 2544 9 0 43919 0
[pid=32653] ppid=32643 vsize=5356 CPUtime=0
/proc/32653/stat : 32653 (mistral) S 32643 32635 27912 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 661172899 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 236 196 169 0 50 0
[pid=32654] ppid=32653 vsize=8328 CPUtime=5.57
/proc/32654/stat : 32654 (xsolve) R 32653 32635 27912 0 -1 4194304 1440 0 0 0 557 0 0 0 25 0 1 0 661172900 8527872 1404 996147200 134512640 135239763 4294955968 18446744073709551615 135015488 0 4 0 0 0 0 0 17 0 0 0
/proc/32654/statm: 2082 1404 406 177 0 985 0
[pid=32643/tid=32644] ppid=32635 vsize=197344 CPUtime=4.44
/proc/32643/task/32644/stat : 32644 (java) S 32635 32635 27912 0 -1 64 3861 0 1 0 438 6 0 0 24 0 10 0 661172340 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=32643/tid=32645] ppid=32635 vsize=197344 CPUtime=0.85
/proc/32643/task/32645/stat : 32645 (java) S 32635 32635 27912 0 -1 64 6122 0 0 0 77 8 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32646] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32646/stat : 32646 (java) S 32635 32635 27912 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32647] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32647/stat : 32647 (java) S 32635 32635 27912 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32648] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32648/stat : 32648 (java) S 32635 32635 27912 0 -1 64 0 0 0 0 0 0 0 0 23 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32649] ppid=32635 vsize=197344 CPUtime=0.19
/proc/32643/task/32649/stat : 32649 (java) S 32635 32635 27912 0 -1 64 645 0 0 0 19 0 0 0 16 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32650] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32650/stat : 32650 (java) S 32635 32635 27912 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32651] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32651/stat : 32651 (java) S 32635 32635 27912 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32652] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32652/stat : 32652 (java) S 32635 32635 27912 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 661172899 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 216388
[startup+25.5024 s]
/proc/loadavg: 2.06 2.02 2.00 3/86 32654
/proc/meminfo: memFree=1635312/2055920 swapFree=4179808/4192956
[pid=32635] ppid=32633 vsize=5360 CPUtime=1.5
/proc/32635/stat : 32635 (hydra) S 32633 32635 27912 0 -1 4194304 375 2061 0 0 0 0 149 1 19 0 1 0 661172188 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32635/statm: 1340 238 196 169 0 51 0
[pid=32643] ppid=32635 vsize=197344 CPUtime=5.52
/proc/32643/stat : 32643 (java) S 32635 32635 27912 0 -1 0 11433 0 1 0 536 16 0 0 20 0 10 0 661172339 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32643/statm: 49336 9404 2544 9 0 43919 0
[pid=32653] ppid=32643 vsize=5356 CPUtime=0
/proc/32653/stat : 32653 (mistral) S 32643 32635 27912 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 661172899 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 236 196 169 0 50 0
[pid=32654] ppid=32653 vsize=8328 CPUtime=18.37
/proc/32654/stat : 32654 (xsolve) R 32653 32635 27912 0 -1 4194304 1440 0 0 0 1837 0 0 0 25 0 1 0 661172900 8527872 1404 996147200 134512640 135239763 4294955968 18446744073709551615 134788877 0 4 0 0 0 0 0 17 0 0 0
/proc/32654/statm: 2082 1404 406 177 0 985 0
[pid=32643/tid=32644] ppid=32635 vsize=197344 CPUtime=4.44
/proc/32643/task/32644/stat : 32644 (java) S 32635 32635 27912 0 -1 64 3861 0 1 0 438 6 0 0 24 0 10 0 661172340 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=32643/tid=32645] ppid=32635 vsize=197344 CPUtime=0.85
/proc/32643/task/32645/stat : 32645 (java) S 32635 32635 27912 0 -1 64 6122 0 0 0 77 8 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32646] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32646/stat : 32646 (java) S 32635 32635 27912 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32647] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32647/stat : 32647 (java) S 32635 32635 27912 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32648] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32648/stat : 32648 (java) S 32635 32635 27912 0 -1 64 0 0 0 0 0 0 0 0 23 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=32653] ppid=32643 vsize=5356 CPUtime=0
/proc/32653/stat : 32653 (mistral) S 32643 32635 27912 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 661172899 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 236 196 169 0 50 0
[pid=32654] ppid=32653 vsize=8328 CPUtime=27.97
/proc/32654/stat : 32654 (xsolve) R 32653 32635 27912 0 -1 4194304 1440 0 0 0 2797 0 0 0 25 0 1 0 661172900 8527872 1404 996147200 134512640 135239763 4294955968 18446744073709551615 135015460 0 4 0 0 0 0 0 17 0 0 0
/proc/32654/statm: 2082 1404 406 177 0 985 0
[pid=32643/tid=32644] ppid=32635 vsize=197344 CPUtime=4.44
/proc/32643/task/32644/stat : 32644 (java) S 32635 32635 27912 0 -1 64 3861 0 1 0 438 6 0 0 24 0 10 0 661172340 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=32643/tid=32645] ppid=32635 vsize=197344 CPUtime=0.85
/proc/32643/task/32645/stat : 32645 (java) S 32635 32635 27912 0 -1 64 6122 0 0 0 77 8 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32646] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32646/stat : 32646 (java) S 32635 32635 27912 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32647] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32647/stat : 32647 (java) S 32635 32635 27912 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32648] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32648/stat : 32648 (java) S 32635 32635 27912 0 -1 64 0 0 0 0 0 0 0 0 23 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32649] ppid=32635 vsize=197344 CPUtime=0.19
/proc/32643/task/32649/stat : 32649 (java) S 32635 32635 27912 0 -1 64 645 0 0 0 19 0 0 0 16 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32650] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32650/stat : 32650 (java) S 32635 32635 27912 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32651] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32651/stat : 32651 (java) S 32635 32635 27912 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32652] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32652/stat : 32652 (java) S 32635 32635 27912 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 661172899 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 34.99
Current children cumulated vsize (KiB) 216388
[startup+38.3017 s]
/proc/loadavg: 2.05 2.01 2.00 3/86 32654
/proc/meminfo: memFree=1635120/2055920 swapFree=4179808/4192956
[pid=32635] ppid=32633 vsize=5360 CPUtime=1.5
/proc/32635/stat : 32635 (hydra) S 32633 32635 27912 0 -1 4194304 375 2061 0 0 0 0 149 1 19 0 1 0 661172188 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32635/statm: 1340 238 196 169 0 51 0
[pid=32643] ppid=32635 vsize=197344 CPUtime=5.52
/proc/32643/stat : 32643 (java) S 32635 32635 27912 0 -1 0 11433 0 1 0 536 16 0 0 20 0 10 0 661172339 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32643/statm: 49336 9404 2544 9 0 43919 0
[pid=32653] ppid=32643 vsize=5356 CPUtime=0
/proc/32653/stat : 32653 (mistral) S 32643 32635 27912 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 661172899 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 236 196 169 0 50 0
[pid=32654] ppid=32653 vsize=8328 CPUtime=31.16
/proc/32654/stat : 32654 (xsolve) R 32653 32635 27912 0 -1 4194304 1440 0 0 0 3116 0 0 0 25 0 1 0 661172900 8527872 1404 996147200 134512640 135239763 4294955968 18446744073709551615 135015483 0 4 0 0 0 0 0 17 0 0 0
/proc/32654/statm: 2082 1404 406 177 0 985 0
[pid=32643/tid=32644] ppid=32635 vsize=197344 CPUtime=4.44
/proc/32643/task/32644/stat : 32644 (java) S 32635 32635 27912 0 -1 64 3861 0 1 0 438 6 0 0 24 0 10 0 661172340 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=32643/tid=32645] ppid=32635 vsize=197344 CPUtime=0.85
/proc/32643/task/32645/stat : 32645 (java) S 32635 32635 27912 0 -1 64 6122 0 0 0 77 8 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32646] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32646/stat : 32646 (java) S 32635 32635 27912 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32647] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32647/stat : 32647 (java) S 32635 32635 27912 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32648] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32648/stat : 32648 (java) S 32635 32635 27912 0 -1 64 0 0 0 0 0 0 0 0 23 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32649] ppid=32635 vsize=197344 CPUtime=0.19
/proc/32643/task/32649/stat : 32649 (java) S 32635 32635 27912 0 -1 64 645 0 0 0 19 0 0 0 16 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32650] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32650/stat : 32650 (java) S 32635 32635 27912 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32651] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32651/stat : 32651 (java) S 32635 32635 27912 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32652] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32652/stat : 32652 (java) S 32635 32635 27912 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 661172899 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 38.18
Current children cumulated vsize (KiB) 216388
[startup+39.9029 s]
/proc/loadavg: 2.05 2.01 2.00 3/86 32654
/proc/meminfo: memFree=1635184/2055920 swapFree=4179808/4192956
[pid=32635] ppid=32633 vsize=5360 CPUtime=1.5
/proc/32635/stat : 32635 (hydra) S 32633 32635 27912 0 -1 4194304 375 2061 0 0 0 0 149 1 19 0 1 0 661172188 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32635/statm: 1340 238 196 169 0 51 0
[pid=32643] ppid=32635 vsize=197344 CPUtime=5.52
/proc/32643/stat : 32643 (java) S 32635 32635 27912 0 -1 0 11433 0 1 0 536 16 0 0 20 0 10 0 661172339 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32643/statm: 49336 9404 2544 9 0 43919 0
[pid=32653] ppid=32643 vsize=5356 CPUtime=0
/proc/32653/stat : 32653 (mistral) S 32643 32635 27912 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 661172899 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 236 196 169 0 50 0
[pid=32654] ppid=32653 vsize=8328 CPUtime=32.76
/proc/32654/stat : 32654 (xsolve) R 32653 32635 27912 0 -1 4194304 1440 0 0 0 3276 0 0 0 25 0 1 0 661172900 8527872 1404 996147200 134512640 135239763 4294955968 18446744073709551615 134789108 0 4 0 0 0 0 0 17 0 0 0
/proc/32654/statm: 2082 1404 406 177 0 985 0
[pid=32643/tid=32644] ppid=32635 vsize=197344 CPUtime=4.44
/proc/32643/task/32644/stat : 32644 (java) S 32635 32635 27912 0 -1 64 3861 0 1 0 438 6 0 0 24 0 10 0 661172340 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=32643/tid=32645] ppid=32635 vsize=197344 CPUtime=0.85
/proc/32643/task/32645/stat : 32645 (java) S 32635 32635 27912 0 -1 64 6122 0 0 0 77 8 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32646] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32646/stat : 32646 (java) S 32635 32635 27912 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32647] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32647/stat : 32647 (java) S 32635 32635 27912 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32648] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32648/stat : 32648 (java) S 32635 32635 27912 0 -1 64 0 0 0 0 0 0 0 0 23 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32649] ppid=32635 vsize=197344 CPUtime=0.19
/proc/32643/task/32649/stat : 32649 (java) S 32635 32635 27912 0 -1 64 645 0 0 0 19 0 0 0 16 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32650] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32650/stat : 32650 (java) S 32635 32635 27912 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32651] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32651/stat : 32651 (java) S 32635 32635 27912 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32652] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32652/stat : 32652 (java) S 32635 32635 27912 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 661172899 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 39.78
Current children cumulated vsize (KiB) 216388
[startup+40.7069 s]
/proc/loadavg: 2.05 2.01 2.00 3/86 32654
/proc/meminfo: memFree=1635184/2055920 swapFree=4179808/4192956
[pid=32635] ppid=32633 vsize=5360 CPUtime=1.5
/proc/32635/stat : 32635 (hydra) S 32633 32635 27912 0 -1 4194304 375 2061 0 0 0 0 149 1 19 0 1 0 661172188 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32635/statm: 1340 238 196 169 0 51 0
[pid=32643] ppid=32635 vsize=197344 CPUtime=5.52
/proc/32643/stat : 32643 (java) S 32635 32635 27912 0 -1 0 11433 0 1 0 536 16 0 0 20 0 10 0 661172339 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32643/statm: 49336 9404 2544 9 0 43919 0
[pid=32653] ppid=32643 vsize=5356 CPUtime=0
/proc/32653/stat : 32653 (mistral) S 32643 32635 27912 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 661172899 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 236 196 169 0 50 0
[pid=32654] ppid=32653 vsize=8328 CPUtime=33.56
/proc/32654/stat : 32654 (xsolve) R 32653 32635 27912 0 -1 4194304 1440 0 0 0 3356 0 0 0 25 0 1 0 661172900 8527872 1404 996147200 134512640 135239763 4294955968 18446744073709551615 134788912 0 4 0 0 0 0 0 17 0 0 0
/proc/32654/statm: 2082 1404 406 177 0 985 0
[pid=32643/tid=32644] ppid=32635 vsize=197344 CPUtime=4.44
/proc/32643/task/32644/stat : 32644 (java) S 32635 32635 27912 0 -1 64 3861 0 1 0 438 6 0 0 24 0 10 0 661172340 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=32643/tid=32645] ppid=32635 vsize=197344 CPUtime=0.85
/proc/32643/task/32645/stat : 32645 (java) S 32635 32635 27912 0 -1 64 6122 0 0 0 77 8 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32646] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32646/stat : 32646 (java) S 32635 32635 27912 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32647] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32647/stat : 32647 (java) S 32635 32635 27912 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32648] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32648/stat : 32648 (java) S 32635 32635 27912 0 -1 64 0 0 0 0 0 0 0 0 23 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32649] ppid=32635 vsize=197344 CPUtime=0.19
/proc/32643/task/32649/stat : 32649 (java) S 32635 32635 27912 0 -1 64 645 0 0 0 19 0 0 0 16 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32650] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32650/stat : 32650 (java) S 32635 32635 27912 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32651] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32651/stat : 32651 (java) S 32635 32635 27912 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32652] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32652/stat : 32652 (java) S 32635 32635 27912 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 661172899 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 40.58
Current children cumulated vsize (KiB) 216388
[startup+40.903 s]
/proc/loadavg: 2.05 2.01 2.00 3/86 32654
/proc/meminfo: memFree=1635184/2055920 swapFree=4179808/4192956
[pid=32635] ppid=32633 vsize=5360 CPUtime=1.5
/proc/32635/stat : 32635 (hydra) S 32633 32635 27912 0 -1 4194304 375 2061 0 0 0 0 149 1 19 0 1 0 661172188 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32635/statm: 1340 238 196 169 0 51 0
[pid=32643] ppid=32635 vsize=197344 CPUtime=5.52
/proc/32643/stat : 32643 (java) S 32635 32635 27912 0 -1 0 11433 0 1 0 536 16 0 0 20 0 10 0 661172339 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32643/statm: 49336 9404 2544 9 0 43919 0
[pid=32653] ppid=32643 vsize=5356 CPUtime=0
/proc/32653/stat : 32653 (mistral) S 32643 32635 27912 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 661172899 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 236 196 169 0 50 0
[pid=32654] ppid=32653 vsize=8328 CPUtime=33.76
/proc/32654/stat : 32654 (xsolve) R 32653 32635 27912 0 -1 4194304 1440 0 0 0 3376 0 0 0 25 0 1 0 661172900 8527872 1404 996147200 134512640 135239763 4294955968 18446744073709551615 134789093 0 4 0 0 0 0 0 17 0 0 0
/proc/32654/statm: 2082 1404 406 177 0 985 0
[pid=32643/tid=32644] ppid=32635 vsize=197344 CPUtime=4.44
/proc/32643/task/32644/stat : 32644 (java) S 32635 32635 27912 0 -1 64 3861 0 1 0 438 6 0 0 24 0 10 0 661172340 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=32643/tid=32645] ppid=32635 vsize=197344 CPUtime=0.85
/proc/32643/task/32645/stat : 32645 (java) S 32635 32635 27912 0 -1 64 6122 0 0 0 77 8 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32646] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32646/stat : 32646 (java) S 32635 32635 27912 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32647] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32647/stat : 32647 (java) S 32635 32635 27912 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 661172342 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32648] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32648/stat : 32648 (java) S 32635 32635 27912 0 -1 64 0 0 0 0 0 0 0 0 23 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32649] ppid=32635 vsize=197344 CPUtime=0.19
/proc/32643/task/32649/stat : 32649 (java) S 32635 32635 27912 0 -1 64 645 0 0 0 19 0 0 0 16 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32650] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32650/stat : 32650 (java) S 32635 32635 27912 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32651] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32651/stat : 32651 (java) S 32635 32635 27912 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 661172346 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32643/tid=32652] ppid=32635 vsize=197344 CPUtime=0
/proc/32643/task/32652/stat : 32652 (java) S 32635 32635 27912 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 661172899 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 40.78
Current children cumulated vsize (KiB) 216388
Child status: 0
Real time (s): 40.9758
CPU time (s): 40.8828
CPU user time (s): 40.6788
CPU system time (s): 0.203968
CPU usage (%): 99.7731
Max. virtual memory (cumulated for all children) (KiB): 216388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.6788
system time used= 0.203968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15741
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= 9892
involuntary context switches= 11312
runsolver used 0.073988 second user time and 0.153976 second system time
The end