0.00/0.00 c cpHydra_k_10 version 0.0
7.16/7.38 c CASE TO CLASSIFY:
7.16/7.38 c Case: 0
7.16/7.38 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.589100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 6.775430 | c 14 > 10.286600 | c 11 > 6.209450 | c 12 > 8.030740 | 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
7.16/7.39 c choco : 1801.0
7.16/7.39 c mistral : 1801.0
7.16/7.39 c abscon : 1801.0
7.16/7.39 c
7.16/7.39 c
7.47/7.65 c List of same ones: 10
7.47/7.65 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-25/tsp-25-38_ext.xml
7.47/7.65 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
7.47/7.66 c choco : 114.23
7.47/7.66 c mistral : 2.89
7.47/7.66 c abscon : 2.57661
7.47/7.66 c
7.47/7.66 c
7.47/7.66 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-25/tsp-25-3_ext.xml
7.47/7.66 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
7.47/7.67 c choco : 1801.0
7.47/7.67 c mistral : 2.29
7.47/7.67 c abscon : 5.43817
7.47/7.67 c
7.47/7.67 c
7.47/7.67 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-25/tsp-25-190_ext.xml
7.47/7.67 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
7.47/7.68 c choco : 1801.0
7.47/7.68 c mistral : 65.27
7.47/7.68 c abscon : 65.1211
7.47/7.68 c
7.47/7.68 c
7.47/7.68 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-25/tsp-25-523_ext.xml
7.47/7.68 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
7.47/7.69 c choco : 1801.0
7.47/7.69 c mistral : 39.31
7.47/7.69 c abscon : 18.2322
7.47/7.69 c
7.47/7.69 c
7.47/7.69 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-20/tsp-20-453_ext.xml
7.47/7.69 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
7.47/7.70 c choco : 1801.0
7.47/7.70 c mistral : 45.45
7.47/7.70 c abscon : 24.3123
7.47/7.70 c
7.47/7.70 c
7.47/7.70 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-20/tsp-20-76_ext.xml
7.47/7.70 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
7.55/7.71 c choco : 17.44
7.55/7.71 c mistral : 3.81
7.55/7.71 c abscon : 6.60799
7.55/7.71 c
7.55/7.71 c
7.55/7.71 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-25/tsp-25-843_ext.xml
7.55/7.71 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
7.55/7.72 c choco : 38.91
7.55/7.72 c mistral : 46.6209
7.55/7.72 c abscon : 37.8013
7.55/7.72 c
7.55/7.72 c
7.55/7.72 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-25/tsp-25-312_ext.xml
7.55/7.72 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
7.55/7.72 c choco : 1801.0
7.55/7.72 c mistral : 63.6513
7.55/7.72 c abscon : 55.6755
7.55/7.72 c
7.55/7.72 c
7.55/7.72 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-20/tsp-20-190_ext.xml
7.55/7.72 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
7.55/7.73 c choco : 1801.0
7.55/7.73 c mistral : 3.9
7.55/7.73 c abscon : 4.79527
7.55/7.73 c
7.55/7.73 c
7.55/7.73 c /home/eomahony/cpZilla/CSP/travellingSalesman/travellingSalesman-20/tsp-20-142_ext.xml
7.55/7.73 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
7.55/7.74 c choco : 1801.0
7.55/7.74 c mistral : 31.3072
7.55/7.74 c abscon : 29.6705
7.55/7.74 c
7.55/7.74 c
7.55/7.75 c Length: 10
7.55/7.75 c 0.3941983399254746 1.3423510522959319 1.3833493203815141 1.4066176422183816 1.410614416146735 1.4481704696067361 1.540535860828951 1.5522728890887705 1.580413236258478 1.60671754448036
7.55/7.75 c
7.55/7.75 c 1.0 0.5611769167992484 0.5507269948104733 0.5449675129551046 0.5439903145741718 0.5349763249650935 0.5140283390121011 0.5114833373086796 0.5054829562418247 0.5
7.55/7.75 c
7.55/7.75 c solver 0
7.55/7.75 c before 0.0 seconds: {} 0
7.55/7.75 c before 18.0 seconds: {0, 1, 5, 8} 2601
7.55/7.75 c before 36.0 seconds: {0, 1, 3, 4, 5, 8, 9} 4190
7.55/7.75 c before 54.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9} 4704
7.55/7.75 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5766
7.55/7.75 c
7.55/7.75 c solver 1
7.55/7.75 c before 0.0 seconds: {} 0
7.55/7.75 c before 18.0 seconds: {0, 1, 5, 8} 2601
7.55/7.75 c before 36.0 seconds: {0, 1, 5, 8, 9} 3101
7.55/7.75 c before 54.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9} 4704
7.55/7.75 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5766
7.55/7.75 c
7.55/7.75 c solver 2
7.55/7.75 c before 0.0 seconds: {} 0
7.55/7.75 c before 18.0 seconds: {5} 534
7.55/7.75 c before 54.0 seconds: {5, 6} 1049
7.55/7.75 c before 126.0 seconds: {0, 5, 6} 2049
7.55/7.75 c
7.55/7.75 cTotal time: 15
7.55/7.75 c 270.0 seconds unused
7.55/7.75 c 0 c 0 c 7
7.55/7.76 c 0 c 0 c 7
7.55/7.76 c 0 c 0 c 0
7.55/7.76 c is solver0 dominated by:
7.55/7.76 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)
7.55/7.76 c is dominated? true
7.55/7.76 c
7.55/7.76 c is solver1 dominated by:
7.55/7.76 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)
7.55/7.76 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.55/7.76 c is dominated? false
7.55/7.76 c
7.55/7.76 c is solver2 dominated by:
7.55/7.76 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.55/7.76 c is dominated? true
7.55/7.76 c
7.55/7.76 c Number of non-dominated solvers: 1
7.55/7.76 c remove dominated solvers
7.55/7.76 c solver 1 is not dominated by another solver
7.55/7.76 c solver 2 is dominated by another solver
7.55/7.76 c solver 0 is dominated by another solver
7.55/7.76 c
7.55/7.76 c solver 0: 0.0
7.55/7.76 c
7.55/7.76 c solver 1: 72.0
7.55/7.76 c
7.55/7.76 c+ 4/4 of 96
7.55/7.76 c
7.55/7.76 c solver 2: 0.0
7.55/7.76 c do not run abscon
7.55/7.76 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5766
7.55/7.76 c do not run choco
7.55/7.76 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.55/7.76 c On Instance: HOME/instance-1051508-1215053828.xml
7.55/7.76 c Running for: 1800 seconds
33.98/34.56 c mistral-prime version 1.313
33.98/34.56 s SATISFIABLE
33.98/34.56 v 15 17 13 10 18 3 14 0 3 0 16 6 17 4 19 4 20 1 6 0 22 15 23 2 25 4 24 24 5 1 4 2 9 7 12 15 10 11 8 11 11 1 2 0 7 17 21 12 1 8 27 30 30 30 36 40 44 45 45 60 62 66 90 91 93 100 115 126 137 138 138 155 167 175 175 0
33.98/34.56 d CHECKS 14158233
33.98/34.56 d ASSIGNMENTS 24701
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1051508-1215053828/watcher-1051508-1215053828 -o /tmp/evaluation-result-1051508-1215053828/solver-1051508-1215053828 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1051508-1215053828.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.94 2.01 2.03 4/81 24367
/proc/meminfo: memFree=1785704/2055920 swapFree=4179804/4192956
[pid=24367] ppid=24365 vsize=18572 CPUtime=0
/proc/24367/stat : 24367 (runsolver) R 24365 24367 22580 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1984352499 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 227607637287 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24367/statm: 4643 292 257 25 0 2626 0
[startup+0.091675 s]
/proc/loadavg: 1.94 2.01 2.03 4/81 24367
/proc/meminfo: memFree=1785704/2055920 swapFree=4179804/4192956
[pid=24367] ppid=24365 vsize=5360 CPUtime=0
/proc/24367/stat : 24367 (hydra) S 24365 24367 22580 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984352499 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24367/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101628 s]
/proc/loadavg: 1.94 2.01 2.03 4/81 24367
/proc/meminfo: memFree=1785704/2055920 swapFree=4179804/4192956
[pid=24367] ppid=24365 vsize=5360 CPUtime=0
/proc/24367/stat : 24367 (hydra) S 24365 24367 22580 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984352499 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24367/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301652 s]
/proc/loadavg: 1.94 2.01 2.03 4/81 24367
/proc/meminfo: memFree=1785704/2055920 swapFree=4179804/4192956
[pid=24367] ppid=24365 vsize=5360 CPUtime=0
/proc/24367/stat : 24367 (hydra) S 24365 24367 22580 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984352499 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24367/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701701 s]
/proc/loadavg: 1.94 2.01 2.03 4/81 24367
/proc/meminfo: memFree=1785704/2055920 swapFree=4179804/4192956
[pid=24367] ppid=24365 vsize=5360 CPUtime=0
/proc/24367/stat : 24367 (hydra) S 24365 24367 22580 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984352499 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24367/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.5018 s]
/proc/loadavg: 1.94 2.01 2.03 3/83 24371
/proc/meminfo: memFree=1781464/2055920 swapFree=4179804/4192956
[pid=24367] ppid=24365 vsize=5360 CPUtime=0
/proc/24367/stat : 24367 (hydra) S 24365 24367 22580 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984352499 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24367/statm: 1340 236 195 169 0 51 0
[pid=24371] ppid=24367 vsize=8316 CPUtime=1.47
/proc/24371/stat : 24371 (xsolve) R 24367 24367 22580 0 -1 4194304 1440 0 0 0 147 0 0 0 25 0 1 0 1984352500 8515584 1399 996147200 134512640 135239763 4294956176 18446744073709551615 135015486 0 0 4096 0 0 0 0 17 1 0 0
/proc/24371/statm: 2079 1399 425 177 0 982 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13676
[startup+3.103 s]
/proc/loadavg: 1.94 2.01 2.03 4/91 24383
/proc/meminfo: memFree=1779032/2055920 swapFree=4179804/4192956
[pid=24367] ppid=24365 vsize=5360 CPUtime=1.5
/proc/24367/stat : 24367 (hydra) S 24365 24367 22580 0 -1 4194304 375 2037 0 0 0 0 149 1 18 0 1 0 1984352499 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24367/statm: 1340 238 196 169 0 51 0
[pid=24375] ppid=24367 vsize=197000 CPUtime=1.54
/proc/24375/stat : 24375 (java) S 24367 24367 22580 0 -1 0 5062 0 1 0 149 5 0 0 18 0 9 0 1984352652 201728000 4249 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24375/statm: 49250 4249 1678 9 0 43833 0
[pid=24375/tid=24376] ppid=24367 vsize=197000 CPUtime=1.25
/proc/24375/task/24376/stat : 24376 (java) R 24367 24367 22580 0 -1 64 2740 0 1 0 123 2 0 0 25 0 9 0 1984352653 201728000 4249 996147200 134512640 134550740 4294955968 18446744073709551615 4126374413 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24377] ppid=24367 vsize=197000 CPUtime=0.11
/proc/24375/task/24377/stat : 24377 (java) S 24367 24367 22580 0 -1 64 984 0 0 0 10 1 0 0 16 0 9 0 1984352654 201728000 4249 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24378] ppid=24367 vsize=197000 CPUtime=0
/proc/24375/task/24378/stat : 24378 (java) S 24367 24367 22580 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1984352655 201728000 4249 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24379] ppid=24367 vsize=197000 CPUtime=0
/proc/24375/task/24379/stat : 24379 (java) S 24367 24367 22580 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1984352655 201728000 4249 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24380] ppid=24367 vsize=197000 CPUtime=0
/proc/24375/task/24380/stat : 24380 (java) S 24367 24367 22580 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984352657 201728000 4249 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24381] ppid=24367 vsize=197000 CPUtime=0.14
/proc/24375/task/24381/stat : 24381 (java) S 24367 24367 22580 0 -1 64 614 0 0 0 14 0 0 0 16 0 9 0 1984352657 201728000 4249 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24382] ppid=24367 vsize=197000 CPUtime=0
/proc/24375/task/24382/stat : 24382 (java) S 24367 24367 22580 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1984352657 201728000 4249 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24383] ppid=24367 vsize=197000 CPUtime=0
/proc/24375/task/24383/stat : 24383 (java) S 24367 24367 22580 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1984352657 201728000 4249 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 202360
[startup+6.30138 s]
/proc/loadavg: 1.95 2.01 2.03 3/91 24383
/proc/meminfo: memFree=1765592/2055920 swapFree=4179804/4192956
[pid=24367] ppid=24365 vsize=5360 CPUtime=1.5
/proc/24367/stat : 24367 (hydra) S 24365 24367 22580 0 -1 4194304 375 2037 0 0 0 0 149 1 18 0 1 0 1984352499 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24367/statm: 1340 238 196 169 0 51 0
[pid=24375] ppid=24367 vsize=197108 CPUtime=4.68
/proc/24375/stat : 24375 (java) S 24367 24367 22580 0 -1 0 9929 0 1 0 454 14 0 0 18 0 9 0 1984352652 201838592 8233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24375/statm: 49277 8233 2540 9 0 43860 0
[pid=24375/tid=24376] ppid=24367 vsize=197108 CPUtime=3.77
/proc/24375/task/24376/stat : 24376 (java) R 24367 24367 22580 0 -1 64 3539 0 1 0 372 5 0 0 25 0 9 0 1984352653 201838592 8233 996147200 134512640 134550740 4294955968 18446744073709551615 4126553143 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24377] ppid=24367 vsize=197108 CPUtime=0.72
/proc/24375/task/24377/stat : 24377 (java) S 24367 24367 22580 0 -1 64 5037 0 0 0 64 8 0 0 16 0 9 0 1984352654 201838592 8233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24378] ppid=24367 vsize=197108 CPUtime=0
/proc/24375/task/24378/stat : 24378 (java) S 24367 24367 22580 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1984352655 201838592 8233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24379] ppid=24367 vsize=197108 CPUtime=0
/proc/24375/task/24379/stat : 24379 (java) S 24367 24367 22580 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1984352655 201838592 8233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24380] ppid=24367 vsize=197108 CPUtime=0
/proc/24375/task/24380/stat : 24380 (java) S 24367 24367 22580 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984352657 201838592 8233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24381] ppid=24367 vsize=197108 CPUtime=0.17
/proc/24375/task/24381/stat : 24381 (java) S 24367 24367 22580 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 1984352657 201838592 8233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24382] ppid=24367 vsize=197108 CPUtime=0
/proc/24375/task/24382/stat : 24382 (java) S 24367 24367 22580 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1984352657 201838592 8233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24383] ppid=24367 vsize=197108 CPUtime=0
/proc/24375/task/24383/stat : 24383 (java) S 24367 24367 22580 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1984352657 201838592 8233 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 202468
[startup+12.7021 s]
/proc/loadavg: 1.95 2.01 2.03 3/94 24386
/proc/meminfo: memFree=1752640/2055920 swapFree=4179804/4192956
[pid=24367] ppid=24365 vsize=5360 CPUtime=1.5
/proc/24367/stat : 24367 (hydra) S 24365 24367 22580 0 -1 4194304 375 2037 0 0 0 0 149 1 18 0 1 0 1984352499 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24367/statm: 1340 238 196 169 0 51 0
[pid=24375] ppid=24367 vsize=197432 CPUtime=6.11
/proc/24375/stat : 24375 (java) S 24367 24367 22580 0 -1 0 13991 0 1 0 593 18 0 0 18 0 10 0 1984352652 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24375/statm: 49358 9507 2543 9 0 43941 0
[pid=24385] ppid=24375 vsize=5356 CPUtime=0
/proc/24385/stat : 24385 (mistral) S 24375 24367 22580 0 -1 4194304 290 0 0 0 0 0 0 0 25 0 1 0 1984353276 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24385/statm: 1339 236 196 169 0 50 0
[pid=24386] ppid=24385 vsize=8316 CPUtime=4.85
/proc/24386/stat : 24386 (xsolve) R 24385 24367 22580 0 -1 4194304 1416 0 0 0 485 0 0 0 25 0 1 0 1984353277 8515584 1380 996147200 134512640 135239763 4294955968 18446744073709551615 135096639 0 4 0 0 0 0 0 17 1 0 0
/proc/24386/statm: 2079 1380 406 177 0 982 0
[pid=24375/tid=24376] ppid=24367 vsize=197432 CPUtime=4.82
/proc/24375/task/24376/stat : 24376 (java) S 24367 24367 22580 0 -1 64 3988 0 1 0 476 6 0 0 23 0 10 0 1984352653 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24375/tid=24377] ppid=24367 vsize=197432 CPUtime=1.05
/proc/24375/task/24377/stat : 24377 (java) S 24367 24367 22580 0 -1 64 8551 0 0 0 95 10 0 0 16 0 10 0 1984352654 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24378] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24378/stat : 24378 (java) S 24367 24367 22580 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984352655 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24379] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24379/stat : 24379 (java) S 24367 24367 22580 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1984352655 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24380] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24380/stat : 24380 (java) S 24367 24367 22580 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24381] ppid=24367 vsize=197432 CPUtime=0.2
/proc/24375/task/24381/stat : 24381 (java) S 24367 24367 22580 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24382] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24382/stat : 24382 (java) S 24367 24367 22580 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24383] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24383/stat : 24383 (java) S 24367 24367 22580 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24384] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24384/stat : 24384 (java) S 24367 24367 22580 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1984353276 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 216464
[startup+25.5027 s]
/proc/loadavg: 1.96 2.01 2.03 3/94 24386
/proc/meminfo: memFree=1752832/2055920 swapFree=4179804/4192956
[pid=24367] ppid=24365 vsize=5360 CPUtime=1.5
/proc/24367/stat : 24367 (hydra) S 24365 24367 22580 0 -1 4194304 375 2037 0 0 0 0 149 1 18 0 1 0 1984352499 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24367/statm: 1340 238 196 169 0 51 0
[pid=24375] ppid=24367 vsize=197432 CPUtime=6.11
/proc/24375/stat : 24375 (java) S 24367 24367 22580 0 -1 0 13991 0 1 0 593 18 0 0 18 0 10 0 1984352652 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24375/statm: 49358 9507 2543 9 0 43941 0
[pid=24385] ppid=24375 vsize=5356 CPUtime=0
/proc/24385/stat : 24385 (mistral) S 24375 24367 22580 0 -1 4194304 290 0 0 0 0 0 0 0 25 0 1 0 1984353276 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24385/statm: 1339 236 196 169 0 50 0
[pid=24386] ppid=24385 vsize=8316 CPUtime=17.48
/proc/24386/stat : 24386 (xsolve) R 24385 24367 22580 0 -1 4194304 1416 0 0 0 1748 0 0 0 25 0 1 0 1984353277 8515584 1380 996147200 134512640 135239763 4294955968 18446744073709551615 134789125 0 4 0 0 0 0 0 17 1 0 0
/proc/24386/statm: 2079 1380 406 177 0 982 0
[pid=24375/tid=24376] ppid=24367 vsize=197432 CPUtime=4.82
/proc/24375/task/24376/stat : 24376 (java) S 24367 24367 22580 0 -1 64 3988 0 1 0 476 6 0 0 23 0 10 0 1984352653 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24375/tid=24377] ppid=24367 vsize=197432 CPUtime=1.05
/proc/24375/task/24377/stat : 24377 (java) S 24367 24367 22580 0 -1 64 8551 0 0 0 95 10 0 0 16 0 10 0 1984352654 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24378] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24378/stat : 24378 (java) S 24367 24367 22580 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984352655 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24379] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24379/stat : 24379 (java) S 24367 24367 22580 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1984352655 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24380] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24380/stat : 24380 (java) S 24367 24367 22580 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24381] ppid=24367 vsize=197432 CPUtime=0.2
/proc/24375/task/24381/stat : 24381 (java) S 24367 24367 22580 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24382] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24382/stat : 24382 (java) S 24367 24367 22580 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24383] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24383/stat : 24383 (java) S 24367 24367 22580 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24384] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24384/stat : 24384 (java) S 24367 24367 22580 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1984353276 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 216464
Solver just ended. Dumping a history of the last processes samples
[startup+28.7021 s]
/proc/loadavg: 1.96 2.01 2.03 3/94 24386
################
# More data... #
################
[pid=24385] ppid=24375 vsize=5356 CPUtime=0
/proc/24385/stat : 24385 (mistral) S 24375 24367 22580 0 -1 4194304 290 0 0 0 0 0 0 0 25 0 1 0 1984353276 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24385/statm: 1339 236 196 169 0 50 0
[pid=24386] ppid=24385 vsize=8316 CPUtime=20.63
/proc/24386/stat : 24386 (xsolve) R 24385 24367 22580 0 -1 4194304 1416 0 0 0 2063 0 0 0 25 0 1 0 1984353277 8515584 1380 996147200 134512640 135239763 4294955968 18446744073709551615 135015460 0 4 0 0 0 0 0 17 1 0 0
/proc/24386/statm: 2079 1380 406 177 0 982 0
[pid=24375/tid=24376] ppid=24367 vsize=197432 CPUtime=4.82
/proc/24375/task/24376/stat : 24376 (java) S 24367 24367 22580 0 -1 64 3988 0 1 0 476 6 0 0 23 0 10 0 1984352653 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24375/tid=24377] ppid=24367 vsize=197432 CPUtime=1.05
/proc/24375/task/24377/stat : 24377 (java) S 24367 24367 22580 0 -1 64 8551 0 0 0 95 10 0 0 16 0 10 0 1984352654 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24378] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24378/stat : 24378 (java) S 24367 24367 22580 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984352655 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24379] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24379/stat : 24379 (java) S 24367 24367 22580 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1984352655 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24380] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24380/stat : 24380 (java) S 24367 24367 22580 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24381] ppid=24367 vsize=197432 CPUtime=0.2
/proc/24375/task/24381/stat : 24381 (java) S 24367 24367 22580 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24382] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24382/stat : 24382 (java) S 24367 24367 22580 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24383] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24383/stat : 24383 (java) S 24367 24367 22580 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24384] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24384/stat : 24384 (java) S 24367 24367 22580 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1984353276 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.24
Current children cumulated vsize (KiB) 216464
[startup+31.9065 s]
/proc/loadavg: 1.96 2.01 2.03 3/94 24386
/proc/meminfo: memFree=1752960/2055920 swapFree=4179804/4192956
[pid=24367] ppid=24365 vsize=5360 CPUtime=1.5
/proc/24367/stat : 24367 (hydra) S 24365 24367 22580 0 -1 4194304 375 2037 0 0 0 0 149 1 18 0 1 0 1984352499 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24367/statm: 1340 238 196 169 0 51 0
[pid=24375] ppid=24367 vsize=197432 CPUtime=6.11
/proc/24375/stat : 24375 (java) S 24367 24367 22580 0 -1 0 13991 0 1 0 593 18 0 0 18 0 10 0 1984352652 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24375/statm: 49358 9507 2543 9 0 43941 0
[pid=24385] ppid=24375 vsize=5356 CPUtime=0
/proc/24385/stat : 24385 (mistral) S 24375 24367 22580 0 -1 4194304 290 0 0 0 0 0 0 0 25 0 1 0 1984353276 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24385/statm: 1339 236 196 169 0 50 0
[pid=24386] ppid=24385 vsize=8316 CPUtime=23.8
/proc/24386/stat : 24386 (xsolve) R 24385 24367 22580 0 -1 4194304 1416 0 0 0 2380 0 0 0 25 0 1 0 1984353277 8515584 1380 996147200 134512640 135239763 4294955968 18446744073709551615 135015456 0 4 0 0 0 0 0 17 1 0 0
/proc/24386/statm: 2079 1380 406 177 0 982 0
[pid=24375/tid=24376] ppid=24367 vsize=197432 CPUtime=4.82
/proc/24375/task/24376/stat : 24376 (java) S 24367 24367 22580 0 -1 64 3988 0 1 0 476 6 0 0 23 0 10 0 1984352653 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24375/tid=24377] ppid=24367 vsize=197432 CPUtime=1.05
/proc/24375/task/24377/stat : 24377 (java) S 24367 24367 22580 0 -1 64 8551 0 0 0 95 10 0 0 16 0 10 0 1984352654 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24378] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24378/stat : 24378 (java) S 24367 24367 22580 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984352655 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24379] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24379/stat : 24379 (java) S 24367 24367 22580 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1984352655 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24380] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24380/stat : 24380 (java) S 24367 24367 22580 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24381] ppid=24367 vsize=197432 CPUtime=0.2
/proc/24375/task/24381/stat : 24381 (java) S 24367 24367 22580 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24382] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24382/stat : 24382 (java) S 24367 24367 22580 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24383] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24383/stat : 24383 (java) S 24367 24367 22580 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24384] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24384/stat : 24384 (java) S 24367 24367 22580 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1984353276 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.41
Current children cumulated vsize (KiB) 216464
[startup+33.5022 s]
/proc/loadavg: 1.96 2.01 2.03 3/94 24386
/proc/meminfo: memFree=1752704/2055920 swapFree=4179804/4192956
[pid=24367] ppid=24365 vsize=5360 CPUtime=1.5
/proc/24367/stat : 24367 (hydra) S 24365 24367 22580 0 -1 4194304 375 2037 0 0 0 0 149 1 18 0 1 0 1984352499 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24367/statm: 1340 238 196 169 0 51 0
[pid=24375] ppid=24367 vsize=197432 CPUtime=6.11
/proc/24375/stat : 24375 (java) S 24367 24367 22580 0 -1 0 13991 0 1 0 593 18 0 0 18 0 10 0 1984352652 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24375/statm: 49358 9507 2543 9 0 43941 0
[pid=24385] ppid=24375 vsize=5356 CPUtime=0
/proc/24385/stat : 24385 (mistral) S 24375 24367 22580 0 -1 4194304 290 0 0 0 0 0 0 0 25 0 1 0 1984353276 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24385/statm: 1339 236 196 169 0 50 0
[pid=24386] ppid=24385 vsize=8316 CPUtime=25.38
/proc/24386/stat : 24386 (xsolve) R 24385 24367 22580 0 -1 4194304 1416 0 0 0 2538 0 0 0 25 0 1 0 1984353277 8515584 1380 996147200 134512640 135239763 4294955968 18446744073709551615 134789108 0 4 0 0 0 0 0 17 1 0 0
/proc/24386/statm: 2079 1380 406 177 0 982 0
[pid=24375/tid=24376] ppid=24367 vsize=197432 CPUtime=4.82
/proc/24375/task/24376/stat : 24376 (java) S 24367 24367 22580 0 -1 64 3988 0 1 0 476 6 0 0 23 0 10 0 1984352653 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24375/tid=24377] ppid=24367 vsize=197432 CPUtime=1.05
/proc/24375/task/24377/stat : 24377 (java) S 24367 24367 22580 0 -1 64 8551 0 0 0 95 10 0 0 16 0 10 0 1984352654 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24378] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24378/stat : 24378 (java) S 24367 24367 22580 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984352655 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24379] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24379/stat : 24379 (java) S 24367 24367 22580 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1984352655 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24380] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24380/stat : 24380 (java) S 24367 24367 22580 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24381] ppid=24367 vsize=197432 CPUtime=0.2
/proc/24375/task/24381/stat : 24381 (java) S 24367 24367 22580 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24382] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24382/stat : 24382 (java) S 24367 24367 22580 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24383] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24383/stat : 24383 (java) S 24367 24367 22580 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24384] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24384/stat : 24384 (java) S 24367 24367 22580 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1984353276 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 32.99
Current children cumulated vsize (KiB) 216464
[startup+34.3033 s]
/proc/loadavg: 1.96 2.01 2.03 3/94 24386
/proc/meminfo: memFree=1752704/2055920 swapFree=4179804/4192956
[pid=24367] ppid=24365 vsize=5360 CPUtime=1.5
/proc/24367/stat : 24367 (hydra) S 24365 24367 22580 0 -1 4194304 375 2037 0 0 0 0 149 1 18 0 1 0 1984352499 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24367/statm: 1340 238 196 169 0 51 0
[pid=24375] ppid=24367 vsize=197432 CPUtime=6.11
/proc/24375/stat : 24375 (java) S 24367 24367 22580 0 -1 0 13991 0 1 0 593 18 0 0 18 0 10 0 1984352652 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24375/statm: 49358 9507 2543 9 0 43941 0
[pid=24385] ppid=24375 vsize=5356 CPUtime=0
/proc/24385/stat : 24385 (mistral) S 24375 24367 22580 0 -1 4194304 290 0 0 0 0 0 0 0 25 0 1 0 1984353276 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24385/statm: 1339 236 196 169 0 50 0
[pid=24386] ppid=24385 vsize=8316 CPUtime=26.17
/proc/24386/stat : 24386 (xsolve) R 24385 24367 22580 0 -1 4194304 1416 0 0 0 2617 0 0 0 25 0 1 0 1984353277 8515584 1380 996147200 134512640 135239763 4294955968 18446744073709551615 134737380 0 4 0 0 0 0 0 17 1 0 0
/proc/24386/statm: 2079 1380 406 177 0 982 0
[pid=24375/tid=24376] ppid=24367 vsize=197432 CPUtime=4.82
/proc/24375/task/24376/stat : 24376 (java) S 24367 24367 22580 0 -1 64 3988 0 1 0 476 6 0 0 23 0 10 0 1984352653 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24375/tid=24377] ppid=24367 vsize=197432 CPUtime=1.05
/proc/24375/task/24377/stat : 24377 (java) S 24367 24367 22580 0 -1 64 8551 0 0 0 95 10 0 0 16 0 10 0 1984352654 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24378] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24378/stat : 24378 (java) S 24367 24367 22580 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984352655 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24379] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24379/stat : 24379 (java) S 24367 24367 22580 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1984352655 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24380] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24380/stat : 24380 (java) S 24367 24367 22580 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24381] ppid=24367 vsize=197432 CPUtime=0.2
/proc/24375/task/24381/stat : 24381 (java) S 24367 24367 22580 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24382] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24382/stat : 24382 (java) S 24367 24367 22580 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24383] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24383/stat : 24383 (java) S 24367 24367 22580 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24384] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24384/stat : 24384 (java) S 24367 24367 22580 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1984353276 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 33.78
Current children cumulated vsize (KiB) 216464
[startup+34.5028 s]
/proc/loadavg: 1.96 2.01 2.03 3/94 24386
/proc/meminfo: memFree=1752704/2055920 swapFree=4179804/4192956
[pid=24367] ppid=24365 vsize=5360 CPUtime=1.5
/proc/24367/stat : 24367 (hydra) S 24365 24367 22580 0 -1 4194304 375 2037 0 0 0 0 149 1 18 0 1 0 1984352499 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24367/statm: 1340 238 196 169 0 51 0
[pid=24375] ppid=24367 vsize=197432 CPUtime=6.11
/proc/24375/stat : 24375 (java) S 24367 24367 22580 0 -1 0 13991 0 1 0 593 18 0 0 18 0 10 0 1984352652 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24375/statm: 49358 9507 2543 9 0 43941 0
[pid=24385] ppid=24375 vsize=5356 CPUtime=0
/proc/24385/stat : 24385 (mistral) S 24375 24367 22580 0 -1 4194304 290 0 0 0 0 0 0 0 25 0 1 0 1984353276 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24385/statm: 1339 236 196 169 0 50 0
[pid=24386] ppid=24385 vsize=8316 CPUtime=26.37
/proc/24386/stat : 24386 (xsolve) R 24385 24367 22580 0 -1 4194304 1416 0 0 0 2637 0 0 0 25 0 1 0 1984353277 8515584 1380 996147200 134512640 135239763 4294955968 18446744073709551615 134788944 0 4 0 0 0 0 0 17 1 0 0
/proc/24386/statm: 2079 1380 406 177 0 982 0
[pid=24375/tid=24376] ppid=24367 vsize=197432 CPUtime=4.82
/proc/24375/task/24376/stat : 24376 (java) S 24367 24367 22580 0 -1 64 3988 0 1 0 476 6 0 0 23 0 10 0 1984352653 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24375/tid=24377] ppid=24367 vsize=197432 CPUtime=1.05
/proc/24375/task/24377/stat : 24377 (java) S 24367 24367 22580 0 -1 64 8551 0 0 0 95 10 0 0 16 0 10 0 1984352654 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24378] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24378/stat : 24378 (java) S 24367 24367 22580 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984352655 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24379] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24379/stat : 24379 (java) S 24367 24367 22580 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1984352655 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24380] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24380/stat : 24380 (java) S 24367 24367 22580 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24381] ppid=24367 vsize=197432 CPUtime=0.2
/proc/24375/task/24381/stat : 24381 (java) S 24367 24367 22580 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24382] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24382/stat : 24382 (java) S 24367 24367 22580 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24383] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24383/stat : 24383 (java) S 24367 24367 22580 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1984352657 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24375/tid=24384] ppid=24367 vsize=197432 CPUtime=0
/proc/24375/task/24384/stat : 24384 (java) S 24367 24367 22580 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1984353276 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 33.98
Current children cumulated vsize (KiB) 216464
Child status: 0
Real time (s): 34.5869
CPU time (s): 34.0898
CPU user time (s): 33.8659
CPU system time (s): 0.223965
CPU usage (%): 98.5627
Max. virtual memory (cumulated for all children) (KiB): 216464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.8659
system time used= 0.223965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18240
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= 9466
involuntary context switches= 12050
runsolver used 0.073988 second user time and 0.164974 second system time
The end