0.00/0.00 c cpHydra_k_10 version 0.0
7.27/7.74 c CASE TO CLASSIFY:
7.27/7.74 c Case: 0
7.27/7.74 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.615100 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.390040 | c 14 > 8.434630 | c 11 > 5.906890 | c 12 > 7.225930 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.000000 | 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 > 10.607300 | c 31 > -1.000000 | c 4 > 5.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.75 c choco : 1801.0
7.27/7.75 c mistral : 1801.0
7.27/7.75 c abscon : 1801.0
7.27/7.75 c
7.27/7.75 c
7.56/8.01 c List of same ones: 10
7.56/8.02 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-10_ext.xml
7.56/8.02 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.317900 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.604050 | c 14 > 8.204570 | c 11 > 5.906890 | c 12 > 7.565550 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.000000 | 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 > 10.607300 | c 31 > -1.000000 | c 4 > 5.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/8.02 c choco : 113.92
7.56/8.02 c mistral : 1801.0
7.56/8.02 c abscon : 16.64
7.56/8.02 c
7.56/8.02 c
7.56/8.02 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-10_ext.xml
7.56/8.02 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.948500 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.412020 | c 14 > 7.761550 | c 11 > 6.129280 | c 12 > 6.525800 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.087460 | 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 > 10.829700 | c 31 > -1.000000 | c 4 > 6.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/8.03 c choco : 109.22
7.56/8.03 c mistral : 1801.0
7.56/8.03 c abscon : 13.55
7.56/8.03 c
7.56/8.03 c
7.56/8.03 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-9_ext.xml
7.56/8.03 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.974500 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 4.384800 | c 14 > 7.781360 | c 11 > 5.977280 | c 12 > 6.698680 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.000000 | 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 > 10.677700 | c 31 > -1.000000 | c 4 > 5.977280 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/8.04 c choco : 422.1
7.56/8.04 c mistral : 144.09
7.56/8.04 c abscon : 38.22
7.56/8.04 c
7.56/8.04 c
7.56/8.04 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-9_ext.xml
7.56/8.04 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.311500 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 5.201180 | c 14 > 8.647460 | c 11 > 5.491850 | c 12 > 7.766420 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.807350 | 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 > 10.192300 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/8.05 c choco : 257.0
7.56/8.05 c mistral : 85.15
7.56/8.05 c abscon : 27.98
7.56/8.05 c
7.56/8.05 c
7.56/8.05 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-10_ext.xml
7.56/8.05 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.922200 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.743700 | c 14 > 7.607330 | c 11 > 6.321930 | c 12 > 6.297370 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | 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 > 11.022400 | c 31 > -1.000000 | c 4 > 6.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/8.06 c choco : 91.35
7.56/8.06 c mistral : 1801.0
7.56/8.06 c abscon : 10.8
7.56/8.06 c
7.56/8.06 c
7.56/8.06 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-11_ext.xml
7.56/8.06 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.068100 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 4.716250 | c 14 > 7.721100 | c 11 > 6.266790 | c 12 > 6.515190 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | 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 > 10.967200 | c 31 > -1.000000 | c 4 > 6.266790 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/8.07 c choco : 34.64
7.56/8.07 c mistral : 40.69
7.56/8.07 c abscon : 8.57
7.56/8.07 c
7.56/8.07 c
7.56/8.07 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-9_ext.xml
7.56/8.07 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.120000 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 5.652310 | c 14 > 8.199670 | c 11 > 5.754890 | c 12 > 7.535280 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.906890 | 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 > 10.455300 | c 31 > -1.000000 | c 4 > 5.754890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/8.08 c choco : 419.03
7.56/8.08 c mistral : 108.95
7.56/8.08 c abscon : 41.83
7.56/8.08 c
7.56/8.08 c
7.56/8.08 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-10_ext.xml
7.56/8.08 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.909000 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.246160 | c 14 > 7.285400 | c 11 > 6.491850 | c 12 > 6.158970 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.247930 | 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 > 11.192300 | c 31 > -1.000000 | c 4 > 6.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/8.09 c choco : 64.01
7.56/8.09 c mistral : 51.8
7.56/8.09 c abscon : 9.14
7.56/8.09 c
7.56/8.09 c
7.56/8.09 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-9_ext.xml
7.56/8.09 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.034100 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 5.012300 | c 14 > 7.741470 | c 11 > 6.339850 | c 12 > 6.046820 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | 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 > 11.040300 | c 31 > -1.000000 | c 4 > 6.339850 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/8.09 c choco : 128.5
7.56/8.09 c mistral : 26.94
7.56/8.09 c abscon : 13.66
7.56/8.09 c
7.56/8.09 c
7.56/8.09 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-9_ext.xml
7.56/8.09 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.692900 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 4.272910 | c 14 > 7.546890 | c 11 > 6.169930 | c 12 > 6.054080 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.087460 | 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 > 10.870400 | c 31 > -1.000000 | c 4 > 6.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/8.10 c choco : 267.94
7.64/8.10 c mistral : 64.45
7.64/8.10 c abscon : 23.72
7.64/8.10 c
7.64/8.10 c
7.64/8.11 c Length: 10
7.64/8.11 c 0.5499067812820643 1.2426113710649849 1.4594573433985656 1.625239223714466 1.6424175435314856 1.684446083286729 1.7513807864368052 2.0165471943398696 2.046170475155968 2.059305210938874
7.64/8.11 c
7.64/8.11 c 1.0 0.685434975717366 0.6239893585148657 0.5839673468351382 0.5801118787512267 0.5708903093978277 0.5567943405502728 0.507183712790523 0.5021849987195961 0.5
7.64/8.11 c
7.64/8.11 c solver 0
7.64/8.11 c before 0.0 seconds: {} 0
7.64/8.11 c before 18.0 seconds: {0, 1, 4, 5, 7, 8} 3845
7.64/8.11 c before 36.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9} 4929
7.64/8.11 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6110
7.64/8.11 c
7.64/8.11 c solver 1
7.64/8.11 c before 0.0 seconds: {} 0
7.64/8.11 c before 36.0 seconds: {8} 502
7.64/8.11 c before 54.0 seconds: {5, 7, 8} 1580
7.64/8.11 c before 72.0 seconds: {5, 7, 8, 9} 2080
7.64/8.11 c before 90.0 seconds: {3, 5, 7, 8, 9} 2664
7.64/8.11 c before 126.0 seconds: {3, 5, 6, 7, 8, 9} 3221
7.64/8.11 c before 162.0 seconds: {2, 3, 5, 6, 7, 8, 9} 3845
7.64/8.11 c
7.64/8.11 c solver 2
7.64/8.11 c before 0.0 seconds: {} 0
7.64/8.11 c before 36.0 seconds: {5} 570
7.64/8.11 c before 72.0 seconds: {5, 7} 1078
7.64/8.11 c before 108.0 seconds: {4, 5, 7} 1658
7.64/8.11 c before 126.0 seconds: {0, 1, 4, 5, 7} 3343
7.64/8.11 c before 144.0 seconds: {0, 1, 4, 5, 7, 8} 3845
7.64/8.11 c before 270.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9} 4929
7.64/8.11 c before 432.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6110
7.64/8.11 c
7.64/8.11 cTotal time: 36
7.64/8.12 c 648.0 seconds unused
7.64/8.12 c 0 c 3 c 0
7.64/8.12 c 0 c 0 c 0
7.64/8.12 c 0 c 3 c 0
7.64/8.12 c is solver0 dominated by:
7.64/8.12 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.64/8.12 c solver 2 (0 solves instances that 2 can't: false) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: true) (0 is equally as fast as 2: false) (0 < 2: false)
7.64/8.12 c is dominated? false
7.64/8.12 c
7.64/8.12 c is solver1 dominated by:
7.64/8.12 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.64/8.12 c is dominated? true
7.64/8.12 c
7.64/8.12 c is solver2 dominated by:
7.64/8.12 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.64/8.12 c is dominated? true
7.64/8.12 c
7.64/8.12 c Number of non-dominated solvers: 1
7.64/8.12 c remove dominated solvers
7.64/8.12 c solver 0 is not dominated by another solver
7.64/8.12 c solver 2 is dominated by another solver
7.64/8.12 c solver 1 is dominated by another solver
7.64/8.12 c
7.64/8.12 c solver 0: 54.0
7.64/8.12 c
7.64/8.12 c+ 3/3 of 97
7.64/8.12 c
7.64/8.12 c solver 1: 0.0
7.64/8.12 c
7.64/8.12 c solver 2: 0.0
7.64/8.12 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6110
7.64/8.12 c do not run mistral
7.64/8.12 c do not run choco
7.64/8.12 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.64/8.12 c On Instance: HOME/instance-1079576-1215210245.xml
7.64/8.12 c Running for: 1800 seconds
17.90/18.49 s UNSATISFIABLE
17.90/18.49 d ASSIGNMENTS 6470
17.90/18.49 d CHECKS 8326
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1079576-1215210245/watcher-1079576-1215210245 -o /tmp/evaluation-result-1079576-1215210245/solver-1079576-1215210245 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1079576-1215210245.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.08 2.00 2.00 4/74 20259
/proc/meminfo: memFree=1765760/2055920 swapFree=4181480/4192956
[pid=20259] ppid=20257 vsize=18572 CPUtime=0
/proc/20259/stat : 20259 (runsolver) R 20257 20259 18186 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1999994089 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 271638392103 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20259/statm: 4643 292 257 25 0 2626 0
[startup+0.0641291 s]
/proc/loadavg: 2.08 2.00 2.00 4/74 20259
/proc/meminfo: memFree=1765760/2055920 swapFree=4181480/4192956
[pid=20259] ppid=20257 vsize=5360 CPUtime=0
/proc/20259/stat : 20259 (hydra) S 20257 20259 18186 0 -1 4194304 285 0 0 0 0 0 0 0 20 0 1 0 1999994089 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20259/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101133 s]
/proc/loadavg: 2.08 2.00 2.00 4/74 20259
/proc/meminfo: memFree=1765760/2055920 swapFree=4181480/4192956
[pid=20259] ppid=20257 vsize=5360 CPUtime=0
/proc/20259/stat : 20259 (hydra) S 20257 20259 18186 0 -1 4194304 285 0 0 0 0 0 0 0 20 0 1 0 1999994089 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20259/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301174 s]
/proc/loadavg: 2.08 2.00 2.00 4/74 20259
/proc/meminfo: memFree=1765760/2055920 swapFree=4181480/4192956
[pid=20259] ppid=20257 vsize=5360 CPUtime=0
/proc/20259/stat : 20259 (hydra) S 20257 20259 18186 0 -1 4194304 306 124 0 0 0 0 0 0 15 0 1 0 1999994089 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20259/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.70125 s]
/proc/loadavg: 2.08 2.00 2.00 4/74 20259
/proc/meminfo: memFree=1765760/2055920 swapFree=4181480/4192956
[pid=20259] ppid=20257 vsize=5360 CPUtime=0
/proc/20259/stat : 20259 (hydra) S 20257 20259 18186 0 -1 4194304 330 247 0 0 0 0 0 0 15 0 1 0 1999994089 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20259/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50139 s]
/proc/loadavg: 2.08 2.00 2.00 3/76 20263
/proc/meminfo: memFree=1765488/2055920 swapFree=4181480/4192956
[pid=20259] ppid=20257 vsize=5360 CPUtime=0
/proc/20259/stat : 20259 (hydra) S 20257 20259 18186 0 -1 4194304 330 247 0 0 0 0 0 0 15 0 1 0 1999994089 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20259/statm: 1340 236 195 169 0 51 0
[pid=20263] ppid=20259 vsize=5252 CPUtime=1.14
/proc/20263/stat : 20263 (xsolve) R 20259 20259 18186 0 -1 4194304 657 0 0 0 113 1 0 0 25 0 1 0 1999994122 5378048 616 996147200 134512640 135239763 4294956176 18446744073709551615 134789059 0 0 4096 0 0 0 0 17 1 0 0
/proc/20263/statm: 1313 616 410 177 0 216 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 10612
[startup+3.10269 s]
/proc/loadavg: 2.08 2.00 2.00 4/84 20275
/proc/meminfo: memFree=1760944/2055920 swapFree=4181480/4192956
[pid=20259] ppid=20257 vsize=5360 CPUtime=1.48
/proc/20259/stat : 20259 (hydra) S 20257 20259 18186 0 -1 4194304 375 1254 0 0 0 0 147 1 18 0 1 0 1999994089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20259/statm: 1340 238 196 169 0 51 0
[pid=20267] ppid=20259 vsize=197000 CPUtime=1.23
/proc/20267/stat : 20267 (java) S 20259 20259 18186 0 -1 0 4703 0 1 0 119 4 0 0 18 0 9 0 1999994273 201728000 3967 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20267/statm: 49250 3967 1677 9 0 43833 0
[pid=20267/tid=20268] ppid=20259 vsize=197000 CPUtime=0.98
/proc/20267/task/20268/stat : 20268 (java) R 20259 20259 18186 0 -1 64 2662 0 1 0 97 1 0 0 25 0 9 0 1999994274 201728000 3967 996147200 134512640 134550740 4294955968 18446744073709551615 4126441162 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20269] ppid=20259 vsize=197000 CPUtime=0.1
/proc/20267/task/20269/stat : 20269 (java) S 20259 20259 18186 0 -1 64 712 0 0 0 9 1 0 0 16 0 9 0 1999994275 201728000 3967 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20270] ppid=20259 vsize=197000 CPUtime=0
/proc/20267/task/20270/stat : 20270 (java) S 20259 20259 18186 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1999994275 201728000 3967 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20271] ppid=20259 vsize=197000 CPUtime=0
/proc/20267/task/20271/stat : 20271 (java) S 20259 20259 18186 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1999994275 201728000 3967 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20272] ppid=20259 vsize=197000 CPUtime=0
/proc/20267/task/20272/stat : 20272 (java) S 20259 20259 18186 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1999994278 201728000 3967 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20273] ppid=20259 vsize=197000 CPUtime=0.13
/proc/20267/task/20273/stat : 20273 (java) S 20259 20259 18186 0 -1 64 604 0 0 0 13 0 0 0 16 0 9 0 1999994278 201728000 3967 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20274] ppid=20259 vsize=197000 CPUtime=0
/proc/20267/task/20274/stat : 20274 (java) S 20259 20259 18186 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1999994278 201728000 3967 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20275] ppid=20259 vsize=197000 CPUtime=0
/proc/20267/task/20275/stat : 20275 (java) S 20259 20259 18186 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1999994278 201728000 3967 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 202360
[startup+6.30227 s]
/proc/loadavg: 2.07 2.00 2.00 3/84 20275
/proc/meminfo: memFree=1747888/2055920 swapFree=4181480/4192956
[pid=20259] ppid=20257 vsize=5360 CPUtime=1.48
/proc/20259/stat : 20259 (hydra) S 20257 20259 18186 0 -1 4194304 375 1254 0 0 0 0 147 1 18 0 1 0 1999994089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20259/statm: 1340 238 196 169 0 51 0
[pid=20267] ppid=20259 vsize=197108 CPUtime=4.4
/proc/20267/stat : 20267 (java) S 20259 20259 18186 0 -1 0 9565 0 1 0 428 12 0 0 18 0 9 0 1999994273 201838592 7929 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20267/statm: 49277 7929 2540 9 0 43860 0
[pid=20267/tid=20268] ppid=20259 vsize=197108 CPUtime=3.46
/proc/20267/task/20268/stat : 20268 (java) R 20259 20259 18186 0 -1 64 3478 0 1 0 343 3 0 0 25 0 9 0 1999994274 201838592 7929 996147200 134512640 134550740 4294955968 18446744073709551615 4126471031 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20269] ppid=20259 vsize=197108 CPUtime=0.73
/proc/20267/task/20269/stat : 20269 (java) S 20259 20259 18186 0 -1 64 4733 0 0 0 67 6 0 0 16 0 9 0 1999994275 201838592 7929 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20270] ppid=20259 vsize=197108 CPUtime=0
/proc/20267/task/20270/stat : 20270 (java) S 20259 20259 18186 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1999994275 201838592 7929 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20271] ppid=20259 vsize=197108 CPUtime=0
/proc/20267/task/20271/stat : 20271 (java) S 20259 20259 18186 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1999994275 201838592 7929 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20272] ppid=20259 vsize=197108 CPUtime=0
/proc/20267/task/20272/stat : 20272 (java) S 20259 20259 18186 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1999994278 201838592 7929 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20273] ppid=20259 vsize=197108 CPUtime=0.16
/proc/20267/task/20273/stat : 20273 (java) S 20259 20259 18186 0 -1 64 629 0 0 0 16 0 0 0 16 0 9 0 1999994278 201838592 7929 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20274] ppid=20259 vsize=197108 CPUtime=0
/proc/20267/task/20274/stat : 20274 (java) S 20259 20259 18186 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1999994278 201838592 7929 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20275] ppid=20259 vsize=197108 CPUtime=0
/proc/20267/task/20275/stat : 20275 (java) S 20259 20259 18186 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1999994278 201838592 7929 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 202468
[startup+12.7034 s]
/proc/loadavg: 2.15 2.02 2.01 3/96 20287
/proc/meminfo: memFree=1706576/2055920 swapFree=4181480/4192956
[pid=20259] ppid=20257 vsize=5360 CPUtime=1.48
/proc/20259/stat : 20259 (hydra) S 20257 20259 18186 0 -1 4194304 375 1254 0 0 0 0 147 1 18 0 1 0 1999994089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20259/statm: 1340 238 196 169 0 51 0
[pid=20267] ppid=20259 vsize=197432 CPUtime=6.18
/proc/20267/stat : 20267 (java) S 20259 20259 18186 0 -1 0 13997 0 1 0 601 17 0 0 18 0 10 0 1999994273 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20267/statm: 49358 9508 2543 9 0 43941 0
[pid=20277] ppid=20267 vsize=5356 CPUtime=0
/proc/20277/stat : 20277 (abscon) S 20267 20259 18186 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 1999994902 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20277/statm: 1339 235 194 169 0 50 0
[pid=20278] ppid=20277 vsize=654940 CPUtime=4.55
/proc/20278/stat : 20278 (java) S 20277 20259 18186 0 -1 0 10908 0 1 0 448 7 0 0 18 0 9 0 1999994902 670658560 10223 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20278/statm: 163735 10223 2610 9 0 158263 0
[pid=20278/tid=20280] ppid=20277 vsize=654940 CPUtime=4.3
/proc/20278/task/20280/stat : 20280 (java) R 20277 20259 18186 0 -1 64 8607 0 1 0 425 5 0 0 25 0 9 0 1999994903 670658560 10223 996147200 134512640 134550740 4294955808 18446744073709551615 4126792469 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20281] ppid=20277 vsize=654940 CPUtime=0.03
/proc/20278/task/20281/stat : 20281 (java) S 20277 20259 18186 0 -1 64 1362 0 0 0 3 0 0 0 16 0 9 0 1999994904 670658560 10223 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20282] ppid=20277 vsize=654940 CPUtime=0
/proc/20278/task/20282/stat : 20282 (java) S 20277 20259 18186 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1999994905 670658560 10223 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20283] ppid=20277 vsize=654940 CPUtime=0
/proc/20278/task/20283/stat : 20283 (java) S 20277 20259 18186 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1999994905 670658560 10223 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20284] ppid=20277 vsize=654940 CPUtime=0
/proc/20278/task/20284/stat : 20284 (java) S 20277 20259 18186 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1999994906 670658560 10223 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20285] ppid=20277 vsize=654940 CPUtime=0.19
/proc/20278/task/20285/stat : 20285 (java) S 20277 20259 18186 0 -1 64 396 0 0 0 19 0 0 0 15 0 9 0 1999994906 670658560 10223 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20286] ppid=20277 vsize=654940 CPUtime=0
/proc/20278/task/20286/stat : 20286 (java) S 20277 20259 18186 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1999994906 670658560 10223 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20287] ppid=20277 vsize=654940 CPUtime=0
/proc/20278/task/20287/stat : 20287 (java) S 20277 20259 18186 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1999994906 670658560 10223 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20279] ppid=20277 vsize=7044 CPUtime=0
/proc/20279/stat : 20279 (translate) S 20277 20259 18186 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1999994902 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 271638560850 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/20279/statm: 1761 213 182 1 0 41 0
[pid=20267/tid=20268] ppid=20259 vsize=197432 CPUtime=4.82
/proc/20267/task/20268/stat : 20268 (java) S 20259 20259 18186 0 -1 64 3985 0 1 0 477 5 0 0 25 0 10 0 1999994274 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20267/tid=20269] ppid=20259 vsize=197432 CPUtime=1.13
/proc/20267/task/20269/stat : 20269 (java) S 20259 20259 18186 0 -1 64 8556 0 0 0 103 10 0 0 16 0 10 0 1999994275 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20270] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20270/stat : 20270 (java) S 20259 20259 18186 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999994275 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20271] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20271/stat : 20271 (java) S 20259 20259 18186 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1999994275 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20272] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20272/stat : 20272 (java) S 20259 20259 18186 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1999994278 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20273] ppid=20259 vsize=197432 CPUtime=0.19
/proc/20267/task/20273/stat : 20273 (java) S 20259 20259 18186 0 -1 64 646 0 0 0 19 0 0 0 15 0 10 0 1999994278 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20274] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20274/stat : 20274 (java) S 20259 20259 18186 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1999994278 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20275] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20275/stat : 20275 (java) S 20259 20259 18186 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1999994278 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20267/tid=20276] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20276/stat : 20276 (java) S 20259 20259 18186 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1999994902 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 870132
Solver just ended. Dumping a history of the last processes samples
[startup+15.903 s]
/proc/loadavg: 2.13 2.02 2.00 3/96 20287
/proc/meminfo: memFree=1706512/2055920 swapFree=4181480/4192956
[pid=20259] ppid=20257 vsize=5360 CPUtime=1.48
/proc/20259/stat : 20259 (hydra) S 20257 20259 18186 0 -1 4194304 375 1254 0 0 0 0 147 1 18 0 1 0 1999994089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20259/statm: 1340 238 196 169 0 51 0
[pid=20267] ppid=20259 vsize=197432 CPUtime=6.18
/proc/20267/stat : 20267 (java) S 20259 20259 18186 0 -1 0 13997 0 1 0 601 17 0 0 18 0 10 0 1999994273 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20267/statm: 49358 9508 2543 9 0 43941 0
[pid=20277] ppid=20267 vsize=5356 CPUtime=0
/proc/20277/stat : 20277 (abscon) S 20267 20259 18186 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 1999994902 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20277/statm: 1339 235 194 169 0 50 0
[pid=20278] ppid=20277 vsize=654940 CPUtime=7.75
/proc/20278/stat : 20278 (java) S 20277 20259 18186 0 -1 0 10925 0 1 0 768 7 0 0 18 0 9 0 1999994902 670658560 10237 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20278/statm: 163735 10237 2610 9 0 158263 0
[pid=20278/tid=20280] ppid=20277 vsize=654940 CPUtime=7.49
/proc/20278/task/20280/stat : 20280 (java) R 20277 20259 18186 0 -1 64 8624 0 1 0 744 5 0 0 25 0 9 0 1999994903 670658560 10237 996147200 134512640 134550740 4294955808 18446744073709551615 4126743804 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20281] ppid=20277 vsize=654940 CPUtime=0.03
/proc/20278/task/20281/stat : 20281 (java) S 20277 20259 18186 0 -1 64 1362 0 0 0 3 0 0 0 17 0 9 0 1999994904 670658560 10237 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/20278/task/20283/stat : 20283 (java) S 20277 20259 18186 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1999994905 670658560 10237 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20284] ppid=20277 vsize=654940 CPUtime=0
/proc/20278/task/20284/stat : 20284 (java) S 20277 20259 18186 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1999994906 670658560 10237 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20285] ppid=20277 vsize=654940 CPUtime=0.19
/proc/20278/task/20285/stat : 20285 (java) S 20277 20259 18186 0 -1 64 396 0 0 0 19 0 0 0 16 0 9 0 1999994906 670658560 10237 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20286] ppid=20277 vsize=654940 CPUtime=0
/proc/20278/task/20286/stat : 20286 (java) S 20277 20259 18186 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1999994906 670658560 10237 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20287] ppid=20277 vsize=654940 CPUtime=0
/proc/20278/task/20287/stat : 20287 (java) S 20277 20259 18186 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1999994906 670658560 10237 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20279] ppid=20277 vsize=7044 CPUtime=0
/proc/20279/stat : 20279 (translate) S 20277 20259 18186 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1999994902 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 271638560850 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/20279/statm: 1761 213 182 1 0 41 0
[pid=20267/tid=20268] ppid=20259 vsize=197432 CPUtime=4.82
/proc/20267/task/20268/stat : 20268 (java) S 20259 20259 18186 0 -1 64 3985 0 1 0 477 5 0 0 25 0 10 0 1999994274 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20267/tid=20269] ppid=20259 vsize=197432 CPUtime=1.13
/proc/20267/task/20269/stat : 20269 (java) S 20259 20259 18186 0 -1 64 8556 0 0 0 103 10 0 0 16 0 10 0 1999994275 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20270] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20270/stat : 20270 (java) S 20259 20259 18186 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999994275 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20271] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20271/stat : 20271 (java) S 20259 20259 18186 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1999994275 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20272] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20272/stat : 20272 (java) S 20259 20259 18186 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1999994278 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20273] ppid=20259 vsize=197432 CPUtime=0.19
/proc/20267/task/20273/stat : 20273 (java) S 20259 20259 18186 0 -1 64 646 0 0 0 19 0 0 0 15 0 10 0 1999994278 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20274] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20274/stat : 20274 (java) S 20259 20259 18186 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1999994278 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20275] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20275/stat : 20275 (java) S 20259 20259 18186 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1999994278 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20267/tid=20276] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20276/stat : 20276 (java) S 20259 20259 18186 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1999994902 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.41
Current children cumulated vsize (KiB) 870132
[startup+17.5033 s]
/proc/loadavg: 2.13 2.02 2.00 3/96 20287
/proc/meminfo: memFree=1706512/2055920 swapFree=4181480/4192956
[pid=20259] ppid=20257 vsize=5360 CPUtime=1.48
/proc/20259/stat : 20259 (hydra) S 20257 20259 18186 0 -1 4194304 375 1254 0 0 0 0 147 1 18 0 1 0 1999994089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20259/statm: 1340 238 196 169 0 51 0
[pid=20267] ppid=20259 vsize=197432 CPUtime=6.18
/proc/20267/stat : 20267 (java) S 20259 20259 18186 0 -1 0 13997 0 1 0 601 17 0 0 18 0 10 0 1999994273 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20267/statm: 49358 9508 2543 9 0 43941 0
[pid=20277] ppid=20267 vsize=5356 CPUtime=0
/proc/20277/stat : 20277 (abscon) S 20267 20259 18186 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 1999994902 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20277/statm: 1339 235 194 169 0 50 0
[pid=20278] ppid=20277 vsize=654940 CPUtime=9.35
/proc/20278/stat : 20278 (java) S 20277 20259 18186 0 -1 0 10931 0 1 0 928 7 0 0 18 0 9 0 1999994902 670658560 10243 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20278/statm: 163735 10243 2610 9 0 158263 0
[pid=20278/tid=20280] ppid=20277 vsize=654940 CPUtime=9.1
/proc/20278/task/20280/stat : 20280 (java) R 20277 20259 18186 0 -1 64 8630 0 1 0 905 5 0 0 25 0 9 0 1999994903 670658560 10243 996147200 134512640 134550740 4294955808 18446744073709551615 4126743439 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20281] ppid=20277 vsize=654940 CPUtime=0.03
/proc/20278/task/20281/stat : 20281 (java) S 20277 20259 18186 0 -1 64 1362 0 0 0 3 0 0 0 16 0 9 0 1999994904 670658560 10243 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20282] ppid=20277 vsize=654940 CPUtime=0
/proc/20278/task/20282/stat : 20282 (java) S 20277 20259 18186 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1999994905 670658560 10243 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20283] ppid=20277 vsize=654940 CPUtime=0
/proc/20278/task/20283/stat : 20283 (java) S 20277 20259 18186 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1999994905 670658560 10243 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20284] ppid=20277 vsize=654940 CPUtime=0
/proc/20278/task/20284/stat : 20284 (java) S 20277 20259 18186 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1999994906 670658560 10243 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20285] ppid=20277 vsize=654940 CPUtime=0.19
/proc/20278/task/20285/stat : 20285 (java) S 20277 20259 18186 0 -1 64 396 0 0 0 19 0 0 0 16 0 9 0 1999994906 670658560 10243 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20286] ppid=20277 vsize=654940 CPUtime=0
/proc/20278/task/20286/stat : 20286 (java) S 20277 20259 18186 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1999994906 670658560 10243 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20287] ppid=20277 vsize=654940 CPUtime=0
/proc/20278/task/20287/stat : 20287 (java) S 20277 20259 18186 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1999994906 670658560 10243 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20279] ppid=20277 vsize=7044 CPUtime=0
/proc/20279/stat : 20279 (translate) S 20277 20259 18186 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1999994902 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 271638560850 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/20279/statm: 1761 213 182 1 0 41 0
[pid=20267/tid=20268] ppid=20259 vsize=197432 CPUtime=4.82
/proc/20267/task/20268/stat : 20268 (java) S 20259 20259 18186 0 -1 64 3985 0 1 0 477 5 0 0 25 0 10 0 1999994274 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20267/tid=20269] ppid=20259 vsize=197432 CPUtime=1.13
/proc/20267/task/20269/stat : 20269 (java) S 20259 20259 18186 0 -1 64 8556 0 0 0 103 10 0 0 16 0 10 0 1999994275 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20270] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20270/stat : 20270 (java) S 20259 20259 18186 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999994275 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20271] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20271/stat : 20271 (java) S 20259 20259 18186 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1999994275 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20272] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20272/stat : 20272 (java) S 20259 20259 18186 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1999994278 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20273] ppid=20259 vsize=197432 CPUtime=0.19
/proc/20267/task/20273/stat : 20273 (java) S 20259 20259 18186 0 -1 64 646 0 0 0 19 0 0 0 15 0 10 0 1999994278 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20274] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20274/stat : 20274 (java) S 20259 20259 18186 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1999994278 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20275] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20275/stat : 20275 (java) S 20259 20259 18186 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1999994278 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20267/tid=20276] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20276/stat : 20276 (java) S 20259 20259 18186 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1999994902 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.01
Current children cumulated vsize (KiB) 870132
[startup+18.3035 s]
/proc/loadavg: 2.13 2.02 2.00 3/96 20287
/proc/meminfo: memFree=1706512/2055920 swapFree=4181480/4192956
[pid=20259] ppid=20257 vsize=5360 CPUtime=1.48
/proc/20259/stat : 20259 (hydra) S 20257 20259 18186 0 -1 4194304 375 1254 0 0 0 0 147 1 18 0 1 0 1999994089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20259/statm: 1340 238 196 169 0 51 0
[pid=20267] ppid=20259 vsize=197432 CPUtime=6.18
/proc/20267/stat : 20267 (java) S 20259 20259 18186 0 -1 0 13997 0 1 0 601 17 0 0 18 0 10 0 1999994273 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20267/statm: 49358 9508 2543 9 0 43941 0
[pid=20277] ppid=20267 vsize=5356 CPUtime=0
/proc/20277/stat : 20277 (abscon) S 20267 20259 18186 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 1999994902 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20277/statm: 1339 235 194 169 0 50 0
[pid=20278] ppid=20277 vsize=654940 CPUtime=10.15
/proc/20278/stat : 20278 (java) S 20277 20259 18186 0 -1 0 10936 0 1 0 1008 7 0 0 18 0 9 0 1999994902 670658560 10247 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20278/statm: 163735 10247 2610 9 0 158263 0
[pid=20278/tid=20280] ppid=20277 vsize=654940 CPUtime=9.89
/proc/20278/task/20280/stat : 20280 (java) R 20277 20259 18186 0 -1 64 8635 0 1 0 984 5 0 0 25 0 9 0 1999994903 670658560 10247 996147200 134512640 134550740 4294955808 18446744073709551615 4126743612 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20281] ppid=20277 vsize=654940 CPUtime=0.03
/proc/20278/task/20281/stat : 20281 (java) S 20277 20259 18186 0 -1 64 1362 0 0 0 3 0 0 0 16 0 9 0 1999994904 670658560 10247 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20282] ppid=20277 vsize=654940 CPUtime=0
/proc/20278/task/20282/stat : 20282 (java) S 20277 20259 18186 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1999994905 670658560 10247 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20283] ppid=20277 vsize=654940 CPUtime=0
/proc/20278/task/20283/stat : 20283 (java) S 20277 20259 18186 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1999994905 670658560 10247 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20284] ppid=20277 vsize=654940 CPUtime=0
/proc/20278/task/20284/stat : 20284 (java) S 20277 20259 18186 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1999994906 670658560 10247 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20285] ppid=20277 vsize=654940 CPUtime=0.19
/proc/20278/task/20285/stat : 20285 (java) S 20277 20259 18186 0 -1 64 396 0 0 0 19 0 0 0 16 0 9 0 1999994906 670658560 10247 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20286] ppid=20277 vsize=654940 CPUtime=0
/proc/20278/task/20286/stat : 20286 (java) S 20277 20259 18186 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1999994906 670658560 10247 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20278/tid=20287] ppid=20277 vsize=654940 CPUtime=0
/proc/20278/task/20287/stat : 20287 (java) S 20277 20259 18186 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1999994906 670658560 10247 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20279] ppid=20277 vsize=7044 CPUtime=0
/proc/20279/stat : 20279 (translate) S 20277 20259 18186 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1999994902 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 271638560850 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/20279/statm: 1761 213 182 1 0 41 0
[pid=20267/tid=20268] ppid=20259 vsize=197432 CPUtime=4.82
/proc/20267/task/20268/stat : 20268 (java) S 20259 20259 18186 0 -1 64 3985 0 1 0 477 5 0 0 25 0 10 0 1999994274 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20267/tid=20269] ppid=20259 vsize=197432 CPUtime=1.13
/proc/20267/task/20269/stat : 20269 (java) S 20259 20259 18186 0 -1 64 8556 0 0 0 103 10 0 0 16 0 10 0 1999994275 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20270] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20270/stat : 20270 (java) S 20259 20259 18186 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999994275 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20271] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20271/stat : 20271 (java) S 20259 20259 18186 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1999994275 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20272] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20272/stat : 20272 (java) S 20259 20259 18186 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1999994278 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20273] ppid=20259 vsize=197432 CPUtime=0.19
/proc/20267/task/20273/stat : 20273 (java) S 20259 20259 18186 0 -1 64 646 0 0 0 19 0 0 0 15 0 10 0 1999994278 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20274] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20274/stat : 20274 (java) S 20259 20259 18186 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1999994278 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20275] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20275/stat : 20275 (java) S 20259 20259 18186 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1999994278 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20267/tid=20276] ppid=20259 vsize=197432 CPUtime=0
/proc/20267/task/20276/stat : 20276 (java) S 20259 20259 18186 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1999994902 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.81
Current children cumulated vsize (KiB) 870132
[startup+18.5025 s]
/proc/loadavg: 2.13 2.02 2.00 3/96 20287
/proc/meminfo: memFree=1706512/2055920 swapFree=4181480/4192956
[pid=20259] ppid=20257 vsize=5360 CPUtime=1.48
/proc/20259/stat : 20259 (hydra) S 20257 20259 18186 0 -1 4194304 375 1254 0 0 0 0 147 1 18 0 1 0 1999994089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20259/statm: 1340 238 196 169 0 51 0
[pid=20267] ppid=20259 vsize=197432 CPUtime=16.5
/proc/20267/stat : 20267 (java) S 20259 20259 18186 0 -1 0 14066 11638 1 1 601 17 1023 9 18 0 9 0 1999994273 202170368 9510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20267/statm: 49358 9510 2544 9 0 43941 0
[pid=20267/tid=20268] ppid=20259 vsize=197432 CPUtime=15.15
/proc/20267/task/20268/stat : 20268 (java) S 20259 20259 18186 0 -1 64 4034 11638 1 1 478 5 1023 9 16 0 9 0 1999994274 202170368 9510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20267/tid=20269] ppid=20259 vsize=197432 CPUtime=11.45
/proc/20267/task/20269/stat : 20269 (java) S 20259 20259 18186 0 -1 64 8566 11638 0 1 103 10 1023 9 16 0 9 0 1999994275 202170368 9510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20267/tid=20270] ppid=20259 vsize=197432 CPUtime=10.32
/proc/20267/task/20270/stat : 20270 (java) S 20259 20259 18186 0 -1 64 11 11638 0 1 0 0 1023 9 16 0 9 0 1999994275 202170368 9510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20271] ppid=20259 vsize=197432 CPUtime=10.32
/proc/20267/task/20271/stat : 20271 (java) S 20259 20259 18186 0 -1 64 5 11638 0 1 0 0 1023 9 15 0 9 0 1999994275 202170368 9510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20272] ppid=20259 vsize=197432 CPUtime=10.32
/proc/20267/task/20272/stat : 20272 (java) S 20259 20259 18186 0 -1 64 0 11638 0 1 0 0 1023 9 18 0 9 0 1999994278 202170368 9510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20273] ppid=20259 vsize=197432 CPUtime=10.51
/proc/20267/task/20273/stat : 20273 (java) S 20259 20259 18186 0 -1 64 646 11638 0 1 19 0 1023 9 15 0 9 0 1999994278 202170368 9510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20274] ppid=20259 vsize=197432 CPUtime=10.32
/proc/20267/task/20274/stat : 20274 (java) S 20259 20259 18186 0 -1 64 1 11638 0 1 0 0 1023 9 19 0 9 0 1999994278 202170368 9510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20267/tid=20275] ppid=20259 vsize=197432 CPUtime=10.32
/proc/20267/task/20275/stat : 20275 (java) S 20259 20259 18186 0 -1 64 13 11638 0 1 0 0 1023 9 15 0 9 0 1999994278 202170368 9510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 17.98
Current children cumulated vsize (KiB) 202792
Child status: 0
Real time (s): 18.5233
CPU time (s): 18.0293
CPU user time (s): 17.7293
CPU system time (s): 0.299954
CPU usage (%): 97.3328
Max. virtual memory (cumulated for all children) (KiB): 870132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.7293
system time used= 0.299954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27373
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10586
involuntary context switches= 11944
runsolver used 0.081987 second user time and 0.139978 second system time
The end