0.00/0.00 c cpHydra_k_10 version 0.0
7.57/7.76 c CASE TO CLASSIFY:
7.57/7.76 c Case: 0
7.57/7.77 c 19 > 47.631600 | c 35 > 46.561400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 38.842100 | c 15 > 18.219900 | c 34 > 73.008800 | c 16 > 195.000000 | c 13 > 0.050395 | c 14 > 10.154800 | c 11 > 13.409800 | c 12 > 1.282170 | c 21 > 1.412980 | c 20 > 52.368400 | 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.572500 | c 1 > 11.155500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.506800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.835000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.78 c choco : 1801.0
7.57/7.78 c mistral : 1801.0
7.57/7.78 c abscon : 1801.0
7.57/7.78 c
7.57/7.78 c
7.67/7.86 c List of same ones: 10
7.67/7.86 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-4.xml
7.67/7.86 c 19 > 47.631600 | c 35 > 46.561400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 38.842100 | c 15 > 17.622800 | c 34 > 73.008800 | c 16 > 195.000000 | c 13 > 0.050395 | c 14 > 9.411510 | c 11 > 13.409800 | c 12 > 1.282170 | c 21 > 1.412980 | c 20 > 52.368400 | 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.572500 | c 1 > 11.155500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.506800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.835000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.86 c choco : 1801.0
7.67/7.86 c mistral : 4.13
7.67/7.86 c abscon : 1800.06
7.67/7.86 c
7.67/7.86 c
7.67/7.86 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml
7.67/7.86 c 19 > 39.091900 | c 35 > 43.768600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 39.854300 | c 15 > 19.496800 | c 34 > 53.144200 | c 16 > 160.000000 | c 13 > 3.581130 | c 14 > 10.985800 | c 11 > 12.007400 | c 12 > 3.551250 | c 21 > 1.397820 | c 20 > 60.908100 | 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.649000 | c 1 > 12.007400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.517500 | c 6 > 6.954200 | c 32 > -1.000000 | c 5 > 18.803500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.87 c choco : 24.35
7.67/7.87 c mistral : 3.62
7.67/7.87 c abscon : 12.2411
7.67/7.87 c
7.67/7.87 c
7.67/7.87 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ws97-5.xml
7.67/7.87 c 19 > 58.459200 | c 35 > 31.284000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 35.075500 | c 15 > 19.950800 | c 34 > 48.836900 | c 16 > 134.000000 | c 13 > 4.497660 | c 14 > 10.391200 | c 11 > 11.696100 | c 12 > 2.707310 | c 21 > 1.411090 | c 20 > 41.540800 | 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.857600 | c 1 > 9.812180 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.700400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.912900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.88 c choco : 1801.0
7.67/7.88 c mistral : 0.71
7.67/7.88 c abscon : 1800.1
7.67/7.88 c
7.67/7.88 c
7.67/7.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos16.xml
7.67/7.88 c 19 > 35.173100 | c 35 > 51.487400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 58.877500 | c 15 > 19.272300 | c 34 > 96.688500 | c 16 > 128.000000 | c 13 > 2.942240 | c 14 > 8.566050 | c 11 > 13.219500 | c 12 > 1.620620 | c 21 > 1.414210 | c 20 > 64.826900 | 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.243500 | c 1 > 8.857980 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.186400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.230100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.89 c choco : 5.46
7.67/7.89 c mistral : 1800.03
7.67/7.89 c abscon : 314.036
7.67/7.89 c
7.67/7.89 c
7.67/7.89 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-seymour1.xml
7.67/7.89 c 19 > 0.000000 | c 35 > 28.957800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.008300 | c 15 > 20.379700 | c 34 > 53.567200 | c 16 > 198.000000 | c 13 > 5.032800 | c 14 > -1.000000 | c 11 > 13.358500 | c 12 > 5.009860 | c 21 > 1.411570 | 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 > 19.288000 | c 1 > 13.358500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 19.288000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 29.315800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/7.90 c choco : 1801.0
7.76/7.90 c mistral : 14.2628
7.76/7.90 c abscon : 40.6598
7.76/7.90 c
7.76/7.90 c
7.76/7.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bell5.xml
7.76/7.90 c 19 > 12.605000 | c 35 > 46.554600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.243700 | c 15 > 20.294600 | c 34 > 90.756300 | c 16 > 135.000000 | c 13 > 9.222100 | c 14 > 10.246700 | c 11 > 11.626200 | c 12 > 4.995200 | c 21 > 1.335460 | c 20 > 87.395000 | 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 > 12.449700 | c 1 > 10.382600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.445800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.299100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/7.91 c choco : 1801.0
7.76/7.91 c mistral : 247.62
7.76/7.91 c abscon : 437.054
7.76/7.91 c
7.76/7.91 c
7.76/7.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2-1.xml
7.76/7.91 c 19 > 0.000000 | c 35 > 33.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 18.000000 | c 15 > 18.319300 | c 34 > 66.000000 | c 16 > 150.000000 | c 13 > 1.599130 | c 14 > 7.592460 | c 11 > 11.148500 | c 12 > 0.825579 | c 21 > 1.345020 | 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.832500 | c 1 > 8.060700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.832500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.353800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/7.92 c choco : 2.64
7.76/7.92 c mistral : 0.55
7.76/7.92 c abscon : 199.342
7.76/7.92 c
7.76/7.92 c
7.76/7.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/5xp1-b.xml
7.76/7.92 c 19 > 0.000000 | c 35 > 77.081900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.736700 | c 15 > 19.866700 | c 34 > 81.660700 | c 16 > 149.000000 | c 13 > 5.599960 | c 14 > 6.807350 | c 11 > 8.854870 | c 12 > 6.012360 | c 21 > 1.413450 | 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.865400 | c 1 > 8.854870 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.865400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.590000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/7.93 c choco : 6.4
7.76/7.93 c mistral : 2.56
7.76/7.93 c abscon : 3.13052
7.76/7.93 c
7.76/7.93 c
7.76/7.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml
7.76/7.93 c 19 > 0.000000 | c 35 > 32.220000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.767400 | c 34 > 32.220000 | c 16 > 166.000000 | c 13 > 2.574380 | c 14 > 9.920350 | c 11 > 12.191100 | c 12 > 2.458080 | 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.620300 | c 1 > 12.191100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.620300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.826000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/7.93 c choco : 16.5
7.76/7.93 c mistral : 4.84
7.76/7.93 c abscon : 6.63899
7.76/7.93 c
7.76/7.93 c
7.76/7.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-stocfor1.xml
7.76/7.94 c 19 > 0.000000 | c 35 > 26.666700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.333330 | c 15 > 20.214000 | c 34 > 47.555600 | c 16 > 240.000000 | c 13 > 7.046300 | c 14 > 10.579300 | c 11 > 10.957100 | c 12 > 4.699830 | c 21 > 1.263720 | 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.875400 | c 1 > 10.957100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.875400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.633500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/7.95 c choco : 1801.0
7.76/7.95 c mistral : 18.05
7.76/7.95 c abscon : 1800.09
7.76/7.95 c
7.76/7.95 c
7.94/8.15 c Length: 10
7.94/8.15 c 0.9534193380144945 43.22653304899755 69.4754749504807 76.19743938167447 79.3918166972626 81.23469388625765 85.24095410023847 91.582713844866 93.66285209590261 93.8262228680551
7.94/8.15 c
7.94/8.15 c 1.0 0.6872039157824368 0.5754384248883461 0.5524301587183282 0.5421291955688317 0.536359319750196 0.5242302223245175 0.5061130337123939 0.5004401573540126 0.5
7.94/8.16 c
7.94/8.16 c solver 0
7.94/8.16 c before 0.0 seconds: {} 0
7.94/8.16 c before 18.0 seconds: {1, 7, 8} 1693
7.94/8.16 c before 54.0 seconds: {1, 4, 7, 8} 2235
7.94/8.16 c before 216.0 seconds: {1, 4, 6, 7, 8} 2760
7.94/8.16 c before 324.0 seconds: {1, 3, 4, 6, 7, 8} 3312
7.94/8.16 c before 450.0 seconds: {1, 3, 4, 5, 6, 7, 8} 3848
7.94/8.16 c
7.94/8.16 c solver 1
7.94/8.16 c before 0.0 seconds: {} 0
7.94/8.16 c before 18.0 seconds: {0, 1, 2, 4, 6, 7, 8} 4335
7.94/8.16 c before 36.0 seconds: {0, 1, 2, 4, 6, 7, 8, 9} 4835
7.94/8.16 c before 252.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9} 5371
7.94/8.16 c
7.94/8.16 c solver 2
7.94/8.16 c before 0.0 seconds: {} 0
7.94/8.16 c before 18.0 seconds: {3, 6, 7, 8} 2083
7.94/8.16 c before 36.0 seconds: {1, 3, 6, 7, 8} 2770
7.94/8.16 c
7.94/8.16 cTotal time: 41
7.94/8.16 c 738.0 seconds unused
7.94/8.16 c 0 c 1 c 2
7.94/8.16 c 3 c 0 c 5
7.94/8.16 c 0 c 1 c 0
7.94/8.16 c is solver0 dominated by:
7.94/8.16 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.94/8.16 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
7.94/8.16 c is dominated? false
7.94/8.16 c
7.94/8.16 c is solver1 dominated by:
7.94/8.16 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.94/8.16 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)
7.94/8.16 c is dominated? false
7.94/8.16 c
7.94/8.16 c is solver2 dominated by:
7.94/8.16 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.94/8.16 c is dominated? true
7.94/8.16 c
7.94/8.16 c Number of non-dominated solvers: 2
7.94/8.16 c remove dominated solvers
7.94/8.16 c solver 0 is not dominated by another solver
7.94/8.16 c solver 1 is not dominated by another solver
7.94/8.16 c solver 2 is dominated by another solver
7.94/8.16 c
7.94/8.16 c solver 0: 450.0
7.94/8.16 c
7.94/8.16 c+ 25/39 of 61
7.94/8.16 c
7.94/8.16 c solver 1: 252.0
7.94/8.16 c
7.94/8.16 c+ 14/39 of 61
7.94/8.16 c
7.94/8.16 c solver 2: 0.0
7.94/8.16 c run abscon for 1152.0 seconds {1, 3, 4, 5, 6, 7, 8} 3848
7.94/8.16 c run mistral for 630.0 seconds {0, 1, 2, 4, 5, 6, 7, 8, 9} 5371
7.94/8.16 c do not run choco
7.94/8.17 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.94/8.17 c On Instance: HOME/instance-1049614-1215045541.xml
7.94/8.17 c Running for: 1152 seconds
1160.34/1176.94 c Starting solver: HOME/cpHydra_k_10/solver/mistral
1160.34/1176.94 c On Instance: HOME/instance-1049614-1215045541.xml
1160.34/1176.94 c Running for: 630 seconds
1162.72/1179.35 c mistral-prime version 1.313
1162.72/1179.35 s SATISFIABLE
1162.72/1179.35 v 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 0 0 0 1 1 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 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 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 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 1 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 1 0 0 0 0 1 1 1 0 1 1 1 1 0 1 1 0 1 1 0 0 0 0 1 1 0 1 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 0 1 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 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 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 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 1 0 0 1 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 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 0 0 1 1 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 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 1 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 1 0 0 0 0 0 0 1 1 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 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 1 0 0 1 0 1 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 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 1 0 0 1 0 1 0 0 0 0 0 0 1 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 1 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 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 1 0 0 1 0 0 0 0 0 1 0 1 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 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 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 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 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 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 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 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 1 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 1 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 1 0 0 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 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 1 0 1 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 1 0 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 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 1 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 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 1 0 0 1 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
1162.72/1179.35 d CHECKS 580222
1162.72/1179.35 d ASSIGNMENTS 1731
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1049614-1215045541/watcher-1049614-1215045541 -o /tmp/evaluation-result-1049614-1215045541/solver-1049614-1215045541 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1049614-1215045541.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.17 2.04 1.96 4/80 32343
/proc/meminfo: memFree=1672880/2055920 swapFree=4180472/4192956
[pid=32343] ppid=32341 vsize=18572 CPUtime=0
/proc/32343/stat : 32343 (runsolver) R 32341 32343 31312 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 1983529611 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 233632754983 0 0 4096 24578 0 0 0 17 1 0 0
/proc/32343/statm: 4643 292 257 25 0 2626 0
[startup+0.085217 s]
/proc/loadavg: 2.17 2.04 1.96 4/80 32343
/proc/meminfo: memFree=1672880/2055920 swapFree=4180472/4192956
[pid=32343] ppid=32341 vsize=5360 CPUtime=0
/proc/32343/stat : 32343 (hydra) S 32341 32343 31312 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983529611 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32343/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102207 s]
/proc/loadavg: 2.17 2.04 1.96 4/80 32343
/proc/meminfo: memFree=1672880/2055920 swapFree=4180472/4192956
[pid=32343] ppid=32341 vsize=5360 CPUtime=0
/proc/32343/stat : 32343 (hydra) S 32341 32343 31312 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983529611 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32343/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302235 s]
/proc/loadavg: 2.17 2.04 1.96 4/80 32343
/proc/meminfo: memFree=1672880/2055920 swapFree=4180472/4192956
[pid=32343] ppid=32341 vsize=5360 CPUtime=0
/proc/32343/stat : 32343 (hydra) S 32341 32343 31312 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983529611 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32343/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.702269 s]
/proc/loadavg: 2.17 2.04 1.96 4/80 32343
/proc/meminfo: memFree=1672880/2055920 swapFree=4180472/4192956
[pid=32343] ppid=32341 vsize=5360 CPUtime=0
/proc/32343/stat : 32343 (hydra) S 32341 32343 31312 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983529611 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32343/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50234 s]
/proc/loadavg: 2.17 2.04 1.96 3/82 32347
/proc/meminfo: memFree=1653472/2055920 swapFree=4180472/4192956
[pid=32343] ppid=32341 vsize=5360 CPUtime=0
/proc/32343/stat : 32343 (hydra) S 32341 32343 31312 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983529611 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32343/statm: 1340 236 195 169 0 51 0
[pid=32347] ppid=32343 vsize=24692 CPUtime=1.47
/proc/32347/stat : 32347 (xsolve) R 32343 32343 31312 0 -1 4194304 5609 0 0 0 145 2 0 0 25 0 1 0 1983529613 25284608 5341 996147200 134512640 135239763 4294956176 18446744073709551615 135067218 0 0 4096 0 0 0 0 17 1 0 0
/proc/32347/statm: 6173 5341 432 177 0 5076 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30052
[startup+3.10146 s]
/proc/loadavg: 2.17 2.04 1.96 4/90 32359
/proc/meminfo: memFree=1666720/2055920 swapFree=4180472/4192956
[pid=32343] ppid=32341 vsize=5360 CPUtime=1.77
/proc/32343/stat : 32343 (hydra) S 32341 32343 31312 0 -1 4194304 375 6306 0 2 0 0 174 3 17 0 1 0 1983529611 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32343/statm: 1340 238 196 169 0 51 0
[pid=32351] ppid=32343 vsize=197000 CPUtime=1.22
/proc/32351/stat : 32351 (java) S 32343 32343 31312 0 -1 0 4745 0 1 0 118 4 0 0 18 0 9 0 1983529796 201728000 3996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32351/statm: 49250 3996 1677 9 0 43833 0
[pid=32351/tid=32352] ppid=32343 vsize=197000 CPUtime=0.95
/proc/32351/task/32352/stat : 32352 (java) R 32343 32343 31312 0 -1 64 2674 0 1 0 94 1 0 0 25 0 9 0 1983529797 201728000 3996 996147200 134512640 134550740 4294955968 18446744073709551615 4126482125 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32353] ppid=32343 vsize=197000 CPUtime=0.11
/proc/32351/task/32353/stat : 32353 (java) S 32343 32343 31312 0 -1 64 744 0 0 0 10 1 0 0 16 0 9 0 1983529799 201728000 3996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32354] ppid=32343 vsize=197000 CPUtime=0
/proc/32351/task/32354/stat : 32354 (java) S 32343 32343 31312 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983529799 201728000 3996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32355] ppid=32343 vsize=197000 CPUtime=0
/proc/32351/task/32355/stat : 32355 (java) S 32343 32343 31312 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983529799 201728000 3996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32356] ppid=32343 vsize=197000 CPUtime=0
/proc/32351/task/32356/stat : 32356 (java) S 32343 32343 31312 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983529801 201728000 3996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32357] ppid=32343 vsize=197000 CPUtime=0.14
/proc/32351/task/32357/stat : 32357 (java) S 32343 32343 31312 0 -1 64 603 0 0 0 14 0 0 0 16 0 9 0 1983529801 201728000 3996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32358] ppid=32343 vsize=197000 CPUtime=0
/proc/32351/task/32358/stat : 32358 (java) S 32343 32343 31312 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983529801 201728000 3996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32359] ppid=32343 vsize=197000 CPUtime=0
/proc/32351/task/32359/stat : 32359 (java) S 32343 32343 31312 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983529801 201728000 3996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 202360
[startup+6.30272 s]
/proc/loadavg: 2.24 2.05 1.97 3/90 32359
/proc/meminfo: memFree=1653664/2055920 swapFree=4180472/4192956
[pid=32343] ppid=32341 vsize=5360 CPUtime=1.77
/proc/32343/stat : 32343 (hydra) S 32341 32343 31312 0 -1 4194304 375 6306 0 2 0 0 174 3 17 0 1 0 1983529611 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32343/statm: 1340 238 196 169 0 51 0
[pid=32351] ppid=32343 vsize=197108 CPUtime=4.41
/proc/32351/stat : 32351 (java) S 32343 32343 31312 0 -1 0 9569 0 1 0 427 14 0 0 18 0 9 0 1983529796 201838592 7930 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32351/statm: 49277 7930 2540 9 0 43860 0
[pid=32351/tid=32352] ppid=32343 vsize=197108 CPUtime=3.44
/proc/32351/task/32352/stat : 32352 (java) R 32343 32343 31312 0 -1 64 3480 0 1 0 340 4 0 0 25 0 9 0 1983529797 201838592 7930 996147200 134512640 134550740 4294955968 18446744073709551615 4126566681 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32353] ppid=32343 vsize=197108 CPUtime=0.76
/proc/32351/task/32353/stat : 32353 (java) S 32343 32343 31312 0 -1 64 4737 0 0 0 69 7 0 0 16 0 9 0 1983529799 201838592 7930 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32354] ppid=32343 vsize=197108 CPUtime=0
/proc/32351/task/32354/stat : 32354 (java) S 32343 32343 31312 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983529799 201838592 7930 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32355] ppid=32343 vsize=197108 CPUtime=0
/proc/32351/task/32355/stat : 32355 (java) S 32343 32343 31312 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983529799 201838592 7930 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32356] ppid=32343 vsize=197108 CPUtime=0
/proc/32351/task/32356/stat : 32356 (java) S 32343 32343 31312 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983529801 201838592 7930 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32357] ppid=32343 vsize=197108 CPUtime=0.18
/proc/32351/task/32357/stat : 32357 (java) S 32343 32343 31312 0 -1 64 628 0 0 0 17 1 0 0 16 0 9 0 1983529801 201838592 7930 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32358] ppid=32343 vsize=197108 CPUtime=0
/proc/32351/task/32358/stat : 32358 (java) S 32343 32343 31312 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983529801 201838592 7930 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32359] ppid=32343 vsize=197108 CPUtime=0
/proc/32351/task/32359/stat : 32359 (java) S 32343 32343 31312 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983529801 201838592 7930 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 202468
[startup+12.7022 s]
/proc/loadavg: 2.22 2.05 1.97 3/102 32371
/proc/meminfo: memFree=1580736/2055920 swapFree=4180472/4192956
[pid=32343] ppid=32341 vsize=5360 CPUtime=1.77
/proc/32343/stat : 32343 (hydra) S 32341 32343 31312 0 -1 4194304 375 6306 0 2 0 0 174 3 17 0 1 0 1983529611 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32343/statm: 1340 238 196 169 0 51 0
[pid=32351] ppid=32343 vsize=197432 CPUtime=6.25
/proc/32351/stat : 32351 (java) S 32343 32343 31312 0 -1 0 13880 0 1 0 605 20 0 0 18 0 10 0 1983529796 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32351/statm: 49358 9395 2543 9 0 43941 0
[pid=32361] ppid=32351 vsize=5356 CPUtime=0
/proc/32361/stat : 32361 (abscon) S 32351 32343 31312 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1983530429 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 233632752452 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32361/statm: 1339 237 196 169 0 50 0
[pid=32362] ppid=32361 vsize=655792 CPUtime=4.44
/proc/32362/stat : 32362 (java) S 32361 32343 31312 0 -1 0 18901 0 1 0 429 15 0 0 18 0 9 0 1983530430 671531008 18215 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32362/statm: 163948 18215 2616 9 0 158476 0
[pid=32362/tid=32364] ppid=32361 vsize=655792 CPUtime=3.93
/proc/32362/task/32364/stat : 32364 (java) R 32361 32343 31312 0 -1 64 12569 0 1 0 382 11 0 0 25 0 9 0 1983530430 671531008 18215 996147200 134512640 134550740 4294955824 18446744073709551615 4126978129 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32362/tid=32365] ppid=32361 vsize=655792 CPUtime=0.15
/proc/32362/task/32365/stat : 32365 (java) S 32361 32343 31312 0 -1 64 5084 0 0 0 14 1 0 0 16 0 9 0 1983530432 671531008 18215 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32362/tid=32366] ppid=32361 vsize=655792 CPUtime=0
/proc/32362/task/32366/stat : 32366 (java) S 32361 32343 31312 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983530432 671531008 18215 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32362/tid=32367] ppid=32361 vsize=655792 CPUtime=0
/proc/32362/task/32367/stat : 32367 (java) S 32361 32343 31312 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983530432 671531008 18215 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32362/tid=32368] ppid=32361 vsize=655792 CPUtime=0
/proc/32362/task/32368/stat : 32368 (java) S 32361 32343 31312 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1983530434 671531008 18215 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32362/tid=32369] ppid=32361 vsize=655792 CPUtime=0.32
/proc/32362/task/32369/stat : 32369 (java) S 32361 32343 31312 0 -1 64 702 0 0 0 32 0 0 0 15 0 9 0 1983530434 671531008 18215 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32362/tid=32370] ppid=32361 vsize=655792 CPUtime=0
/proc/32362/task/32370/stat : 32370 (java) S 32361 32343 31312 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983530434 671531008 18215 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32362/tid=32371] ppid=32361 vsize=655792 CPUtime=0
/proc/32362/task/32371/stat : 32371 (java) S 32361 32343 31312 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983530434 671531008 18215 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32363] ppid=32361 vsize=7044 CPUtime=0
/proc/32363/stat : 32363 (translate) S 32361 32343 31312 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1983530430 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 233632923730 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/32363/statm: 1761 213 182 1 0 41 0
[pid=32351/tid=32352] ppid=32343 vsize=197432 CPUtime=4.81
/proc/32351/task/32352/stat : 32352 (java) S 32343 32343 31312 0 -1 64 3855 0 1 0 475 6 0 0 25 0 10 0 1983529797 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32351/tid=32353] ppid=32343 vsize=197432 CPUtime=1.2
/proc/32351/task/32353/stat : 32353 (java) S 32343 32343 31312 0 -1 64 8574 0 0 0 109 11 0 0 16 0 10 0 1983529799 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32354] ppid=32343 vsize=197432 CPUtime=0
/proc/32351/task/32354/stat : 32354 (java) S 32343 32343 31312 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1983529799 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32355] ppid=32343 vsize=197432 CPUtime=0
/proc/32351/task/32355/stat : 32355 (java) S 32343 32343 31312 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983529799 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32356] ppid=32343 vsize=197432 CPUtime=0
/proc/32351/task/32356/stat : 32356 (java) S 32343 32343 31312 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1983529801 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32357] ppid=32343 vsize=197432 CPUtime=0.21
/proc/32351/task/32357/stat : 32357 (java) S 32343 32343 31312 0 -1 64 646 0 0 0 20 1 0 0 16 0 10 0 1983529801 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32358] ppid=32343 vsize=197432 CPUtime=0
/proc/32351/task/32358/stat : 32358 (java) S 32343 32343 31312 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1983529801 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32359] ppid=32343 vsize=197432 CPUtime=0
/proc/32351/task/32359/stat : 32359 (java) S 32343 32343 31312 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 1983529801 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32360] ppid=32343 vsize=197432 CPUtime=0
/proc/32351/task/32360/stat : 32360 (java) S 32343 32343 31312 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1983530429 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 870984
[startup+25.5023 s]
/proc/loadavg: 2.17 2.05 1.97 3/102 32371
/proc/meminfo: memFree=1578880/2055920 swapFree=4180472/4192956
[pid=32343] ppid=32341 vsize=5360 CPUtime=1.77
/proc/32343/stat : 32343 (hydra) S 32341 32343 31312 0 -1 4194304 375 6306 0 2 0 0 174 3 17 0 1 0 1983529611 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32343/statm: 1340 238 196 169 0 51 0
[pid=32351] ppid=32343 vsize=197432 CPUtime=6.25
/proc/32351/stat : 32351 (java) S 32343 32343 31312 0 -1 0 13880 0 1 0 605 20 0 0 18 0 10 0 1983529796 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32351/statm: 49358 9395 2543 9 0 43941 0
[pid=32361] ppid=32351 vsize=5356 CPUtime=0
/proc/32361/stat : 32361 (abscon) S 32351 32343 31312 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1983530429 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 233632752452 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32361/statm: 1339 237 196 169 0 50 0
[pid=32362] ppid=32361 vsize=655792 CPUtime=17.06
/proc/32362/stat : 32362 (java) S 32361 32343 31312 0 -1 0 18902 0 1 0 1691 15 0 0 18 0 9 0 1983530430 671531008 18215 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32362/statm: 163948 18215 2616 9 0 158476 0
[pid=32362/tid=32364] ppid=32361 vsize=655792 CPUtime=16.55
/proc/32362/task/32364/stat : 32364 (java) R 32361 32343 31312 0 -1 64 12570 0 1 0 1644 11 0 0 25 0 9 0 1983530430 671531008 18215 996147200 134512640 134550740 4294955824 18446744073709551615 4126980504 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32362/tid=32365] ppid=32361 vsize=655792 CPUtime=0.15
/proc/32362/task/32365/stat : 32365 (java) S 32361 32343 31312 0 -1 64 5084 0 0 0 14 1 0 0 16 0 9 0 1983530432 671531008 18215 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32362/tid=32366] ppid=32361 vsize=655792 CPUtime=0
/proc/32362/task/32366/stat : 32366 (java) S 32361 32343 31312 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983530432 671531008 18215 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/32362/task/32366/stat : 32366 (java) S 32361 32343 31312 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983530432 671531008 18221 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32362/tid=32367] ppid=32361 vsize=655792 CPUtime=0
/proc/32362/task/32367/stat : 32367 (java) S 32361 32343 31312 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983530432 671531008 18221 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32362/tid=32368] ppid=32361 vsize=655792 CPUtime=0
/proc/32362/task/32368/stat : 32368 (java) S 32361 32343 31312 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1983530434 671531008 18221 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32362/tid=32369] ppid=32361 vsize=655792 CPUtime=0.33
/proc/32362/task/32369/stat : 32369 (java) S 32361 32343 31312 0 -1 64 711 0 0 0 33 0 0 0 16 0 9 0 1983530434 671531008 18221 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32362/tid=32370] ppid=32361 vsize=655792 CPUtime=0
/proc/32362/task/32370/stat : 32370 (java) S 32361 32343 31312 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983530434 671531008 18221 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32362/tid=32371] ppid=32361 vsize=655792 CPUtime=0
/proc/32362/task/32371/stat : 32371 (java) S 32361 32343 31312 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983530434 671531008 18221 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32363] ppid=32361 vsize=7044 CPUtime=0
/proc/32363/stat : 32363 (translate) S 32361 32343 31312 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1983530430 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 233632923730 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/32363/statm: 1761 213 182 1 0 41 0
[pid=32351/tid=32352] ppid=32343 vsize=197432 CPUtime=4.81
/proc/32351/task/32352/stat : 32352 (java) S 32343 32343 31312 0 -1 64 3855 0 1 0 475 6 0 0 25 0 10 0 1983529797 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32351/tid=32353] ppid=32343 vsize=197432 CPUtime=1.2
/proc/32351/task/32353/stat : 32353 (java) S 32343 32343 31312 0 -1 64 8574 0 0 0 109 11 0 0 16 0 10 0 1983529799 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32354] ppid=32343 vsize=197432 CPUtime=0
/proc/32351/task/32354/stat : 32354 (java) S 32343 32343 31312 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1983529799 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32355] ppid=32343 vsize=197432 CPUtime=0
/proc/32351/task/32355/stat : 32355 (java) S 32343 32343 31312 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983529799 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32356] ppid=32343 vsize=197432 CPUtime=0
/proc/32351/task/32356/stat : 32356 (java) S 32343 32343 31312 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1983529801 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32357] ppid=32343 vsize=197432 CPUtime=0.21
/proc/32351/task/32357/stat : 32357 (java) S 32343 32343 31312 0 -1 64 646 0 0 0 20 1 0 0 16 0 10 0 1983529801 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32358] ppid=32343 vsize=197432 CPUtime=0
/proc/32351/task/32358/stat : 32358 (java) S 32343 32343 31312 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1983529801 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32359] ppid=32343 vsize=197432 CPUtime=0
/proc/32351/task/32359/stat : 32359 (java) S 32343 32343 31312 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 1983529801 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32360] ppid=32343 vsize=197432 CPUtime=0
/proc/32351/task/32360/stat : 32360 (java) S 32343 32343 31312 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1983530429 202170368 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1157.78
Current children cumulated vsize (KiB) 870984
[startup+1177.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/102 32371
/proc/meminfo: memFree=1577344/2055920 swapFree=4180472/4192956
[pid=32343] ppid=32341 vsize=5360 CPUtime=1.77
/proc/32343/stat : 32343 (hydra) S 32341 32343 31312 0 -1 4194304 375 6306 0 2 0 0 174 3 17 0 1 0 1983529611 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32343/statm: 1340 238 196 169 0 51 0
[pid=32351] ppid=32343 vsize=197756 CPUtime=1158.63
/proc/32351/stat : 32351 (java) S 32343 32343 31312 0 -1 0 14026 19489 1 1 606 21 115217 19 18 0 10 0 1983529796 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32351/statm: 49439 9401 2544 9 0 44022 0
[pid=32351/tid=32352] ppid=32343 vsize=197756 CPUtime=1157.17
/proc/32351/task/32352/stat : 32352 (java) S 32343 32343 31312 0 -1 64 3931 19489 1 1 475 6 115217 19 17 0 10 0 1983529797 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32351/tid=32353] ppid=32343 vsize=197756 CPUtime=1153.56
/proc/32351/task/32353/stat : 32353 (java) S 32343 32343 31312 0 -1 64 8585 19489 0 1 109 11 115217 19 16 0 10 0 1983529799 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32354] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32354/stat : 32354 (java) S 32343 32343 31312 0 -1 64 11 19489 0 1 0 0 115217 19 16 0 10 0 1983529799 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32355] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32355/stat : 32355 (java) S 32343 32343 31312 0 -1 64 5 19489 0 1 0 0 115217 19 15 0 10 0 1983529799 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32356] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32356/stat : 32356 (java) S 32343 32343 31312 0 -1 64 1 19489 0 1 0 0 115217 19 18 0 10 0 1983529801 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32357] ppid=32343 vsize=197756 CPUtime=1152.57
/proc/32351/task/32357/stat : 32357 (java) S 32343 32343 31312 0 -1 64 646 19489 0 1 20 1 115217 19 16 0 10 0 1983529801 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32358] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32358/stat : 32358 (java) S 32343 32343 31312 0 -1 64 0 19489 0 1 0 0 115217 19 19 0 10 0 1983529801 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32359] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32359/stat : 32359 (java) S 32343 32343 31312 0 -1 64 15 19489 0 1 0 0 115217 19 15 0 10 0 1983529801 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1160.4
Current children cumulated vsize (KiB) 203116
[startup+1178.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/93 32374
/proc/meminfo: memFree=1621120/2055920 swapFree=4180472/4192956
[pid=32343] ppid=32341 vsize=5360 CPUtime=1.77
/proc/32343/stat : 32343 (hydra) S 32341 32343 31312 0 -1 4194304 375 6306 0 2 0 0 174 3 17 0 1 0 1983529611 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32343/statm: 1340 238 196 169 0 51 0
[pid=32351] ppid=32343 vsize=197756 CPUtime=1158.63
/proc/32351/stat : 32351 (java) S 32343 32343 31312 0 -1 0 14031 19489 1 1 606 21 115217 19 18 0 10 0 1983529796 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32351/statm: 49439 9401 2544 9 0 44022 0
[pid=32373] ppid=32351 vsize=5356 CPUtime=0
/proc/32373/stat : 32373 (mistral) S 32351 32343 31312 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1983647306 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 233632752452 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32373/statm: 1339 236 196 169 0 50 0
[pid=32374] ppid=32373 vsize=23916 CPUtime=1.33
/proc/32374/stat : 32374 (xsolve) R 32373 32343 31312 0 -1 4194304 5379 0 0 0 130 3 0 0 25 0 1 0 1983647307 24489984 5245 996147200 134512640 135239763 4294955968 18446744073709551615 135096142 0 4 0 0 0 0 0 17 1 0 0
/proc/32374/statm: 5979 5245 414 177 0 4882 0
[pid=32351/tid=32352] ppid=32343 vsize=197756 CPUtime=1157.17
/proc/32351/task/32352/stat : 32352 (java) S 32343 32343 31312 0 -1 64 3931 19489 1 1 475 6 115217 19 17 0 10 0 1983529797 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32351/tid=32353] ppid=32343 vsize=197756 CPUtime=1153.56
/proc/32351/task/32353/stat : 32353 (java) S 32343 32343 31312 0 -1 64 8589 19489 0 1 109 11 115217 19 16 0 10 0 1983529799 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32354] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32354/stat : 32354 (java) S 32343 32343 31312 0 -1 64 11 19489 0 1 0 0 115217 19 16 0 10 0 1983529799 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32355] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32355/stat : 32355 (java) S 32343 32343 31312 0 -1 64 5 19489 0 1 0 0 115217 19 15 0 10 0 1983529799 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32356] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32356/stat : 32356 (java) S 32343 32343 31312 0 -1 64 1 19489 0 1 0 0 115217 19 18 0 10 0 1983529801 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32357] ppid=32343 vsize=197756 CPUtime=1152.57
/proc/32351/task/32357/stat : 32357 (java) S 32343 32343 31312 0 -1 64 646 19489 0 1 20 1 115217 19 16 0 10 0 1983529801 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32358] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32358/stat : 32358 (java) S 32343 32343 31312 0 -1 64 0 19489 0 1 0 0 115217 19 19 0 10 0 1983529801 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32359] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32359/stat : 32359 (java) S 32343 32343 31312 0 -1 64 16 19489 0 1 0 0 115217 19 15 0 10 0 1983529801 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32372] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32372/stat : 32372 (java) S 32343 32343 31312 0 -1 64 49 19489 0 1 0 0 115217 19 18 0 10 0 1983647306 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.73
Current children cumulated vsize (KiB) 232388
[startup+1179.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/93 32374
/proc/meminfo: memFree=1619008/2055920 swapFree=4180472/4192956
[pid=32343] ppid=32341 vsize=5360 CPUtime=1.77
/proc/32343/stat : 32343 (hydra) S 32341 32343 31312 0 -1 4194304 375 6306 0 2 0 0 174 3 17 0 1 0 1983529611 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32343/statm: 1340 238 196 169 0 51 0
[pid=32351] ppid=32343 vsize=197756 CPUtime=1158.63
/proc/32351/stat : 32351 (java) S 32343 32343 31312 0 -1 0 14031 19489 1 1 606 21 115217 19 18 0 10 0 1983529796 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32351/statm: 49439 9401 2544 9 0 44022 0
[pid=32373] ppid=32351 vsize=5356 CPUtime=0
/proc/32373/stat : 32373 (mistral) S 32351 32343 31312 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1983647306 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 233632752452 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32373/statm: 1339 236 196 169 0 50 0
[pid=32374] ppid=32373 vsize=26540 CPUtime=2.13
/proc/32374/stat : 32374 (xsolve) R 32373 32343 31312 0 -1 4194304 6194 0 0 0 209 4 0 0 25 0 1 0 1983647307 27176960 5674 996147200 134512640 135239763 4294955968 18446744073709551615 135096142 0 4 0 0 0 0 0 17 1 0 0
/proc/32374/statm: 6635 5674 414 177 0 5538 0
[pid=32351/tid=32352] ppid=32343 vsize=197756 CPUtime=1157.17
/proc/32351/task/32352/stat : 32352 (java) S 32343 32343 31312 0 -1 64 3931 19489 1 1 475 6 115217 19 17 0 10 0 1983529797 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32351/tid=32353] ppid=32343 vsize=197756 CPUtime=1153.56
/proc/32351/task/32353/stat : 32353 (java) S 32343 32343 31312 0 -1 64 8589 19489 0 1 109 11 115217 19 16 0 10 0 1983529799 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32354] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32354/stat : 32354 (java) S 32343 32343 31312 0 -1 64 11 19489 0 1 0 0 115217 19 16 0 10 0 1983529799 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32355] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32355/stat : 32355 (java) S 32343 32343 31312 0 -1 64 5 19489 0 1 0 0 115217 19 15 0 10 0 1983529799 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32356] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32356/stat : 32356 (java) S 32343 32343 31312 0 -1 64 1 19489 0 1 0 0 115217 19 18 0 10 0 1983529801 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32357] ppid=32343 vsize=197756 CPUtime=1152.57
/proc/32351/task/32357/stat : 32357 (java) S 32343 32343 31312 0 -1 64 646 19489 0 1 20 1 115217 19 16 0 10 0 1983529801 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32358] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32358/stat : 32358 (java) S 32343 32343 31312 0 -1 64 0 19489 0 1 0 0 115217 19 19 0 10 0 1983529801 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32359] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32359/stat : 32359 (java) S 32343 32343 31312 0 -1 64 16 19489 0 1 0 0 115217 19 15 0 10 0 1983529801 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32372] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32372/stat : 32372 (java) S 32343 32343 31312 0 -1 64 49 19489 0 1 0 0 115217 19 18 0 10 0 1983647306 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1162.53
Current children cumulated vsize (KiB) 235012
[startup+1179.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/93 32374
/proc/meminfo: memFree=1619008/2055920 swapFree=4180472/4192956
[pid=32343] ppid=32341 vsize=5360 CPUtime=1.77
/proc/32343/stat : 32343 (hydra) S 32341 32343 31312 0 -1 4194304 375 6306 0 2 0 0 174 3 17 0 1 0 1983529611 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32343/statm: 1340 238 196 169 0 51 0
[pid=32351] ppid=32343 vsize=197756 CPUtime=1158.63
/proc/32351/stat : 32351 (java) S 32343 32343 31312 0 -1 0 14043 19489 1 1 606 21 115217 19 18 0 10 0 1983529796 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32351/statm: 49439 9401 2544 9 0 44022 0
[pid=32373] ppid=32351 vsize=5356 CPUtime=0
/proc/32373/stat : 32373 (mistral) S 32351 32343 31312 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1983647306 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 233632752452 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32373/statm: 1339 236 196 169 0 50 0
[pid=32374] ppid=32373 vsize=27540 CPUtime=2.32
/proc/32374/stat : 32374 (xsolve) R 32373 32343 31312 0 -1 4194304 6516 0 0 0 228 4 0 0 25 0 1 0 1983647307 28200960 5996 996147200 134512640 135239763 4294955968 18446744073709551615 11355989 0 4 0 0 0 0 0 17 1 0 0
/proc/32374/statm: 6885 5996 420 177 0 5788 0
[pid=32351/tid=32352] ppid=32343 vsize=197756 CPUtime=1157.17
/proc/32351/task/32352/stat : 32352 (java) S 32343 32343 31312 0 -1 64 3943 19489 1 1 475 6 115217 19 16 0 10 0 1983529797 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32351/tid=32353] ppid=32343 vsize=197756 CPUtime=1153.56
/proc/32351/task/32353/stat : 32353 (java) S 32343 32343 31312 0 -1 64 8589 19489 0 1 109 11 115217 19 16 0 10 0 1983529799 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32354] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32354/stat : 32354 (java) S 32343 32343 31312 0 -1 64 11 19489 0 1 0 0 115217 19 16 0 10 0 1983529799 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32355] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32355/stat : 32355 (java) S 32343 32343 31312 0 -1 64 5 19489 0 1 0 0 115217 19 15 0 10 0 1983529799 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32356] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32356/stat : 32356 (java) S 32343 32343 31312 0 -1 64 1 19489 0 1 0 0 115217 19 18 0 10 0 1983529801 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32357] ppid=32343 vsize=197756 CPUtime=1152.57
/proc/32351/task/32357/stat : 32357 (java) S 32343 32343 31312 0 -1 64 646 19489 0 1 20 1 115217 19 16 0 10 0 1983529801 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32358] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32358/stat : 32358 (java) S 32343 32343 31312 0 -1 64 0 19489 0 1 0 0 115217 19 19 0 10 0 1983529801 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32359] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32359/stat : 32359 (java) S 32343 32343 31312 0 -1 64 16 19489 0 1 0 0 115217 19 15 0 10 0 1983529801 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32351/tid=32372] ppid=32343 vsize=197756 CPUtime=1152.36
/proc/32351/task/32372/stat : 32372 (java) S 32343 32343 31312 0 -1 64 49 19489 0 1 0 0 115217 19 18 0 10 0 1983647306 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1162.72
Current children cumulated vsize (KiB) 236012
Child status: 0
Real time (s): 1179.39
CPU time (s): 1162.83
CPU user time (s): 1162.32
CPU system time (s): 0.505923
CPU usage (%): 98.5955
Max. virtual memory (cumulated for all children) (KiB): 870984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1162.32
system time used= 0.505923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47188
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58080
involuntary context switches= 56775
runsolver used 3.08153 second user time and 13.084 second system time
The end