0.00/0.00 c cpHydra_k_10 version 0.0
7.58/7.76 c CASE TO CLASSIFY:
7.58/7.76 c Case: 0
7.58/7.76 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.246400 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 5.757080 | c 14 > 7.727920 | c 11 > 6.781360 | c 12 > 6.411090 | 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.392320 | 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.481800 | c 31 > -1.000000 | c 4 > 6.781360 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.77 c choco : 1801.0
7.58/7.77 c mistral : 1801.0
7.58/7.77 c abscon : 1801.0
7.58/7.77 c
7.58/7.77 c
7.67/7.85 c List of same ones: 10
7.67/7.85 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-11_ext.xml
7.67/7.85 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.985300 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 5.468270 | c 14 > 7.554590 | c 11 > 6.459430 | c 12 > 6.648930 | 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.159900 | c 31 > -1.000000 | c 4 > 6.459430 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.85 c choco : 37.76
7.67/7.85 c mistral : 19.41
7.67/7.85 c abscon : 7.14
7.67/7.85 c
7.67/7.85 c
7.67/7.85 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-11_ext.xml
7.67/7.85 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.983300 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 5.086970 | c 14 > 7.366320 | c 11 > 6.781360 | c 12 > 6.170470 | 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.392320 | 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.481800 | c 31 > -1.000000 | c 4 > 6.781360 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.86 c choco : 17.99
7.67/7.86 c mistral : 8.62
7.67/7.86 c abscon : 4.92
7.67/7.86 c
7.67/7.86 c
7.67/7.86 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-12_ext.xml
7.67/7.87 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.990600 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 5.581350 | c 14 > 7.577430 | c 11 > 6.584960 | c 12 > 6.637830 | 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.321930 | 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.285400 | c 31 > -1.000000 | c 4 > 6.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.88 c choco : 20.1
7.67/7.88 c mistral : 8.13
7.67/7.88 c abscon : 5.46
7.67/7.88 c
7.67/7.88 c
7.67/7.88 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-10_ext.xml
7.67/7.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.142600 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 5.295870 | c 14 > 7.562240 | c 11 > 6.643860 | c 12 > 6.217230 | 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.321930 | 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.344300 | c 31 > -1.000000 | c 4 > 6.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.88 c choco : 42.25
7.67/7.88 c mistral : 28.91
7.67/7.88 c abscon : 6.97
7.67/7.88 c
7.67/7.88 c
7.67/7.88 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-11_ext.xml
7.67/7.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.910500 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 4.586530 | c 14 > 7.266790 | c 11 > 6.629360 | c 12 > 6.053640 | 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.321930 | 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.329800 | c 31 > -1.000000 | c 4 > 6.629360 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.89 c choco : 35.48
7.67/7.89 c mistral : 27.07
7.67/7.89 c abscon : 5.43
7.67/7.89 c
7.67/7.89 c
7.67/7.90 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-11_ext.xml
7.67/7.90 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.75/7.91 c choco : 34.64
7.75/7.91 c mistral : 40.69
7.75/7.91 c abscon : 8.57
7.75/7.91 c
7.75/7.91 c
7.75/7.91 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg11-11_ext.xml
7.75/7.91 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.564700 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 4.926420 | c 14 > 6.845490 | c 11 > 6.918860 | c 12 > 5.745140 | 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.459430 | 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.619300 | c 31 > -1.000000 | c 4 > 6.918860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.75/7.91 c choco : 12.8
7.75/7.91 c mistral : 3.26
7.75/7.91 c abscon : 4.72
7.75/7.91 c
7.75/7.91 c
7.75/7.91 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-12_ext.xml
7.75/7.91 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.454800 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 5.268380 | c 14 > 7.087460 | c 11 > 6.754890 | c 12 > 5.884680 | 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.392320 | 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.455300 | c 31 > -1.000000 | c 4 > 6.754890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.75/7.92 c choco : 15.24
7.75/7.92 c mistral : 5.3
7.75/7.92 c abscon : 4.18
7.75/7.92 c
7.75/7.92 c
7.75/7.92 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-10_ext.xml
7.75/7.92 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.75/7.93 c choco : 91.35
7.75/7.93 c mistral : 1801.0
7.75/7.93 c abscon : 10.8
7.75/7.93 c
7.75/7.93 c
7.75/7.93 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-10_ext.xml
7.75/7.93 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.75/7.94 c choco : 64.01
7.75/7.94 c mistral : 51.8
7.75/7.94 c abscon : 9.14
7.75/7.94 c
7.75/7.94 c
7.75/7.94 c Length: 10
7.75/7.94 c 0.7549447082402784 0.8407862787296188 1.1362423036923068 1.1619785575474275 1.3775682356965118 1.4035085832299001 1.5614434139923223 1.5983924178686533 1.685875550804389 1.982018479606081
7.75/7.94 c
7.75/7.94 c 1.0 0.934617589000029 0.7629293810381447 0.7509136826988628 0.6633916652996433 0.6542168599303524 0.6034079361188626 0.5926399617822914 0.568614989720154 0.5
7.75/7.95 c
7.75/7.95 c solver 0
7.75/7.95 c before 0.0 seconds: {} 0
7.75/7.95 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7030
7.75/7.95 c
7.75/7.95 c solver 1
7.75/7.95 c before 0.0 seconds: {} 0
7.75/7.95 c before 18.0 seconds: {1, 2, 6, 7} 2893
7.75/7.95 c before 36.0 seconds: {0, 1, 2, 3, 4, 6, 7} 5307
7.75/7.95 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 6462
7.75/7.95 c
7.75/7.95 c solver 2
7.75/7.95 c before 0.0 seconds: {} 0
7.75/7.95 c before 18.0 seconds: {1, 6, 7} 2130
7.75/7.95 c before 36.0 seconds: {1, 2, 4, 5, 6, 7} 4211
7.75/7.95 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7} 5962
7.75/7.95 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 6462
7.75/7.95 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7030
7.75/7.95 c
7.75/7.95 cTotal time: 10
7.75/7.95 c 180.0 seconds unused
7.75/7.95 c 0 c 1 c 0
7.75/7.95 c 0 c 0 c 0
7.75/7.95 c 0 c 1 c 0
7.75/7.95 c is solver0 dominated by:
7.75/7.95 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.75/7.95 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.75/7.95 c is dominated? false
7.75/7.95 c
7.75/7.95 c is solver1 dominated by:
7.75/7.95 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.75/7.95 c is dominated? true
7.75/7.95 c
7.75/7.95 c is solver2 dominated by:
7.75/7.95 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.75/7.95 c is dominated? true
7.75/7.95 c
7.75/7.95 c Number of non-dominated solvers: 1
7.75/7.95 c remove dominated solvers
7.75/7.95 c solver 0 is not dominated by another solver
7.75/7.95 c solver 2 is dominated by another solver
7.75/7.95 c solver 1 is dominated by another solver
7.75/7.95 c
7.75/7.95 c solver 0: 18.0
7.75/7.95 c
7.75/7.95 c+ 1/1 of 99
7.75/7.95 c
7.75/7.95 c solver 1: 0.0
7.75/7.95 c
7.75/7.95 c solver 2: 0.0
7.75/7.95 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7030
7.75/7.95 c do not run mistral
7.75/7.96 c do not run choco
7.75/7.96 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.75/7.96 c On Instance: HOME/instance-1079783-1215210880.xml
7.75/7.96 c Running for: 1800 seconds
9.21/9.48 s UNSATISFIABLE
9.21/9.48 d ASSIGNMENTS 221
9.21/9.48 d CHECKS 0
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1079783-1215210880/watcher-1079783-1215210880 -o /tmp/evaluation-result-1079783-1215210880/solver-1079783-1215210880 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1079783-1215210880.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.96 1.97 1.99 4/74 28043
/proc/meminfo: memFree=1738408/2055920 swapFree=4179916/4192956
[pid=28043] ppid=28041 vsize=5260 CPUtime=0
/proc/28043/stat : 28043 (hydra) R 28041 28043 26762 0 -1 4194304 65 0 0 0 0 0 0 0 21 0 1 0 2000061288 5386240 50 996147200 4194304 4889804 548682068816 18446744073709551615 213113642460 0 0 4096 0 0 0 0 17 1 0 0
/proc/28043/statm: 1315 50 38 169 0 14 0
[startup+0.0838139 s]
/proc/loadavg: 1.96 1.97 1.99 4/74 28043
/proc/meminfo: memFree=1738408/2055920 swapFree=4179916/4192956
[pid=28043] ppid=28041 vsize=5360 CPUtime=0
/proc/28043/stat : 28043 (hydra) S 28041 28043 26762 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2000061288 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28043/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101811 s]
/proc/loadavg: 1.96 1.97 1.99 4/74 28043
/proc/meminfo: memFree=1738408/2055920 swapFree=4179916/4192956
[pid=28043] ppid=28041 vsize=5360 CPUtime=0
/proc/28043/stat : 28043 (hydra) S 28041 28043 26762 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2000061288 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28043/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301832 s]
/proc/loadavg: 1.96 1.97 1.99 4/74 28043
/proc/meminfo: memFree=1738408/2055920 swapFree=4179916/4192956
[pid=28043] ppid=28041 vsize=5360 CPUtime=0
/proc/28043/stat : 28043 (hydra) S 28041 28043 26762 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2000061288 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28043/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701878 s]
/proc/loadavg: 1.96 1.97 1.99 4/74 28043
/proc/meminfo: memFree=1738408/2055920 swapFree=4179916/4192956
[pid=28043] ppid=28041 vsize=5360 CPUtime=0
/proc/28043/stat : 28043 (hydra) S 28041 28043 26762 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2000061288 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28043/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50204 s]
/proc/loadavg: 1.96 1.97 1.99 3/76 28047
/proc/meminfo: memFree=1737304/2055920 swapFree=4179916/4192956
[pid=28043] ppid=28041 vsize=5360 CPUtime=1.47
/proc/28043/stat : 28043 (hydra) R 28041 28043 26762 0 -1 4194304 336 906 0 0 0 0 147 0 16 0 1 0 2000061288 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116316319 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/28043/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 5360
[startup+3.10215 s]
/proc/loadavg: 1.96 1.97 1.99 4/84 28059
/proc/meminfo: memFree=1731544/2055920 swapFree=4179916/4192956
[pid=28043] ppid=28041 vsize=5360 CPUtime=1.47
/proc/28043/stat : 28043 (hydra) S 28041 28043 26762 0 -1 4194304 375 1242 0 0 0 0 147 0 18 0 1 0 2000061288 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28043/statm: 1340 238 196 169 0 51 0
[pid=28051] ppid=28043 vsize=197000 CPUtime=1.57
/proc/28051/stat : 28051 (java) S 28043 28043 26762 0 -1 0 5017 0 1 0 151 6 0 0 18 0 9 0 2000061438 201728000 4204 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28051/statm: 49250 4204 1678 9 0 43833 0
[pid=28051/tid=28052] ppid=28043 vsize=197000 CPUtime=1.24
/proc/28051/task/28052/stat : 28052 (java) R 28043 28043 26762 0 -1 64 2739 0 1 0 122 2 0 0 25 0 9 0 2000061439 201728000 4204 996147200 134512640 134550740 4294955968 18446744073709551615 4126495711 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28053] ppid=28043 vsize=197000 CPUtime=0.14
/proc/28051/task/28053/stat : 28053 (java) S 28043 28043 26762 0 -1 64 940 0 0 0 12 2 0 0 16 0 9 0 2000061441 201728000 4204 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28054] ppid=28043 vsize=197000 CPUtime=0
/proc/28051/task/28054/stat : 28054 (java) S 28043 28043 26762 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2000061441 201728000 4204 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28055] ppid=28043 vsize=197000 CPUtime=0
/proc/28051/task/28055/stat : 28055 (java) S 28043 28043 26762 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000061441 201728000 4204 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28056] ppid=28043 vsize=197000 CPUtime=0
/proc/28051/task/28056/stat : 28056 (java) S 28043 28043 26762 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2000061443 201728000 4204 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28057] ppid=28043 vsize=197000 CPUtime=0.14
/proc/28051/task/28057/stat : 28057 (java) S 28043 28043 26762 0 -1 64 613 0 0 0 14 0 0 0 16 0 9 0 2000061443 201728000 4204 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28058] ppid=28043 vsize=197000 CPUtime=0
/proc/28051/task/28058/stat : 28058 (java) S 28043 28043 26762 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2000061443 201728000 4204 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28059] ppid=28043 vsize=197000 CPUtime=0
/proc/28051/task/28059/stat : 28059 (java) S 28043 28043 26762 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000061443 201728000 4204 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.3025 s]
/proc/loadavg: 2.05 1.99 1.99 3/84 28059
/proc/meminfo: memFree=1718104/2055920 swapFree=4179916/4192956
[pid=28043] ppid=28041 vsize=5360 CPUtime=1.47
/proc/28043/stat : 28043 (hydra) S 28041 28043 26762 0 -1 4194304 375 1242 0 0 0 0 147 0 18 0 1 0 2000061288 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28043/statm: 1340 238 196 169 0 51 0
[pid=28051] ppid=28043 vsize=197108 CPUtime=4.72
/proc/28051/stat : 28051 (java) S 28043 28043 26762 0 -1 0 9797 0 1 0 457 15 0 0 18 0 9 0 2000061438 201838592 8124 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28051/statm: 49277 8124 2540 9 0 43860 0
[pid=28051/tid=28052] ppid=28043 vsize=197108 CPUtime=3.75
/proc/28051/task/28052/stat : 28052 (java) R 28043 28043 26762 0 -1 64 3515 0 1 0 370 5 0 0 25 0 9 0 2000061439 201838592 8124 996147200 134512640 134550740 4294955968 18446744073709551615 4126446875 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28053] ppid=28043 vsize=197108 CPUtime=0.77
/proc/28051/task/28053/stat : 28053 (java) S 28043 28043 26762 0 -1 64 4929 0 0 0 69 8 0 0 16 0 9 0 2000061441 201838592 8124 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28054] ppid=28043 vsize=197108 CPUtime=0
/proc/28051/task/28054/stat : 28054 (java) S 28043 28043 26762 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2000061441 201838592 8124 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28055] ppid=28043 vsize=197108 CPUtime=0
/proc/28051/task/28055/stat : 28055 (java) S 28043 28043 26762 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000061441 201838592 8124 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28056] ppid=28043 vsize=197108 CPUtime=0
/proc/28051/task/28056/stat : 28056 (java) S 28043 28043 26762 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2000061443 201838592 8124 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28057] ppid=28043 vsize=197108 CPUtime=0.17
/proc/28051/task/28057/stat : 28057 (java) S 28043 28043 26762 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 2000061443 201838592 8124 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28058] ppid=28043 vsize=197108 CPUtime=0
/proc/28051/task/28058/stat : 28058 (java) S 28043 28043 26762 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2000061443 201838592 8124 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28059] ppid=28043 vsize=197108 CPUtime=0
/proc/28051/task/28059/stat : 28059 (java) S 28043 28043 26762 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000061443 201838592 8124 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 202468
Solver just ended. Dumping a history of the last processes samples
[startup+7.90167 s]
/proc/loadavg: 2.04 1.99 1.99 4/84 28059
/proc/meminfo: memFree=1706648/2055920 swapFree=4179916/4192956
[pid=28043] ppid=28041 vsize=5360 CPUtime=1.47
/proc/28043/stat : 28043 (hydra) S 28041 28043 26762 0 -1 4194304 375 1242 0 0 0 0 147 0 18 0 1 0 2000061288 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28043/statm: 1340 238 196 169 0 51 0
[pid=28051] ppid=28043 vsize=197108 CPUtime=6.28
/proc/28051/stat : 28051 (java) S 28043 28043 26762 0 -1 0 13800 0 1 0 609 19 0 0 18 0 9 0 2000061438 201838592 9490 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28051/statm: 49277 9490 2541 9 0 43860 0
[pid=28051/tid=28052] ppid=28043 vsize=197108 CPUtime=4.91
/proc/28051/task/28052/stat : 28052 (java) R 28043 28043 26762 0 -1 64 3899 0 1 0 485 6 0 0 25 0 9 0 2000061439 201838592 9490 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28053] ppid=28043 vsize=197108 CPUtime=1.15
/proc/28051/task/28053/stat : 28053 (java) S 28043 28043 26762 0 -1 64 8536 0 0 0 104 11 0 0 16 0 9 0 2000061441 201838592 9490 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28054] ppid=28043 vsize=197108 CPUtime=0
/proc/28051/task/28054/stat : 28054 (java) S 28043 28043 26762 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2000061441 201838592 9490 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28055] ppid=28043 vsize=197108 CPUtime=0
/proc/28051/task/28055/stat : 28055 (java) S 28043 28043 26762 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000061441 201838592 9490 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28056] ppid=28043 vsize=197108 CPUtime=0
/proc/28051/task/28056/stat : 28056 (java) S 28043 28043 26762 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2000061443 201838592 9490 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28057] ppid=28043 vsize=197108 CPUtime=0.2
/proc/28051/task/28057/stat : 28057 (java) R 28043 28043 26762 0 -1 64 640 0 0 0 19 1 0 0 16 0 9 0 2000061443 201838592 9490 996147200 134512640 134550740 4294955968 18446744073709551615 102010250 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28058] ppid=28043 vsize=197108 CPUtime=0
/proc/28051/task/28058/stat : 28058 (java) S 28043 28043 26762 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2000061443 201838592 9490 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28059] ppid=28043 vsize=197108 CPUtime=0
/proc/28051/task/28059/stat : 28059 (java) S 28043 28043 26762 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000061443 201838592 9490 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.75
Current children cumulated vsize (KiB) 202468
[startup+8.70176 s]
/proc/loadavg: 2.04 1.99 1.99 3/96 28071
/proc/meminfo: memFree=1679344/2055920 swapFree=4179916/4192956
[pid=28043] ppid=28041 vsize=5360 CPUtime=1.47
/proc/28043/stat : 28043 (hydra) S 28041 28043 26762 0 -1 4194304 375 1242 0 0 0 0 147 0 18 0 1 0 2000061288 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28043/statm: 1340 238 196 169 0 51 0
[pid=28051] ppid=28043 vsize=197432 CPUtime=6.33
/proc/28051/stat : 28051 (java) S 28043 28043 26762 0 -1 0 13958 0 1 0 613 20 0 0 18 0 10 0 2000061438 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28051/statm: 49358 9518 2543 9 0 43941 0
[pid=28061] ppid=28051 vsize=5356 CPUtime=0
/proc/28061/stat : 28061 (abscon) S 28051 28043 26762 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2000062084 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28061/statm: 1339 235 194 169 0 50 0
[pid=28062] ppid=28061 vsize=654940 CPUtime=0.72
/proc/28062/stat : 28062 (java) S 28061 28043 26762 0 -1 0 10612 0 1 0 65 7 0 0 18 0 9 0 2000062085 670658560 9931 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28062/statm: 163735 9931 2609 9 0 158263 0
[pid=28062/tid=28064] ppid=28061 vsize=654940 CPUtime=0.54
/proc/28062/task/28064/stat : 28064 (java) R 28061 28043 26762 0 -1 64 8387 0 1 0 48 6 0 0 25 0 9 0 2000062085 670658560 9931 996147200 134512640 134550740 4294955808 18446744073709551615 4125978366 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28065] ppid=28061 vsize=654940 CPUtime=0.04
/proc/28062/task/28065/stat : 28065 (java) S 28061 28043 26762 0 -1 64 1335 0 0 0 4 0 0 0 16 0 9 0 2000062087 670658560 9931 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28066] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28066/stat : 28066 (java) S 28061 28043 26762 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2000062087 670658560 9931 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28067] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28067/stat : 28067 (java) S 28061 28043 26762 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2000062087 670658560 9931 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28068] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28068/stat : 28068 (java) S 28061 28043 26762 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2000062089 670658560 9931 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28069] ppid=28061 vsize=654940 CPUtime=0.13
/proc/28062/task/28069/stat : 28069 (java) S 28061 28043 26762 0 -1 64 347 0 0 0 13 0 0 0 16 0 9 0 2000062089 670658560 9931 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28070] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28070/stat : 28070 (java) S 28061 28043 26762 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2000062089 670658560 9931 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28071] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28071/stat : 28071 (java) S 28061 28043 26762 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2000062089 670658560 9931 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28063] ppid=28061 vsize=7044 CPUtime=0
/proc/28063/stat : 28063 (translate) S 28061 28043 26762 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2000062085 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 213116485714 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/28063/statm: 1761 213 182 1 0 41 0
[pid=28051/tid=28052] ppid=28043 vsize=197432 CPUtime=4.95
/proc/28051/task/28052/stat : 28052 (java) S 28043 28043 26762 0 -1 64 3974 0 1 0 488 7 0 0 25 0 10 0 2000061439 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=28051/tid=28053] ppid=28043 vsize=197432 CPUtime=1.15
/proc/28051/task/28053/stat : 28053 (java) S 28043 28043 26762 0 -1 64 8536 0 0 0 104 11 0 0 16 0 10 0 2000061441 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28054] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28054/stat : 28054 (java) S 28043 28043 26762 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2000061441 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28055] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28055/stat : 28055 (java) S 28043 28043 26762 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2000061441 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28056] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28056/stat : 28056 (java) S 28043 28043 26762 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2000061443 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28057] ppid=28043 vsize=197432 CPUtime=0.21
/proc/28051/task/28057/stat : 28057 (java) S 28043 28043 26762 0 -1 64 645 0 0 0 20 1 0 0 16 0 10 0 2000061443 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28058] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28058/stat : 28058 (java) S 28043 28043 26762 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000061443 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28059] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28059/stat : 28059 (java) S 28043 28043 26762 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2000061443 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28060] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28060/stat : 28060 (java) S 28043 28043 26762 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2000062084 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.52
Current children cumulated vsize (KiB) 870132
[startup+9.1028 s]
/proc/loadavg: 2.04 1.99 1.99 3/96 28071
/proc/meminfo: memFree=1679344/2055920 swapFree=4179916/4192956
[pid=28043] ppid=28041 vsize=5360 CPUtime=1.47
/proc/28043/stat : 28043 (hydra) S 28041 28043 26762 0 -1 4194304 375 1242 0 0 0 0 147 0 18 0 1 0 2000061288 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28043/statm: 1340 238 196 169 0 51 0
[pid=28051] ppid=28043 vsize=197432 CPUtime=6.33
/proc/28051/stat : 28051 (java) S 28043 28043 26762 0 -1 0 13995 0 1 0 613 20 0 0 18 0 10 0 2000061438 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28051/statm: 49358 9518 2543 9 0 43941 0
[pid=28061] ppid=28051 vsize=5356 CPUtime=0
/proc/28061/stat : 28061 (abscon) S 28051 28043 26762 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2000062084 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28061/statm: 1339 235 194 169 0 50 0
[pid=28062] ppid=28061 vsize=654940 CPUtime=1.11
/proc/28062/stat : 28062 (java) S 28061 28043 26762 0 -1 0 10884 0 1 0 104 7 0 0 18 0 9 0 2000062085 670658560 10202 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28062/statm: 163735 10202 2610 9 0 158263 0
[pid=28062/tid=28064] ppid=28061 vsize=654940 CPUtime=0.9
/proc/28062/task/28064/stat : 28064 (java) R 28061 28043 26762 0 -1 64 8643 0 1 0 84 6 0 0 25 0 9 0 2000062085 670658560 10202 996147200 134512640 134550740 4294955808 18446744073709551615 4126741752 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28065] ppid=28061 vsize=654940 CPUtime=0.04
/proc/28062/task/28065/stat : 28065 (java) S 28061 28043 26762 0 -1 64 1335 0 0 0 4 0 0 0 16 0 9 0 2000062087 670658560 10202 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28066] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28066/stat : 28066 (java) S 28061 28043 26762 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2000062087 670658560 10202 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28067] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28067/stat : 28067 (java) S 28061 28043 26762 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2000062087 670658560 10202 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28068] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28068/stat : 28068 (java) S 28061 28043 26762 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2000062089 670658560 10202 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28069] ppid=28061 vsize=654940 CPUtime=0.15
/proc/28062/task/28069/stat : 28069 (java) S 28061 28043 26762 0 -1 64 363 0 0 0 15 0 0 0 16 0 9 0 2000062089 670658560 10202 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28070] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28070/stat : 28070 (java) S 28061 28043 26762 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2000062089 670658560 10202 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28071] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28071/stat : 28071 (java) S 28061 28043 26762 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2000062089 670658560 10202 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28063] ppid=28061 vsize=7044 CPUtime=0
/proc/28063/stat : 28063 (translate) S 28061 28043 26762 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2000062085 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 213116485714 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/28063/statm: 1761 213 182 1 0 41 0
[pid=28051/tid=28052] ppid=28043 vsize=197432 CPUtime=4.95
/proc/28051/task/28052/stat : 28052 (java) S 28043 28043 26762 0 -1 64 3974 0 1 0 488 7 0 0 25 0 10 0 2000061439 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=28051/tid=28053] ppid=28043 vsize=197432 CPUtime=1.15
/proc/28051/task/28053/stat : 28053 (java) S 28043 28043 26762 0 -1 64 8573 0 0 0 104 11 0 0 16 0 10 0 2000061441 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28054] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28054/stat : 28054 (java) S 28043 28043 26762 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2000061441 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28055] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28055/stat : 28055 (java) S 28043 28043 26762 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2000061441 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28056] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28056/stat : 28056 (java) S 28043 28043 26762 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2000061443 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28057] ppid=28043 vsize=197432 CPUtime=0.21
/proc/28051/task/28057/stat : 28057 (java) S 28043 28043 26762 0 -1 64 645 0 0 0 20 1 0 0 16 0 10 0 2000061443 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28058] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28058/stat : 28058 (java) S 28043 28043 26762 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000061443 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28059] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28059/stat : 28059 (java) S 28043 28043 26762 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2000061443 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28060] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28060/stat : 28060 (java) S 28043 28043 26762 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2000062084 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.91
Current children cumulated vsize (KiB) 870132
[startup+9.30282 s]
/proc/loadavg: 2.04 1.99 1.99 3/96 28071
/proc/meminfo: memFree=1679344/2055920 swapFree=4179916/4192956
[pid=28043] ppid=28041 vsize=5360 CPUtime=1.47
/proc/28043/stat : 28043 (hydra) S 28041 28043 26762 0 -1 4194304 375 1242 0 0 0 0 147 0 18 0 1 0 2000061288 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28043/statm: 1340 238 196 169 0 51 0
[pid=28051] ppid=28043 vsize=197432 CPUtime=6.33
/proc/28051/stat : 28051 (java) S 28043 28043 26762 0 -1 0 13995 0 1 0 613 20 0 0 18 0 10 0 2000061438 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28051/statm: 49358 9518 2543 9 0 43941 0
[pid=28061] ppid=28051 vsize=5356 CPUtime=0
/proc/28061/stat : 28061 (abscon) S 28051 28043 26762 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2000062084 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28061/statm: 1339 235 194 169 0 50 0
[pid=28062] ppid=28061 vsize=654940 CPUtime=1.31
/proc/28062/stat : 28062 (java) S 28061 28043 26762 0 -1 0 10886 0 1 0 124 7 0 0 18 0 9 0 2000062085 670658560 10204 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28062/statm: 163735 10204 2610 9 0 158263 0
[pid=28062/tid=28064] ppid=28061 vsize=654940 CPUtime=1.1
/proc/28062/task/28064/stat : 28064 (java) R 28061 28043 26762 0 -1 64 8644 0 1 0 104 6 0 0 25 0 9 0 2000062085 670658560 10204 996147200 134512640 134550740 4294955808 18446744073709551615 4126769487 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28065] ppid=28061 vsize=654940 CPUtime=0.04
/proc/28062/task/28065/stat : 28065 (java) S 28061 28043 26762 0 -1 64 1335 0 0 0 4 0 0 0 16 0 9 0 2000062087 670658560 10204 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28066] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28066/stat : 28066 (java) S 28061 28043 26762 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2000062087 670658560 10204 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28067] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28067/stat : 28067 (java) S 28061 28043 26762 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2000062087 670658560 10204 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28068] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28068/stat : 28068 (java) S 28061 28043 26762 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2000062089 670658560 10204 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28069] ppid=28061 vsize=654940 CPUtime=0.15
/proc/28062/task/28069/stat : 28069 (java) S 28061 28043 26762 0 -1 64 364 0 0 0 15 0 0 0 15 0 9 0 2000062089 670658560 10204 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28070] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28070/stat : 28070 (java) S 28061 28043 26762 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2000062089 670658560 10204 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28071] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28071/stat : 28071 (java) S 28061 28043 26762 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2000062089 670658560 10204 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28063] ppid=28061 vsize=7044 CPUtime=0
/proc/28063/stat : 28063 (translate) S 28061 28043 26762 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2000062085 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 213116485714 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/28063/statm: 1761 213 182 1 0 41 0
[pid=28051/tid=28052] ppid=28043 vsize=197432 CPUtime=4.95
/proc/28051/task/28052/stat : 28052 (java) S 28043 28043 26762 0 -1 64 3974 0 1 0 488 7 0 0 25 0 10 0 2000061439 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=28051/tid=28053] ppid=28043 vsize=197432 CPUtime=1.15
/proc/28051/task/28053/stat : 28053 (java) S 28043 28043 26762 0 -1 64 8573 0 0 0 104 11 0 0 16 0 10 0 2000061441 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28054] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28054/stat : 28054 (java) S 28043 28043 26762 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2000061441 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28055] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28055/stat : 28055 (java) S 28043 28043 26762 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2000061441 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28056] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28056/stat : 28056 (java) S 28043 28043 26762 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2000061443 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28057] ppid=28043 vsize=197432 CPUtime=0.21
/proc/28051/task/28057/stat : 28057 (java) S 28043 28043 26762 0 -1 64 645 0 0 0 20 1 0 0 16 0 10 0 2000061443 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28058] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28058/stat : 28058 (java) S 28043 28043 26762 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000061443 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28059] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28059/stat : 28059 (java) S 28043 28043 26762 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2000061443 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28060] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28060/stat : 28060 (java) S 28043 28043 26762 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2000062084 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.11
Current children cumulated vsize (KiB) 870132
[startup+9.40283 s]
/proc/loadavg: 2.04 1.99 1.99 3/96 28071
/proc/meminfo: memFree=1679344/2055920 swapFree=4179916/4192956
[pid=28043] ppid=28041 vsize=5360 CPUtime=1.47
/proc/28043/stat : 28043 (hydra) S 28041 28043 26762 0 -1 4194304 375 1242 0 0 0 0 147 0 18 0 1 0 2000061288 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28043/statm: 1340 238 196 169 0 51 0
[pid=28051] ppid=28043 vsize=197432 CPUtime=6.33
/proc/28051/stat : 28051 (java) S 28043 28043 26762 0 -1 0 13995 0 1 0 613 20 0 0 18 0 10 0 2000061438 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28051/statm: 49358 9518 2543 9 0 43941 0
[pid=28061] ppid=28051 vsize=5356 CPUtime=0
/proc/28061/stat : 28061 (abscon) S 28051 28043 26762 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2000062084 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28061/statm: 1339 235 194 169 0 50 0
[pid=28062] ppid=28061 vsize=654940 CPUtime=1.41
/proc/28062/stat : 28062 (java) S 28061 28043 26762 0 -1 0 10888 0 1 0 134 7 0 0 18 0 9 0 2000062085 670658560 10206 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28062/statm: 163735 10206 2610 9 0 158263 0
[pid=28062/tid=28064] ppid=28061 vsize=654940 CPUtime=1.2
/proc/28062/task/28064/stat : 28064 (java) R 28061 28043 26762 0 -1 64 8645 0 1 0 114 6 0 0 25 0 9 0 2000062085 670658560 10206 996147200 134512640 134550740 4294955808 18446744073709551615 4126741544 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28065] ppid=28061 vsize=654940 CPUtime=0.04
/proc/28062/task/28065/stat : 28065 (java) S 28061 28043 26762 0 -1 64 1335 0 0 0 4 0 0 0 16 0 9 0 2000062087 670658560 10206 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28066] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28066/stat : 28066 (java) S 28061 28043 26762 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2000062087 670658560 10206 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28067] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28067/stat : 28067 (java) S 28061 28043 26762 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2000062087 670658560 10206 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28068] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28068/stat : 28068 (java) S 28061 28043 26762 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2000062089 670658560 10206 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28069] ppid=28061 vsize=654940 CPUtime=0.16
/proc/28062/task/28069/stat : 28069 (java) S 28061 28043 26762 0 -1 64 365 0 0 0 16 0 0 0 15 0 9 0 2000062089 670658560 10206 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28070] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28070/stat : 28070 (java) S 28061 28043 26762 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2000062089 670658560 10206 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28062/tid=28071] ppid=28061 vsize=654940 CPUtime=0
/proc/28062/task/28071/stat : 28071 (java) S 28061 28043 26762 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2000062089 670658560 10206 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28063] ppid=28061 vsize=7044 CPUtime=0
/proc/28063/stat : 28063 (translate) S 28061 28043 26762 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2000062085 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 213116485714 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/28063/statm: 1761 213 182 1 0 41 0
[pid=28051/tid=28052] ppid=28043 vsize=197432 CPUtime=4.95
/proc/28051/task/28052/stat : 28052 (java) S 28043 28043 26762 0 -1 64 3974 0 1 0 488 7 0 0 25 0 10 0 2000061439 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=28051/tid=28053] ppid=28043 vsize=197432 CPUtime=1.15
/proc/28051/task/28053/stat : 28053 (java) S 28043 28043 26762 0 -1 64 8573 0 0 0 104 11 0 0 16 0 10 0 2000061441 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28054] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28054/stat : 28054 (java) S 28043 28043 26762 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2000061441 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28055] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28055/stat : 28055 (java) S 28043 28043 26762 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2000061441 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28056] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28056/stat : 28056 (java) S 28043 28043 26762 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2000061443 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28057] ppid=28043 vsize=197432 CPUtime=0.21
/proc/28051/task/28057/stat : 28057 (java) S 28043 28043 26762 0 -1 64 645 0 0 0 20 1 0 0 16 0 10 0 2000061443 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28058] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28058/stat : 28058 (java) S 28043 28043 26762 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000061443 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28059] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28059/stat : 28059 (java) S 28043 28043 26762 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2000061443 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28051/tid=28060] ppid=28043 vsize=197432 CPUtime=0
/proc/28051/task/28060/stat : 28060 (java) S 28043 28043 26762 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2000062084 202170368 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.21
Current children cumulated vsize (KiB) 870132
Child status: 0
Real time (s): 9.49885
CPU time (s): 9.32858
CPU user time (s): 9.01263
CPU system time (s): 0.315951
CPU usage (%): 98.2075
Max. virtual memory (cumulated for all children) (KiB): 870132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.01263
system time used= 0.315951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27309
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= 9925
involuntary context switches= 11317
runsolver used 0.023996 second user time and 0.072988 second system time
The end