0.00/0.00 c cpHydra_k_10 version 0.0
8.71/9.01 c CASE TO CLASSIFY:
8.71/9.01 c Case: 0
8.71/9.01 c 19 > 0.000000 | c 35 > 7.226800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.258650 | c 15 > 21.190300 | c 34 > 10.356900 | c 16 > 61.000000 | c 13 > 1.894030 | c 14 > 9.674190 | c 11 > 13.208200 | c 12 > 3.151330 | 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 > 16.983300 | c 1 > 13.208200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.983300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 31.463400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.71/9.02 c choco : 1801.0
8.71/9.02 c mistral : 1801.0
8.71/9.02 c abscon : 1801.0
8.71/9.02 c
8.71/9.02 c
8.81/9.10 c List of same ones: 10
8.81/9.10 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-berlin-5-8_0.xml
8.81/9.10 c 19 > 0.000000 | c 35 > 7.226800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.258650 | c 15 > 20.406900 | c 34 > 10.356900 | c 16 > 61.000000 | c 13 > 1.893710 | c 14 > 7.800900 | c 11 > 13.208200 | c 12 > 3.151280 | 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 > 16.983300 | c 1 > 13.208200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.983300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 31.463400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.81/9.11 c choco : 39.61
8.81/9.11 c mistral : 3.73243
8.81/9.11 c abscon : 1800.12
8.81/9.11 c
8.81/9.11 c
8.81/9.11 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-usAbbrv-8-25-70.xml
8.81/9.11 c 19 > 0.000000 | c 35 > 7.157060 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.408470 | c 15 > 20.387000 | c 34 > 10.295800 | c 16 > 61.000000 | c 13 > 2.162170 | c 14 > 6.108520 | c 11 > 14.331100 | c 12 > 3.131810 | 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 > 18.086600 | c 1 > 14.331100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 18.086600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 27.901800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.81/9.12 c choco : 87.71
8.81/9.12 c mistral : 5.19221
8.81/9.12 c abscon : 1800.21
8.81/9.12 c
8.81/9.12 c
8.81/9.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-railway-8-1-0.xml
8.81/9.12 c 19 > 0.000000 | c 35 > 5.794660 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.142400 | c 15 > 20.075600 | c 34 > 8.175460 | c 16 > 61.000000 | c 13 > 1.308440 | c 14 > 6.672430 | c 11 > 14.269300 | c 12 > 2.900980 | 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 > 17.795800 | c 1 > 14.269300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.795800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 28.081300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.81/9.13 c choco : 102.98
8.81/9.13 c mistral : 4.17336
8.81/9.13 c abscon : 1800.15
8.81/9.13 c
8.81/9.13 c
8.81/9.13 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-10teams.xml
8.81/9.13 c 19 > 0.000000 | c 35 > 11.764700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.882353 | c 15 > 19.441200 | c 34 > 17.647100 | c 16 > 72.000000 | c 13 > 3.111990 | c 14 > 9.355350 | c 11 > 10.643900 | c 12 > 3.355970 | c 21 > 1.374370 | 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.530800 | c 1 > 10.643900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.530800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.458700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.81/9.14 c choco : 6.01
8.81/9.14 c mistral : 1800.04
8.81/9.14 c abscon : 1800.12
8.81/9.14 c
8.81/9.14 c
8.81/9.14 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-sentoy.xml
8.81/9.14 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.594100 | c 34 > 0.000000 | c 16 > 60.000000 | c 13 > 2.866770 | c 14 > 5.906890 | c 11 > 9.787900 | c 12 > 1.569650 | 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 > 11.801700 | c 1 > 5.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.801700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.631700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.81/9.15 c choco : 1.87
8.81/9.15 c mistral : 0.18
8.81/9.15 c abscon : 4.96824
8.81/9.15 c
8.81/9.15 c
8.81/9.15 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-harp2.xml
8.81/9.15 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.980900 | c 34 > 0.000000 | c 16 > 73.000000 | c 13 > -2.214850 | c 14 > -1.000000 | c 11 > 11.547400 | c 12 > 1.561310 | 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.822400 | c 1 > 11.547400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.821300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 28.484100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.81/9.16 c choco : 3.8
8.81/9.16 c mistral : 0.37
8.81/9.16 c abscon : 1800.04
8.81/9.16 c
8.81/9.16 c
8.81/9.16 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/count-b.xml
8.81/9.16 c 19 > 0.000000 | c 35 > 14.481300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.711820 | c 15 > 18.958200 | c 34 > 16.051900 | c 16 > 78.000000 | c 13 > 4.946530 | c 14 > 8.290020 | c 11 > 8.864190 | c 12 > 5.204420 | 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 > 14.076100 | c 1 > 8.864190 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.076100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.134900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.81/9.17 c choco : 4.36
8.81/9.17 c mistral : 0.934857
8.81/9.17 c abscon : 1.9607
8.81/9.17 c
8.81/9.17 c
8.81/9.17 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare1.xml
8.81/9.17 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.024000 | c 34 > 0.000000 | c 16 > 80.000000 | c 13 > 1.235800 | c 14 > 6.807350 | c 11 > 10.015400 | c 12 > 0.706539 | c 21 > 1.328610 | 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 > 10.639300 | c 1 > 7.459430 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.639300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.877900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.81/9.18 c choco : 1.74
8.81/9.18 c mistral : 0.13
8.81/9.18 c abscon : 130.51
8.81/9.18 c
8.81/9.18 c
8.81/9.18 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-5.xml
8.81/9.18 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.681500 | c 34 > 0.000000 | c 16 > 39.000000 | c 13 > 7.137040 | c 14 > 12.284800 | c 11 > 7.813780 | c 12 > 6.405690 | 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 > 8.721100 | c 1 > 5.285400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.633000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.955800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.81/9.18 c choco : 13.25
8.81/9.18 c mistral : 1800.06
8.81/9.18 c abscon : 1800.12
8.81/9.18 c
8.81/9.18 c
8.81/9.19 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c4.xml
8.81/9.19 c 19 > 3.510480 | c 35 > 17.836800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.106290 | c 15 > 19.658400 | c 34 > 18.538900 | c 16 > 32.000000 | c 13 > 7.016210 | c 14 > 5.754890 | c 11 > 10.568000 | c 12 > 6.261040 | c 21 > 1.414210 | c 20 > 96.489500 | 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 > 16.532600 | c 1 > 10.568000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.521000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.412700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.81/9.20 c choco : 1801.0
8.81/9.20 c mistral : 158.081
8.81/9.20 c abscon : 1800.11
8.81/9.20 c
8.81/9.20 c
8.88/9.20 c Length: 10
8.88/9.20 c 2.0305002065993487 5.577092575787135 6.079285221463128 21.538170965163427 21.947314549816795 25.33296921451175 25.445215105911366 30.09153453510773 34.44805414273352 35.866577008915975
8.88/9.20 c
8.88/9.20 c 1.0 0.9051273638884182 0.8931292125492801 0.6343025818292919 0.629474546972862 0.5921760227271875 0.5910150025288484 0.5466503393155311 0.5107052462662941 0.5
8.88/9.20 c
8.88/9.20 c solver 0
8.88/9.20 c before 0.0 seconds: {} 0
8.88/9.20 c before 18.0 seconds: {4, 6} 1220
8.88/9.20 c before 144.0 seconds: {4, 6, 7} 1767
8.88/9.20 c
8.88/9.20 c solver 1
8.88/9.20 c before 0.0 seconds: {} 0
8.88/9.20 c before 18.0 seconds: {0, 1, 2, 4, 5, 6, 7} 5157
8.88/9.20 c before 162.0 seconds: {0, 1, 2, 4, 5, 6, 7, 9} 5657
8.88/9.20 c
8.88/9.20 c solver 2
8.88/9.21 c before 0.0 seconds: {} 0
8.88/9.21 c before 18.0 seconds: {3, 4, 5, 6, 7, 8} 3504
8.88/9.21 c before 54.0 seconds: {0, 3, 4, 5, 6, 7, 8} 4504
8.88/9.21 c before 90.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8} 5409
8.88/9.21 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 6302
8.88/9.21 c
8.88/9.21 cTotal time: 23
8.88/9.21 c 414.0 seconds unused
8.88/9.21 c 0 c 0 c 0
8.88/9.21 c 5 c 0 c 1
8.88/9.21 c 6 c 2 c 0
8.88/9.21 c is solver0 dominated by:
8.88/9.21 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)
8.88/9.21 c is dominated? true
8.88/9.21 c
8.88/9.21 c is solver1 dominated by:
8.88/9.21 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)
8.88/9.21 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
8.88/9.21 c is dominated? false
8.88/9.21 c
8.88/9.21 c is solver2 dominated by:
8.88/9.21 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: true) (2 is equally as fast as 0: false) (2 < 0: true)
8.88/9.21 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
8.88/9.21 c is dominated? false
8.88/9.21 c
8.88/9.21 c Number of non-dominated solvers: 2
8.88/9.21 c remove dominated solvers
8.88/9.21 c solver 1 is not dominated by another solver
8.88/9.21 c solver 2 is not dominated by another solver
8.88/9.21 c solver 0 is dominated by another solver
8.88/9.21 c
8.88/9.21 c solver 0: 0.0
8.88/9.21 c
8.88/9.21 c solver 1: 162.0
8.88/9.21 c
8.88/9.21 c+ 9/15 of 85
8.88/9.21 c
8.88/9.21 c solver 2: 108.0
8.88/9.21 c
8.88/9.21 c+ 6/15 of 85
8.88/9.21 c do not run abscon
8.88/9.21 c run mistral for 1080.0 seconds {0, 1, 2, 4, 5, 6, 7, 9} 5657
8.88/9.21 c run choco for 720.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8} 6302
8.88/9.21 c Starting solver: HOME/cpHydra_k_10/solver/mistral
8.88/9.21 c On Instance: HOME/instance-1063341-1215136630.xml
8.88/9.21 c Running for: 1080 seconds
14.12/14.52 c mistral-prime version 1.313
14.12/14.52 s SATISFIABLE
14.12/14.52 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0
14.12/14.52 d CHECKS 4325656
14.12/14.52 d ASSIGNMENTS 4599
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063341-1215136630/watcher-1063341-1215136630 -o /tmp/evaluation-result-1063341-1215136630/solver-1063341-1215136630 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1063341-1215136630.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: 3.09 2.30 2.09 3/81 2782
/proc/meminfo: memFree=1639688/2055920 swapFree=4180500/4192956
[pid=2782] ppid=2780 vsize=5360 CPUtime=0
/proc/2782/stat : 2782 (hydra) R 2780 2782 1161 0 -1 4194304 262 0 0 0 0 0 0 0 21 0 1 0 1992634430 5488640 230 996147200 4194304 4889804 548682068816 18446744073709551615 217051170311 0 0 4100 65536 0 0 0 17 1 0 0
/proc/2782/statm: 1340 230 191 169 0 51 0
[startup+0.0154039 s]
/proc/loadavg: 3.09 2.30 2.09 3/81 2782
/proc/meminfo: memFree=1639688/2055920 swapFree=4180500/4192956
[pid=2782] ppid=2780 vsize=5360 CPUtime=0
/proc/2782/stat : 2782 (hydra) S 2780 2782 1161 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992634430 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2782/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102428 s]
/proc/loadavg: 3.09 2.30 2.09 3/81 2782
/proc/meminfo: memFree=1639688/2055920 swapFree=4180500/4192956
[pid=2782] ppid=2780 vsize=5360 CPUtime=0
/proc/2782/stat : 2782 (hydra) S 2780 2782 1161 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992634430 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2782/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301466 s]
/proc/loadavg: 3.09 2.30 2.09 3/81 2782
/proc/meminfo: memFree=1639688/2055920 swapFree=4180500/4192956
[pid=2782] ppid=2780 vsize=5360 CPUtime=0
/proc/2782/stat : 2782 (hydra) S 2780 2782 1161 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992634430 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2782/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701541 s]
/proc/loadavg: 3.09 2.30 2.09 3/81 2782
/proc/meminfo: memFree=1639688/2055920 swapFree=4180500/4192956
[pid=2782] ppid=2780 vsize=5360 CPUtime=0
/proc/2782/stat : 2782 (hydra) S 2780 2782 1161 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992634430 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2782/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.5017 s]
/proc/loadavg: 3.09 2.30 2.09 3/83 2786
/proc/meminfo: memFree=1561144/2055920 swapFree=4180500/4192956
[pid=2782] ppid=2780 vsize=5360 CPUtime=0
/proc/2782/stat : 2782 (hydra) S 2780 2782 1161 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992634430 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2782/statm: 1340 236 195 169 0 51 0
[pid=2786] ppid=2782 vsize=149356 CPUtime=1.45
/proc/2786/stat : 2786 (xsolve) R 2782 2782 1161 0 -1 4194304 36924 0 0 0 129 16 0 0 25 0 1 0 1992634431 152940544 36104 996147200 134512640 135239763 4294956176 18446744073709551615 135057233 0 0 4096 0 0 0 0 17 1 0 0
/proc/2786/statm: 37339 36104 431 177 0 36242 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 154716
[startup+3.102 s]
/proc/loadavg: 3.09 2.30 2.09 3/83 2786
/proc/meminfo: memFree=1494776/2055920 swapFree=4180500/4192956
[pid=2782] ppid=2780 vsize=5360 CPUtime=0
/proc/2782/stat : 2782 (hydra) S 2780 2782 1161 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992634430 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2782/statm: 1340 236 195 169 0 51 0
[pid=2786] ppid=2782 vsize=142816 CPUtime=3.04
/proc/2786/stat : 2786 (xsolve) R 2782 2782 1161 0 -1 4194304 39039 0 0 0 287 17 0 0 25 0 1 0 1992634431 146243584 34736 996147200 134512640 135239763 4294956176 18446744073709551615 9719292 0 0 4096 0 0 0 0 17 1 0 0
/proc/2786/statm: 35704 34736 442 177 0 34607 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 148176
[startup+6.30161 s]
/proc/loadavg: 3.08 2.31 2.09 3/91 2798
/proc/meminfo: memFree=1625080/2055920 swapFree=4180500/4192956
[pid=2782] ppid=2780 vsize=5360 CPUtime=3.1
/proc/2782/stat : 2782 (hydra) S 2780 2782 1161 0 -1 4194304 375 39624 0 0 0 0 290 20 18 0 1 0 1992634430 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2782/statm: 1340 238 196 169 0 51 0
[pid=2790] ppid=2782 vsize=196996 CPUtime=2.94
/proc/2790/stat : 2790 (java) S 2782 2782 1161 0 -1 0 7991 0 1 0 284 10 0 0 18 0 9 0 1992634747 201723904 6631 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2790/statm: 49249 6631 2540 9 0 43832 0
[pid=2790/tid=2791] ppid=2782 vsize=196996 CPUtime=2.32
/proc/2790/task/2791/stat : 2791 (java) R 2782 2782 1161 0 -1 64 3121 0 1 0 227 5 0 0 25 0 9 0 1992634749 201723904 6631 996147200 134512640 134550740 4294955968 18446744073709551615 4126442503 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2792] ppid=2782 vsize=196996 CPUtime=0.44
/proc/2790/task/2792/stat : 2792 (java) S 2782 2782 1161 0 -1 64 3517 0 0 0 40 4 0 0 16 0 9 0 1992634764 201723904 6631 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2793] ppid=2782 vsize=196996 CPUtime=0
/proc/2790/task/2793/stat : 2793 (java) S 2782 2782 1161 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992634764 201723904 6631 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2794] ppid=2782 vsize=196996 CPUtime=0
/proc/2790/task/2794/stat : 2794 (java) S 2782 2782 1161 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992634764 201723904 6631 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2795] ppid=2782 vsize=196996 CPUtime=0
/proc/2790/task/2795/stat : 2795 (java) S 2782 2782 1161 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992634766 201723904 6631 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2796] ppid=2782 vsize=196996 CPUtime=0.17
/proc/2790/task/2796/stat : 2796 (java) S 2782 2782 1161 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 1992634766 201723904 6631 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2797] ppid=2782 vsize=196996 CPUtime=0
/proc/2790/task/2797/stat : 2797 (java) S 2782 2782 1161 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1992634766 201723904 6631 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2798] ppid=2782 vsize=196996 CPUtime=0
/proc/2790/task/2798/stat : 2798 (java) S 2782 2782 1161 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992634766 201723904 6631 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 202356
[startup+12.7028 s]
/proc/loadavg: 2.99 2.31 2.09 3/94 2801
/proc/meminfo: memFree=1463712/2055920 swapFree=4180500/4192956
[pid=2782] ppid=2780 vsize=5360 CPUtime=3.1
/proc/2782/stat : 2782 (hydra) S 2780 2782 1161 0 -1 4194304 375 39624 0 0 0 0 290 20 18 0 1 0 1992634430 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2782/statm: 1340 238 196 169 0 51 0
[pid=2790] ppid=2782 vsize=197428 CPUtime=5.8
/proc/2790/stat : 2790 (java) S 2782 2782 1161 0 -1 0 11415 0 1 0 562 18 0 0 18 0 10 0 1992634747 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2790/statm: 49357 9343 2543 9 0 43940 0
[pid=2800] ppid=2790 vsize=5356 CPUtime=0
/proc/2800/stat : 2800 (mistral) S 2790 2782 1161 0 -1 4194304 294 0 0 0 0 0 0 0 25 0 1 0 1992635352 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 217051620164 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2800/statm: 1339 238 198 169 0 50 0
[pid=2801] ppid=2800 vsize=157936 CPUtime=3.43
/proc/2801/stat : 2801 (xsolve) R 2800 2782 1161 0 -1 4194304 40031 0 0 0 326 17 0 0 25 0 1 0 1992635353 161726464 38219 996147200 134512640 135239763 4294955968 18446744073709551615 135097610 0 4 0 0 0 0 0 17 1 0 0
/proc/2801/statm: 39484 38219 413 177 0 38387 0
[pid=2790/tid=2791] ppid=2782 vsize=197428 CPUtime=4.69
/proc/2790/task/2791/stat : 2791 (java) S 2782 2782 1161 0 -1 64 3858 0 1 0 462 7 0 0 23 0 10 0 1992634749 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2790/tid=2792] ppid=2782 vsize=197428 CPUtime=0.89
/proc/2790/task/2792/stat : 2792 (java) S 2782 2782 1161 0 -1 64 6109 0 0 0 79 10 0 0 16 0 10 0 1992634764 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2793] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2793/stat : 2793 (java) S 2782 2782 1161 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992634764 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2794] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2794/stat : 2794 (java) S 2782 2782 1161 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1992634764 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2795] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2795/stat : 2795 (java) S 2782 2782 1161 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992634766 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2796] ppid=2782 vsize=197428 CPUtime=0.19
/proc/2790/task/2796/stat : 2796 (java) S 2782 2782 1161 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 1992634766 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2797] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2797/stat : 2797 (java) S 2782 2782 1161 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992634766 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2798] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2798/stat : 2798 (java) S 2782 2782 1161 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 1992634766 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2799] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2799/stat : 2799 (java) S 2782 2782 1161 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1992635352 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 366080
Solver just ended. Dumping a history of the last processes samples
[startup+13.503 s]
/proc/loadavg: 2.99 2.31 2.09 3/94 2801
/proc/meminfo: memFree=1457376/2055920 swapFree=4180500/4192956
[pid=2782] ppid=2780 vsize=5360 CPUtime=3.1
/proc/2782/stat : 2782 (hydra) S 2780 2782 1161 0 -1 4194304 375 39624 0 0 0 0 290 20 18 0 1 0 1992634430 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2782/statm: 1340 238 196 169 0 51 0
[pid=2790] ppid=2782 vsize=197428 CPUtime=5.8
/proc/2790/stat : 2790 (java) S 2782 2782 1161 0 -1 0 11415 0 1 0 562 18 0 0 18 0 10 0 1992634747 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2790/statm: 49357 9343 2543 9 0 43940 0
[pid=2800] ppid=2790 vsize=5356 CPUtime=0
/proc/2800/stat : 2800 (mistral) S 2790 2782 1161 0 -1 4194304 294 0 0 0 0 0 0 0 25 0 1 0 1992635352 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 217051620164 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2800/statm: 1339 238 198 169 0 50 0
[pid=2801] ppid=2800 vsize=164936 CPUtime=4.22
/proc/2801/stat : 2801 (xsolve) R 2800 2782 1161 0 -1 4194304 42241 0 0 0 404 18 0 0 25 0 1 0 1992635353 168894464 39404 996147200 134512640 135239763 4294955968 18446744073709551615 135100977 0 4 0 0 0 0 0 17 1 0 0
/proc/2801/statm: 41234 39404 413 177 0 40137 0
[pid=2790/tid=2791] ppid=2782 vsize=197428 CPUtime=4.69
/proc/2790/task/2791/stat : 2791 (java) S 2782 2782 1161 0 -1 64 3858 0 1 0 462 7 0 0 23 0 10 0 1992634749 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2790/tid=2792] ppid=2782 vsize=197428 CPUtime=0.89
/proc/2790/task/2792/stat : 2792 (java) S 2782 2782 1161 0 -1 64 6109 0 0 0 79 10 0 0 16 0 10 0 1992634764 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2793] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2793/stat : 2793 (java) S 2782 2782 1161 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992634764 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2794] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2794/stat : 2794 (java) S 2782 2782 1161 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1992634764 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2795] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2795/stat : 2795 (java) S 2782 2782 1161 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992634766 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2796] ppid=2782 vsize=197428 CPUtime=0.19
/proc/2790/task/2796/stat : 2796 (java) S 2782 2782 1161 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 1992634766 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2797] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2797/stat : 2797 (java) S 2782 2782 1161 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992634766 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2798] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2798/stat : 2798 (java) S 2782 2782 1161 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 1992634766 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2799] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2799/stat : 2799 (java) S 2782 2782 1161 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1992635352 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.12
Current children cumulated vsize (KiB) 373080
[startup+14.3071 s]
/proc/loadavg: 2.91 2.30 2.09 3/94 2801
/proc/meminfo: memFree=1450912/2055920 swapFree=4180500/4192956
[pid=2782] ppid=2780 vsize=5360 CPUtime=3.1
/proc/2782/stat : 2782 (hydra) S 2780 2782 1161 0 -1 4194304 375 39624 0 0 0 0 290 20 18 0 1 0 1992634430 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2782/statm: 1340 238 196 169 0 51 0
[pid=2790] ppid=2782 vsize=197428 CPUtime=5.99
/proc/2790/stat : 2790 (java) S 2782 2782 1161 0 -1 0 19636 0 1 0 579 20 0 0 18 0 10 0 1992634747 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2790/statm: 49357 9391 2543 9 0 43940 0
[pid=2800] ppid=2790 vsize=5356 CPUtime=0
/proc/2800/stat : 2800 (mistral) S 2790 2782 1161 0 -1 4194304 294 0 0 0 0 0 0 0 25 0 1 0 1992635352 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 217051620164 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2800/statm: 1339 238 198 169 0 50 0
[pid=2801] ppid=2800 vsize=167332 CPUtime=4.83
/proc/2801/stat : 2801 (xsolve) R 2800 2782 1161 0 -1 4194304 43219 0 0 0 464 19 0 0 25 0 1 0 1992635353 171347968 40246 996147200 134512640 135239763 4294955968 18446744073709551615 9715801 0 4 0 0 0 0 0 17 1 0 0
/proc/2801/statm: 41833 40246 420 177 0 40736 0
[pid=2790/tid=2791] ppid=2782 vsize=197428 CPUtime=4.69
/proc/2790/task/2791/stat : 2791 (java) S 2782 2782 1161 0 -1 64 3877 0 1 0 462 7 0 0 16 0 10 0 1992634749 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2790/tid=2792] ppid=2782 vsize=197428 CPUtime=1.07
/proc/2790/task/2792/stat : 2792 (java) S 2782 2782 1161 0 -1 64 14295 0 0 0 96 11 0 0 17 0 10 0 1992634764 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2793] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2793/stat : 2793 (java) S 2782 2782 1161 0 -1 64 15 0 0 0 0 0 0 0 16 0 10 0 1992634764 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2794] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2794/stat : 2794 (java) S 2782 2782 1161 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 1992634764 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2795] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2795/stat : 2795 (java) S 2782 2782 1161 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992634766 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2796] ppid=2782 vsize=197428 CPUtime=0.19
/proc/2790/task/2796/stat : 2796 (java) S 2782 2782 1161 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 1992634766 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2797] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2797/stat : 2797 (java) S 2782 2782 1161 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992634766 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2798] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2798/stat : 2798 (java) S 2782 2782 1161 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 1992634766 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2799] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2799/stat : 2799 (java) S 2782 2782 1161 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1992635352 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.92
Current children cumulated vsize (KiB) 375476
[startup+14.5028 s]
/proc/loadavg: 2.91 2.30 2.09 3/94 2801
/proc/meminfo: memFree=1450912/2055920 swapFree=4180500/4192956
[pid=2782] ppid=2780 vsize=5360 CPUtime=3.1
/proc/2782/stat : 2782 (hydra) S 2780 2782 1161 0 -1 4194304 375 39624 0 0 0 0 290 20 18 0 1 0 1992634430 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2782/statm: 1340 238 196 169 0 51 0
[pid=2790] ppid=2782 vsize=197428 CPUtime=5.99
/proc/2790/stat : 2790 (java) S 2782 2782 1161 0 -1 0 19636 0 1 0 579 20 0 0 18 0 10 0 1992634747 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2790/statm: 49357 9391 2543 9 0 43940 0
[pid=2800] ppid=2790 vsize=5356 CPUtime=0
/proc/2800/stat : 2800 (mistral) S 2790 2782 1161 0 -1 4194304 294 0 0 0 0 0 0 0 25 0 1 0 1992635352 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 217051620164 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2800/statm: 1339 238 198 169 0 50 0
[pid=2801] ppid=2800 vsize=0 CPUtime=5.03
/proc/2801/stat : 2801 (xsolve) R 2800 2782 1161 0 -1 4194308 43227 0 0 0 483 20 0 0 25 0 1 0 1992635353 0 0 996147200 0 0 0 0 0 0 4 0 0 0 0 0 17 1 0 0
/proc/2801/statm: 0 0 0 0 0 0 0
[pid=2790/tid=2791] ppid=2782 vsize=197428 CPUtime=4.69
/proc/2790/task/2791/stat : 2791 (java) S 2782 2782 1161 0 -1 64 3877 0 1 0 462 7 0 0 16 0 10 0 1992634749 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2790/tid=2792] ppid=2782 vsize=197428 CPUtime=1.07
/proc/2790/task/2792/stat : 2792 (java) S 2782 2782 1161 0 -1 64 14295 0 0 0 96 11 0 0 17 0 10 0 1992634764 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2793] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2793/stat : 2793 (java) S 2782 2782 1161 0 -1 64 15 0 0 0 0 0 0 0 16 0 10 0 1992634764 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2794] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2794/stat : 2794 (java) S 2782 2782 1161 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 1992634764 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2795] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2795/stat : 2795 (java) S 2782 2782 1161 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992634766 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2796] ppid=2782 vsize=197428 CPUtime=0.19
/proc/2790/task/2796/stat : 2796 (java) S 2782 2782 1161 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 1992634766 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2797] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2797/stat : 2797 (java) S 2782 2782 1161 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992634766 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2798] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2798/stat : 2798 (java) S 2782 2782 1161 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 1992634766 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2790/tid=2799] ppid=2782 vsize=197428 CPUtime=0
/proc/2790/task/2799/stat : 2799 (java) S 2782 2782 1161 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1992635352 202166272 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.12
Current children cumulated vsize (KiB) 208144
Child status: 0
Real time (s): 14.5715
CPU time (s): 14.1808
CPU user time (s): 13.5379
CPU system time (s): 0.642902
CPU usage (%): 97.3189
Max. virtual memory (cumulated for all children) (KiB): 381148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.5379
system time used= 0.642902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103210
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9251
involuntary context switches= 11089
runsolver used 0.023996 second user time and 0.090986 second system time
The end