0.00/0.00 c cpHydra_k_10 version 0.0
7.38/7.55 c CASE TO CLASSIFY:
7.38/7.55 c Case: 0
7.38/7.55 c 19 > 67.340600 | c 35 > 36.259700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.536500 | c 15 > 21.628500 | c 34 > 59.692800 | c 16 > 220.000000 | c 13 > -0.506735 | c 14 > 10.718500 | c 11 > 11.687800 | c 12 > 2.271100 | c 21 > 1.414110 | c 20 > 32.659400 | 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.139600 | c 1 > 11.687800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.994000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.494800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.56 c choco : 1801.0
7.38/7.56 c mistral : 1801.0
7.38/7.56 c abscon : 1801.0
7.38/7.56 c
7.38/7.56 c
7.48/7.64 c List of same ones: 10
7.48/7.64 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-4.xml
7.48/7.64 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.48/7.65 c choco : 1801.0
7.48/7.65 c mistral : 4.13
7.48/7.65 c abscon : 1800.06
7.48/7.65 c
7.48/7.65 c
7.48/7.65 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml
7.48/7.65 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.48/7.66 c choco : 24.35
7.48/7.66 c mistral : 3.62
7.48/7.66 c abscon : 12.2411
7.48/7.66 c
7.48/7.66 c
7.48/7.66 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ws97-5.xml
7.48/7.66 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.48/7.67 c choco : 1801.0
7.48/7.67 c mistral : 0.71
7.48/7.67 c abscon : 1800.1
7.48/7.67 c
7.48/7.67 c
7.48/7.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-seymour1.xml
7.48/7.67 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.48/7.68 c choco : 1801.0
7.48/7.68 c mistral : 14.2628
7.48/7.68 c abscon : 40.6598
7.48/7.68 c
7.48/7.68 c
7.48/7.68 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-stocfor1.xml
7.48/7.68 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.48/7.69 c choco : 1801.0
7.48/7.69 c mistral : 18.05
7.48/7.69 c abscon : 1800.09
7.48/7.69 c
7.48/7.69 c
7.48/7.69 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos16.xml
7.48/7.69 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.48/7.70 c choco : 5.46
7.48/7.70 c mistral : 1800.03
7.48/7.70 c abscon : 314.036
7.48/7.70 c
7.48/7.70 c
7.48/7.70 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bell5.xml
7.48/7.70 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.57/7.70 c choco : 1801.0
7.57/7.70 c mistral : 247.62
7.57/7.70 c abscon : 437.054
7.57/7.70 c
7.57/7.70 c
7.57/7.70 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2-1.xml
7.57/7.70 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.57/7.71 c choco : 2.64
7.57/7.71 c mistral : 0.55
7.57/7.71 c abscon : 199.342
7.57/7.71 c
7.57/7.71 c
7.57/7.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml
7.57/7.71 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.57/7.72 c choco : 16.5
7.57/7.72 c mistral : 4.84
7.57/7.72 c abscon : 6.63899
7.57/7.72 c
7.57/7.72 c
7.57/7.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-afiro.xml
7.57/7.72 c 19 > 0.000000 | c 35 > 17.142900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.428570 | c 15 > 20.952800 | c 34 > 27.428600 | c 16 > 270.000000 | c 13 > 10.165400 | c 14 > 10.695200 | c 11 > 10.998600 | c 12 > 5.181450 | c 21 > 1.299440 | 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.819400 | c 1 > 9.368510 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.819400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.652100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.73 c choco : 11.35
7.57/7.73 c mistral : 6.16
7.57/7.73 c abscon : 1800.07
7.57/7.73 c
7.57/7.73 c
7.76/7.92 c Length: 10
7.76/7.92 c 41.87398231539754 73.61419256824614 88.62622422423809 105.36664895480648 106.73604446973441 111.13723227026993 121.19188707046246 121.78804268059062 121.84017470484078 122.02115289526083
7.76/7.92 c
7.76/7.92 c 1.0 0.7163200173547284 0.6315803123753447 0.5579731370588736 0.5527039145622672 0.5364228966963537 0.5026001487255333 0.5007281907470468 0.50056515642125 0.5
7.76/7.93 c
7.76/7.93 c solver 0
7.76/7.93 c before 0.0 seconds: {} 0
7.76/7.93 c before 18.0 seconds: {1, 8} 1216
7.76/7.93 c before 54.0 seconds: {1, 3, 8} 1774
7.76/7.93 c before 216.0 seconds: {1, 3, 7, 8} 2275
7.76/7.93 c before 324.0 seconds: {1, 3, 5, 7, 8} 2812
7.76/7.93 c before 450.0 seconds: {1, 3, 5, 6, 7, 8} 3314
7.76/7.93 c
7.76/7.93 c solver 1
7.76/7.93 c before 0.0 seconds: {} 0
7.76/7.93 c before 18.0 seconds: {0, 1, 2, 3, 7, 8, 9} 4407
7.76/7.93 c before 36.0 seconds: {0, 1, 2, 3, 4, 7, 8, 9} 4959
7.76/7.93 c before 252.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9} 5462
7.76/7.93 c
7.76/7.93 c solver 2
7.76/7.93 c before 0.0 seconds: {} 0
7.76/7.93 c before 18.0 seconds: {5, 7, 8, 9} 2037
7.76/7.93 c before 36.0 seconds: {1, 5, 7, 8, 9} 2754
7.76/7.93 c
7.76/7.93 cTotal time: 41
7.76/7.93 c 738.0 seconds unused
7.76/7.93 c 0 c 1 c 2
7.76/7.93 c 4 c 0 c 5
7.76/7.93 c 1 c 1 c 0
7.76/7.93 c is solver0 dominated by:
7.76/7.93 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.76/7.93 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: false) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
7.76/7.93 c is dominated? false
7.76/7.93 c
7.76/7.93 c is solver1 dominated by:
7.76/7.93 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.76/7.93 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.76/7.93 c is dominated? false
7.76/7.93 c
7.76/7.93 c is solver2 dominated by:
7.76/7.93 c solver 0 (2 solves instances that 0 can't: true) (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.76/7.93 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)
7.76/7.93 c is dominated? false
7.76/7.93 c
7.76/7.93 c Number of non-dominated solvers: 3
7.76/7.93 c remove dominated solvers
7.76/7.93 c solver 0 is not dominated by another solver
7.76/7.93 c solver 1 is not dominated by another solver
7.76/7.93 c solver 2 is not dominated by another solver
7.76/7.93 c
7.76/7.93 c solver 0: 450.0
7.76/7.94 c
7.76/7.94 c+ 25/41 of 59
7.76/7.94 c
7.76/7.94 c solver 1: 252.0
7.76/7.94 c
7.76/7.94 c+ 14/41 of 59
7.76/7.94 c
7.76/7.94 c solver 2: 36.0
7.76/7.94 c
7.76/7.94 c+ 2/41 of 59
7.76/7.94 c run abscon for 1080.0 seconds {1, 3, 5, 6, 7, 8} 3314
7.76/7.94 c run mistral for 612.0 seconds {0, 1, 2, 3, 4, 6, 7, 8, 9} 5462
7.76/7.94 c run choco for 72.0 seconds {1, 5, 7, 8, 9} 2754
7.76/7.94 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.76/7.94 c On Instance: HOME/instance-1049635-1215045632.xml
7.76/7.94 c Running for: 1080 seconds
1088.12/1088.74 c Starting solver: HOME/cpHydra_k_10/solver/mistral
1088.12/1088.74 c On Instance: HOME/instance-1049635-1215045632.xml
1088.12/1088.74 c Running for: 612 seconds
1700.06/1706.42 c Starting solver: HOME/cpHydra_k_10/solver/choco
1700.06/1706.42 c On Instance: HOME/instance-1049635-1215045632.xml
1700.06/1706.42 c Running for: 72 seconds
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1049635-1215045632/watcher-1049635-1215045632 -o /tmp/evaluation-result-1049635-1215045632/solver-1049635-1215045632 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1049635-1215045632.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.02 2.08 2.02 4/81 15064
/proc/meminfo: memFree=1382896/2055920 swapFree=4179456/4192956
[pid=15064] ppid=15062 vsize=18572 CPUtime=0
/proc/15064/stat : 15064 (runsolver) R 15062 15064 13921 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 1983535664 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 221954764071 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15064/statm: 4643 292 257 25 0 2626 0
[startup+0.233488 s]
/proc/loadavg: 2.02 2.08 2.02 4/81 15064
/proc/meminfo: memFree=1382896/2055920 swapFree=4179456/4192956
[pid=15064] ppid=15062 vsize=5360 CPUtime=0
/proc/15064/stat : 15064 (hydra) S 15062 15064 13921 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983535664 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15064/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301496 s]
/proc/loadavg: 2.02 2.08 2.02 4/81 15064
/proc/meminfo: memFree=1382896/2055920 swapFree=4179456/4192956
[pid=15064] ppid=15062 vsize=5360 CPUtime=0
/proc/15064/stat : 15064 (hydra) S 15062 15064 13921 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983535664 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15064/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.401506 s]
/proc/loadavg: 2.02 2.08 2.02 4/81 15064
/proc/meminfo: memFree=1382896/2055920 swapFree=4179456/4192956
[pid=15064] ppid=15062 vsize=5360 CPUtime=0
/proc/15064/stat : 15064 (hydra) S 15062 15064 13921 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983535664 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15064/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701529 s]
/proc/loadavg: 2.02 2.08 2.02 4/81 15064
/proc/meminfo: memFree=1382896/2055920 swapFree=4179456/4192956
[pid=15064] ppid=15062 vsize=5360 CPUtime=0
/proc/15064/stat : 15064 (hydra) S 15062 15064 13921 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983535664 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15064/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.5016 s]
/proc/loadavg: 2.02 2.08 2.02 4/83 15068
/proc/meminfo: memFree=1354080/2055920 swapFree=4179456/4192956
[pid=15064] ppid=15062 vsize=5360 CPUtime=0
/proc/15064/stat : 15064 (hydra) S 15062 15064 13921 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983535664 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15064/statm: 1340 236 195 169 0 51 0
[pid=15068] ppid=15064 vsize=33700 CPUtime=1.47
/proc/15068/stat : 15068 (xsolve) R 15064 15064 13921 0 -1 4194304 7885 0 0 0 145 2 0 0 25 0 1 0 1983535665 34508800 7551 996147200 134512640 135239763 4294956176 18446744073709551615 134821106 0 0 4096 0 0 0 0 17 1 0 0
/proc/15068/statm: 8425 7551 432 177 0 7328 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 39060
[startup+3.10274 s]
/proc/loadavg: 2.02 2.08 2.02 3/91 15080
/proc/meminfo: memFree=1375584/2055920 swapFree=4179456/4192956
[pid=15064] ppid=15062 vsize=5360 CPUtime=1.95
/proc/15064/stat : 15064 (hydra) S 15062 15064 13921 0 -1 4194304 375 8483 0 0 0 0 192 3 18 0 1 0 1983535664 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15064/statm: 1340 238 196 169 0 51 0
[pid=15072] ppid=15064 vsize=197016 CPUtime=1.08
/proc/15072/stat : 15072 (java) S 15064 15064 13921 0 -1 0 4752 0 1 0 102 6 0 0 18 0 9 0 1983535863 201744384 4001 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15072/statm: 49254 4001 1677 9 0 43837 0
[pid=15072/tid=15073] ppid=15064 vsize=197016 CPUtime=0.81
/proc/15072/task/15073/stat : 15073 (java) R 15064 15064 13921 0 -1 64 2675 0 1 0 79 2 0 0 25 0 9 0 1983535864 201744384 4001 996147200 134512640 134550740 4294955968 18446744073709551615 4126104320 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15074] ppid=15064 vsize=197016 CPUtime=0.1
/proc/15072/task/15074/stat : 15074 (java) S 15064 15064 13921 0 -1 64 750 0 0 0 8 2 0 0 16 0 9 0 1983535866 201744384 4001 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15075] ppid=15064 vsize=197016 CPUtime=0
/proc/15072/task/15075/stat : 15075 (java) S 15064 15064 13921 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983535866 201744384 4001 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15076] ppid=15064 vsize=197016 CPUtime=0
/proc/15072/task/15076/stat : 15076 (java) S 15064 15064 13921 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983535866 201744384 4001 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15077] ppid=15064 vsize=197016 CPUtime=0
/proc/15072/task/15077/stat : 15077 (java) S 15064 15064 13921 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983535868 201744384 4001 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15078] ppid=15064 vsize=197016 CPUtime=0.13
/proc/15072/task/15078/stat : 15078 (java) S 15064 15064 13921 0 -1 64 601 0 0 0 13 0 0 0 16 0 9 0 1983535868 201744384 4001 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15079] ppid=15064 vsize=197016 CPUtime=0
/proc/15072/task/15079/stat : 15079 (java) S 15064 15064 13921 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983535868 201744384 4001 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15080] ppid=15064 vsize=197016 CPUtime=0
/proc/15072/task/15080/stat : 15080 (java) S 15064 15064 13921 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983535868 201744384 4001 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 202376
[startup+6.30103 s]
/proc/loadavg: 2.02 2.08 2.02 3/91 15080
/proc/meminfo: memFree=1362784/2055920 swapFree=4179456/4192956
[pid=15064] ppid=15062 vsize=5360 CPUtime=1.95
/proc/15064/stat : 15064 (hydra) S 15062 15064 13921 0 -1 4194304 375 8483 0 0 0 0 192 3 18 0 1 0 1983535664 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15064/statm: 1340 238 196 169 0 51 0
[pid=15072] ppid=15064 vsize=197016 CPUtime=4.24
/proc/15072/stat : 15072 (java) S 15064 15064 13921 0 -1 0 9710 0 1 0 410 14 0 0 18 0 9 0 1983535863 201744384 8047 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15072/statm: 49254 8047 2540 9 0 43837 0
[pid=15072/tid=15073] ppid=15064 vsize=197016 CPUtime=3.29
/proc/15072/task/15073/stat : 15073 (java) R 15064 15064 13921 0 -1 64 3503 0 1 0 326 3 0 0 25 0 9 0 1983535864 201744384 8047 996147200 134512640 134550740 4294955968 18446744073709551615 4126431816 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15074] ppid=15064 vsize=197016 CPUtime=0.75
/proc/15072/task/15074/stat : 15074 (java) S 15064 15064 13921 0 -1 64 4855 0 0 0 66 9 0 0 16 0 9 0 1983535866 201744384 8047 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15075] ppid=15064 vsize=197016 CPUtime=0
/proc/15072/task/15075/stat : 15075 (java) S 15064 15064 13921 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983535866 201744384 8047 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15076] ppid=15064 vsize=197016 CPUtime=0
/proc/15072/task/15076/stat : 15076 (java) S 15064 15064 13921 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983535866 201744384 8047 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15077] ppid=15064 vsize=197016 CPUtime=0
/proc/15072/task/15077/stat : 15077 (java) S 15064 15064 13921 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983535868 201744384 8047 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15078] ppid=15064 vsize=197016 CPUtime=0.17
/proc/15072/task/15078/stat : 15078 (java) S 15064 15064 13921 0 -1 64 626 0 0 0 17 0 0 0 16 0 9 0 1983535868 201744384 8047 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15079] ppid=15064 vsize=197016 CPUtime=0
/proc/15072/task/15079/stat : 15079 (java) S 15064 15064 13921 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983535868 201744384 8047 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15080] ppid=15064 vsize=197016 CPUtime=0
/proc/15072/task/15080/stat : 15080 (java) S 15064 15064 13921 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983535868 201744384 8047 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 202376
[startup+12.7026 s]
/proc/loadavg: 2.09 2.09 2.02 3/103 15092
/proc/meminfo: memFree=1286072/2055920 swapFree=4179456/4192956
[pid=15064] ppid=15062 vsize=5360 CPUtime=1.95
/proc/15064/stat : 15064 (hydra) S 15062 15064 13921 0 -1 4194304 375 8483 0 0 0 0 192 3 18 0 1 0 1983535664 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15064/statm: 1340 238 196 169 0 51 0
[pid=15072] ppid=15064 vsize=197340 CPUtime=5.84
/proc/15072/stat : 15072 (java) S 15064 15064 13921 0 -1 0 13876 0 1 0 565 19 0 0 18 0 10 0 1983535863 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15072/statm: 49335 9390 2543 9 0 43918 0
[pid=15082] ppid=15072 vsize=5356 CPUtime=0
/proc/15082/stat : 15082 (abscon) S 15072 15064 13921 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1983536459 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15082/statm: 1339 237 196 169 0 50 0
[pid=15083] ppid=15082 vsize=655828 CPUtime=4.74
/proc/15083/stat : 15083 (java) S 15082 15064 13921 0 -1 0 20267 0 1 0 456 18 0 0 18 0 9 0 1983536459 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15083/statm: 163957 19580 2616 9 0 158485 0
[pid=15083/tid=15085] ppid=15082 vsize=655828 CPUtime=4.2
/proc/15083/task/15085/stat : 15085 (java) R 15082 15064 13921 0 -1 64 12578 0 1 0 406 14 0 0 25 0 9 0 1983536460 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4127226767 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15083/tid=15086] ppid=15082 vsize=655828 CPUtime=0.19
/proc/15083/task/15086/stat : 15086 (java) S 15082 15064 13921 0 -1 64 6434 0 0 0 18 1 0 0 16 0 9 0 1983536461 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15083/tid=15087] ppid=15082 vsize=655828 CPUtime=0
/proc/15083/task/15087/stat : 15087 (java) S 15082 15064 13921 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983536462 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15083/tid=15088] ppid=15082 vsize=655828 CPUtime=0
/proc/15083/task/15088/stat : 15088 (java) S 15082 15064 13921 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983536462 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15083/tid=15089] ppid=15082 vsize=655828 CPUtime=0
/proc/15083/task/15089/stat : 15089 (java) S 15082 15064 13921 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1983536463 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15083/tid=15090] ppid=15082 vsize=655828 CPUtime=0.31
/proc/15083/task/15090/stat : 15090 (java) S 15082 15064 13921 0 -1 64 709 0 0 0 31 0 0 0 15 0 9 0 1983536463 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15083/tid=15091] ppid=15082 vsize=655828 CPUtime=0
/proc/15083/task/15091/stat : 15091 (java) S 15082 15064 13921 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1983536463 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15083/tid=15092] ppid=15082 vsize=655828 CPUtime=0
/proc/15083/task/15092/stat : 15092 (java) S 15082 15064 13921 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983536463 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15084] ppid=15082 vsize=7044 CPUtime=0
/proc/15084/stat : 15084 (translate) S 15082 15064 13921 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1983536460 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 221954932818 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/15084/statm: 1761 213 182 1 0 41 0
[pid=15072/tid=15073] ppid=15064 vsize=197340 CPUtime=4.49
/proc/15072/task/15073/stat : 15073 (java) S 15064 15064 13921 0 -1 64 3852 0 1 0 444 5 0 0 25 0 10 0 1983535864 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15072/tid=15074] ppid=15064 vsize=197340 CPUtime=1.12
/proc/15072/task/15074/stat : 15074 (java) S 15064 15064 13921 0 -1 64 8570 0 0 0 100 12 0 0 16 0 10 0 1983535866 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15075] ppid=15064 vsize=197340 CPUtime=0
/proc/15072/task/15075/stat : 15075 (java) S 15064 15064 13921 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1983535866 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15076] ppid=15064 vsize=197340 CPUtime=0
/proc/15072/task/15076/stat : 15076 (java) S 15064 15064 13921 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983535866 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15077] ppid=15064 vsize=197340 CPUtime=0
/proc/15072/task/15077/stat : 15077 (java) S 15064 15064 13921 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1983535868 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15078] ppid=15064 vsize=197340 CPUtime=0.2
/proc/15072/task/15078/stat : 15078 (java) S 15064 15064 13921 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 1983535868 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15079] ppid=15064 vsize=197340 CPUtime=0
/proc/15072/task/15079/stat : 15079 (java) S 15064 15064 13921 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1983535868 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15080] ppid=15064 vsize=197340 CPUtime=0
/proc/15072/task/15080/stat : 15080 (java) S 15064 15064 13921 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1983535868 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15081] ppid=15064 vsize=197340 CPUtime=0
/proc/15072/task/15081/stat : 15081 (java) S 15064 15064 13921 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1983536459 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 870928
[startup+25.5077 s]
/proc/loadavg: 2.07 2.09 2.02 3/103 15092
/proc/meminfo: memFree=1285944/2055920 swapFree=4179456/4192956
[pid=15064] ppid=15062 vsize=5360 CPUtime=1.95
/proc/15064/stat : 15064 (hydra) S 15062 15064 13921 0 -1 4194304 375 8483 0 0 0 0 192 3 18 0 1 0 1983535664 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15064/statm: 1340 238 196 169 0 51 0
[pid=15072] ppid=15064 vsize=197340 CPUtime=5.84
/proc/15072/stat : 15072 (java) S 15064 15064 13921 0 -1 0 13876 0 1 0 565 19 0 0 18 0 10 0 1983535863 202076160 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15072/statm: 49335 9390 2543 9 0 43918 0
[pid=15082] ppid=15072 vsize=5356 CPUtime=0
/proc/15082/stat : 15082 (abscon) S 15072 15064 13921 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1983536459 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15082/statm: 1339 237 196 169 0 50 0
[pid=15083] ppid=15082 vsize=655828 CPUtime=17.53
/proc/15083/stat : 15083 (java) S 15082 15064 13921 0 -1 0 20268 0 1 0 1735 18 0 0 18 0 9 0 1983536459 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15083/statm: 163957 19580 2616 9 0 158485 0
[pid=15083/tid=15085] ppid=15082 vsize=655828 CPUtime=17
/proc/15083/task/15085/stat : 15085 (java) R 15082 15064 13921 0 -1 64 12579 0 1 0 1685 15 0 0 25 0 9 0 1983536460 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4127040752 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15083/tid=15086] ppid=15082 vsize=655828 CPUtime=0.19
/proc/15083/task/15086/stat : 15086 (java) S 15082 15064 13921 0 -1 64 6434 0 0 0 18 1 0 0 16 0 9 0 1983536461 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15083/tid=15087] ppid=15082 vsize=655828 CPUtime=0
/proc/15083/task/15087/stat : 15087 (java) S 15082 15064 13921 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983536462 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/15072/statm: 49416 9396 2544 9 0 43999 0
[pid=15133] ppid=15072 vsize=5356 CPUtime=0
/proc/15133/stat : 15133 (choco) S 15072 15064 13921 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1983706307 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/15133/statm: 1339 238 197 169 0 50 0
[pid=15134] ppid=15133 vsize=655640 CPUtime=15.84
/proc/15134/stat : 15134 (java) S 15133 15064 13921 0 -1 0 19621 0 1 0 1565 19 0 0 19 0 9 0 1983706308 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15134/statm: 163910 19181 1936 9 0 158439 0
[pid=15134/tid=15135] ppid=15133 vsize=655640 CPUtime=15.16
/proc/15134/task/15135/stat : 15135 (java) R 15133 15064 13921 0 -1 64 12189 0 1 0 1501 15 0 0 25 0 9 0 1983706309 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15136] ppid=15133 vsize=655640 CPUtime=0.23
/proc/15134/task/15136/stat : 15136 (java) S 15133 15064 13921 0 -1 64 6127 0 0 0 21 2 0 0 16 0 9 0 1983706310 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15137] ppid=15133 vsize=655640 CPUtime=0
/proc/15134/task/15137/stat : 15137 (java) S 15133 15064 13921 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1983706310 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15138] ppid=15133 vsize=655640 CPUtime=0
/proc/15134/task/15138/stat : 15138 (java) S 15133 15064 13921 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1983706310 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15139] ppid=15133 vsize=655640 CPUtime=0
/proc/15134/task/15139/stat : 15139 (java) S 15133 15064 13921 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1983706312 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15140] ppid=15133 vsize=655640 CPUtime=0.44
/proc/15134/task/15140/stat : 15140 (java) S 15133 15064 13921 0 -1 64 753 0 0 0 43 1 0 0 15 0 9 0 1983706312 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15141] ppid=15133 vsize=655640 CPUtime=0
/proc/15134/task/15141/stat : 15141 (java) S 15133 15064 13921 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1983706312 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15142] ppid=15133 vsize=655640 CPUtime=0
/proc/15134/task/15142/stat : 15142 (java) S 15133 15064 13921 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983706312 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15072/tid=15073] ppid=15064 vsize=197664 CPUtime=1696.8
/proc/15072/task/15073/stat : 15073 (java) S 15064 15064 13921 0 -1 64 4014 29952 1 1 444 5 169202 29 16 0 10 0 1983535864 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=15072/tid=15074] ppid=15064 vsize=197664 CPUtime=1693.43
/proc/15072/task/15074/stat : 15074 (java) S 15064 15064 13921 0 -1 64 8610 29952 0 1 100 12 169202 29 16 0 10 0 1983535866 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15072/tid=15075] ppid=15064 vsize=197664 CPUtime=1692.31
/proc/15072/task/15075/stat : 15075 (java) S 15064 15064 13921 0 -1 64 11 29952 0 1 0 0 169202 29 16 0 10 0 1983535866 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15076] ppid=15064 vsize=197664 CPUtime=1692.31
/proc/15072/task/15076/stat : 15076 (java) S 15064 15064 13921 0 -1 64 5 29952 0 1 0 0 169202 29 15 0 10 0 1983535866 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15077] ppid=15064 vsize=197664 CPUtime=1692.31
/proc/15072/task/15077/stat : 15077 (java) S 15064 15064 13921 0 -1 64 1 29952 0 1 0 0 169202 29 18 0 10 0 1983535868 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15078] ppid=15064 vsize=197664 CPUtime=1692.51
/proc/15072/task/15078/stat : 15078 (java) S 15064 15064 13921 0 -1 64 644 29952 0 1 20 0 169202 29 16 0 10 0 1983535868 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15079] ppid=15064 vsize=197664 CPUtime=1692.31
/proc/15072/task/15079/stat : 15079 (java) S 15064 15064 13921 0 -1 64 1 29952 0 1 0 0 169202 29 19 0 10 0 1983535868 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15080] ppid=15064 vsize=197664 CPUtime=1692.31
/proc/15072/task/15080/stat : 15080 (java) S 15064 15064 13921 0 -1 64 25 29952 0 1 0 0 169202 29 15 0 10 0 1983535868 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15072/tid=15132] ppid=15064 vsize=197664 CPUtime=1692.31
/proc/15072/task/15132/stat : 15132 (java) S 15064 15064 13921 0 -1 64 43 29952 0 1 0 0 169202 29 17 0 10 0 1983706307 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.95
Current children cumulated vsize (KiB) 864020
[startup+1782.3 s]
/proc/loadavg: 1.98 2.00 1.99 3/93 15142
/proc/meminfo: memFree=1301448/2055920 swapFree=4179456/4192956
[pid=15064] ppid=15062 vsize=5360 CPUtime=1.95
/proc/15064/stat : 15064 (hydra) S 15062 15064 13921 0 -1 4194304 375 8483 0 0 0 0 192 3 18 0 1 0 1983535664 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15064/statm: 1340 238 196 169 0 51 0
[pid=15072] ppid=15064 vsize=197664 CPUtime=1698.16
/proc/15072/stat : 15072 (java) S 15064 15064 13921 0 -1 0 14210 29952 1 1 565 20 169202 29 18 0 10 0 1983535863 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15072/statm: 49416 9396 2544 9 0 43999 0
[pid=15133] ppid=15072 vsize=5356 CPUtime=0
/proc/15133/stat : 15133 (choco) S 15072 15064 13921 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1983706307 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/15133/statm: 1339 238 197 169 0 50 0
[pid=15134] ppid=15133 vsize=655640 CPUtime=75.82
/proc/15134/stat : 15134 (java) S 15133 15064 13921 0 -1 0 19627 0 1 0 7523 59 0 0 19 0 9 0 1983706308 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15134/statm: 163910 19181 1936 9 0 158439 0
[pid=15134/tid=15135] ppid=15133 vsize=655640 CPUtime=75.11
/proc/15134/task/15135/stat : 15135 (java) R 15133 15064 13921 0 -1 64 12195 0 1 0 7457 54 0 0 25 0 9 0 1983706309 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15136] ppid=15133 vsize=655640 CPUtime=0.24
/proc/15134/task/15136/stat : 15136 (java) S 15133 15064 13921 0 -1 64 6127 0 0 0 22 2 0 0 16 0 9 0 1983706310 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15137] ppid=15133 vsize=655640 CPUtime=0
/proc/15134/task/15137/stat : 15137 (java) S 15133 15064 13921 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1983706310 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15138] ppid=15133 vsize=655640 CPUtime=0
/proc/15134/task/15138/stat : 15138 (java) S 15133 15064 13921 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1983706310 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15139] ppid=15133 vsize=655640 CPUtime=0
/proc/15134/task/15139/stat : 15139 (java) S 15133 15064 13921 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1983706312 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15140] ppid=15133 vsize=655640 CPUtime=0.44
/proc/15134/task/15140/stat : 15140 (java) S 15133 15064 13921 0 -1 64 753 0 0 0 43 1 0 0 15 0 9 0 1983706312 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15141] ppid=15133 vsize=655640 CPUtime=0
/proc/15134/task/15141/stat : 15141 (java) S 15133 15064 13921 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1983706312 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15142] ppid=15133 vsize=655640 CPUtime=0
/proc/15134/task/15142/stat : 15142 (java) S 15133 15064 13921 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983706312 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15072/tid=15073] ppid=15064 vsize=197664 CPUtime=1696.8
/proc/15072/task/15073/stat : 15073 (java) S 15064 15064 13921 0 -1 64 4014 29952 1 1 444 5 169202 29 16 0 10 0 1983535864 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=15072/tid=15074] ppid=15064 vsize=197664 CPUtime=1693.43
/proc/15072/task/15074/stat : 15074 (java) S 15064 15064 13921 0 -1 64 8610 29952 0 1 100 12 169202 29 16 0 10 0 1983535866 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15072/tid=15075] ppid=15064 vsize=197664 CPUtime=1692.31
/proc/15072/task/15075/stat : 15075 (java) S 15064 15064 13921 0 -1 64 11 29952 0 1 0 0 169202 29 16 0 10 0 1983535866 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15076] ppid=15064 vsize=197664 CPUtime=1692.31
/proc/15072/task/15076/stat : 15076 (java) S 15064 15064 13921 0 -1 64 5 29952 0 1 0 0 169202 29 15 0 10 0 1983535866 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15077] ppid=15064 vsize=197664 CPUtime=1692.31
/proc/15072/task/15077/stat : 15077 (java) S 15064 15064 13921 0 -1 64 1 29952 0 1 0 0 169202 29 18 0 10 0 1983535868 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15078] ppid=15064 vsize=197664 CPUtime=1692.51
/proc/15072/task/15078/stat : 15078 (java) S 15064 15064 13921 0 -1 64 644 29952 0 1 20 0 169202 29 16 0 10 0 1983535868 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15079] ppid=15064 vsize=197664 CPUtime=1692.31
/proc/15072/task/15079/stat : 15079 (java) S 15064 15064 13921 0 -1 64 1 29952 0 1 0 0 169202 29 19 0 10 0 1983535868 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15080] ppid=15064 vsize=197664 CPUtime=1692.31
/proc/15072/task/15080/stat : 15080 (java) S 15064 15064 13921 0 -1 64 25 29952 0 1 0 0 169202 29 15 0 10 0 1983535868 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15072/tid=15132] ppid=15064 vsize=197664 CPUtime=1692.31
/proc/15072/task/15132/stat : 15132 (java) S 15064 15064 13921 0 -1 64 43 29952 0 1 0 0 169202 29 17 0 10 0 1983706307 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.93
Current children cumulated vsize (KiB) 864020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.41 s]
/proc/loadavg: 1.98 2.00 1.99 3/93 15142
/proc/meminfo: memFree=1301320/2055920 swapFree=4179456/4192956
[pid=15064] ppid=15062 vsize=5360 CPUtime=1.95
/proc/15064/stat : 15064 (hydra) S 15062 15064 13921 0 -1 4194304 375 8483 0 0 0 0 192 3 18 0 1 0 1983535664 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15064/statm: 1340 238 196 169 0 51 0
[pid=15072] ppid=15064 vsize=197664 CPUtime=1698.16
/proc/15072/stat : 15072 (java) S 15064 15064 13921 0 -1 0 14210 29952 1 1 565 20 169202 29 18 0 10 0 1983535863 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15072/statm: 49416 9396 2544 9 0 43999 0
[pid=15133] ppid=15072 vsize=5356 CPUtime=0
/proc/15133/stat : 15133 (choco) S 15072 15064 13921 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1983706307 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/15133/statm: 1339 238 197 169 0 50 0
[pid=15134] ppid=15133 vsize=655640 CPUtime=99.92
/proc/15134/stat : 15134 (java) S 15133 15064 13921 0 -1 0 19629 0 1 0 9915 77 0 0 19 0 9 0 1983706308 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15134/statm: 163910 19181 1936 9 0 158439 0
[pid=15134/tid=15135] ppid=15133 vsize=655640 CPUtime=99.21
/proc/15134/task/15135/stat : 15135 (java) R 15133 15064 13921 0 -1 64 12197 0 1 0 9849 72 0 0 25 0 9 0 1983706309 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4127565746 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15136] ppid=15133 vsize=655640 CPUtime=0.25
/proc/15134/task/15136/stat : 15136 (java) S 15133 15064 13921 0 -1 64 6127 0 0 0 23 2 0 0 16 0 9 0 1983706310 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15137] ppid=15133 vsize=655640 CPUtime=0
/proc/15134/task/15137/stat : 15137 (java) S 15133 15064 13921 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1983706310 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15138] ppid=15133 vsize=655640 CPUtime=0
/proc/15134/task/15138/stat : 15138 (java) S 15133 15064 13921 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1983706310 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15139] ppid=15133 vsize=655640 CPUtime=0
/proc/15134/task/15139/stat : 15139 (java) S 15133 15064 13921 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1983706312 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15140] ppid=15133 vsize=655640 CPUtime=0.44
/proc/15134/task/15140/stat : 15140 (java) S 15133 15064 13921 0 -1 64 753 0 0 0 43 1 0 0 15 0 9 0 1983706312 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15141] ppid=15133 vsize=655640 CPUtime=0
/proc/15134/task/15141/stat : 15141 (java) S 15133 15064 13921 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1983706312 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15134/tid=15142] ppid=15133 vsize=655640 CPUtime=0
/proc/15134/task/15142/stat : 15142 (java) S 15133 15064 13921 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983706312 671375360 19181 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15072/tid=15073] ppid=15064 vsize=197664 CPUtime=1696.8
/proc/15072/task/15073/stat : 15073 (java) S 15064 15064 13921 0 -1 64 4014 29952 1 1 444 5 169202 29 16 0 10 0 1983535864 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=15072/tid=15074] ppid=15064 vsize=197664 CPUtime=1693.43
/proc/15072/task/15074/stat : 15074 (java) S 15064 15064 13921 0 -1 64 8610 29952 0 1 100 12 169202 29 16 0 10 0 1983535866 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15072/tid=15075] ppid=15064 vsize=197664 CPUtime=1692.31
/proc/15072/task/15075/stat : 15075 (java) S 15064 15064 13921 0 -1 64 11 29952 0 1 0 0 169202 29 16 0 10 0 1983535866 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15076] ppid=15064 vsize=197664 CPUtime=1692.31
/proc/15072/task/15076/stat : 15076 (java) S 15064 15064 13921 0 -1 64 5 29952 0 1 0 0 169202 29 15 0 10 0 1983535866 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15077] ppid=15064 vsize=197664 CPUtime=1692.31
/proc/15072/task/15077/stat : 15077 (java) S 15064 15064 13921 0 -1 64 1 29952 0 1 0 0 169202 29 18 0 10 0 1983535868 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15078] ppid=15064 vsize=197664 CPUtime=1692.51
/proc/15072/task/15078/stat : 15078 (java) S 15064 15064 13921 0 -1 64 644 29952 0 1 20 0 169202 29 16 0 10 0 1983535868 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15079] ppid=15064 vsize=197664 CPUtime=1692.31
/proc/15072/task/15079/stat : 15079 (java) S 15064 15064 13921 0 -1 64 1 29952 0 1 0 0 169202 29 19 0 10 0 1983535868 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15072/tid=15080] ppid=15064 vsize=197664 CPUtime=1692.31
/proc/15072/task/15080/stat : 15080 (java) S 15064 15064 13921 0 -1 64 25 29952 0 1 0 0 169202 29 15 0 10 0 1983535868 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15072/tid=15132] ppid=15064 vsize=197664 CPUtime=1692.31
/proc/15072/task/15132/stat : 15132 (java) S 15064 15064 13921 0 -1 64 43 29952 0 1 0 0 169202 29 17 0 10 0 1983706307 202407936 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 864020
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15064 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=924707
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=41993
# CPU time returned by wait4() is 1.9667
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1806.44
CPU time (s): 1800.03
CPU user time (s): 1798.74
CPU system time (s): 1.29
CPU usage (%): 99.6452
Max. virtual memory (cumulated for all children) (KiB): 870928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.92471
system time used= 0.041993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8858
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 82
runsolver used 6.32404 second user time and 13.7069 second system time
The end