0.00/0.00 c cpHydra_k_10 version 0.0
6.68/6.82 c CASE TO CLASSIFY:
6.68/6.82 c Case: 0
6.68/6.83 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.552000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.862500 | c 14 > 13.497700 | c 11 > 5.321930 | c 12 > 11.943900 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.326430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.68/6.84 c choco : 1801.0
6.68/6.84 c mistral : 1801.0
6.68/6.84 c abscon : 1801.0
6.68/6.84 c
6.68/6.84 c
6.78/6.91 c List of same ones: 10
6.78/6.91 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-53_ext.xml
6.78/6.91 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.267000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.534600 | c 14 > 13.735500 | c 11 > 5.321930 | c 12 > 12.002200 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.78/6.92 c choco : 1801.0
6.78/6.92 c mistral : 29.78
6.78/6.92 c abscon : 45.5191
6.78/6.92 c
6.78/6.92 c
6.78/6.92 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-49_ext.xml
6.78/6.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.187900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.588700 | c 14 > 13.515800 | c 11 > 5.321930 | c 12 > 11.687400 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.78/6.92 c choco : 75.11
6.78/6.92 c mistral : 11.29
6.78/6.92 c abscon : 17.3174
6.78/6.92 c
6.78/6.92 c
6.78/6.92 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-43_ext.xml
6.78/6.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.177900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.614500 | c 14 > 13.581300 | c 11 > 5.321930 | c 12 > 11.645700 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.78/6.93 c choco : 1801.0
6.78/6.93 c mistral : 29.08
6.78/6.93 c abscon : 40.2689
6.78/6.93 c
6.78/6.93 c
6.78/6.93 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-13_ext.xml
6.78/6.93 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.234000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.439000 | c 14 > 13.635600 | c 11 > 5.321930 | c 12 > 11.956000 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.78/6.94 c choco : 37.72
6.78/6.94 c mistral : 7.42687
6.78/6.94 c abscon : 4.5723
6.78/6.94 c
6.78/6.94 c
6.78/6.94 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-47_ext.xml
6.78/6.94 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.134300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.544800 | c 14 > 13.501000 | c 11 > 5.321930 | c 12 > 11.662700 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.78/6.95 c choco : 88.64
6.78/6.95 c mistral : 16.37
6.78/6.95 c abscon : 21.6117
6.78/6.95 c
6.78/6.95 c
6.78/6.95 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-41_ext.xml
6.78/6.95 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.017700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.651400 | c 14 > 13.344300 | c 11 > 5.321930 | c 12 > 11.676700 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.78/6.96 c choco : 44.86
6.78/6.96 c mistral : 7.36
6.78/6.96 c abscon : 9.11261
6.78/6.96 c
6.78/6.96 c
6.78/6.96 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-15_ext.xml
6.78/6.96 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.116100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.585400 | c 14 > 13.438900 | c 11 > 5.321930 | c 12 > 11.522900 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.78/6.97 c choco : 44.45
6.78/6.97 c mistral : 6.96
6.78/6.97 c abscon : 11.4633
6.78/6.97 c
6.78/6.97 c
6.78/6.97 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-31_ext.xml
6.78/6.97 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.043900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.413200 | c 14 > 13.456200 | c 11 > 5.321930 | c 12 > 11.886800 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.78/6.98 c choco : 18.16
6.78/6.98 c mistral : 1.89971
6.78/6.98 c abscon : 12.2961
6.78/6.98 c
6.78/6.98 c
6.78/6.98 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-65_ext.xml
6.78/6.98 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.063500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.490500 | c 14 > 13.393400 | c 11 > 5.321930 | c 12 > 11.650700 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.78/6.98 c choco : 64.63
6.78/6.98 c mistral : 11.81
6.78/6.98 c abscon : 14.0419
6.78/6.98 c
6.78/6.98 c
6.78/6.98 c /home/eomahony/cpZilla/CSP/frb/frb35-17/frb35-17-3-mgd_ext.xml
6.78/6.98 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.105600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.299600 | c 14 > 13.308100 | c 11 > 5.129280 | c 12 > 11.746600 | c 21 > 4.123110 | c 20 > 0.000000 | c 22 > 4.123110 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.055280 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.216750 | c 31 > -1.000000 | c 4 > 5.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.78/6.99 c choco : 13.76
6.78/6.99 c mistral : 2.03669
6.78/6.99 c abscon : 1.07084
6.78/6.99 c
6.78/6.99 c
6.96/7.18 c Length: 10
6.96/7.18 c 0.835372532107683 0.8501830611109595 0.8640157043711648 0.8653295311036138 0.8964636285985065 0.934945574565706 0.9469148786453833 0.956124932945481 0.960737793260991 0.9872363991466293
6.96/7.18 c
6.96/7.18 c 1.0 0.9111409469302973 0.8413182534366874 0.8352389379215456 0.7131266842611851 0.6039839868489029 0.5765386661797809 0.557060912841809 0.5477918861889253 0.5
6.96/7.19 c
6.96/7.19 c solver 0
6.96/7.19 c before 0.0 seconds: {} 0
6.96/7.19 c before 18.0 seconds: {1, 3, 5, 6, 7, 8, 9} 4531
6.96/7.19 c before 36.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9} 5244
6.96/7.19 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7086
6.96/7.19 c
6.96/7.19 c solver 1
6.96/7.19 c before 0.0 seconds: {} 0
6.96/7.19 c before 18.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9} 5244
6.96/7.19 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7086
6.96/7.19 c
6.96/7.19 c solver 2
6.96/7.19 c before 0.0 seconds: {} 0
6.96/7.19 c before 18.0 seconds: {9} 500
6.96/7.19 c before 36.0 seconds: {7, 9} 1057
6.96/7.19 c before 54.0 seconds: {3, 5, 6, 7, 9} 3072
6.96/7.19 c before 72.0 seconds: {3, 5, 6, 7, 8, 9} 3620
6.96/7.19 c before 90.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9} 5244
6.96/7.19 c
6.96/7.19 cTotal time: 10
6.96/7.19 c 180.0 seconds unused
6.96/7.19 c 0 c 0 c 2
6.96/7.19 c 0 c 0 c 2
6.96/7.19 c 0 c 0 c 0
6.96/7.19 c is solver0 dominated by:
6.96/7.19 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
6.96/7.19 c is dominated? true
6.96/7.19 c
6.96/7.19 c is solver1 dominated by:
6.96/7.19 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
6.96/7.19 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.96/7.19 c is dominated? false
6.96/7.19 c
6.96/7.19 c is solver2 dominated by:
6.96/7.19 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.96/7.19 c is dominated? true
6.96/7.19 c
6.96/7.19 c Number of non-dominated solvers: 1
6.96/7.19 c remove dominated solvers
6.96/7.19 c solver 1 is not dominated by another solver
6.96/7.19 c solver 2 is dominated by another solver
6.96/7.19 c solver 0 is dominated by another solver
6.96/7.19 c
6.96/7.19 c solver 0: 0.0
6.96/7.19 c
6.96/7.19 c solver 1: 36.0
6.96/7.19 c
6.96/7.19 c+ 2/2 of 98
6.96/7.19 c
6.96/7.19 c solver 2: 0.0
6.96/7.20 c do not run abscon
6.96/7.20 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7086
6.96/7.20 c do not run choco
6.96/7.20 c Starting solver: HOME/cpHydra_k_10/solver/mistral
6.96/7.20 c On Instance: HOME/instance-1045450-1215021004.xml
6.96/7.20 c Running for: 1800 seconds
12.59/12.87 c mistral-prime version 1.313
12.59/12.87 s SATISFIABLE
12.59/12.87 v 5 4 1 11 17 3 8 17 2 7 10 2 7 12 0 1 1 16 12 10 17 16 7 6 3 10 6 7 6 8 2 11 14 6 15 4 18 4 12 17
12.59/12.87 d CHECKS 23776106
12.59/12.87 d ASSIGNMENTS 44231
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1045450-1215021004/watcher-1045450-1215021004 -o /tmp/evaluation-result-1045450-1215021004/solver-1045450-1215021004 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1045450-1215021004.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.84 1.98 1.76 4/68 19849
/proc/meminfo: memFree=1862880/2055920 swapFree=4191676/4192956
[pid=19849] ppid=19847 vsize=18572 CPUtime=0
/proc/19849/stat : 19849 (runsolver) R 19847 19849 19670 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 114095803 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 244276849959 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19849/statm: 4643 292 257 25 0 2626 0
[startup+0.101396 s]
/proc/loadavg: 1.84 1.98 1.76 4/68 19849
/proc/meminfo: memFree=1862880/2055920 swapFree=4191676/4192956
[pid=19849] ppid=19847 vsize=5360 CPUtime=0
/proc/19849/stat : 19849 (hydra) S 19847 19849 19670 0 -1 4194304 329 247 1 0 0 0 0 0 19 0 1 0 114095803 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19849/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.201415 s]
/proc/loadavg: 1.84 1.98 1.76 4/68 19849
/proc/meminfo: memFree=1862880/2055920 swapFree=4191676/4192956
[pid=19849] ppid=19847 vsize=5360 CPUtime=0
/proc/19849/stat : 19849 (hydra) S 19847 19849 19670 0 -1 4194304 329 247 1 0 0 0 0 0 19 0 1 0 114095803 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19849/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301426 s]
/proc/loadavg: 1.84 1.98 1.76 4/68 19849
/proc/meminfo: memFree=1862880/2055920 swapFree=4191676/4192956
[pid=19849] ppid=19847 vsize=5360 CPUtime=0
/proc/19849/stat : 19849 (hydra) S 19847 19849 19670 0 -1 4194304 329 247 1 0 0 0 0 0 19 0 1 0 114095803 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19849/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701502 s]
/proc/loadavg: 1.84 1.98 1.76 4/68 19849
/proc/meminfo: memFree=1862880/2055920 swapFree=4191676/4192956
[pid=19849] ppid=19847 vsize=5360 CPUtime=0
/proc/19849/stat : 19849 (hydra) S 19847 19849 19670 0 -1 4194304 329 247 1 0 0 0 0 0 19 0 1 0 114095803 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19849/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50165 s]
/proc/loadavg: 1.84 1.98 1.76 3/75 19861
/proc/meminfo: memFree=1857440/2055920 swapFree=4191676/4192956
[pid=19849] ppid=19847 vsize=5360 CPUtime=0
/proc/19849/stat : 19849 (hydra) S 19847 19849 19670 0 -1 4194304 329 247 1 0 0 0 0 0 19 0 1 0 114095803 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19849/statm: 1340 236 195 169 0 51 0
[pid=19853] ppid=19849 vsize=5912 CPUtime=1.45
/proc/19853/stat : 19853 (xsolve) R 19849 19849 19670 0 -1 4194304 834 0 0 0 144 1 0 0 25 0 1 0 114095807 6053888 793 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19853/statm: 1478 793 411 177 0 381 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 11272
[startup+3.10296 s]
/proc/loadavg: 1.84 1.98 1.76 3/91 19885
/proc/meminfo: memFree=1844512/2055920 swapFree=4191676/4192956
[pid=19849] ppid=19847 vsize=5360 CPUtime=1.5
/proc/19849/stat : 19849 (hydra) S 19847 19849 19670 0 -1 4194304 374 1428 1 3 0 0 149 1 18 0 1 0 114095803 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19849/statm: 1340 238 196 169 0 51 0
[pid=19865] ppid=19849 vsize=196984 CPUtime=1.5
/proc/19865/stat : 19865 (java) S 19849 19849 19670 0 -1 0 6490 0 1 0 143 7 0 0 18 0 9 0 114095963 201711616 5454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19865/statm: 49246 5454 2540 9 0 43829 0
[pid=19865/tid=19866] ppid=19849 vsize=196984 CPUtime=1.14
/proc/19865/task/19866/stat : 19866 (java) R 19849 19849 19670 0 -1 64 2795 0 1 0 111 3 0 0 25 0 9 0 114095964 201711616 5454 996147200 134512640 134550740 4294955968 18446744073709551615 4126439407 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19867] ppid=19849 vsize=196984 CPUtime=0.2
/proc/19865/task/19867/stat : 19867 (java) S 19849 19849 19670 0 -1 64 2359 0 0 0 18 2 0 0 16 0 9 0 114095965 201711616 5454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19868] ppid=19849 vsize=196984 CPUtime=0
/proc/19865/task/19868/stat : 19868 (java) S 19849 19849 19670 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 114095965 201711616 5454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19869] ppid=19849 vsize=196984 CPUtime=0
/proc/19865/task/19869/stat : 19869 (java) S 19849 19849 19670 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 114095965 201711616 5454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19870] ppid=19849 vsize=196984 CPUtime=0
/proc/19865/task/19870/stat : 19870 (java) S 19849 19849 19670 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 114095967 201711616 5454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19871] ppid=19849 vsize=196984 CPUtime=0.13
/proc/19865/task/19871/stat : 19871 (java) S 19849 19849 19670 0 -1 64 610 0 0 0 13 0 0 0 16 0 9 0 114095967 201711616 5454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19872] ppid=19849 vsize=196984 CPUtime=0
/proc/19865/task/19872/stat : 19872 (java) S 19849 19849 19670 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 114095967 201711616 5454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19873] ppid=19849 vsize=196984 CPUtime=0
/proc/19865/task/19873/stat : 19873 (java) S 19849 19849 19670 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 114095967 201711616 5454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 202344
[startup+6.30257 s]
/proc/loadavg: 2.01 2.01 1.77 3/91 19885
/proc/meminfo: memFree=1817056/2055920 swapFree=4191676/4192956
[pid=19849] ppid=19847 vsize=5360 CPUtime=1.5
/proc/19849/stat : 19849 (hydra) S 19847 19849 19670 0 -1 4194304 374 1428 1 3 0 0 149 1 18 0 1 0 114095803 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19849/statm: 1340 238 196 169 0 51 0
[pid=19865] ppid=19849 vsize=197092 CPUtime=4.69
/proc/19865/stat : 19865 (java) S 19849 19849 19670 0 -1 0 10504 0 1 0 453 16 0 0 18 0 9 0 114095963 201822208 8710 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19865/statm: 49273 8710 2540 9 0 43856 0
[pid=19865/tid=19866] ppid=19849 vsize=197092 CPUtime=3.71
/proc/19865/task/19866/stat : 19866 (java) R 19849 19849 19670 0 -1 64 3633 0 1 0 365 6 0 0 20 0 9 0 114095964 201822208 8710 996147200 134512640 134550740 4294955968 18446744073709551615 4126435390 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19867] ppid=19849 vsize=197092 CPUtime=0.78
/proc/19865/task/19867/stat : 19867 (java) S 19849 19849 19670 0 -1 64 5519 0 0 0 71 7 0 0 16 0 9 0 114095965 201822208 8710 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19868] ppid=19849 vsize=197092 CPUtime=0
/proc/19865/task/19868/stat : 19868 (java) S 19849 19849 19670 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 114095965 201822208 8710 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19869] ppid=19849 vsize=197092 CPUtime=0
/proc/19865/task/19869/stat : 19869 (java) S 19849 19849 19670 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 114095965 201822208 8710 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19870] ppid=19849 vsize=197092 CPUtime=0
/proc/19865/task/19870/stat : 19870 (java) S 19849 19849 19670 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 114095967 201822208 8710 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19871] ppid=19849 vsize=197092 CPUtime=0.16
/proc/19865/task/19871/stat : 19871 (java) S 19849 19849 19670 0 -1 64 626 0 0 0 15 1 0 0 16 0 9 0 114095967 201822208 8710 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19872] ppid=19849 vsize=197092 CPUtime=0
/proc/19865/task/19872/stat : 19872 (java) S 19849 19849 19670 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 114095967 201822208 8710 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19873] ppid=19849 vsize=197092 CPUtime=0
/proc/19865/task/19873/stat : 19873 (java) S 19849 19849 19670 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 114095967 201822208 8710 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 202452
[startup+12.7028 s]
/proc/loadavg: 2.01 2.01 1.77 3/93 19939
/proc/meminfo: memFree=1820160/2055920 swapFree=4191676/4192956
[pid=19849] ppid=19847 vsize=5360 CPUtime=1.5
/proc/19849/stat : 19849 (hydra) S 19847 19849 19670 0 -1 4194304 374 1428 1 3 0 0 149 1 18 0 1 0 114095803 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19849/statm: 1340 238 196 169 0 51 0
[pid=19865] ppid=19849 vsize=198440 CPUtime=5.56
/proc/19865/stat : 19865 (java) S 19849 19849 19670 0 -1 0 13875 0 1 0 537 19 0 0 18 0 10 0 114095963 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19865/statm: 49610 9396 2543 9 0 44193 0
[pid=19887] ppid=19865 vsize=5356 CPUtime=0
/proc/19887/stat : 19887 (mistral) S 19865 19849 19670 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 114096524 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 244276847428 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/19887/statm: 1339 236 196 169 0 50 0
[pid=19888] ppid=19887 vsize=5912 CPUtime=5.44
/proc/19888/stat : 19888 (xsolve) R 19887 19849 19670 0 -1 4194304 810 0 0 0 543 1 0 0 25 0 1 0 114096524 6053888 774 996147200 134512640 135239763 4294955968 18446744073709551615 135030631 0 4 0 0 0 0 0 17 1 0 0
/proc/19888/statm: 1478 774 392 177 0 381 0
[pid=19865/tid=19866] ppid=19849 vsize=198440 CPUtime=4.29
/proc/19865/task/19866/stat : 19866 (java) S 19849 19849 19670 0 -1 64 3854 0 1 0 422 7 0 0 23 0 10 0 114095964 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=19865/tid=19867] ppid=19849 vsize=198440 CPUtime=1.06
/proc/19865/task/19867/stat : 19867 (java) S 19849 19849 19670 0 -1 64 8558 0 0 0 96 10 0 0 16 0 10 0 114095965 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19868] ppid=19849 vsize=198440 CPUtime=0
/proc/19865/task/19868/stat : 19868 (java) S 19849 19849 19670 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 114095965 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19869] ppid=19849 vsize=198440 CPUtime=0
/proc/19865/task/19869/stat : 19869 (java) S 19849 19849 19670 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 114095965 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19870] ppid=19849 vsize=198440 CPUtime=0
/proc/19865/task/19870/stat : 19870 (java) S 19849 19849 19670 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 114095967 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19871] ppid=19849 vsize=198440 CPUtime=0.19
/proc/19865/task/19871/stat : 19871 (java) S 19849 19849 19670 0 -1 64 650 0 0 0 18 1 0 0 16 0 10 0 114095967 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19872] ppid=19849 vsize=198440 CPUtime=0
/proc/19865/task/19872/stat : 19872 (java) S 19849 19849 19670 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 114095967 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19873] ppid=19849 vsize=198440 CPUtime=0
/proc/19865/task/19873/stat : 19873 (java) S 19849 19849 19670 0 -1 64 18 0 0 0 0 0 0 0 15 0 10 0 114095967 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19865/tid=19886] ppid=19849 vsize=198440 CPUtime=0
/proc/19865/task/19886/stat : 19886 (java) S 19849 19849 19670 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 114096524 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 215068
Solver just ended. Dumping a history of the last processes samples
[startup+12.8028 s]
/proc/loadavg: 2.01 2.01 1.77 3/93 19939
/proc/meminfo: memFree=1820160/2055920 swapFree=4191676/4192956
[pid=19849] ppid=19847 vsize=5360 CPUtime=1.5
/proc/19849/stat : 19849 (hydra) S 19847 19849 19670 0 -1 4194304 374 1428 1 3 0 0 149 1 18 0 1 0 114095803 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19849/statm: 1340 238 196 169 0 51 0
[pid=19865] ppid=19849 vsize=198440 CPUtime=5.56
/proc/19865/stat : 19865 (java) S 19849 19849 19670 0 -1 0 13875 0 1 0 537 19 0 0 18 0 10 0 114095963 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19865/statm: 49610 9396 2543 9 0 44193 0
[pid=19887] ppid=19865 vsize=5356 CPUtime=0
/proc/19887/stat : 19887 (mistral) S 19865 19849 19670 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 114096524 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 244276847428 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/19887/statm: 1339 236 196 169 0 50 0
[pid=19888] ppid=19887 vsize=5912 CPUtime=5.53
/proc/19888/stat : 19888 (xsolve) R 19887 19849 19670 0 -1 4194304 810 0 0 0 552 1 0 0 25 0 1 0 114096524 6053888 774 996147200 134512640 135239763 4294955968 18446744073709551615 134789563 0 4 0 0 0 0 0 17 1 0 0
/proc/19888/statm: 1478 774 392 177 0 381 0
[pid=19865/tid=19866] ppid=19849 vsize=198440 CPUtime=4.29
/proc/19865/task/19866/stat : 19866 (java) S 19849 19849 19670 0 -1 64 3854 0 1 0 422 7 0 0 23 0 10 0 114095964 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=19865/tid=19867] ppid=19849 vsize=198440 CPUtime=1.06
/proc/19865/task/19867/stat : 19867 (java) S 19849 19849 19670 0 -1 64 8558 0 0 0 96 10 0 0 16 0 10 0 114095965 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19868] ppid=19849 vsize=198440 CPUtime=0
/proc/19865/task/19868/stat : 19868 (java) S 19849 19849 19670 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 114095965 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19869] ppid=19849 vsize=198440 CPUtime=0
/proc/19865/task/19869/stat : 19869 (java) S 19849 19849 19670 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 114095965 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19870] ppid=19849 vsize=198440 CPUtime=0
/proc/19865/task/19870/stat : 19870 (java) S 19849 19849 19670 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 114095967 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19871] ppid=19849 vsize=198440 CPUtime=0.19
/proc/19865/task/19871/stat : 19871 (java) S 19849 19849 19670 0 -1 64 650 0 0 0 18 1 0 0 16 0 10 0 114095967 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19872] ppid=19849 vsize=198440 CPUtime=0
/proc/19865/task/19872/stat : 19872 (java) S 19849 19849 19670 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 114095967 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19873] ppid=19849 vsize=198440 CPUtime=0
/proc/19865/task/19873/stat : 19873 (java) S 19849 19849 19670 0 -1 64 18 0 0 0 0 0 0 0 15 0 10 0 114095967 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19865/tid=19886] ppid=19849 vsize=198440 CPUtime=0
/proc/19865/task/19886/stat : 19886 (java) S 19849 19849 19670 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 114096524 203202560 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 215068
[startup+12.9028 s]
/proc/loadavg: 2.01 2.01 1.77 3/93 19939
/proc/meminfo: memFree=1820160/2055920 swapFree=4191676/4192956
[pid=19849] ppid=19847 vsize=5360 CPUtime=1.5
/proc/19849/stat : 19849 (hydra) S 19847 19849 19670 0 -1 4194304 374 1428 1 3 0 0 149 1 18 0 1 0 114095803 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19849/statm: 1340 238 196 169 0 51 0
[pid=19865] ppid=19849 vsize=198440 CPUtime=11.18
/proc/19865/stat : 19865 (java) S 19849 19849 19670 0 -1 0 13947 1127 1 0 537 19 560 2 18 0 9 0 114095963 203202560 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19865/statm: 49610 9398 2544 9 0 44193 0
[pid=19865/tid=19866] ppid=19849 vsize=198440 CPUtime=9.91
/proc/19865/task/19866/stat : 19866 (java) S 19849 19849 19670 0 -1 64 3904 1127 1 0 422 7 560 2 16 0 9 0 114095964 203202560 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19867] ppid=19849 vsize=198440 CPUtime=6.68
/proc/19865/task/19867/stat : 19867 (java) S 19849 19849 19670 0 -1 64 8570 1127 0 0 96 10 560 2 16 0 9 0 114095965 203202560 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19868] ppid=19849 vsize=198440 CPUtime=5.62
/proc/19865/task/19868/stat : 19868 (java) S 19849 19849 19670 0 -1 64 10 1127 0 0 0 0 560 2 16 0 9 0 114095965 203202560 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19869] ppid=19849 vsize=198440 CPUtime=5.62
/proc/19865/task/19869/stat : 19869 (java) S 19849 19849 19670 0 -1 64 5 1127 0 0 0 0 560 2 15 0 9 0 114095965 203202560 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19870] ppid=19849 vsize=198440 CPUtime=5.62
/proc/19865/task/19870/stat : 19870 (java) S 19849 19849 19670 0 -1 64 1 1127 0 0 0 0 560 2 18 0 9 0 114095967 203202560 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19871] ppid=19849 vsize=198440 CPUtime=5.81
/proc/19865/task/19871/stat : 19871 (java) S 19849 19849 19670 0 -1 64 650 1127 0 0 18 1 560 2 16 0 9 0 114095967 203202560 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19872] ppid=19849 vsize=198440 CPUtime=5.62
/proc/19865/task/19872/stat : 19872 (java) S 19849 19849 19670 0 -1 64 1 1127 0 0 0 0 560 2 19 0 9 0 114095967 203202560 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19865/tid=19873] ppid=19849 vsize=198440 CPUtime=5.62
/proc/19865/task/19873/stat : 19873 (java) S 19849 19849 19670 0 -1 64 18 1127 0 0 0 0 560 2 15 0 9 0 114095967 203202560 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 203800
Child status: 0
Real time (s): 12.9099
CPU time (s): 12.7221
CPU user time (s): 12.4761
CPU system time (s): 0.245962
CPU usage (%): 98.5448
Max. virtual memory (cumulated for all children) (KiB): 215068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.4761
system time used= 0.245962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16914
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9574
involuntary context switches= 10767
runsolver used 0.030995 second user time and 0.057991 second system time
The end