0.00/0.00 c cpHydra_k_10 version 0.0
33.14/33.36 c CASE TO CLASSIFY:
33.14/33.36 c Case: 0
33.14/33.36 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.336700 | c 34 > -1.000000 | c 16 > 700.000000 | c 13 > 6.450810 | c 14 > 8.447080 | c 11 > 10.643900 | c 12 > 9.380000 | c 21 > 1.414210 | c 20 > 0.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 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 18.327300 | c 1 > 10.643900 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > 18.327000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 20.219900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
33.14/33.37 c choco : 1801.0
33.14/33.37 c mistral : 1801.0
33.14/33.37 c abscon : 1801.0
33.14/33.37 c
33.14/33.37 c
33.24/33.44 c List of same ones: 10
33.24/33.44 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/jac3.xml
33.24/33.44 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
33.24/33.45 c choco : 9.63
33.24/33.45 c mistral : 3.51
33.24/33.45 c abscon : 4.6213
33.24/33.45 c
33.24/33.45 c
33.24/33.45 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-blend.xml
33.24/33.45 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
33.24/33.46 c choco : 72.65
33.24/33.46 c mistral : 61.66
33.24/33.46 c abscon : 1800.1
33.24/33.46 c
33.24/33.46 c
33.24/33.46 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-protfold.xml
33.24/33.46 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
33.24/33.47 c choco : 17.09
33.24/33.47 c mistral : 1800.04
33.24/33.47 c abscon : 1800.1
33.24/33.47 c
33.24/33.47 c
33.24/33.47 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-cracpb1.xml
33.24/33.47 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
33.24/33.48 c choco : 5.58
33.24/33.48 c mistral : 2.07
33.24/33.48 c abscon : 24.1083
33.24/33.48 c
33.24/33.48 c
33.24/33.48 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p2756.xml
33.24/33.48 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
33.24/33.49 c choco : 8.43
33.24/33.49 c mistral : 1.57
33.24/33.49 c abscon : 42.6915
33.24/33.49 c
33.24/33.49 c
33.24/33.49 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air01.xml
33.24/33.49 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
33.32/33.50 c choco : 8.61
33.32/33.50 c mistral : 2.26
33.32/33.50 c abscon : 5.2622
33.32/33.50 c
33.32/33.50 c
33.32/33.50 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air01.xml
33.32/33.50 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
33.32/33.51 c choco : 8.6
33.32/33.51 c mistral : 2.27
33.32/33.51 c abscon : 5.8991
33.32/33.51 c
33.32/33.51 c
33.32/33.51 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air05.xml
33.32/33.51 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
33.32/33.51 c choco : 81.31
33.32/33.51 c mistral : 24.24
33.32/33.51 c abscon : 29.0936
33.32/33.51 c
33.32/33.51 c
33.32/33.51 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air04.xml
33.32/33.51 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
33.32/33.52 c choco : 83.64
33.32/33.52 c mistral : 28.58
33.32/33.52 c abscon : 31.3522
33.32/33.52 c
33.32/33.52 c
33.32/33.52 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-lp4l.xml
33.32/33.52 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
33.32/33.53 c choco : 60.08
33.32/33.53 c mistral : 1800.03
33.32/33.53 c abscon : 1800.09
33.32/33.53 c
33.32/33.53 c
33.51/33.74 c Length: 10
33.51/33.75 c 186.69826133960888 194.40953183287104 272.6765433851562 301.19418638952425 310.060225205226 314.56056226342537 314.5606118017517 344.38158166220944 375.28661264456196 426.2783772400021
33.51/33.75 c
33.51/33.75 c 1.0 0.9688170679710338 0.735905193697924 0.6766346439521339 0.6601056456579825 0.6520208471604196 0.6520207592554428 0.6030761808290632 0.5595463801062502 0.5
33.51/33.75 c
33.51/33.75 c solver 0
33.51/33.75 c before 0.0 seconds: {} 0
33.51/33.75 c before 18.0 seconds: {0, 5, 6} 2304
33.51/33.75 c before 36.0 seconds: {0, 3, 5, 6, 7, 8} 4143
33.51/33.75 c before 54.0 seconds: {0, 3, 4, 5, 6, 7, 8} 4803
33.51/33.75 c
33.51/33.75 c solver 1
33.51/33.75 c before 0.0 seconds: {} 0
33.51/33.75 c before 18.0 seconds: {0, 3, 4, 5, 6} 3640
33.51/33.75 c before 36.0 seconds: {0, 3, 4, 5, 6, 7, 8} 4803
33.51/33.75 c before 72.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8} 5772
33.51/33.75 c
33.51/33.75 c solver 2
33.51/33.75 c before 0.0 seconds: {} 0
33.51/33.75 c before 18.0 seconds: {0, 2, 3, 4, 5, 6} 4376
33.51/33.75 c before 72.0 seconds: {0, 2, 3, 4, 5, 6, 9} 4876
33.51/33.75 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7008
33.51/33.75 c
33.51/33.75 cTotal time: 12
33.51/33.75 c 216.0 seconds unused
33.51/33.75 c 0 c 0 c 0
33.51/33.75 c 1 c 0 c 0
33.51/33.75 c 3 c 2 c 0
33.51/33.75 c is solver0 dominated by:
33.51/33.75 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)
33.51/33.75 c is dominated? true
33.51/33.75 c
33.51/33.75 c is solver1 dominated by:
33.51/33.75 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)
33.51/33.75 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)
33.51/33.75 c is dominated? true
33.51/33.75 c
33.51/33.75 c is solver2 dominated by:
33.51/33.75 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)
33.51/33.75 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)
33.51/33.75 c is dominated? false
33.51/33.75 c
33.51/33.75 c Number of non-dominated solvers: 1
33.51/33.75 c remove dominated solvers
33.51/33.75 c solver 2 is not dominated by another solver
33.51/33.75 c solver 1 is dominated by another solver
33.51/33.76 c solver 0 is dominated by another solver
33.51/33.76 c
33.51/33.76 c solver 0: 0.0
33.51/33.76 c
33.51/33.76 c solver 1: 0.0
33.51/33.76 c
33.51/33.76 c solver 2: 90.0
33.51/33.76 c
33.51/33.76 c+ 5/5 of 95
33.51/33.76 c do not run abscon
33.51/33.76 c do not run mistral
33.51/33.76 c run choco for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7008
33.51/33.76 c Starting solver: HOME/cpHydra_k_10/solver/choco
33.51/33.76 c On Instance: HOME/instance-1070052-1215162992.xml
33.51/33.76 c Running for: 1800 seconds
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1070052-1215162992/watcher-1070052-1215162992 -o /tmp/evaluation-result-1070052-1215162992/solver-1070052-1215162992 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1070052-1215162992.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.00 2.00 3/67 17348
/proc/meminfo: memFree=1637640/2055920 swapFree=4180240/4192956
[pid=17348] ppid=17346 vsize=5360 CPUtime=0
/proc/17348/stat : 17348 (hydra) S 17346 17348 16909 0 -1 4194304 306 124 0 0 0 0 0 0 18 0 1 0 1995271471 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17348/statm: 1340 236 195 169 0 51 0
[pid=17350] ppid=17348 vsize=2536 CPUtime=0
/proc/17350/stat : 17350 (rm) D 17348 17348 16909 0 -1 4194304 120 0 0 0 0 0 0 0 18 0 1 0 1995271471 2596864 91 996147200 4194304 4227748 548682069008 18446744073709551615 240577647657 0 0 4096 0 18446744071563608069 0 0 17 0 0 0
/proc/17350/statm: 634 91 73 8 0 42 0
[startup+0.0112729 s]
/proc/loadavg: 2.03 2.00 2.00 3/67 17348
/proc/meminfo: memFree=1637640/2055920 swapFree=4180240/4192956
[pid=17348] ppid=17346 vsize=5360 CPUtime=0
/proc/17348/stat : 17348 (hydra) S 17346 17348 16909 0 -1 4194304 306 124 0 0 0 0 0 0 18 0 1 0 1995271471 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17348/statm: 1340 236 195 169 0 51 0
[pid=17350] ppid=17348 vsize=2536 CPUtime=0
/proc/17350/stat : 17350 (rm) D 17348 17348 16909 0 -1 4194304 120 0 0 0 0 0 0 0 18 0 1 0 1995271471 2596864 91 996147200 4194304 4227748 548682069008 18446744073709551615 240577647657 0 0 4096 0 18446744071563608069 0 0 17 0 0 0
/proc/17350/statm: 634 91 73 8 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7896
[startup+0.101296 s]
/proc/loadavg: 2.03 2.00 2.00 3/67 17348
/proc/meminfo: memFree=1637640/2055920 swapFree=4180240/4192956
[pid=17348] ppid=17346 vsize=5360 CPUtime=0
/proc/17348/stat : 17348 (hydra) S 17346 17348 16909 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 1995271471 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17348/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301327 s]
/proc/loadavg: 2.03 2.00 2.00 3/67 17348
/proc/meminfo: memFree=1637640/2055920 swapFree=4180240/4192956
[pid=17348] ppid=17346 vsize=5360 CPUtime=0
/proc/17348/stat : 17348 (hydra) S 17346 17348 16909 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 1995271471 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17348/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701397 s]
/proc/loadavg: 2.03 2.00 2.00 3/67 17348
/proc/meminfo: memFree=1637640/2055920 swapFree=4180240/4192956
[pid=17348] ppid=17346 vsize=5360 CPUtime=0
/proc/17348/stat : 17348 (hydra) S 17346 17348 16909 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 1995271471 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17348/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50253 s]
/proc/loadavg: 2.10 2.02 2.01 3/71 17356
/proc/meminfo: memFree=1616296/2055920 swapFree=4180240/4192956
[pid=17348] ppid=17346 vsize=5360 CPUtime=0
/proc/17348/stat : 17348 (hydra) S 17346 17348 16909 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 1995271471 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17348/statm: 1340 236 195 169 0 51 0
[pid=17354] ppid=17348 vsize=15752 CPUtime=1.43
/proc/17354/stat : 17354 (xsolve) R 17348 17348 16909 0 -1 4194304 3275 0 0 0 140 3 0 0 25 0 1 0 1995271476 16130048 3168 996147200 134512640 135239763 4294956176 18446744073709551615 8353403 0 0 4096 0 0 0 0 17 0 0 0
/proc/17354/statm: 3938 3168 368 177 0 2841 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 21112
[startup+3.1018 s]
/proc/loadavg: 2.10 2.02 2.01 3/71 17356
/proc/meminfo: memFree=1586408/2055920 swapFree=4180240/4192956
[pid=17348] ppid=17346 vsize=5360 CPUtime=0
/proc/17348/stat : 17348 (hydra) S 17346 17348 16909 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 1995271471 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17348/statm: 1340 236 195 169 0 51 0
[pid=17354] ppid=17348 vsize=27664 CPUtime=3.01
/proc/17354/stat : 17354 (xsolve) R 17348 17348 16909 0 -1 4194304 6368 0 0 0 295 6 0 0 25 0 1 0 1995271476 28327936 6131 996147200 134512640 135239763 4294956176 18446744073709551615 8353403 0 0 4096 0 0 0 0 17 0 0 0
/proc/17354/statm: 6916 6131 368 177 0 5819 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 33024
[startup+6.30133 s]
/proc/loadavg: 2.10 2.02 2.01 3/75 17365
/proc/meminfo: memFree=1498824/2055920 swapFree=4180240/4192956
[pid=17348] ppid=17346 vsize=5360 CPUtime=0
/proc/17348/stat : 17348 (hydra) S 17346 17348 16909 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 1995271471 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17348/statm: 1340 236 195 169 0 51 0
[pid=17354] ppid=17348 vsize=51340 CPUtime=6.19
/proc/17354/stat : 17354 (xsolve) R 17348 17348 16909 0 -1 4194304 12468 0 0 0 607 12 0 0 25 0 1 0 1995271476 52572160 11973 996147200 134512640 135239763 4294956176 18446744073709551615 8353403 0 0 4096 0 0 0 0 17 0 0 0
/proc/17354/statm: 12835 11973 368 177 0 11738 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 56700
[startup+12.7024 s]
/proc/loadavg: 2.16 2.03 2.01 3/75 17365
/proc/meminfo: memFree=1409928/2055920 swapFree=4180240/4192956
[pid=17348] ppid=17346 vsize=5360 CPUtime=0
/proc/17348/stat : 17348 (hydra) S 17346 17348 16909 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 1995271471 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17348/statm: 1340 236 195 169 0 51 0
[pid=17354] ppid=17348 vsize=98332 CPUtime=12.59
/proc/17354/stat : 17354 (xsolve) R 17348 17348 16909 0 -1 4194304 24597 0 0 0 1239 20 0 0 25 0 1 0 1995271476 100691968 23588 996147200 134512640 135239763 4294956176 18446744073709551615 134643443 0 0 4096 0 0 0 0 17 0 0 0
/proc/17354/statm: 24583 23588 368 177 0 23486 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 103692
[startup+25.5016 s]
/proc/loadavg: 2.14 2.03 2.01 3/75 17365
/proc/meminfo: memFree=832072/2055920 swapFree=4180240/4192956
[pid=17348] ppid=17346 vsize=5360 CPUtime=0
/proc/17348/stat : 17348 (hydra) S 17346 17348 16909 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 1995271471 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17348/statm: 1340 236 195 169 0 51 0
[pid=17354] ppid=17348 vsize=590432 CPUtime=25.37
/proc/17354/stat : 17354 (xsolve) R 17348 17348 16909 0 -1 4194304 148774 0 0 0 2465 72 0 0 25 0 1 0 1995271476 604602368 144775 996147200 134512640 135239763 4294956176 18446744073709551615 135097521 0 0 4096 0 0 0 0 17 0 0 0
/proc/17354/statm: 147608 144775 426 177 0 146511 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 595792
[startup+51.1029 s]
/proc/loadavg: 2.29 2.07 2.02 4/114 17412
/proc/meminfo: memFree=706568/2055920 swapFree=4180240/4192956
[pid=17348] ppid=17346 vsize=5360 CPUtime=27.86
/proc/17348/stat : 17348 (hydra) S 17346 17348 16909 0 -1 4194304 375 149373 0 0 0 0 2705 81 19 0 1 0 1995271471 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17348/statm: 1340 238 196 169 0 51 0
[pid=17369] ppid=17348 vsize=197416 CPUtime=5.71
/proc/17369/stat : 17369 (java) S 17348 17348 16909 0 -1 0 13864 0 1 0 551 20 0 0 22 0 10 0 1995274270 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17369/statm: 49354 9389 2543 9 0 43937 0
[pid=17379] ppid=17369 vsize=5356 CPUtime=0
/proc/17379/stat : 17379 (choco) S 17369 17348 16909 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 1995274847 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17379/statm: 1339 238 197 169 0 50 0
[pid=17380] ppid=17379 vsize=691808 CPUtime=16.87
/proc/17380/stat : 17380 (java) S 17379 17348 16909 0 -1 0 196109 0 1 0 1588 99 0 0 19 0 9 0 1995274848 708411392 150748 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17380/statm: 172952 150748 2590 9 0 167481 0
[pid=17380/tid=17381] ppid=17379 vsize=691808 CPUtime=7.46
/proc/17380/task/17381/stat : 17381 (java) S 17379 17348 16909 0 -1 64 11634 0 1 0 732 14 0 0 19 0 9 0 1995274849 708411392 150748 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17382] ppid=17379 vsize=691808 CPUtime=9.19
/proc/17380/task/17382/stat : 17382 (java) R 17379 17348 16909 0 -1 64 183373 0 0 0 836 83 0 0 25 0 9 0 1995274850 708411392 150748 996147200 134512640 134550740 4294955920 18446744073709551615 104180101 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17383] ppid=17379 vsize=691808 CPUtime=0
/proc/17380/task/17383/stat : 17383 (java) S 17379 17348 16909 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1995274851 708411392 150748 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17384] ppid=17379 vsize=691808 CPUtime=0
/proc/17380/task/17384/stat : 17384 (java) S 17379 17348 16909 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1995274851 708411392 150748 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17385] ppid=17379 vsize=691808 CPUtime=0
/proc/17380/task/17385/stat : 17385 (java) S 17379 17348 16909 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1995274853 708411392 150748 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17386] ppid=17379 vsize=691808 CPUtime=0.2
/proc/17380/task/17386/stat : 17386 (java) S 17379 17348 16909 0 -1 64 549 0 0 0 20 0 0 0 16 0 9 0 1995274853 708411392 150748 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17387] ppid=17379 vsize=691808 CPUtime=0
/proc/17380/task/17387/stat : 17387 (java) S 17379 17348 16909 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1995274853 708411392 150748 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17388] ppid=17379 vsize=691808 CPUtime=0
/proc/17380/task/17388/stat : 17388 (java) S 17379 17348 16909 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1995274853 708411392 150748 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17369/tid=17370] ppid=17348 vsize=197416 CPUtime=4.36
/proc/17369/task/17370/stat : 17370 (java) S 17348 17348 16909 0 -1 64 3851 0 1 0 430 6 0 0 16 0 10 0 1995274271 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17369/tid=17371] ppid=17348 vsize=197416 CPUtime=1.12
/proc/17369/task/17371/stat : 17371 (java) S 17348 17348 16909 0 -1 64 8560 0 0 0 101 11 0 0 16 0 10 0 1995274272 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17372] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17348 17348 16909 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1995274272 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17373] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17348 17348 16909 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1995274272 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17374] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17348 17348 16909 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17375] ppid=17348 vsize=197416 CPUtime=0.19
/proc/17369/task/17375/stat : 17375 (java) S 17348 17348 16909 0 -1 64 646 0 0 0 19 0 0 0 16 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17376] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17348 17348 16909 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17377] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17348 17348 16909 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17378] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17378/stat : 17378 (java) S 17348 17348 16909 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1995274847 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 899940
[startup+102.308 s]
/proc/loadavg: 2.21 2.09 2.03 3/114 17412
/proc/meminfo: memFree=614216/2055920 swapFree=4180240/4192956
[pid=17348] ppid=17346 vsize=5360 CPUtime=27.86
/proc/17348/stat : 17348 (hydra) S 17346 17348 16909 0 -1 4194304 375 149373 0 0 0 0 2705 81 19 0 1 0 1995271471 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17348/statm: 1340 238 196 169 0 51 0
[pid=17369] ppid=17348 vsize=197416 CPUtime=5.71
/proc/17369/stat : 17369 (java) S 17348 17348 16909 0 -1 0 13864 0 1 0 551 20 0 0 22 0 10 0 1995274270 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17369/statm: 49354 9389 2543 9 0 43937 0
[pid=17379] ppid=17369 vsize=5356 CPUtime=0
/proc/17379/stat : 17379 (choco) S 17369 17348 16909 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 1995274847 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17379/statm: 1339 238 197 169 0 50 0
[pid=17380] ppid=17379 vsize=679932 CPUtime=66.55
/proc/17380/stat : 17380 (java) S 17379 17348 16909 0 -1 0 402749 0 1 0 6451 204 0 0 19 0 9 0 1995274848 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17380/statm: 169983 152091 2589 9 0 164512 0
[pid=17380/tid=17381] ppid=17379 vsize=679932 CPUtime=13.18
/proc/17380/task/17381/stat : 17381 (java) S 17379 17348 16909 0 -1 64 11923 0 1 0 1304 14 0 0 17 0 9 0 1995274849 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17382] ppid=17379 vsize=679932 CPUtime=53.1
/proc/17380/task/17382/stat : 17382 (java) R 17379 17348 16909 0 -1 64 389698 0 0 0 5123 187 0 0 25 0 9 0 1995274850 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 103735747 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17383] ppid=17379 vsize=679932 CPUtime=0
/proc/17380/task/17383/stat : 17383 (java) S 17379 17348 16909 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1995274851 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17384] ppid=17379 vsize=679932 CPUtime=0
/proc/17380/task/17384/stat : 17384 (java) S 17379 17348 16909 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1995274851 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17385] ppid=17379 vsize=679932 CPUtime=0
/proc/17380/task/17385/stat : 17385 (java) S 17379 17348 16909 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1995274853 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17386] ppid=17379 vsize=679932 CPUtime=0.23
################
# More data... #
################
[pid=17380/tid=17384] ppid=17379 vsize=679932 CPUtime=0
/proc/17380/task/17384/stat : 17384 (java) S 17379 17348 16909 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1995274851 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17385] ppid=17379 vsize=679932 CPUtime=0
/proc/17380/task/17385/stat : 17385 (java) S 17379 17348 16909 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1995274853 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17386] ppid=17379 vsize=679932 CPUtime=0.23
/proc/17380/task/17386/stat : 17386 (java) S 17379 17348 16909 0 -1 64 575 0 0 0 23 0 0 0 16 0 9 0 1995274853 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17387] ppid=17379 vsize=679932 CPUtime=0
/proc/17380/task/17387/stat : 17387 (java) S 17379 17348 16909 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1995274853 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17388] ppid=17379 vsize=679932 CPUtime=0
/proc/17380/task/17388/stat : 17388 (java) S 17379 17348 16909 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1995274853 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17369/tid=17370] ppid=17348 vsize=197416 CPUtime=4.36
/proc/17369/task/17370/stat : 17370 (java) S 17348 17348 16909 0 -1 64 3851 0 1 0 430 6 0 0 16 0 10 0 1995274271 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17369/tid=17371] ppid=17348 vsize=197416 CPUtime=1.12
/proc/17369/task/17371/stat : 17371 (java) S 17348 17348 16909 0 -1 64 8560 0 0 0 101 11 0 0 16 0 10 0 1995274272 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17372] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17348 17348 16909 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1995274272 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17373] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17348 17348 16909 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1995274272 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17374] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17348 17348 16909 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17375] ppid=17348 vsize=197416 CPUtime=0.19
/proc/17369/task/17375/stat : 17375 (java) S 17348 17348 16909 0 -1 64 646 0 0 0 19 0 0 0 16 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17376] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17348 17348 16909 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17377] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17348 17348 16909 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17378] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17378/stat : 17378 (java) S 17348 17348 16909 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1995274847 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 125.74
Current children cumulated vsize (KiB) 888064
[startup+129.104 s]
/proc/loadavg: 2.14 2.08 2.03 3/114 17412
/proc/meminfo: memFree=614152/2055920 swapFree=4180240/4192956
[pid=17348] ppid=17346 vsize=5360 CPUtime=27.86
/proc/17348/stat : 17348 (hydra) S 17346 17348 16909 0 -1 4194304 375 149373 0 0 0 0 2705 81 19 0 1 0 1995271471 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17348/statm: 1340 238 196 169 0 51 0
[pid=17369] ppid=17348 vsize=197416 CPUtime=5.71
/proc/17369/stat : 17369 (java) S 17348 17348 16909 0 -1 0 13864 0 1 0 551 20 0 0 22 0 10 0 1995274270 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17369/statm: 49354 9389 2543 9 0 43937 0
[pid=17379] ppid=17369 vsize=5356 CPUtime=0
/proc/17379/stat : 17379 (choco) S 17369 17348 16909 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 1995274847 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17379/statm: 1339 238 197 169 0 50 0
[pid=17380] ppid=17379 vsize=679932 CPUtime=92.56
/proc/17380/stat : 17380 (java) S 17379 17348 16909 0 -1 0 499356 0 1 0 9002 254 0 0 19 0 9 0 1995274848 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17380/statm: 169983 152091 2589 9 0 164512 0
[pid=17380/tid=17381] ppid=17379 vsize=679932 CPUtime=13.2
/proc/17380/task/17381/stat : 17381 (java) S 17379 17348 16909 0 -1 64 11930 0 1 0 1305 15 0 0 17 0 9 0 1995274849 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17382] ppid=17379 vsize=679932 CPUtime=79.1
/proc/17380/task/17382/stat : 17382 (java) R 17379 17348 16909 0 -1 64 486298 0 0 0 7672 238 0 0 25 0 9 0 1995274850 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 103736945 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17383] ppid=17379 vsize=679932 CPUtime=0
/proc/17380/task/17383/stat : 17383 (java) S 17379 17348 16909 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1995274851 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17384] ppid=17379 vsize=679932 CPUtime=0
/proc/17380/task/17384/stat : 17384 (java) S 17379 17348 16909 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1995274851 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17385] ppid=17379 vsize=679932 CPUtime=0
/proc/17380/task/17385/stat : 17385 (java) S 17379 17348 16909 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1995274853 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17386] ppid=17379 vsize=679932 CPUtime=0.23
/proc/17380/task/17386/stat : 17386 (java) S 17379 17348 16909 0 -1 64 575 0 0 0 23 0 0 0 16 0 9 0 1995274853 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17387] ppid=17379 vsize=679932 CPUtime=0
/proc/17380/task/17387/stat : 17387 (java) S 17379 17348 16909 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1995274853 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17388] ppid=17379 vsize=679932 CPUtime=0
/proc/17380/task/17388/stat : 17388 (java) S 17379 17348 16909 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1995274853 696250368 152091 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17369/tid=17370] ppid=17348 vsize=197416 CPUtime=4.36
/proc/17369/task/17370/stat : 17370 (java) S 17348 17348 16909 0 -1 64 3851 0 1 0 430 6 0 0 16 0 10 0 1995274271 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17369/tid=17371] ppid=17348 vsize=197416 CPUtime=1.12
/proc/17369/task/17371/stat : 17371 (java) S 17348 17348 16909 0 -1 64 8560 0 0 0 101 11 0 0 16 0 10 0 1995274272 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17372] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17348 17348 16909 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1995274272 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17373] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17348 17348 16909 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1995274272 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17374] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17348 17348 16909 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17375] ppid=17348 vsize=197416 CPUtime=0.19
/proc/17369/task/17375/stat : 17375 (java) S 17348 17348 16909 0 -1 64 646 0 0 0 19 0 0 0 16 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17376] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17348 17348 16909 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17377] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17348 17348 16909 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17378] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17378/stat : 17378 (java) S 17348 17348 16909 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1995274847 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 126.13
Current children cumulated vsize (KiB) 888064
[startup+129.304 s]
/proc/loadavg: 2.14 2.08 2.03 3/114 17412
/proc/meminfo: memFree=614152/2055920 swapFree=4180240/4192956
[pid=17348] ppid=17346 vsize=5360 CPUtime=27.86
/proc/17348/stat : 17348 (hydra) S 17346 17348 16909 0 -1 4194304 375 149373 0 0 0 0 2705 81 19 0 1 0 1995271471 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17348/statm: 1340 238 196 169 0 51 0
[pid=17369] ppid=17348 vsize=197416 CPUtime=5.71
/proc/17369/stat : 17369 (java) S 17348 17348 16909 0 -1 0 13864 0 1 0 551 20 0 0 22 0 10 0 1995274270 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17369/statm: 49354 9389 2543 9 0 43937 0
[pid=17379] ppid=17369 vsize=5356 CPUtime=0
/proc/17379/stat : 17379 (choco) S 17369 17348 16909 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 1995274847 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17379/statm: 1339 238 197 169 0 50 0
[pid=17380] ppid=17379 vsize=655440 CPUtime=92.75
/proc/17380/stat : 17380 (java) S 17379 17348 16909 0 -1 0 499357 0 1 0 9021 254 0 0 19 0 9 0 1995274848 671170560 145968 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17380/statm: 163860 145968 2589 9 0 158389 0
[pid=17380/tid=17381] ppid=17379 vsize=655440 CPUtime=13.2
/proc/17380/task/17381/stat : 17381 (java) S 17379 17348 16909 0 -1 64 11931 0 1 0 1305 15 0 0 17 0 9 0 1995274849 671170560 145968 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17382] ppid=17379 vsize=655440 CPUtime=79.29
/proc/17380/task/17382/stat : 17382 (java) R 17379 17348 16909 0 -1 64 486298 0 0 0 7691 238 0 0 25 0 9 0 1995274850 671170560 145968 996147200 134512640 134550740 4294955920 18446744073709551615 104181789 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17383] ppid=17379 vsize=655440 CPUtime=0
/proc/17380/task/17383/stat : 17383 (java) S 17379 17348 16909 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1995274851 671170560 145968 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17384] ppid=17379 vsize=655440 CPUtime=0
/proc/17380/task/17384/stat : 17384 (java) S 17379 17348 16909 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1995274851 671170560 145968 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17385] ppid=17379 vsize=655440 CPUtime=0
/proc/17380/task/17385/stat : 17385 (java) S 17379 17348 16909 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1995274853 671170560 145968 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17386] ppid=17379 vsize=655440 CPUtime=0.23
/proc/17380/task/17386/stat : 17386 (java) S 17379 17348 16909 0 -1 64 575 0 0 0 23 0 0 0 16 0 9 0 1995274853 671170560 145968 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17387] ppid=17379 vsize=655440 CPUtime=0
/proc/17380/task/17387/stat : 17387 (java) S 17379 17348 16909 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1995274853 671170560 145968 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17380/tid=17388] ppid=17379 vsize=655440 CPUtime=0
/proc/17380/task/17388/stat : 17388 (java) S 17379 17348 16909 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1995274853 671170560 145968 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17369/tid=17370] ppid=17348 vsize=197416 CPUtime=4.36
/proc/17369/task/17370/stat : 17370 (java) S 17348 17348 16909 0 -1 64 3851 0 1 0 430 6 0 0 16 0 10 0 1995274271 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17369/tid=17371] ppid=17348 vsize=197416 CPUtime=1.12
/proc/17369/task/17371/stat : 17371 (java) S 17348 17348 16909 0 -1 64 8560 0 0 0 101 11 0 0 16 0 10 0 1995274272 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17372] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17348 17348 16909 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1995274272 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17373] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17348 17348 16909 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1995274272 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17374] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17348 17348 16909 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17375] ppid=17348 vsize=197416 CPUtime=0.19
/proc/17369/task/17375/stat : 17375 (java) S 17348 17348 16909 0 -1 64 646 0 0 0 19 0 0 0 16 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17376] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17348 17348 16909 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17377] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17348 17348 16909 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17378] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17378/stat : 17378 (java) S 17348 17348 16909 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1995274847 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 126.32
Current children cumulated vsize (KiB) 863572
[startup+129.403 s]
/proc/loadavg: 2.14 2.08 2.03 3/114 17412
/proc/meminfo: memFree=614152/2055920 swapFree=4180240/4192956
[pid=17348] ppid=17346 vsize=5360 CPUtime=27.86
/proc/17348/stat : 17348 (hydra) S 17346 17348 16909 0 -1 4194304 375 149373 0 0 0 0 2705 81 19 0 1 0 1995271471 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17348/statm: 1340 238 196 169 0 51 0
[pid=17369] ppid=17348 vsize=197416 CPUtime=5.71
/proc/17369/stat : 17369 (java) S 17348 17348 16909 0 -1 0 13864 0 1 0 551 20 0 0 22 0 10 0 1995274270 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17369/statm: 49354 9389 2543 9 0 43937 0
[pid=17379] ppid=17369 vsize=5356 CPUtime=0
/proc/17379/stat : 17379 (choco) S 17369 17348 16909 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 1995274847 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17379/statm: 1339 238 197 169 0 50 0
[pid=17380] ppid=17379 vsize=0 CPUtime=92.84
/proc/17380/stat : 17380 (java) Z 17379 17348 16909 0 -1 12 499376 0 1 0 9027 257 0 0 16 0 2 0 1995274848 0 0 996147200 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17380/statm: 0 0 0 0 0 0 0
[pid=17369/tid=17370] ppid=17348 vsize=197416 CPUtime=4.36
/proc/17369/task/17370/stat : 17370 (java) S 17348 17348 16909 0 -1 64 3851 0 1 0 430 6 0 0 16 0 10 0 1995274271 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17369/tid=17371] ppid=17348 vsize=197416 CPUtime=1.12
/proc/17369/task/17371/stat : 17371 (java) S 17348 17348 16909 0 -1 64 8560 0 0 0 101 11 0 0 16 0 10 0 1995274272 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17372] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17348 17348 16909 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1995274272 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17373] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17348 17348 16909 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1995274272 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17374] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17348 17348 16909 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17375] ppid=17348 vsize=197416 CPUtime=0.19
/proc/17369/task/17375/stat : 17375 (java) S 17348 17348 16909 0 -1 64 646 0 0 0 19 0 0 0 16 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17376] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17348 17348 16909 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17377] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17348 17348 16909 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1995274274 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17369/tid=17378] ppid=17348 vsize=197416 CPUtime=0
/proc/17369/task/17378/stat : 17378 (java) S 17348 17348 16909 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1995274847 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 126.41
Current children cumulated vsize (KiB) 208132
Child status: 0
Real time (s): 129.491
CPU time (s): 126.527
CPU user time (s): 122.847
CPU system time (s): 3.67944
CPU usage (%): 97.7112
Max. virtual memory (cumulated for all children) (KiB): 907944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 122.847
system time used= 3.67944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 663396
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= 14417
involuntary context switches= 15905
runsolver used 0.460929 second user time and 1.12683 second system time
The end