0.00/0.00 c cpHydra_k_10 version 0.0
8.88/9.08 c CASE TO CLASSIFY:
8.88/9.08 c Case: 0
8.88/9.09 c 19 > 0.000000 | c 35 > 15.384600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.076920 | c 15 > 21.708300 | c 34 > 26.666700 | c 16 > 780.000000 | c 13 > 5.629400 | c 14 > 8.326430 | c 11 > 10.510800 | c 12 > 3.882760 | c 21 > 1.259340 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.021000 | c 1 > 10.510800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.021000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 28.184100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.88/9.09 c choco : 1801.0
8.88/9.09 c mistral : 1801.0
8.88/9.09 c abscon : 1801.0
8.88/9.09 c
8.88/9.09 c
8.98/9.17 c List of same ones: 10
8.98/9.17 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-blend.xml
8.98/9.17 c 19 > 0.000000 | c 35 > 15.384600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.076920 | c 15 > 20.617800 | c 34 > 26.666700 | c 16 > 780.000000 | c 13 > 4.806450 | c 14 > 7.228820 | c 11 > 10.510800 | c 12 > 3.404840 | c 21 > 1.259340 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.021000 | c 1 > 10.510800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.021000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 28.184100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.98/9.17 c choco : 72.65
8.98/9.17 c mistral : 61.66
8.98/9.17 c abscon : 1800.1
8.98/9.17 c
8.98/9.17 c
8.98/9.17 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/jac3.xml
8.98/9.17 c 19 > 15.789500 | c 35 > 51.722500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.320600 | c 15 > 20.282800 | c 34 > 59.250400 | c 16 > 694.000000 | c 13 > 5.174160 | c 14 > 7.055280 | c 11 > 10.757400 | c 12 > 3.794020 | c 21 > 1.414210 | c 20 > 84.210500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.536800 | c 1 > 10.757400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.524700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.486200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.98/9.18 c choco : 9.63
8.98/9.18 c mistral : 3.51
8.98/9.18 c abscon : 4.6213
8.98/9.18 c
8.98/9.18 c
8.98/9.18 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-protfold.xml
8.98/9.18 c 19 > 0.000000 | c 35 > 65.826000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.607700 | c 15 > 20.460600 | c 34 > 74.695200 | c 16 > 882.000000 | c 13 > 2.621820 | c 14 > 9.475730 | c 11 > 10.841600 | c 12 > 3.874880 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.131800 | c 1 > 10.841600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.131800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.763000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.98/9.19 c choco : 17.09
8.98/9.19 c mistral : 1800.04
8.98/9.19 c abscon : 1800.1
8.98/9.19 c
8.98/9.19 c
8.98/9.19 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-cracpb1.xml
8.98/9.19 c 19 > 1.395350 | c 35 > 90.186000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.209300 | c 15 > 19.905000 | c 34 > 134.605000 | c 16 > 518.000000 | c 13 > 1.408240 | c 14 > 8.321930 | c 11 > 12.922000 | c 12 > 0.764474 | c 21 > 1.414210 | c 20 > 98.604700 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.186700 | c 1 > 9.159870 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.186000 | c 6 > 1.000000 | c 32 > -1.000000 | c 5 > 21.497500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.08/9.20 c choco : 5.58
9.08/9.20 c mistral : 2.07
9.08/9.20 c abscon : 24.1083
9.08/9.20 c
9.08/9.20 c
9.08/9.20 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-lp4l.xml
9.08/9.20 c 19 > 0.591716 | c 35 > 26.982200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.615380 | c 15 > 20.766200 | c 34 > 40.473400 | c 16 > 1086.000000 | c 13 > 2.780560 | c 14 > 9.548820 | c 11 > 10.084800 | c 12 > 3.155980 | c 21 > 1.414210 | c 20 > 99.408300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.744600 | c 1 > 10.084800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.744500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.507400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.08/9.21 c choco : 60.08
9.08/9.21 c mistral : 1800.03
9.08/9.21 c abscon : 1800.09
9.08/9.21 c
9.08/9.21 c
9.08/9.21 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p2756.xml
9.08/9.21 c 19 > 47.696500 | c 35 > 88.807600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 58.617900 | c 15 > 19.332400 | c 34 > 177.615000 | c 16 > 535.000000 | c 13 > 0.206131 | c 14 > 11.278400 | c 11 > 11.416800 | c 12 > 1.604700 | c 21 > 1.414210 | c 20 > 52.303500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.872100 | c 1 > 11.416800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.837800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.224000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.08/9.22 c choco : 8.43
9.08/9.22 c mistral : 1.57
9.08/9.22 c abscon : 42.6915
9.08/9.22 c
9.08/9.22 c
9.08/9.22 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air01.xml
9.08/9.22 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.719800 | c 34 > 0.000000 | c 16 > 438.000000 | c 13 > 2.561350 | c 14 > 9.411510 | c 11 > 9.590590 | c 12 > 3.493060 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.621000 | c 1 > 9.590590 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.621000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.274900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.08/9.23 c choco : 8.6
9.08/9.23 c mistral : 2.27
9.08/9.23 c abscon : 5.8991
9.08/9.23 c
9.08/9.23 c
9.08/9.23 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air01.xml
9.08/9.23 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.676700 | c 34 > 0.000000 | c 16 > 438.000000 | c 13 > 2.561350 | c 14 > 9.411510 | c 11 > 9.590590 | c 12 > 3.493060 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.621000 | c 1 > 9.590590 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.621000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.274900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.08/9.23 c choco : 8.61
9.08/9.23 c mistral : 2.26
9.08/9.23 c abscon : 5.2622
9.08/9.23 c
9.08/9.23 c
9.08/9.23 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air05.xml
9.08/9.23 c 19 > 0.704225 | c 35 > 12.136200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.070420 | c 15 > 19.949500 | c 34 > 24.272300 | c 16 > 404.000000 | c 13 > 1.924370 | c 14 > 8.271460 | c 11 > 12.812800 | c 12 > 3.856800 | c 21 > 1.414210 | c 20 > 99.295800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 17.663500 | c 1 > 12.812800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.663400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.213000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.08/9.24 c choco : 81.31
9.08/9.24 c mistral : 24.24
9.08/9.24 c abscon : 29.0936
9.08/9.24 c
9.08/9.24 c
9.08/9.24 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air04.xml
9.08/9.24 c 19 > 0.486027 | c 35 > 8.554070 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.499390 | c 15 > 19.789900 | c 34 > 17.108100 | c 16 > 368.000000 | c 13 > 2.173930 | c 14 > 7.467610 | c 11 > 13.120200 | c 12 > 4.034680 | c 21 > 1.414210 | c 20 > 99.514000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 18.146600 | c 1 > 13.120200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 18.146600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.201400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.08/9.25 c choco : 83.64
9.08/9.25 c mistral : 28.58
9.08/9.25 c abscon : 31.3522
9.08/9.25 c
9.08/9.25 c
9.26/9.43 c Length: 10
9.26/9.43 c 1.8164779632574701 104.53850558017844 126.00982429729875 294.2188849658738 306.6507684379566 309.66995801922434 343.5077562046168 343.5078829358075 376.1328815179032 412.27607913580573
9.26/9.43 c
9.26/9.43 c 1.0 0.7998329989730356 0.7677122198367557 0.5839831949918897 0.5738335053124842 0.571421587465104 0.5457144469370127 0.5457143549886657 0.5230277158069243 0.5
9.26/9.44 c
9.26/9.44 c solver 0
9.26/9.44 c before 0.0 seconds: {} 0
9.26/9.44 c before 18.0 seconds: {1, 6, 7} 1891
9.26/9.44 c before 36.0 seconds: {1, 3, 6, 7, 8, 9} 3498
9.26/9.44 c before 54.0 seconds: {1, 3, 5, 6, 7, 8, 9} 4069
9.26/9.44 c
9.26/9.44 c solver 1
9.26/9.44 c before 0.0 seconds: {} 0
9.26/9.44 c before 18.0 seconds: {1, 3, 5, 6, 7} 3046
9.26/9.44 c before 36.0 seconds: {1, 3, 5, 6, 7, 8, 9} 4069
9.26/9.44 c before 72.0 seconds: {0, 1, 3, 5, 6, 7, 8, 9} 5069
9.26/9.44 c
9.26/9.44 c solver 2
9.26/9.44 c before 0.0 seconds: {} 0
9.26/9.44 c before 18.0 seconds: {1, 2, 3, 5, 6, 7} 3814
9.26/9.44 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 7} 4388
9.26/9.44 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6411
9.26/9.44 c
9.26/9.44 cTotal time: 12
9.26/9.44 c 216.0 seconds unused
9.26/9.44 c 0 c 0 c 0
9.26/9.44 c 1 c 0 c 0
9.26/9.44 c 3 c 2 c 0
9.26/9.44 c is solver0 dominated by:
9.26/9.44 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
9.26/9.44 c is dominated? true
9.26/9.44 c
9.26/9.44 c is solver1 dominated by:
9.26/9.44 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
9.26/9.44 c solver 2 (1 solves instances that 2 can't: false) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
9.26/9.44 c is dominated? true
9.26/9.44 c
9.26/9.44 c is solver2 dominated by:
9.26/9.44 c solver 0 (2 solves instances that 0 can't: true) (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)
9.26/9.44 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: true) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true)
9.26/9.44 c is dominated? false
9.26/9.44 c
9.26/9.44 c Number of non-dominated solvers: 1
9.26/9.44 c remove dominated solvers
9.26/9.44 c solver 2 is not dominated by another solver
9.26/9.44 c solver 1 is dominated by another solver
9.26/9.44 c solver 0 is dominated by another solver
9.26/9.44 c
9.26/9.44 c solver 0: 0.0
9.26/9.44 c
9.26/9.44 c solver 1: 0.0
9.26/9.44 c
9.26/9.44 c solver 2: 90.0
9.26/9.44 c
9.26/9.44 c+ 5/5 of 95
9.26/9.44 c do not run abscon
9.26/9.44 c do not run mistral
9.26/9.44 c run choco for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6411
9.26/9.45 c Starting solver: HOME/cpHydra_k_10/solver/choco
9.26/9.45 c On Instance: HOME/instance-1063299-1215136434.xml
9.26/9.45 c Running for: 1800 seconds
30.53/31.12 s UNSATISFIABLE
30.53/31.12 d ASSIGNMENTS 0
30.53/31.12 c UNSAT 21560 TIME 0 NDS 3605 PARSTIME 6061 BUILDPB 11894 RES true RESTART 1 HEURISTIC
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063299-1215136434/watcher-1063299-1215136434 -o /tmp/evaluation-result-1063299-1215136434/solver-1063299-1215136434 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1063299-1215136434.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.67 1.83 1.93 4/82 30167
/proc/meminfo: memFree=1641256/2055920 swapFree=4179560/4192956
[pid=30167] ppid=30165 vsize=5344 CPUtime=0
/proc/30167/stat : 30167 (hydra) R 30165 30167 28750 0 -1 4194304 150 0 0 0 0 0 0 0 20 0 1 0 1992618453 5472256 121 996147200 4194304 4889804 548682068816 18446744073709551615 4596544 0 0 4096 0 0 0 0 17 1 0 0
/proc/30167/statm: 1336 121 96 169 0 47 0
[startup+0.159534 s]
/proc/loadavg: 1.67 1.83 1.93 4/82 30167
/proc/meminfo: memFree=1641256/2055920 swapFree=4179560/4192956
[pid=30167] ppid=30165 vsize=5360 CPUtime=0
/proc/30167/stat : 30167 (hydra) S 30165 30167 28750 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1992618453 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30167/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.201537 s]
/proc/loadavg: 1.67 1.83 1.93 4/82 30167
/proc/meminfo: memFree=1641256/2055920 swapFree=4179560/4192956
[pid=30167] ppid=30165 vsize=5360 CPUtime=0
/proc/30167/stat : 30167 (hydra) S 30165 30167 28750 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1992618453 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30167/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301548 s]
/proc/loadavg: 1.67 1.83 1.93 4/82 30167
/proc/meminfo: memFree=1641256/2055920 swapFree=4179560/4192956
[pid=30167] ppid=30165 vsize=5360 CPUtime=0
/proc/30167/stat : 30167 (hydra) S 30165 30167 28750 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1992618453 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30167/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701591 s]
/proc/loadavg: 1.67 1.83 1.93 4/82 30167
/proc/meminfo: memFree=1641256/2055920 swapFree=4179560/4192956
[pid=30167] ppid=30165 vsize=5360 CPUtime=0
/proc/30167/stat : 30167 (hydra) S 30165 30167 28750 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1992618453 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30167/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50166 s]
/proc/loadavg: 1.67 1.83 1.93 3/84 30171
/proc/meminfo: memFree=1622872/2055920 swapFree=4179560/4192956
[pid=30167] ppid=30165 vsize=5360 CPUtime=0
/proc/30167/stat : 30167 (hydra) S 30165 30167 28750 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1992618453 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30167/statm: 1340 236 195 169 0 51 0
[pid=30171] ppid=30167 vsize=23352 CPUtime=1.47
/proc/30171/stat : 30171 (xsolve) R 30167 30167 28750 0 -1 4194304 5148 0 0 0 145 2 0 0 25 0 1 0 1992618453 23912448 5107 996147200 134512640 135239763 4294956176 18446744073709551615 3773404 0 0 4096 0 0 0 0 17 0 0 0
/proc/30171/statm: 5838 5107 361 177 0 4741 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 28712
[startup+3.10182 s]
/proc/loadavg: 1.67 1.83 1.93 3/84 30171
/proc/meminfo: memFree=1619032/2055920 swapFree=4179560/4192956
[pid=30167] ppid=30165 vsize=5360 CPUtime=0
/proc/30167/stat : 30167 (hydra) S 30165 30167 28750 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1992618453 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30167/statm: 1340 236 195 169 0 51 0
[pid=30171] ppid=30167 vsize=36252 CPUtime=3.06
/proc/30171/stat : 30171 (xsolve) R 30167 30167 28750 0 -1 4194304 8457 0 0 0 303 3 0 0 25 0 1 0 1992618453 37122048 8331 996147200 134512640 135239763 4294956176 18446744073709551615 135030631 0 0 4096 0 0 0 0 17 0 0 0
/proc/30171/statm: 9063 8331 431 177 0 7966 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 41612
[startup+6.30212 s]
/proc/loadavg: 1.70 1.83 1.93 3/92 30183
/proc/meminfo: memFree=1628184/2055920 swapFree=4179560/4192956
[pid=30167] ppid=30165 vsize=5360 CPUtime=3.79
/proc/30167/stat : 30167 (hydra) S 30165 30167 28750 0 -1 4194304 375 9053 0 0 0 0 374 5 19 0 1 0 1992618453 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30167/statm: 1340 238 196 169 0 51 0
[pid=30175] ppid=30167 vsize=197024 CPUtime=2.43
/proc/30175/stat : 30175 (java) S 30167 30167 28750 0 -1 0 7677 0 1 0 235 8 0 0 21 0 9 0 1992618837 201752576 6395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30175/statm: 49256 6395 2540 9 0 43839 0
[pid=30175/tid=30176] ppid=30167 vsize=197024 CPUtime=1.86
/proc/30175/task/30176/stat : 30176 (java) R 30167 30167 28750 0 -1 64 3042 0 1 0 184 2 0 0 25 0 9 0 1992618838 201752576 6395 996147200 134512640 134550740 4294955968 18446744073709551615 4126457317 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30177] ppid=30167 vsize=197024 CPUtime=0.37
/proc/30175/task/30177/stat : 30177 (java) S 30167 30167 28750 0 -1 64 3281 0 0 0 33 4 0 0 16 0 9 0 1992618839 201752576 6395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30178] ppid=30167 vsize=197024 CPUtime=0
/proc/30175/task/30178/stat : 30178 (java) S 30167 30167 28750 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992618839 201752576 6395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30179] ppid=30167 vsize=197024 CPUtime=0
/proc/30175/task/30179/stat : 30179 (java) S 30167 30167 28750 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992618839 201752576 6395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30180] ppid=30167 vsize=197024 CPUtime=0
/proc/30175/task/30180/stat : 30180 (java) S 30167 30167 28750 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1992618841 201752576 6395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30181] ppid=30167 vsize=197024 CPUtime=0.16
/proc/30175/task/30181/stat : 30181 (java) S 30167 30167 28750 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 1992618841 201752576 6395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30182] ppid=30167 vsize=197024 CPUtime=0
/proc/30175/task/30182/stat : 30182 (java) S 30167 30167 28750 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1992618841 201752576 6395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30183] ppid=30167 vsize=197024 CPUtime=0
/proc/30175/task/30183/stat : 30183 (java) S 30167 30167 28750 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992618841 201752576 6395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 202384
[startup+12.7027 s]
/proc/loadavg: 1.80 1.85 1.93 3/103 30194
/proc/meminfo: memFree=1560896/2055920 swapFree=4179560/4192956
[pid=30167] ppid=30165 vsize=5360 CPUtime=3.79
/proc/30167/stat : 30167 (hydra) S 30165 30167 28750 0 -1 4194304 375 9053 0 0 0 0 374 5 19 0 1 0 1992618453 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30167/statm: 1340 238 196 169 0 51 0
[pid=30175] ppid=30167 vsize=197348 CPUtime=5.53
/proc/30175/stat : 30175 (java) S 30167 30167 28750 0 -1 0 13857 0 1 0 535 18 0 0 21 0 10 0 1992618837 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30175/statm: 49337 9391 2543 9 0 43920 0
[pid=30185] ppid=30175 vsize=5356 CPUtime=0
/proc/30185/stat : 30185 (choco) S 30175 30167 28750 0 -1 4194304 294 0 0 0 0 0 0 0 25 0 1 0 1992619398 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/30185/statm: 1339 238 197 169 0 50 0
[pid=30186] ppid=30185 vsize=655348 CPUtime=3.17
/proc/30186/stat : 30186 (java) S 30185 30167 28750 0 -1 0 15210 0 1 0 309 8 0 0 25 0 9 0 1992619399 671076352 14814 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30186/statm: 163837 14814 1859 9 0 158366 0
[pid=30186/tid=30187] ppid=30185 vsize=655348 CPUtime=2.93
/proc/30186/task/30187/stat : 30187 (java) R 30185 30167 28750 0 -1 64 11719 0 1 0 287 6 0 0 25 0 9 0 1992619399 671076352 14814 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30188] ppid=30185 vsize=655348 CPUtime=0.08
/proc/30186/task/30188/stat : 30188 (java) R 30185 30167 28750 0 -1 64 2406 0 0 0 8 0 0 0 16 0 9 0 1992619401 671076352 14814 996147200 134512640 134550740 4294955936 18446744073709551615 102516792 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30189] ppid=30185 vsize=655348 CPUtime=0
/proc/30186/task/30189/stat : 30189 (java) S 30185 30167 28750 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992619401 671076352 14814 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30190] ppid=30185 vsize=655348 CPUtime=0
/proc/30186/task/30190/stat : 30190 (java) S 30185 30167 28750 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1992619401 671076352 14814 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30191] ppid=30185 vsize=655348 CPUtime=0
/proc/30186/task/30191/stat : 30191 (java) S 30185 30167 28750 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1992619403 671076352 14814 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30192] ppid=30185 vsize=655348 CPUtime=0.13
/proc/30186/task/30192/stat : 30192 (java) S 30185 30167 28750 0 -1 64 531 0 0 0 13 0 0 0 17 0 9 0 1992619403 671076352 14814 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30193] ppid=30185 vsize=655348 CPUtime=0
/proc/30186/task/30193/stat : 30193 (java) S 30185 30167 28750 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1992619403 671076352 14814 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30194] ppid=30185 vsize=655348 CPUtime=0
/proc/30186/task/30194/stat : 30194 (java) S 30185 30167 28750 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992619403 671076352 14814 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30176] ppid=30167 vsize=197348 CPUtime=4.3
/proc/30175/task/30176/stat : 30176 (java) S 30167 30167 28750 0 -1 64 3850 0 1 0 424 6 0 0 25 0 10 0 1992618838 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=30175/tid=30177] ppid=30167 vsize=197348 CPUtime=1.01
/proc/30175/task/30177/stat : 30177 (java) S 30167 30167 28750 0 -1 64 8560 0 0 0 91 10 0 0 16 0 10 0 1992618839 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30178] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30178/stat : 30178 (java) S 30167 30167 28750 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992618839 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30179] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30179/stat : 30179 (java) S 30167 30167 28750 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1992618839 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30180] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30180/stat : 30180 (java) S 30167 30167 28750 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30181] ppid=30167 vsize=197348 CPUtime=0.18
/proc/30175/task/30181/stat : 30181 (java) S 30167 30167 28750 0 -1 64 648 0 0 0 18 0 0 0 16 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30182] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30182/stat : 30182 (java) S 30167 30167 28750 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30183] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30183/stat : 30183 (java) S 30167 30167 28750 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30184] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30184/stat : 30184 (java) S 30167 30167 28750 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1992619398 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 863412
[startup+25.5039 s]
/proc/loadavg: 1.84 1.86 1.93 3/103 30194
/proc/meminfo: memFree=1549504/2055920 swapFree=4179560/4192956
[pid=30167] ppid=30165 vsize=5360 CPUtime=3.79
/proc/30167/stat : 30167 (hydra) S 30165 30167 28750 0 -1 4194304 375 9053 0 0 0 0 374 5 19 0 1 0 1992618453 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30167/statm: 1340 238 196 169 0 51 0
[pid=30175] ppid=30167 vsize=197348 CPUtime=5.53
/proc/30175/stat : 30175 (java) S 30167 30167 28750 0 -1 0 13862 0 1 0 535 18 0 0 21 0 10 0 1992618837 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30175/statm: 49337 9391 2543 9 0 43920 0
[pid=30185] ppid=30175 vsize=5356 CPUtime=0
/proc/30185/stat : 30185 (choco) S 30175 30167 28750 0 -1 4194304 294 0 0 0 0 0 0 0 25 0 1 0 1992619398 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/30185/statm: 1339 238 197 169 0 50 0
[pid=30186] ppid=30185 vsize=655480 CPUtime=15.73
/proc/30186/stat : 30186 (java) S 30185 30167 28750 0 -1 0 18031 0 1 0 1563 10 0 0 25 0 9 0 1992619399 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30186/statm: 163870 17578 1930 9 0 158399 0
[pid=30186/tid=30187] ppid=30185 vsize=655480 CPUtime=15.12
/proc/30186/task/30187/stat : 30187 (java) R 30185 30167 28750 0 -1 64 12173 0 1 0 1506 6 0 0 25 0 9 0 1992619399 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4127120945 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30188] ppid=30185 vsize=655480 CPUtime=0.27
/proc/30186/task/30188/stat : 30188 (java) S 30185 30167 28750 0 -1 64 4675 0 0 0 26 1 0 0 16 0 9 0 1992619401 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30189] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30189/stat : 30189 (java) S 30185 30167 28750 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992619401 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30190] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30190/stat : 30190 (java) S 30185 30167 28750 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992619401 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30191] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30191/stat : 30191 (java) S 30185 30167 28750 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1992619403 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30192] ppid=30185 vsize=655480 CPUtime=0.3
/proc/30186/task/30192/stat : 30192 (java) S 30185 30167 28750 0 -1 64 629 0 0 0 30 0 0 0 16 0 9 0 1992619403 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30193] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30193/stat : 30193 (java) S 30185 30167 28750 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1992619403 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30194] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30194/stat : 30194 (java) S 30185 30167 28750 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992619403 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30176] ppid=30167 vsize=197348 CPUtime=4.3
/proc/30175/task/30176/stat : 30176 (java) S 30167 30167 28750 0 -1 64 3850 0 1 0 424 6 0 0 25 0 10 0 1992618838 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=30175/tid=30177] ppid=30167 vsize=197348 CPUtime=1.01
/proc/30175/task/30177/stat : 30177 (java) S 30167 30167 28750 0 -1 64 8560 0 0 0 91 10 0 0 16 0 10 0 1992618839 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30178] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30178/stat : 30178 (java) S 30167 30167 28750 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992618839 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30179] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30179/stat : 30179 (java) S 30167 30167 28750 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1992618839 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30180] ppid=30167 vsize=197348 CPUtime=0
################
# More data... #
################
[pid=30175/tid=30179] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30179/stat : 30179 (java) S 30167 30167 28750 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1992618839 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30180] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30180/stat : 30180 (java) S 30167 30167 28750 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30181] ppid=30167 vsize=197348 CPUtime=0.18
/proc/30175/task/30181/stat : 30181 (java) S 30167 30167 28750 0 -1 64 648 0 0 0 18 0 0 0 16 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30182] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30182/stat : 30182 (java) S 30167 30167 28750 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30183] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30183/stat : 30183 (java) S 30167 30167 28750 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30184] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30184/stat : 30184 (java) S 30167 30167 28750 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1992619398 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 29.86
Current children cumulated vsize (KiB) 863544
[startup+30.8024 s]
/proc/loadavg: 1.86 1.86 1.93 3/103 30194
/proc/meminfo: memFree=1549440/2055920 swapFree=4179560/4192956
[pid=30167] ppid=30165 vsize=5360 CPUtime=3.79
/proc/30167/stat : 30167 (hydra) S 30165 30167 28750 0 -1 4194304 375 9053 0 0 0 0 374 5 19 0 1 0 1992618453 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30167/statm: 1340 238 196 169 0 51 0
[pid=30175] ppid=30167 vsize=197348 CPUtime=5.53
/proc/30175/stat : 30175 (java) S 30167 30167 28750 0 -1 0 13862 0 1 0 535 18 0 0 21 0 10 0 1992618837 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30175/statm: 49337 9391 2543 9 0 43920 0
[pid=30185] ppid=30175 vsize=5356 CPUtime=0
/proc/30185/stat : 30185 (choco) S 30175 30167 28750 0 -1 4194304 294 0 0 0 0 0 0 0 25 0 1 0 1992619398 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/30185/statm: 1339 238 197 169 0 50 0
[pid=30186] ppid=30185 vsize=655480 CPUtime=20.91
/proc/30186/stat : 30186 (java) S 30185 30167 28750 0 -1 0 18032 0 1 0 2081 10 0 0 25 0 9 0 1992619399 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30186/statm: 163870 17578 1930 9 0 158399 0
[pid=30186/tid=30187] ppid=30185 vsize=655480 CPUtime=20.3
/proc/30186/task/30187/stat : 30187 (java) R 30185 30167 28750 0 -1 64 12174 0 1 0 2024 6 0 0 25 0 9 0 1992619399 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4127126105 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30188] ppid=30185 vsize=655480 CPUtime=0.27
/proc/30186/task/30188/stat : 30188 (java) S 30185 30167 28750 0 -1 64 4675 0 0 0 26 1 0 0 16 0 9 0 1992619401 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30189] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30189/stat : 30189 (java) S 30185 30167 28750 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992619401 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30190] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30190/stat : 30190 (java) S 30185 30167 28750 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992619401 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30191] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30191/stat : 30191 (java) S 30185 30167 28750 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1992619403 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30192] ppid=30185 vsize=655480 CPUtime=0.3
/proc/30186/task/30192/stat : 30192 (java) S 30185 30167 28750 0 -1 64 629 0 0 0 30 0 0 0 16 0 9 0 1992619403 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30193] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30193/stat : 30193 (java) S 30185 30167 28750 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1992619403 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30194] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30194/stat : 30194 (java) S 30185 30167 28750 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992619403 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30176] ppid=30167 vsize=197348 CPUtime=4.3
/proc/30175/task/30176/stat : 30176 (java) S 30167 30167 28750 0 -1 64 3850 0 1 0 424 6 0 0 25 0 10 0 1992618838 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=30175/tid=30177] ppid=30167 vsize=197348 CPUtime=1.01
/proc/30175/task/30177/stat : 30177 (java) S 30167 30167 28750 0 -1 64 8560 0 0 0 91 10 0 0 16 0 10 0 1992618839 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30178] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30178/stat : 30178 (java) S 30167 30167 28750 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992618839 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30179] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30179/stat : 30179 (java) S 30167 30167 28750 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1992618839 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30180] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30180/stat : 30180 (java) S 30167 30167 28750 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30181] ppid=30167 vsize=197348 CPUtime=0.18
/proc/30175/task/30181/stat : 30181 (java) S 30167 30167 28750 0 -1 64 648 0 0 0 18 0 0 0 16 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30182] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30182/stat : 30182 (java) S 30167 30167 28750 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30183] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30183/stat : 30183 (java) S 30167 30167 28750 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30184] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30184/stat : 30184 (java) S 30167 30167 28750 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1992619398 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 30.23
Current children cumulated vsize (KiB) 863544
[startup+31.0025 s]
/proc/loadavg: 1.86 1.86 1.93 3/103 30194
/proc/meminfo: memFree=1549440/2055920 swapFree=4179560/4192956
[pid=30167] ppid=30165 vsize=5360 CPUtime=3.79
/proc/30167/stat : 30167 (hydra) S 30165 30167 28750 0 -1 4194304 375 9053 0 0 0 0 374 5 19 0 1 0 1992618453 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30167/statm: 1340 238 196 169 0 51 0
[pid=30175] ppid=30167 vsize=197348 CPUtime=5.53
/proc/30175/stat : 30175 (java) S 30167 30167 28750 0 -1 0 13862 0 1 0 535 18 0 0 21 0 10 0 1992618837 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30175/statm: 49337 9391 2543 9 0 43920 0
[pid=30185] ppid=30175 vsize=5356 CPUtime=0
/proc/30185/stat : 30185 (choco) S 30175 30167 28750 0 -1 4194304 294 0 0 0 0 0 0 0 25 0 1 0 1992619398 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/30185/statm: 1339 238 197 169 0 50 0
[pid=30186] ppid=30185 vsize=655480 CPUtime=21.11
/proc/30186/stat : 30186 (java) S 30185 30167 28750 0 -1 0 18032 0 1 0 2101 10 0 0 25 0 9 0 1992619399 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30186/statm: 163870 17578 1930 9 0 158399 0
[pid=30186/tid=30187] ppid=30185 vsize=655480 CPUtime=20.5
/proc/30186/task/30187/stat : 30187 (java) R 30185 30167 28750 0 -1 64 12174 0 1 0 2044 6 0 0 25 0 9 0 1992619399 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4127126163 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30188] ppid=30185 vsize=655480 CPUtime=0.27
/proc/30186/task/30188/stat : 30188 (java) S 30185 30167 28750 0 -1 64 4675 0 0 0 26 1 0 0 16 0 9 0 1992619401 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30189] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30189/stat : 30189 (java) S 30185 30167 28750 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992619401 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30190] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30190/stat : 30190 (java) S 30185 30167 28750 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992619401 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30191] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30191/stat : 30191 (java) S 30185 30167 28750 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1992619403 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30192] ppid=30185 vsize=655480 CPUtime=0.3
/proc/30186/task/30192/stat : 30192 (java) S 30185 30167 28750 0 -1 64 629 0 0 0 30 0 0 0 15 0 9 0 1992619403 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30193] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30193/stat : 30193 (java) S 30185 30167 28750 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1992619403 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30194] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30194/stat : 30194 (java) S 30185 30167 28750 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992619403 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30176] ppid=30167 vsize=197348 CPUtime=4.3
/proc/30175/task/30176/stat : 30176 (java) S 30167 30167 28750 0 -1 64 3850 0 1 0 424 6 0 0 25 0 10 0 1992618838 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=30175/tid=30177] ppid=30167 vsize=197348 CPUtime=1.01
/proc/30175/task/30177/stat : 30177 (java) S 30167 30167 28750 0 -1 64 8560 0 0 0 91 10 0 0 16 0 10 0 1992618839 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30178] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30178/stat : 30178 (java) S 30167 30167 28750 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992618839 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30179] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30179/stat : 30179 (java) S 30167 30167 28750 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1992618839 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30180] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30180/stat : 30180 (java) S 30167 30167 28750 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30181] ppid=30167 vsize=197348 CPUtime=0.18
/proc/30175/task/30181/stat : 30181 (java) S 30167 30167 28750 0 -1 64 648 0 0 0 18 0 0 0 16 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30182] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30182/stat : 30182 (java) S 30167 30167 28750 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30183] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30183/stat : 30183 (java) S 30167 30167 28750 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30184] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30184/stat : 30184 (java) S 30167 30167 28750 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1992619398 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 30.43
Current children cumulated vsize (KiB) 863544
[startup+31.1025 s]
/proc/loadavg: 1.86 1.86 1.93 3/103 30194
/proc/meminfo: memFree=1549440/2055920 swapFree=4179560/4192956
[pid=30167] ppid=30165 vsize=5360 CPUtime=3.79
/proc/30167/stat : 30167 (hydra) S 30165 30167 28750 0 -1 4194304 375 9053 0 0 0 0 374 5 19 0 1 0 1992618453 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30167/statm: 1340 238 196 169 0 51 0
[pid=30175] ppid=30167 vsize=197348 CPUtime=5.53
/proc/30175/stat : 30175 (java) S 30167 30167 28750 0 -1 0 13862 0 1 0 535 18 0 0 21 0 10 0 1992618837 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30175/statm: 49337 9391 2543 9 0 43920 0
[pid=30185] ppid=30175 vsize=5356 CPUtime=0
/proc/30185/stat : 30185 (choco) S 30175 30167 28750 0 -1 4194304 294 0 0 0 0 0 0 0 25 0 1 0 1992619398 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/30185/statm: 1339 238 197 169 0 50 0
[pid=30186] ppid=30185 vsize=655480 CPUtime=21.21
/proc/30186/stat : 30186 (java) S 30185 30167 28750 0 -1 0 18032 0 1 0 2111 10 0 0 25 0 9 0 1992619399 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30186/statm: 163870 17578 1930 9 0 158399 0
[pid=30186/tid=30187] ppid=30185 vsize=655480 CPUtime=20.59
/proc/30186/task/30187/stat : 30187 (java) R 30185 30167 28750 0 -1 64 12174 0 1 0 2053 6 0 0 25 0 9 0 1992619399 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4127120995 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30188] ppid=30185 vsize=655480 CPUtime=0.27
/proc/30186/task/30188/stat : 30188 (java) S 30185 30167 28750 0 -1 64 4675 0 0 0 26 1 0 0 16 0 9 0 1992619401 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30189] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30189/stat : 30189 (java) S 30185 30167 28750 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992619401 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30190] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30190/stat : 30190 (java) S 30185 30167 28750 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992619401 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30191] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30191/stat : 30191 (java) S 30185 30167 28750 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1992619403 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30192] ppid=30185 vsize=655480 CPUtime=0.3
/proc/30186/task/30192/stat : 30192 (java) S 30185 30167 28750 0 -1 64 629 0 0 0 30 0 0 0 15 0 9 0 1992619403 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30193] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30193/stat : 30193 (java) S 30185 30167 28750 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1992619403 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30186/tid=30194] ppid=30185 vsize=655480 CPUtime=0
/proc/30186/task/30194/stat : 30194 (java) S 30185 30167 28750 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992619403 671211520 17578 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30176] ppid=30167 vsize=197348 CPUtime=4.3
/proc/30175/task/30176/stat : 30176 (java) S 30167 30167 28750 0 -1 64 3850 0 1 0 424 6 0 0 25 0 10 0 1992618838 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=30175/tid=30177] ppid=30167 vsize=197348 CPUtime=1.01
/proc/30175/task/30177/stat : 30177 (java) S 30167 30167 28750 0 -1 64 8560 0 0 0 91 10 0 0 16 0 10 0 1992618839 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30178] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30178/stat : 30178 (java) S 30167 30167 28750 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992618839 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30179] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30179/stat : 30179 (java) S 30167 30167 28750 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1992618839 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30180] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30180/stat : 30180 (java) S 30167 30167 28750 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30181] ppid=30167 vsize=197348 CPUtime=0.18
/proc/30175/task/30181/stat : 30181 (java) S 30167 30167 28750 0 -1 64 648 0 0 0 18 0 0 0 16 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30182] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30182/stat : 30182 (java) S 30167 30167 28750 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30183] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30183/stat : 30183 (java) S 30167 30167 28750 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 1992618841 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30175/tid=30184] ppid=30167 vsize=197348 CPUtime=0
/proc/30175/task/30184/stat : 30184 (java) S 30167 30167 28750 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1992619398 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 30.53
Current children cumulated vsize (KiB) 863544
Child status: 0
Real time (s): 31.1462
CPU time (s): 30.5823
CPU user time (s): 30.2224
CPU system time (s): 0.359945
CPU usage (%): 98.1896
Max. virtual memory (cumulated for all children) (KiB): 863544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.2224
system time used= 0.359945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41753
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= 11978
involuntary context switches= 14571
runsolver used 0.092985 second user time and 0.275958 second system time
The end