0.00/0.00 c cpHydra_k_10 version 0.0
6.71/6.83 c CASE TO CLASSIFY:
6.71/6.83 c Case: 0
6.71/6.83 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.624700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.402800 | c 14 > 14.051200 | c 11 > 6.906890 | c 12 > 11.821600 | c 21 > 2.909750 | c 20 > 0.000000 | c 22 > 3.872980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.763210 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.915880 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.71/6.84 c choco : 1801.0
6.71/6.84 c mistral : 1801.0
6.71/6.84 c abscon : 1801.0
6.71/6.84 c
6.71/6.84 c
6.82/6.91 c List of same ones: 10
6.82/6.91 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-6_ext.xml
6.82/6.91 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.093200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.831100 | c 14 > 13.897600 | c 11 > 6.906890 | c 12 > 11.922100 | c 21 > 2.909750 | c 20 > 0.000000 | c 22 > 3.872980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.763210 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.971540 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.82/6.92 c choco : 1.98
6.82/6.92 c mistral : 0.888864
6.82/6.92 c abscon : 1.51277
6.82/6.92 c
6.82/6.92 c
6.82/6.92 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-0_ext.xml
6.82/6.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.056900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.834800 | c 14 > 13.928800 | c 11 > 6.906890 | c 12 > 11.801700 | c 21 > 2.909750 | c 20 > 0.000000 | c 22 > 3.872980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.766530 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.052570 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.82/6.92 c choco : 1.71
6.82/6.92 c mistral : 0.294955
6.82/6.92 c abscon : 1.3438
6.82/6.92 c
6.82/6.92 c
6.82/6.92 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-5_ext.xml
6.82/6.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.139700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.031500 | c 14 > 13.664100 | c 11 > 6.906890 | c 12 > 11.386800 | c 21 > 2.909750 | c 20 > 0.000000 | c 22 > 3.872980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.763210 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.915880 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.82/6.93 c choco : 2.41
6.82/6.93 c mistral : 2.56061
6.82/6.93 c abscon : 5.59815
6.82/6.93 c
6.82/6.93 c
6.82/6.93 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-9_ext.xml
6.82/6.93 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.896900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 12.197100 | c 14 > 13.726400 | c 11 > 6.906890 | c 12 > 12.021500 | c 21 > 2.909750 | c 20 > 0.000000 | c 22 > 3.872980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.763210 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.971540 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.82/6.94 c choco : 2.18
6.82/6.94 c mistral : 3.68944
6.82/6.94 c abscon : 6.576
6.82/6.94 c
6.82/6.94 c
6.82/6.94 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-2_ext.xml
6.82/6.94 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.881300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 13.056200 | c 14 > 14.189400 | c 11 > 6.906890 | c 12 > 12.221700 | c 21 > 2.909750 | c 20 > 0.000000 | c 22 > 3.872980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.764870 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.033420 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.82/6.95 c choco : 1.73
6.82/6.95 c mistral : 2.31065
6.82/6.95 c abscon : 1.27481
6.82/6.95 c
6.82/6.95 c
6.82/6.95 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-8_ext.xml
6.82/6.95 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.625500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.844100 | c 14 > 13.151000 | c 11 > 7.546890 | c 12 > 10.952100 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.647500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.714250 | c 31 > -1.000000 | c 4 > 7.546890 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.82/6.96 c choco : 13.14
6.82/6.96 c mistral : 111.164
6.82/6.96 c abscon : 90.4513
6.82/6.96 c
6.82/6.96 c
6.82/6.96 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-7_ext.xml
6.82/6.96 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.560400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.527600 | c 14 > 12.829100 | c 11 > 7.366320 | c 12 > 10.625800 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.277300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.317410 | c 31 > -1.000000 | c 4 > 7.366320 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.82/6.97 c choco : 3.32
6.82/6.97 c mistral : 4.6143
6.82/6.97 c abscon : 17.1644
6.82/6.97 c
6.82/6.97 c
6.82/6.97 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-1_ext.xml
6.82/6.97 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.514700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.111600 | c 14 > 13.089100 | c 11 > 7.546890 | c 12 > 10.653900 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.649300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.724510 | c 31 > -1.000000 | c 4 > 7.546890 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.82/6.98 c choco : 2.04
6.82/6.98 c mistral : 3.37
6.82/6.98 c abscon : 10.3474
6.82/6.98 c
6.82/6.98 c
6.82/6.98 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-0_ext.xml
6.82/6.98 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.461000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.525900 | c 14 > 12.725600 | c 11 > 7.546890 | c 12 > 10.964100 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.647500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.693490 | c 31 > -1.000000 | c 4 > 7.546890 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.82/6.98 c choco : 9.89
6.82/6.98 c mistral : 47.8837
6.82/6.98 c abscon : 83.9172
6.82/6.98 c
6.82/6.98 c
6.82/6.98 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-6_ext.xml
6.82/6.98 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.539900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 13.207000 | c 14 > 13.388300 | c 11 > 7.539160 | c 12 > 11.691100 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.633900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.668880 | c 31 > -1.000000 | c 4 > 7.539160 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.82/6.99 c choco : 10.43
6.82/6.99 c mistral : 141.615
6.82/6.99 c abscon : 373.165
6.82/6.99 c
6.82/6.99 c
6.99/7.18 c Length: 10
6.99/7.18 c 0.7090305956727122 0.7369489727925551 0.843792711511542 1.1441846073077564 1.8653076896855398 2.326327001670231 2.4563954984488956 2.5055922139685856 2.545862577575625 2.7252033611457342
6.99/7.18 c
6.99/7.18 c 1.0 0.9863419117973236 0.937347189350224 0.8224822509594524 0.6355254944201948 0.5548891900070904 0.5357121259825052 0.5287996913858005 0.5232728474695298 0.5
6.99/7.18 c
6.99/7.18 c solver 0
6.99/7.18 c before 0.0 seconds: {} 0
6.99/7.18 c before 18.0 seconds: {0, 1, 2, 3, 4, 6, 7} 5446
6.99/7.18 c before 90.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8} 5969
6.99/7.18 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 6524
6.99/7.18 c before 378.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7024
6.99/7.18 c
6.99/7.18 c solver 1
6.99/7.18 c before 0.0 seconds: {} 0
6.99/7.18 c before 18.0 seconds: {0, 1, 2, 3, 4, 6, 7} 5446
6.99/7.18 c before 54.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8} 5969
6.99/7.18 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 6524
6.99/7.19 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7024
6.99/7.19 c
6.99/7.19 c solver 2
6.99/7.19 c before 0.0 seconds: {} 0
6.99/7.19 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7024
6.99/7.19 c
6.99/7.19 cTotal time: 30
6.99/7.19 c 540.0 seconds unused
6.99/7.19 c 0 c 0 c 0
6.99/7.19 c 0 c 0 c 0
6.99/7.19 c 0 c 0 c 0
6.99/7.19 c is solver0 dominated by:
6.99/7.19 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
6.99/7.19 c is dominated? true
6.99/7.19 c
6.99/7.19 c is solver1 dominated by:
6.99/7.19 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
6.99/7.19 c solver 2 (1 solves instances that 2 can't: false) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
6.99/7.19 c is dominated? true
6.99/7.19 c
6.99/7.19 c is solver2 dominated by:
6.99/7.19 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
6.99/7.19 c solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: true) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
6.99/7.19 c is dominated? false
6.99/7.19 c
6.99/7.19 c Number of non-dominated solvers: 1
6.99/7.19 c remove dominated solvers
6.99/7.19 c solver 2 is not dominated by another solver
6.99/7.19 c solver 1 is dominated by another solver
6.99/7.19 c solver 0 is dominated by another solver
6.99/7.19 c
6.99/7.19 c solver 0: 0.0
6.99/7.19 c
6.99/7.19 c solver 1: 0.0
6.99/7.19 c
6.99/7.19 c solver 2: 18.0
6.99/7.19 c
6.99/7.19 c+ 1/1 of 99
6.99/7.19 c do not run abscon
6.99/7.19 c do not run mistral
6.99/7.19 c run choco for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7024
6.99/7.19 c Starting solver: HOME/cpHydra_k_10/solver/choco
6.99/7.19 c On Instance: HOME/instance-1045326-1215020705.xml
6.99/7.19 c Running for: 1800 seconds
10.30/10.60 s SATISFIABLE
10.30/10.60 v 6 5 1 7 13 9 2 8 0 14 12 10 4 11 3 3 7 8 10 12 1 9 0 5 13 4 11 6 14 2 11 3 14 9 4 2 13 5 10 8 7 1 12 6 0 0 1 11 3 9 4 10 14 2 6 8 5 7 13 12 10 8 0 12 11 5 14 1 4 2 9 13 3 7 6 8 0 4 5 6 13 7 11 14 3 2 12 1 9 10 7 9 6 11 2 8 4 10 3 12 5 14 13 0 1 13 2 10 0 3 12 1 7 11 9 6 8 14 5 4 5 11 7 2 0 14 6 12 8 1 3 4 9 10 13 14 10 12 13 1 6 8 3 7 5 0 9 2 4 11 1 14 3 8 5 10 12 6 9 4 13 0 11 2 7 9 13 2 1 7 0 11 4 12 10 14 6 8 3 5 12 6 9 4 10 7 5 2 13 11 1 3 0 8 14 2 4 13 6 14 11 3 9 1 0 10 7 5 12 8 4 12 5 14 8 3 0 13 6 7 11 2 10 1 9
10.30/10.60 d ASSIGNMENTS 62
10.30/10.60 c SAT 3244 TIME 62 NDS 444 PARSTIME 257 BUILDPB 2543 RES true RESTART 1 HEURISTIC
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1045326-1215020705/watcher-1045326-1215020705 -o /tmp/evaluation-result-1045326-1215020705/solver-1045326-1215020705 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1045326-1215020705.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.42 2.12 1.73 3/81 21575
/proc/meminfo: memFree=1719192/2055920 swapFree=4180532/4192956
[pid=21575] ppid=21573 vsize=5360 CPUtime=0
/proc/21575/stat : 21575 (hydra) S 21573 21575 19748 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 625000931 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21575/statm: 1340 236 195 169 0 51 0
[pid=21578] ppid=21575 vsize=5792 CPUtime=0.21
/proc/21578/stat : 21578 (xsolve) R 21575 21575 19748 0 -1 4194304 805 0 0 0 21 0 0 0 20 0 1 0 625000931 5931008 764 996147200 134512640 135239763 4294956176 18446744073709551615 135072083 0 0 4096 0 0 0 0 17 0 0 0
/proc/21578/statm: 1448 764 423 177 0 351 0
[startup+0.312134 s]
/proc/loadavg: 2.42 2.12 1.73 3/81 21575
/proc/meminfo: memFree=1719192/2055920 swapFree=4180532/4192956
[pid=21575] ppid=21573 vsize=5360 CPUtime=0
/proc/21575/stat : 21575 (hydra) S 21573 21575 19748 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 625000931 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21575/statm: 1340 236 195 169 0 51 0
[pid=21578] ppid=21575 vsize=5792 CPUtime=0.3
/proc/21578/stat : 21578 (xsolve) R 21575 21575 19748 0 -1 4194304 805 0 0 0 30 0 0 0 20 0 1 0 625000931 5931008 764 996147200 134512640 135239763 4294956176 18446744073709551615 134737864 0 0 4096 0 0 0 0 17 0 0 0
/proc/21578/statm: 1448 764 423 177 0 351 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 11152
[startup+0.402144 s]
/proc/loadavg: 2.42 2.12 1.73 3/81 21575
/proc/meminfo: memFree=1719192/2055920 swapFree=4180532/4192956
[pid=21575] ppid=21573 vsize=5360 CPUtime=0
/proc/21575/stat : 21575 (hydra) S 21573 21575 19748 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 625000931 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21575/statm: 1340 236 195 169 0 51 0
[pid=21578] ppid=21575 vsize=5792 CPUtime=0.38
/proc/21578/stat : 21578 (xsolve) R 21575 21575 19748 0 -1 4194304 805 0 0 0 38 0 0 0 21 0 1 0 625000931 5931008 764 996147200 134512640 135239763 4294956176 18446744073709551615 134737368 0 0 4096 0 0 0 0 17 0 0 0
/proc/21578/statm: 1448 764 423 177 0 351 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 11152
[startup+0.501163 s]
/proc/loadavg: 2.42 2.12 1.73 3/81 21575
/proc/meminfo: memFree=1719192/2055920 swapFree=4180532/4192956
[pid=21575] ppid=21573 vsize=5360 CPUtime=0
/proc/21575/stat : 21575 (hydra) S 21573 21575 19748 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 625000931 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21575/statm: 1340 236 195 169 0 51 0
[pid=21578] ppid=21575 vsize=5792 CPUtime=0.48
/proc/21578/stat : 21578 (xsolve) R 21575 21575 19748 0 -1 4194304 805 0 0 0 48 0 0 0 21 0 1 0 625000931 5931008 764 996147200 134512640 135239763 4294956176 18446744073709551615 134821029 0 0 4096 0 0 0 0 17 0 0 0
/proc/21578/statm: 1448 764 423 177 0 351 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 11152
[startup+0.701176 s]
/proc/loadavg: 2.42 2.12 1.73 3/81 21575
/proc/meminfo: memFree=1719192/2055920 swapFree=4180532/4192956
[pid=21575] ppid=21573 vsize=5360 CPUtime=0
/proc/21575/stat : 21575 (hydra) S 21573 21575 19748 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 625000931 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21575/statm: 1340 236 195 169 0 51 0
[pid=21578] ppid=21575 vsize=5792 CPUtime=0.68
/proc/21578/stat : 21578 (xsolve) R 21575 21575 19748 0 -1 4194304 805 0 0 0 68 0 0 0 24 0 1 0 625000931 5931008 764 996147200 134512640 135239763 4294956176 18446744073709551615 134789571 0 0 4096 0 0 0 0 17 0 0 0
/proc/21578/statm: 1448 764 423 177 0 351 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11152
[startup+1.50126 s]
/proc/loadavg: 2.42 2.12 1.73 3/83 21579
/proc/meminfo: memFree=1717576/2055920 swapFree=4180532/4192956
[pid=21575] ppid=21573 vsize=5360 CPUtime=0
/proc/21575/stat : 21575 (hydra) S 21573 21575 19748 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 625000931 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21575/statm: 1340 236 195 169 0 51 0
[pid=21578] ppid=21575 vsize=5792 CPUtime=1.48
/proc/21578/stat : 21578 (xsolve) R 21575 21575 19748 0 -1 4194304 805 0 0 0 147 1 0 0 25 0 1 0 625000931 5931008 764 996147200 134512640 135239763 4294956176 18446744073709551615 134820511 0 0 4096 0 0 0 0 17 0 0 0
/proc/21578/statm: 1448 764 423 177 0 351 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11152
[startup+3.10143 s]
/proc/loadavg: 2.42 2.12 1.73 3/91 21591
/proc/meminfo: memFree=1709704/2055920 swapFree=4180532/4192956
[pid=21575] ppid=21573 vsize=5360 CPUtime=1.51
/proc/21575/stat : 21575 (hydra) S 21573 21575 19748 0 -1 4194304 375 1401 0 0 0 0 150 1 19 0 1 0 625000931 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21575/statm: 1340 238 196 169 0 51 0
[pid=21583] ppid=21575 vsize=196984 CPUtime=1.53
/proc/21583/stat : 21583 (java) S 21575 21575 19748 0 -1 0 6552 0 1 0 146 7 0 0 21 0 9 0 625001085 201711616 5503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21583/statm: 49246 5503 2540 9 0 43829 0
[pid=21583/tid=21584] ppid=21575 vsize=196984 CPUtime=1.16
/proc/21583/task/21584/stat : 21584 (java) R 21575 21575 19748 0 -1 64 2807 0 1 0 114 2 0 0 25 0 9 0 625001085 201711616 5503 996147200 134512640 134550740 4294955968 18446744073709551615 4126443227 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21585] ppid=21575 vsize=196984 CPUtime=0.21
/proc/21583/task/21585/stat : 21585 (java) S 21575 21575 19748 0 -1 64 2408 0 0 0 18 3 0 0 16 0 9 0 625001087 201711616 5503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21586] ppid=21575 vsize=196984 CPUtime=0
/proc/21583/task/21586/stat : 21586 (java) S 21575 21575 19748 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 625001087 201711616 5503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21587] ppid=21575 vsize=196984 CPUtime=0
/proc/21583/task/21587/stat : 21587 (java) S 21575 21575 19748 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 625001087 201711616 5503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21588] ppid=21575 vsize=196984 CPUtime=0
/proc/21583/task/21588/stat : 21588 (java) S 21575 21575 19748 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 625001089 201711616 5503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21589] ppid=21575 vsize=196984 CPUtime=0.13
/proc/21583/task/21589/stat : 21589 (java) S 21575 21575 19748 0 -1 64 613 0 0 0 13 0 0 0 16 0 9 0 625001089 201711616 5503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21590] ppid=21575 vsize=196984 CPUtime=0
/proc/21583/task/21590/stat : 21590 (java) S 21575 21575 19748 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 625001089 201711616 5503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21591] ppid=21575 vsize=196984 CPUtime=0
/proc/21583/task/21591/stat : 21591 (java) S 21575 21575 19748 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 625001089 201711616 5503 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 202344
[startup+6.30277 s]
/proc/loadavg: 2.46 2.13 1.74 3/91 21591
/proc/meminfo: memFree=1695432/2055920 swapFree=4180532/4192956
[pid=21575] ppid=21573 vsize=5360 CPUtime=1.51
/proc/21575/stat : 21575 (hydra) S 21573 21575 19748 0 -1 4194304 375 1401 0 0 0 0 150 1 19 0 1 0 625000931 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21575/statm: 1340 238 196 169 0 51 0
[pid=21583] ppid=21575 vsize=197092 CPUtime=4.7
/proc/21583/stat : 21583 (java) S 21575 21575 19748 0 -1 0 10510 0 1 0 453 17 0 0 21 0 9 0 625001085 201822208 8715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21583/statm: 49273 8715 2540 9 0 43856 0
[pid=21583/tid=21584] ppid=21575 vsize=197092 CPUtime=3.71
/proc/21583/task/21584/stat : 21584 (java) R 21575 21575 19748 0 -1 64 3633 0 1 0 366 5 0 0 25 0 9 0 625001085 201822208 8715 996147200 134512640 134550740 4294955968 18446744073709551615 4126612592 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21585] ppid=21575 vsize=197092 CPUtime=0.8
/proc/21583/task/21585/stat : 21585 (java) S 21575 21575 19748 0 -1 64 5524 0 0 0 70 10 0 0 16 0 9 0 625001087 201822208 8715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21586] ppid=21575 vsize=197092 CPUtime=0
/proc/21583/task/21586/stat : 21586 (java) S 21575 21575 19748 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 625001087 201822208 8715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21587] ppid=21575 vsize=197092 CPUtime=0
/proc/21583/task/21587/stat : 21587 (java) S 21575 21575 19748 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 625001087 201822208 8715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21588] ppid=21575 vsize=197092 CPUtime=0
/proc/21583/task/21588/stat : 21588 (java) S 21575 21575 19748 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 625001089 201822208 8715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21589] ppid=21575 vsize=197092 CPUtime=0.15
/proc/21583/task/21589/stat : 21589 (java) S 21575 21575 19748 0 -1 64 629 0 0 0 15 0 0 0 16 0 9 0 625001089 201822208 8715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21590] ppid=21575 vsize=197092 CPUtime=0
/proc/21583/task/21590/stat : 21590 (java) S 21575 21575 19748 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 625001089 201822208 8715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21591] ppid=21575 vsize=197092 CPUtime=0
/proc/21583/task/21591/stat : 21591 (java) S 21575 21575 19748 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 625001089 201822208 8715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 202452
Solver just ended. Dumping a history of the last processes samples
[startup+6.60281 s]
/proc/loadavg: 2.46 2.13 1.74 3/91 21591
/proc/meminfo: memFree=1695432/2055920 swapFree=4180532/4192956
[pid=21575] ppid=21573 vsize=5360 CPUtime=1.51
/proc/21575/stat : 21575 (hydra) S 21573 21575 19748 0 -1 4194304 375 1401 0 0 0 0 150 1 19 0 1 0 625000931 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21575/statm: 1340 238 196 169 0 51 0
[pid=21583] ppid=21575 vsize=197092 CPUtime=5
/proc/21583/stat : 21583 (java) S 21575 21575 19748 0 -1 0 10862 0 1 0 482 18 0 0 21 0 9 0 625001085 201822208 9008 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21583/statm: 49273 9008 2540 9 0 43856 0
[pid=21583/tid=21584] ppid=21575 vsize=197092 CPUtime=3.97
/proc/21583/task/21584/stat : 21584 (java) R 21575 21575 19748 0 -1 64 3692 0 1 0 391 6 0 0 25 0 9 0 625001085 201822208 9008 996147200 134512640 134550740 4294955968 18446744073709551615 4160647107 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21585] ppid=21575 vsize=197092 CPUtime=0.85
/proc/21583/task/21585/stat : 21585 (java) R 21575 21575 19748 0 -1 64 5816 0 0 0 74 11 0 0 15 0 9 0 625001087 201822208 9008 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21586] ppid=21575 vsize=197092 CPUtime=0
/proc/21583/task/21586/stat : 21586 (java) S 21575 21575 19748 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 625001087 201822208 9008 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21587] ppid=21575 vsize=197092 CPUtime=0
/proc/21583/task/21587/stat : 21587 (java) S 21575 21575 19748 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 625001087 201822208 9008 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21588] ppid=21575 vsize=197092 CPUtime=0
/proc/21583/task/21588/stat : 21588 (java) S 21575 21575 19748 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 625001089 201822208 9008 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21589] ppid=21575 vsize=197092 CPUtime=0.16
/proc/21583/task/21589/stat : 21589 (java) S 21575 21575 19748 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 625001089 201822208 9008 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21590] ppid=21575 vsize=197092 CPUtime=0
/proc/21583/task/21590/stat : 21590 (java) S 21575 21575 19748 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 625001089 201822208 9008 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21591] ppid=21575 vsize=197092 CPUtime=0
/proc/21583/task/21591/stat : 21591 (java) S 21575 21575 19748 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 625001089 201822208 9008 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.51
Current children cumulated vsize (KiB) 202452
[startup+8.20397 s]
/proc/loadavg: 2.46 2.13 1.74 3/102 21602
/proc/meminfo: memFree=1673400/2055920 swapFree=4180532/4192956
[pid=21575] ppid=21573 vsize=5360 CPUtime=1.51
/proc/21575/stat : 21575 (hydra) S 21573 21575 19748 0 -1 4194304 375 1401 0 0 0 0 150 1 19 0 1 0 625000931 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21575/statm: 1340 238 196 169 0 51 0
[pid=21583] ppid=21575 vsize=197416 CPUtime=5.57
/proc/21583/stat : 21583 (java) S 21575 21575 19748 0 -1 0 13856 0 1 0 535 22 0 0 21 0 10 0 625001085 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21583/statm: 49354 9389 2543 9 0 43937 0
[pid=21593] ppid=21583 vsize=5356 CPUtime=0
/proc/21593/stat : 21593 (choco) S 21583 21575 19748 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 625001651 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 234045891396 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/21593/statm: 1339 238 197 169 0 50 0
[pid=21594] ppid=21593 vsize=655488 CPUtime=0.97
/proc/21594/stat : 21594 (java) S 21593 21575 19748 0 -1 0 9215 0 1 0 92 5 0 0 25 0 9 0 625001652 671219712 8805 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21594/statm: 163872 8805 1895 9 0 158401 0
[pid=21594/tid=21595] ppid=21593 vsize=655488 CPUtime=0.73
/proc/21594/task/21595/stat : 21595 (java) R 21593 21575 19748 0 -1 64 8062 0 1 0 69 4 0 0 25 0 9 0 625001653 671219712 8805 996147200 134512640 134550740 4294955936 18446744073709551615 4126969184 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21596] ppid=21593 vsize=655488 CPUtime=0
/proc/21594/task/21596/stat : 21596 (java) S 21593 21575 19748 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 625001654 671219712 8805 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21597] ppid=21593 vsize=655488 CPUtime=0
/proc/21594/task/21597/stat : 21597 (java) S 21593 21575 19748 0 -1 64 10 0 0 0 0 0 0 0 25 0 9 0 625001654 671219712 8805 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21598] ppid=21593 vsize=655488 CPUtime=0
/proc/21594/task/21598/stat : 21598 (java) S 21593 21575 19748 0 -1 64 3 0 0 0 0 0 0 0 25 0 9 0 625001654 671219712 8805 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21599] ppid=21593 vsize=655488 CPUtime=0
/proc/21594/task/21599/stat : 21599 (java) S 21593 21575 19748 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 625001656 671219712 8805 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21600] ppid=21593 vsize=655488 CPUtime=0.22
/proc/21594/task/21600/stat : 21600 (java) S 21593 21575 19748 0 -1 64 602 0 0 0 22 0 0 0 15 0 9 0 625001656 671219712 8805 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21601] ppid=21593 vsize=655488 CPUtime=0
/proc/21594/task/21601/stat : 21601 (java) S 21593 21575 19748 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 625001656 671219712 8805 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21602] ppid=21593 vsize=655488 CPUtime=0
/proc/21594/task/21602/stat : 21602 (java) S 21593 21575 19748 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 625001656 671219712 8805 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21584] ppid=21575 vsize=197416 CPUtime=4.28
/proc/21583/task/21584/stat : 21584 (java) S 21575 21575 19748 0 -1 64 3853 0 1 0 421 7 0 0 25 0 10 0 625001085 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=21583/tid=21585] ppid=21575 vsize=197416 CPUtime=1.06
/proc/21583/task/21585/stat : 21585 (java) S 21575 21575 19748 0 -1 64 8560 0 0 0 94 12 0 0 16 0 10 0 625001087 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21586] ppid=21575 vsize=197416 CPUtime=0
/proc/21583/task/21586/stat : 21586 (java) S 21575 21575 19748 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 625001087 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21587] ppid=21575 vsize=197416 CPUtime=0
/proc/21583/task/21587/stat : 21587 (java) S 21575 21575 19748 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 625001087 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21588] ppid=21575 vsize=197416 CPUtime=0
/proc/21583/task/21588/stat : 21588 (java) S 21575 21575 19748 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 625001089 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21589] ppid=21575 vsize=197416 CPUtime=0.18
/proc/21583/task/21589/stat : 21589 (java) S 21575 21575 19748 0 -1 64 645 0 0 0 18 0 0 0 16 0 10 0 625001089 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21590] ppid=21575 vsize=197416 CPUtime=0
/proc/21583/task/21590/stat : 21590 (java) S 21575 21575 19748 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 625001089 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21591] ppid=21575 vsize=197416 CPUtime=0
/proc/21583/task/21591/stat : 21591 (java) S 21575 21575 19748 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 625001089 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21592] ppid=21575 vsize=197416 CPUtime=0
/proc/21583/task/21592/stat : 21592 (java) S 21575 21575 19748 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 625001651 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.05
Current children cumulated vsize (KiB) 863620
[startup+9.80214 s]
/proc/loadavg: 2.46 2.13 1.74 3/102 21602
/proc/meminfo: memFree=1639672/2055920 swapFree=4180532/4192956
[pid=21575] ppid=21573 vsize=5360 CPUtime=1.51
/proc/21575/stat : 21575 (hydra) S 21573 21575 19748 0 -1 4194304 375 1401 0 0 0 0 150 1 19 0 1 0 625000931 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21575/statm: 1340 238 196 169 0 51 0
[pid=21583] ppid=21575 vsize=197416 CPUtime=5.57
/proc/21583/stat : 21583 (java) S 21575 21575 19748 0 -1 0 13856 0 1 0 535 22 0 0 21 0 10 0 625001085 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21583/statm: 49354 9389 2543 9 0 43937 0
[pid=21593] ppid=21583 vsize=5356 CPUtime=0
/proc/21593/stat : 21593 (choco) S 21583 21575 19748 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 625001651 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 234045891396 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/21593/statm: 1339 238 197 169 0 50 0
[pid=21594] ppid=21593 vsize=655620 CPUtime=2.53
/proc/21594/stat : 21594 (java) S 21593 21575 19748 0 -1 0 14945 0 1 0 246 7 0 0 25 0 9 0 625001652 671354880 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21594/statm: 163905 14530 1909 9 0 158434 0
[pid=21594/tid=21595] ppid=21593 vsize=655620 CPUtime=2.22
/proc/21594/task/21595/stat : 21595 (java) R 21593 21575 19748 0 -1 64 12067 0 1 0 216 6 0 0 25 0 9 0 625001653 671354880 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4126969267 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21596] ppid=21593 vsize=655620 CPUtime=0.04
/proc/21594/task/21596/stat : 21596 (java) S 21593 21575 19748 0 -1 64 1714 0 0 0 4 0 0 0 16 0 9 0 625001654 671354880 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21597] ppid=21593 vsize=655620 CPUtime=0
/proc/21594/task/21597/stat : 21597 (java) S 21593 21575 19748 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 625001654 671354880 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21598] ppid=21593 vsize=655620 CPUtime=0
/proc/21594/task/21598/stat : 21598 (java) S 21593 21575 19748 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 625001654 671354880 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21599] ppid=21593 vsize=655620 CPUtime=0
/proc/21594/task/21599/stat : 21599 (java) S 21593 21575 19748 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 625001656 671354880 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21600] ppid=21593 vsize=655620 CPUtime=0.24
/proc/21594/task/21600/stat : 21600 (java) S 21593 21575 19748 0 -1 64 616 0 0 0 24 0 0 0 16 0 9 0 625001656 671354880 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21601] ppid=21593 vsize=655620 CPUtime=0
/proc/21594/task/21601/stat : 21601 (java) S 21593 21575 19748 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 625001656 671354880 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21602] ppid=21593 vsize=655620 CPUtime=0
/proc/21594/task/21602/stat : 21602 (java) S 21593 21575 19748 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 625001656 671354880 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21584] ppid=21575 vsize=197416 CPUtime=4.28
/proc/21583/task/21584/stat : 21584 (java) S 21575 21575 19748 0 -1 64 3853 0 1 0 421 7 0 0 25 0 10 0 625001085 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=21583/tid=21585] ppid=21575 vsize=197416 CPUtime=1.06
/proc/21583/task/21585/stat : 21585 (java) S 21575 21575 19748 0 -1 64 8560 0 0 0 94 12 0 0 16 0 10 0 625001087 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21586] ppid=21575 vsize=197416 CPUtime=0
/proc/21583/task/21586/stat : 21586 (java) S 21575 21575 19748 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 625001087 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21587] ppid=21575 vsize=197416 CPUtime=0
/proc/21583/task/21587/stat : 21587 (java) S 21575 21575 19748 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 625001087 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21588] ppid=21575 vsize=197416 CPUtime=0
/proc/21583/task/21588/stat : 21588 (java) S 21575 21575 19748 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 625001089 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21589] ppid=21575 vsize=197416 CPUtime=0.18
/proc/21583/task/21589/stat : 21589 (java) S 21575 21575 19748 0 -1 64 645 0 0 0 18 0 0 0 16 0 10 0 625001089 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21590] ppid=21575 vsize=197416 CPUtime=0
/proc/21583/task/21590/stat : 21590 (java) S 21575 21575 19748 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 625001089 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21591] ppid=21575 vsize=197416 CPUtime=0
/proc/21583/task/21591/stat : 21591 (java) S 21575 21575 19748 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 625001089 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21592] ppid=21575 vsize=197416 CPUtime=0
/proc/21583/task/21592/stat : 21592 (java) S 21575 21575 19748 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 625001651 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.61
Current children cumulated vsize (KiB) 863752
[startup+10.2062 s]
/proc/loadavg: 2.51 2.15 1.74 3/102 21602
/proc/meminfo: memFree=1639608/2055920 swapFree=4180532/4192956
[pid=21575] ppid=21573 vsize=5360 CPUtime=1.51
/proc/21575/stat : 21575 (hydra) S 21573 21575 19748 0 -1 4194304 375 1401 0 0 0 0 150 1 19 0 1 0 625000931 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21575/statm: 1340 238 196 169 0 51 0
[pid=21583] ppid=21575 vsize=197416 CPUtime=5.57
/proc/21583/stat : 21583 (java) S 21575 21575 19748 0 -1 0 13856 0 1 0 535 22 0 0 21 0 10 0 625001085 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21583/statm: 49354 9389 2543 9 0 43937 0
[pid=21593] ppid=21583 vsize=5356 CPUtime=0
/proc/21593/stat : 21593 (choco) S 21583 21575 19748 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 625001651 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 234045891396 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/21593/statm: 1339 238 197 169 0 50 0
[pid=21594] ppid=21593 vsize=655620 CPUtime=2.93
/proc/21594/stat : 21594 (java) S 21593 21575 19748 0 -1 0 14952 0 1 0 286 7 0 0 25 0 9 0 625001652 671354880 14536 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21594/statm: 163905 14536 1909 9 0 158434 0
[pid=21594/tid=21595] ppid=21593 vsize=655620 CPUtime=2.61
/proc/21594/task/21595/stat : 21595 (java) R 21593 21575 19748 0 -1 64 12070 0 1 0 255 6 0 0 25 0 9 0 625001653 671354880 14536 996147200 134512640 134550740 4294955936 18446744073709551615 4126956990 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21596] ppid=21593 vsize=655620 CPUtime=0.04
/proc/21594/task/21596/stat : 21596 (java) S 21593 21575 19748 0 -1 64 1714 0 0 0 4 0 0 0 16 0 9 0 625001654 671354880 14536 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21597] ppid=21593 vsize=655620 CPUtime=0
/proc/21594/task/21597/stat : 21597 (java) S 21593 21575 19748 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 625001654 671354880 14536 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21598] ppid=21593 vsize=655620 CPUtime=0
/proc/21594/task/21598/stat : 21598 (java) S 21593 21575 19748 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 625001654 671354880 14536 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21599] ppid=21593 vsize=655620 CPUtime=0
/proc/21594/task/21599/stat : 21599 (java) S 21593 21575 19748 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 625001656 671354880 14536 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21600] ppid=21593 vsize=655620 CPUtime=0.25
/proc/21594/task/21600/stat : 21600 (java) S 21593 21575 19748 0 -1 64 620 0 0 0 25 0 0 0 15 0 9 0 625001656 671354880 14536 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21601] ppid=21593 vsize=655620 CPUtime=0
/proc/21594/task/21601/stat : 21601 (java) S 21593 21575 19748 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 625001656 671354880 14536 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21594/tid=21602] ppid=21593 vsize=655620 CPUtime=0
/proc/21594/task/21602/stat : 21602 (java) S 21593 21575 19748 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 625001656 671354880 14536 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21584] ppid=21575 vsize=197416 CPUtime=4.28
/proc/21583/task/21584/stat : 21584 (java) S 21575 21575 19748 0 -1 64 3853 0 1 0 421 7 0 0 25 0 10 0 625001085 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=21583/tid=21585] ppid=21575 vsize=197416 CPUtime=1.06
/proc/21583/task/21585/stat : 21585 (java) S 21575 21575 19748 0 -1 64 8560 0 0 0 94 12 0 0 16 0 10 0 625001087 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21586] ppid=21575 vsize=197416 CPUtime=0
/proc/21583/task/21586/stat : 21586 (java) S 21575 21575 19748 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 625001087 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21587] ppid=21575 vsize=197416 CPUtime=0
/proc/21583/task/21587/stat : 21587 (java) S 21575 21575 19748 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 625001087 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21588] ppid=21575 vsize=197416 CPUtime=0
/proc/21583/task/21588/stat : 21588 (java) S 21575 21575 19748 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 625001089 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21589] ppid=21575 vsize=197416 CPUtime=0.18
/proc/21583/task/21589/stat : 21589 (java) S 21575 21575 19748 0 -1 64 645 0 0 0 18 0 0 0 16 0 10 0 625001089 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21590] ppid=21575 vsize=197416 CPUtime=0
/proc/21583/task/21590/stat : 21590 (java) S 21575 21575 19748 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 625001089 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21591] ppid=21575 vsize=197416 CPUtime=0
/proc/21583/task/21591/stat : 21591 (java) S 21575 21575 19748 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 625001089 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21592] ppid=21575 vsize=197416 CPUtime=0
/proc/21583/task/21592/stat : 21592 (java) S 21575 21575 19748 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 625001651 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.01
Current children cumulated vsize (KiB) 863752
[startup+10.6022 s]
/proc/loadavg: 2.51 2.15 1.74 3/102 21602
/proc/meminfo: memFree=1639608/2055920 swapFree=4180532/4192956
[pid=21575] ppid=21573 vsize=5360 CPUtime=1.51
/proc/21575/stat : 21575 (hydra) S 21573 21575 19748 0 -1 4194304 375 1401 0 0 0 0 150 1 19 0 1 0 625000931 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21575/statm: 1340 238 196 169 0 51 0
[pid=21583] ppid=21575 vsize=197416 CPUtime=8.84
/proc/21583/stat : 21583 (java) S 21575 21575 19748 0 -1 0 13935 15302 1 1 535 22 318 9 21 0 9 0 625001085 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21583/statm: 49354 9391 2544 9 0 43937 0
[pid=21583/tid=21584] ppid=21575 vsize=197416 CPUtime=7.55
/proc/21583/task/21584/stat : 21584 (java) S 21575 21575 19748 0 -1 64 3909 15302 1 1 421 7 318 9 16 0 9 0 625001085 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21585] ppid=21575 vsize=197416 CPUtime=4.33
/proc/21583/task/21585/stat : 21585 (java) S 21575 21575 19748 0 -1 64 8571 15302 0 1 94 12 318 9 16 0 9 0 625001087 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21586] ppid=21575 vsize=197416 CPUtime=3.27
/proc/21583/task/21586/stat : 21586 (java) S 21575 21575 19748 0 -1 64 11 15302 0 1 0 0 318 9 16 0 9 0 625001087 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21587] ppid=21575 vsize=197416 CPUtime=3.27
/proc/21583/task/21587/stat : 21587 (java) S 21575 21575 19748 0 -1 64 5 15302 0 1 0 0 318 9 15 0 9 0 625001087 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21588] ppid=21575 vsize=197416 CPUtime=3.27
/proc/21583/task/21588/stat : 21588 (java) S 21575 21575 19748 0 -1 64 1 15302 0 1 0 0 318 9 25 0 9 0 625001089 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21589] ppid=21575 vsize=197416 CPUtime=3.45
/proc/21583/task/21589/stat : 21589 (java) S 21575 21575 19748 0 -1 64 645 15302 0 1 18 0 318 9 16 0 9 0 625001089 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21590] ppid=21575 vsize=197416 CPUtime=3.27
/proc/21583/task/21590/stat : 21590 (java) S 21575 21575 19748 0 -1 64 0 15302 0 1 0 0 318 9 25 0 9 0 625001089 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21583/tid=21591] ppid=21575 vsize=197416 CPUtime=3.27
/proc/21583/task/21591/stat : 21591 (java) S 21575 21575 19748 0 -1 64 4 15302 0 1 0 0 318 9 15 0 9 0 625001089 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.35
Current children cumulated vsize (KiB) 202776
Child status: 0
Real time (s): 10.614
CPU time (s): 10.3944
CPU user time (s): 10.0515
CPU system time (s): 0.342947
CPU usage (%): 97.9311
Max. virtual memory (cumulated for all children) (KiB): 863752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0515
system time used= 0.342947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31050
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10887
involuntary context switches= 12580
runsolver used 0.027995 second user time and 0.073988 second system time
The end