Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_10 | SAT | 597.419 | 600.519 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 1283940 |
CHECKS | 813954000 |
Name | csp/rand-2-50-23-fcd/ normalized-rand-2-50-23-587-230-fcd-22_ext.xml |
MD5SUM | 1729bc579ce595de42e10a64a2efdb08 |
Bench Category | 2-ARY-EXT (binary constraints in extension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 209.235 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 465 |
Maximum constraint arity | 2 |
Maximum domain size | 23 |
Number of constraints which are defined in extension | 465 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_10 version 0.0 6.72/6.89 c CASE TO CLASSIFY: 6.72/6.89 c Case: 0 6.72/6.89 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.533600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.363500 | c 14 > 13.206300 | c 11 > 5.643860 | c 12 > 11.300900 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | 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 > 8.861090 | 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 > 10.167400 | c 31 > -1.000000 | c 4 > 5.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.82/6.90 c choco : 1801.0 6.82/6.90 c mistral : 1801.0 6.82/6.90 c abscon : 1801.0 6.82/6.90 c 6.82/6.90 c 6.82/6.97 c List of same ones: 10 6.82/6.97 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-23_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.821200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.156000 | c 14 > 12.858800 | c 11 > 5.321930 | c 12 > 11.050600 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.379380 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.82/6.98 c choco : 65.95 6.82/6.98 c mistral : 6.46 6.82/6.98 c abscon : 25.4031 6.82/6.98 c 6.82/6.98 c 6.82/6.98 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-43_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.814500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.956240 | c 14 > 12.898800 | c 11 > 5.321930 | c 12 > 11.009500 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.409390 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.82/6.99 c choco : 383.01 6.82/6.99 c mistral : 136.456 6.82/6.99 c abscon : 83.8203 6.82/6.99 c 6.82/6.99 c 6.82/6.99 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-49_ext.xml 6.82/6.99 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.878800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.742350 | c 14 > 12.938500 | c 11 > 5.321930 | c 12 > 11.135900 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.442940 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.91/7.00 c choco : 32.14 6.91/7.00 c mistral : 2.98854 6.91/7.00 c abscon : 14.2088 6.91/7.00 c 6.91/7.00 c 6.91/7.00 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-37_ext.xml 6.91/7.00 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.833700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.922950 | c 14 > 12.801300 | c 11 > 5.321930 | c 12 > 10.997300 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.392320 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.91/7.01 c choco : 461.85 6.91/7.01 c mistral : 88.2516 6.91/7.01 c abscon : 19.3101 6.91/7.01 c 6.91/7.01 c 6.91/7.01 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-21_ext.xml 6.91/7.01 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.831600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.805410 | c 14 > 12.868200 | c 11 > 5.321930 | c 12 > 11.082000 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.375040 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.91/7.02 c choco : 417.75 6.91/7.02 c mistral : 124.962 6.91/7.02 c abscon : 17.8703 6.91/7.02 c 6.91/7.02 c 6.91/7.02 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-19_ext.xml 6.91/7.02 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.692500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.179600 | c 14 > 12.720000 | c 11 > 5.321930 | c 12 > 11.246400 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.388020 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.91/7.03 c choco : 1801.0 6.91/7.03 c mistral : 73.92 6.91/7.03 c abscon : 2.17767 6.91/7.03 c 6.91/7.03 c 6.91/7.03 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-7_ext.xml 6.91/7.03 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.733100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.911780 | c 14 > 12.824800 | c 11 > 5.321930 | c 12 > 11.179700 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.379380 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.91/7.03 c choco : 1056.91 6.91/7.03 c mistral : 387.366 6.91/7.03 c abscon : 379.2 6.91/7.03 c 6.91/7.03 c 6.91/7.03 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-39_ext.xml 6.91/7.03 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.798100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.095100 | c 14 > 12.699100 | c 11 > 5.321930 | c 12 > 10.776000 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.455330 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.91/7.04 c choco : 1801.0 6.91/7.04 c mistral : 8.71567 6.91/7.04 c abscon : 21.7987 6.91/7.04 c 6.91/7.04 c 6.91/7.04 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-37_ext.xml 6.91/7.04 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.681200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.887010 | c 14 > 12.807800 | c 11 > 5.321930 | c 12 > 11.058000 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.392320 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.91/7.05 c choco : 839.83 6.91/7.05 c mistral : 346.46 6.91/7.05 c abscon : 305.646 6.91/7.05 c 6.91/7.05 c 6.91/7.05 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-29_ext.xml 6.91/7.05 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.744900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.080800 | c 14 > 12.699800 | c 11 > 5.321930 | c 12 > 10.836400 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.366320 | 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.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.91/7.06 c choco : 1801.0 6.91/7.06 c mistral : 43.15 6.91/7.06 c abscon : 43.5314 6.91/7.06 c 6.91/7.06 c 6.91/7.06 c Length: 10 6.91/7.06 c 1.382811782311678 1.418667039442308 1.4263692285660128 1.451218500640066 1.465909076921211 1.4665159856271603 1.477590935847943 1.502184871711867 1.5288309272774407 1.537925350626616 6.91/7.06 c 6.91/7.06 c 1.0 0.8122454958448182 0.7807559077061682 0.6939574507724865 0.6511607674420768 0.6495059695765948 0.6207206323011651 0.5651042189304547 0.5151003576630644 0.5 6.91/7.06 c 6.91/7.06 c solver 0 6.91/7.06 c before 0.0 seconds: {} 0 6.91/7.06 c before 18.0 seconds: {2, 4, 5} 2081 6.91/7.06 c before 36.0 seconds: {0, 2, 3, 4, 5, 7} 4340 6.91/7.06 c before 54.0 seconds: {0, 2, 3, 4, 5, 7, 9} 4840 6.91/7.06 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9} 5652 6.91/7.06 c before 306.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9} 6167 6.91/7.07 c before 396.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6788 6.91/7.07 c 6.91/7.07 c solver 1 6.91/7.07 c before 0.0 seconds: {} 0 6.91/7.07 c before 18.0 seconds: {0, 2, 7} 2345 6.91/7.07 c before 54.0 seconds: {0, 2, 7, 9} 2845 6.91/7.07 c before 90.0 seconds: {0, 2, 3, 5, 7, 9} 4189 6.91/7.07 c before 126.0 seconds: {0, 2, 3, 4, 5, 7, 9} 4840 6.91/7.07 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9} 5652 6.91/7.07 c before 360.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9} 6167 6.91/7.07 c before 396.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6788 6.91/7.07 c 6.91/7.07 c solver 2 6.91/7.07 c before 0.0 seconds: {} 0 6.91/7.07 c before 36.0 seconds: {2} 780 6.91/7.07 c before 72.0 seconds: {0, 2} 1780 6.91/7.07 c before 396.0 seconds: {0, 1, 2} 2593 6.91/7.07 c before 432.0 seconds: {0, 1, 2, 4} 3244 6.91/7.07 c before 468.0 seconds: {0, 1, 2, 3, 4} 3938 6.91/7.07 c before 846.0 seconds: {0, 1, 2, 3, 4, 8} 4453 6.91/7.07 c before 1062.0 seconds: {0, 1, 2, 3, 4, 6, 8} 5073 6.91/7.07 c 6.91/7.07 cTotal time: 103 6.91/7.07 c run abscon for 396.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6788 6.91/7.07 c run mistral for 396.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6788 6.91/7.07 c run choco for 846.0 seconds {0, 1, 2, 3, 4, 8} 4453 6.91/7.07 c Starting solver: HOME/cpHydra_k_10/solver/abscon 6.91/7.07 c On Instance: HOME/instance-1102112-1215296564.xml 6.91/7.07 c Running for: 396 seconds 403.15/405.36 c Starting solver: HOME/cpHydra_k_10/solver/mistral 403.15/405.36 c On Instance: HOME/instance-1102112-1215296564.xml 403.15/405.36 c Running for: 396 seconds 597.27/600.49 c mistral-prime version 1.313 597.27/600.49 s SATISFIABLE 597.27/600.49 v 9 13 6 8 3 5 21 20 5 8 17 9 21 7 12 1 21 22 19 20 3 15 9 16 1 7 11 0 17 0 9 12 16 8 11 10 13 13 17 1 11 7 2 21 8 21 6 16 13 8 597.27/600.49 d CHECKS 813953769 597.27/600.49 d ASSIGNMENTS 1283935
OK
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1102112-1215296564/watcher-1102112-1215296564 -o /tmp/evaluation-result-1102112-1215296564/solver-1102112-1215296564 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1102112-1215296564.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.06 2.10 2.05 4/94 15192 /proc/meminfo: memFree=1601480/2055924 swapFree=4177320/4192956 [pid=15192] ppid=15190 vsize=5360 CPUtime=0 /proc/15192/stat : 15192 (hydra) S 15190 15192 14335 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 685386022 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15192/statm: 1340 236 195 169 0 51 0 [pid=15195] ppid=15192 vsize=2292 CPUtime=0 /proc/15195/stat : 15195 (xsolve) D 15192 15192 14335 0 -1 4194304 70 0 0 0 0 0 0 0 18 0 1 0 685386022 2347008 47 996147200 134512640 135239763 4294956176 18446744073709551615 7934756 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0 /proc/15195/statm: 809 48 36 177 0 6 0 [startup+0.053089 s] /proc/loadavg: 2.06 2.10 2.05 4/94 15192 /proc/meminfo: memFree=1601480/2055924 swapFree=4177320/4192956 [pid=15192] ppid=15190 vsize=5360 CPUtime=0 /proc/15192/stat : 15192 (hydra) S 15190 15192 14335 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 685386022 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15192/statm: 1340 236 195 169 0 51 0 [pid=15195] ppid=15192 vsize=5644 CPUtime=0.04 /proc/15195/stat : 15195 (xsolve) R 15192 15192 14335 0 -1 4194304 722 0 0 0 4 0 0 0 18 0 1 0 685386022 5779456 681 996147200 134512640 135239763 4294956176 18446744073709551615 134579060 0 0 4096 0 0 0 0 17 1 0 0 /proc/15195/statm: 1411 681 355 177 0 314 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11004 [startup+0.101097 s] /proc/loadavg: 2.06 2.10 2.05 4/94 15192 /proc/meminfo: memFree=1601480/2055924 swapFree=4177320/4192956 [pid=15192] ppid=15190 vsize=5360 CPUtime=0 /proc/15192/stat : 15192 (hydra) S 15190 15192 14335 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 685386022 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15192/statm: 1340 236 195 169 0 51 0 [pid=15195] ppid=15192 vsize=6968 CPUtime=0.08 /proc/15195/stat : 15195 (xsolve) R 15192 15192 14335 0 -1 4194304 1097 0 0 0 8 0 0 0 18 0 1 0 685386022 7135232 1056 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15195/statm: 1742 1056 411 177 0 645 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12328 [startup+0.301134 s] /proc/loadavg: 2.06 2.10 2.05 4/94 15192 /proc/meminfo: memFree=1601480/2055924 swapFree=4177320/4192956 [pid=15192] ppid=15190 vsize=5360 CPUtime=0 /proc/15192/stat : 15192 (hydra) S 15190 15192 14335 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 685386022 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15192/statm: 1340 236 195 169 0 51 0 [pid=15195] ppid=15192 vsize=6968 CPUtime=0.28 /proc/15195/stat : 15195 (xsolve) R 15192 15192 14335 0 -1 4194304 1098 0 0 0 28 0 0 0 20 0 1 0 685386022 7135232 1057 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15195/statm: 1742 1057 411 177 0 645 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 12328 [startup+0.701208 s] /proc/loadavg: 2.06 2.10 2.05 4/94 15192 /proc/meminfo: memFree=1601480/2055924 swapFree=4177320/4192956 [pid=15192] ppid=15190 vsize=5360 CPUtime=0 /proc/15192/stat : 15192 (hydra) S 15190 15192 14335 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 685386022 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15192/statm: 1340 236 195 169 0 51 0 [pid=15195] ppid=15192 vsize=6968 CPUtime=0.67 /proc/15195/stat : 15195 (xsolve) R 15192 15192 14335 0 -1 4194304 1098 0 0 0 67 0 0 0 24 0 1 0 685386022 7135232 1057 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15195/statm: 1742 1057 411 177 0 645 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 12328 [startup+1.50236 s] /proc/loadavg: 2.06 2.10 2.05 3/96 15196 /proc/meminfo: memFree=1598392/2055924 swapFree=4177320/4192956 [pid=15192] ppid=15190 vsize=5360 CPUtime=0 /proc/15192/stat : 15192 (hydra) S 15190 15192 14335 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 685386022 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15192/statm: 1340 236 195 169 0 51 0 [pid=15195] ppid=15192 vsize=6968 CPUtime=1.46 /proc/15195/stat : 15195 (xsolve) R 15192 15192 14335 0 -1 4194304 1098 0 0 0 146 0 0 0 25 0 1 0 685386022 7135232 1057 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15195/statm: 1742 1057 411 177 0 645 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 12328 [startup+3.10166 s] /proc/loadavg: 2.06 2.10 2.05 3/104 15208 /proc/meminfo: memFree=1593328/2055924 swapFree=4177320/4192956 [pid=15192] ppid=15190 vsize=5360 CPUtime=1.54 /proc/15192/stat : 15192 (hydra) S 15190 15192 14335 0 -1 4194304 375 1695 0 0 0 0 153 1 19 0 1 0 685386022 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15192/statm: 1340 238 196 169 0 51 0 [pid=15200] ppid=15192 vsize=197020 CPUtime=1.5 /proc/15200/stat : 15200 (java) S 15192 15192 14335 0 -1 0 6508 0 1 0 145 5 0 0 20 0 9 0 685386180 201748480 5478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15200/statm: 49255 5478 2540 9 0 43838 0 [pid=15200/tid=15201] ppid=15192 vsize=197020 CPUtime=1.15 /proc/15200/task/15201/stat : 15201 (java) R 15192 15192 14335 0 -1 64 2790 0 1 0 113 2 0 0 25 0 9 0 685386181 201748480 5478 996147200 134512640 134550740 4294955968 18446744073709551615 4126587607 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15202] ppid=15192 vsize=197020 CPUtime=0.19 /proc/15200/task/15202/stat : 15202 (java) S 15192 15192 14335 0 -1 64 2378 0 0 0 18 1 0 0 16 0 9 0 685386182 201748480 5478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15203] ppid=15192 vsize=197020 CPUtime=0 /proc/15200/task/15203/stat : 15203 (java) S 15192 15192 14335 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 685386182 201748480 5478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15204] ppid=15192 vsize=197020 CPUtime=0 /proc/15200/task/15204/stat : 15204 (java) S 15192 15192 14335 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 685386182 201748480 5478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15205] ppid=15192 vsize=197020 CPUtime=0 /proc/15200/task/15205/stat : 15205 (java) S 15192 15192 14335 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 685386184 201748480 5478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15206] ppid=15192 vsize=197020 CPUtime=0.13 /proc/15200/task/15206/stat : 15206 (java) S 15192 15192 14335 0 -1 64 614 0 0 0 13 0 0 0 16 0 9 0 685386184 201748480 5478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15207] ppid=15192 vsize=197020 CPUtime=0 /proc/15200/task/15207/stat : 15207 (java) S 15192 15192 14335 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 685386184 201748480 5478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15208] ppid=15192 vsize=197020 CPUtime=0 /proc/15200/task/15208/stat : 15208 (java) S 15192 15192 14335 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 685386184 201748480 5478 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) 202380 [startup+6.30225 s] /proc/loadavg: 2.06 2.10 2.05 3/104 15208 /proc/meminfo: memFree=1578928/2055924 swapFree=4177320/4192956 [pid=15192] ppid=15190 vsize=5360 CPUtime=1.54 /proc/15192/stat : 15192 (hydra) S 15190 15192 14335 0 -1 4194304 375 1695 0 0 0 0 153 1 19 0 1 0 685386022 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15192/statm: 1340 238 196 169 0 51 0 [pid=15200] ppid=15192 vsize=197020 CPUtime=4.69 /proc/15200/stat : 15200 (java) S 15192 15192 14335 0 -1 0 10420 0 1 0 456 13 0 0 20 0 9 0 685386180 201748480 8634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15200/statm: 49255 8634 2540 9 0 43838 0 [pid=15200/tid=15201] ppid=15192 vsize=197020 CPUtime=3.71 /proc/15200/task/15201/stat : 15201 (java) R 15192 15192 14335 0 -1 64 3626 0 1 0 368 3 0 0 25 0 9 0 685386181 201748480 8634 996147200 134512640 134550740 4294955968 18446744073709551615 4126446608 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15202] ppid=15192 vsize=197020 CPUtime=0.79 /proc/15200/task/15202/stat : 15202 (java) S 15192 15192 14335 0 -1 64 5438 0 0 0 71 8 0 0 16 0 9 0 685386182 201748480 8634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15203] ppid=15192 vsize=197020 CPUtime=0 /proc/15200/task/15203/stat : 15203 (java) S 15192 15192 14335 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 685386182 201748480 8634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15204] ppid=15192 vsize=197020 CPUtime=0 /proc/15200/task/15204/stat : 15204 (java) S 15192 15192 14335 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 685386182 201748480 8634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15205] ppid=15192 vsize=197020 CPUtime=0 /proc/15200/task/15205/stat : 15205 (java) S 15192 15192 14335 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 685386184 201748480 8634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15206] ppid=15192 vsize=197020 CPUtime=0.16 /proc/15200/task/15206/stat : 15206 (java) S 15192 15192 14335 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 685386184 201748480 8634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15207] ppid=15192 vsize=197020 CPUtime=0 /proc/15200/task/15207/stat : 15207 (java) S 15192 15192 14335 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 685386184 201748480 8634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15208] ppid=15192 vsize=197020 CPUtime=0 /proc/15200/task/15208/stat : 15208 (java) S 15192 15192 14335 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 685386184 201748480 8634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 202380 [startup+12.7024 s] /proc/loadavg: 2.35 2.16 2.07 3/116 15220 /proc/meminfo: memFree=1537680/2055924 swapFree=4177320/4192956 [pid=15192] ppid=15190 vsize=5360 CPUtime=1.54 /proc/15192/stat : 15192 (hydra) S 15190 15192 14335 0 -1 4194304 375 1695 0 0 0 0 153 1 19 0 1 0 685386022 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15192/statm: 1340 238 196 169 0 51 0 [pid=15200] ppid=15192 vsize=197344 CPUtime=5.42 /proc/15200/stat : 15200 (java) S 15192 15192 14335 0 -1 0 11402 0 1 0 527 15 0 0 20 0 10 0 685386180 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15200/statm: 49336 9336 2543 9 0 43919 0 [pid=15210] ppid=15200 vsize=5356 CPUtime=0 /proc/15210/stat : 15210 (abscon) S 15200 15192 14335 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 685386730 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 230266823492 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/15210/statm: 1339 237 196 169 0 50 0 [pid=15211] ppid=15210 vsize=655364 CPUtime=5.51 /proc/15211/stat : 15211 (java) S 15210 15192 14335 0 -1 0 11740 0 1 0 544 7 0 0 25 0 9 0 685386730 671092736 11054 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15211/statm: 163841 11054 2612 9 0 158369 0 [pid=15211/tid=15213] ppid=15210 vsize=655364 CPUtime=5.19 /proc/15211/task/15213/stat : 15213 (java) R 15210 15192 14335 0 -1 64 8768 0 1 0 514 5 0 0 25 0 9 0 685386731 671092736 11054 996147200 134512640 134550740 4294955808 18446744073709551615 4126894551 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15211/tid=15214] ppid=15210 vsize=655364 CPUtime=0.05 /proc/15211/task/15214/stat : 15214 (java) S 15210 15192 14335 0 -1 64 1886 0 0 0 5 0 0 0 16 0 9 0 685386733 671092736 11054 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15211/tid=15215] ppid=15210 vsize=655364 CPUtime=0 /proc/15211/task/15215/stat : 15215 (java) S 15210 15192 14335 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 685386733 671092736 11054 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15211/tid=15216] ppid=15210 vsize=655364 CPUtime=0 /proc/15211/task/15216/stat : 15216 (java) S 15210 15192 14335 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 685386733 671092736 11054 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15211/tid=15217] ppid=15210 vsize=655364 CPUtime=0 /proc/15211/task/15217/stat : 15217 (java) S 15210 15192 14335 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 685386737 671092736 11054 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15211/tid=15218] ppid=15210 vsize=655364 CPUtime=0.24 /proc/15211/task/15218/stat : 15218 (java) S 15210 15192 14335 0 -1 64 541 0 0 0 24 0 0 0 16 0 9 0 685386737 671092736 11054 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15211/tid=15219] ppid=15210 vsize=655364 CPUtime=0 /proc/15211/task/15219/stat : 15219 (java) S 15210 15192 14335 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 685386737 671092736 11054 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15211/tid=15220] ppid=15210 vsize=655364 CPUtime=0 /proc/15211/task/15220/stat : 15220 (java) S 15210 15192 14335 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 685386737 671092736 11054 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15212] ppid=15210 vsize=7044 CPUtime=0 /proc/15212/stat : 15212 (translate) S 15210 15192 14335 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 685386730 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 230266994770 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/15212/statm: 1761 213 182 1 0 41 0 [pid=15200/tid=15201] ppid=15192 vsize=197344 CPUtime=4.32 /proc/15200/task/15201/stat : 15201 (java) S 15192 15192 14335 0 -1 64 3856 0 1 0 428 4 0 0 25 0 10 0 685386181 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=15200/tid=15202] ppid=15192 vsize=197344 CPUtime=0.88 /proc/15200/task/15202/stat : 15202 (java) S 15192 15192 14335 0 -1 64 6093 0 0 0 79 9 0 0 16 0 10 0 685386182 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15203] ppid=15192 vsize=197344 CPUtime=0 /proc/15200/task/15203/stat : 15203 (java) S 15192 15192 14335 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 685386182 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15204] ppid=15192 vsize=197344 CPUtime=0 /proc/15200/task/15204/stat : 15204 (java) S 15192 15192 14335 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 685386182 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15205] ppid=15192 vsize=197344 CPUtime=0 /proc/15200/task/15205/stat : 15205 (java) S 15192 15192 14335 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 685386184 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15206] ppid=15192 vsize=197344 CPUtime=0.18 /proc/15200/task/15206/stat : 15206 (java) S 15192 15192 14335 0 -1 64 646 0 0 0 18 0 0 0 15 0 10 0 685386184 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15207] ppid=15192 vsize=197344 CPUtime=0 /proc/15200/task/15207/stat : 15207 (java) S 15192 15192 14335 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 685386184 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15208] ppid=15192 vsize=197344 CPUtime=0 /proc/15200/task/15208/stat : 15208 (java) S 15192 15192 14335 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 685386184 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15209] ppid=15192 vsize=197344 CPUtime=0 /proc/15200/task/15209/stat : 15209 (java) S 15192 15192 14335 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 685386730 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.47 Current children cumulated vsize (KiB) 870468 [startup+25.5028 s] /proc/loadavg: 2.37 2.17 2.07 3/116 15220 /proc/meminfo: memFree=1538384/2055924 swapFree=4177320/4192956 [pid=15192] ppid=15190 vsize=5360 CPUtime=1.54 /proc/15192/stat : 15192 (hydra) S 15190 15192 14335 0 -1 4194304 375 1695 0 0 0 0 153 1 19 0 1 0 685386022 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15192/statm: 1340 238 196 169 0 51 0 ################ # More data... # ################ /proc/loadavg: 2.00 2.02 2.02 3/87 15251 /proc/meminfo: memFree=1647096/2055924 swapFree=4177320/4192956 [pid=15192] ppid=15190 vsize=5360 CPUtime=1.54 /proc/15192/stat : 15192 (hydra) S 15190 15192 14335 0 -1 4194304 375 1695 0 0 0 0 153 1 19 0 1 0 685386022 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15192/statm: 1340 238 196 169 0 51 0 [pid=15200] ppid=15192 vsize=197668 CPUtime=401.7 /proc/15200/stat : 15200 (java) S 15192 15192 14335 0 -1 0 11961 12318 1 1 528 16 39616 10 20 0 10 0 685386180 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15200/statm: 49417 9375 2545 9 0 44000 0 [pid=15250] ppid=15200 vsize=5356 CPUtime=0 /proc/15250/stat : 15250 (mistral) S 15200 15192 14335 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 685426558 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 230266823492 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/15250/statm: 1339 238 198 169 0 50 0 [pid=15251] ppid=15250 vsize=6968 CPUtime=188.76 /proc/15251/stat : 15251 (xsolve) R 15250 15192 14335 0 -1 4194304 1074 0 0 0 18876 0 0 0 25 0 1 0 685426560 7135232 1038 996147200 134512640 135239763 4294955952 18446744073709551615 135103043 0 4 0 0 0 0 0 17 0 0 0 /proc/15251/statm: 1742 1038 392 177 0 645 0 [pid=15200/tid=15201] ppid=15192 vsize=197668 CPUtime=400.58 /proc/15200/task/15201/stat : 15201 (java) S 15192 15192 14335 0 -1 64 3938 12318 1 1 428 4 39616 10 16 0 10 0 685386181 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=15200/tid=15202] ppid=15192 vsize=197668 CPUtime=397.15 /proc/15200/task/15202/stat : 15202 (java) S 15192 15192 14335 0 -1 64 6421 12318 0 1 80 9 39616 10 16 0 10 0 685386182 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15200/tid=15203] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15203/stat : 15203 (java) S 15192 15192 14335 0 -1 64 20 12318 0 1 0 0 39616 10 16 0 10 0 685386182 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15204] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15204/stat : 15204 (java) S 15192 15192 14335 0 -1 64 15 12318 0 1 0 0 39616 10 16 0 10 0 685386182 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15200/tid=15205] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15205/stat : 15205 (java) S 15192 15192 14335 0 -1 64 1 12318 0 1 0 0 39616 10 25 0 10 0 685386184 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15206] ppid=15192 vsize=197668 CPUtime=396.45 /proc/15200/task/15206/stat : 15206 (java) S 15192 15192 14335 0 -1 64 713 12318 0 1 19 0 39616 10 16 0 10 0 685386184 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15200/tid=15207] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15207/stat : 15207 (java) S 15192 15192 14335 0 -1 64 1 12318 0 1 0 0 39616 10 25 0 10 0 685386184 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15208] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15208/stat : 15208 (java) S 15192 15192 14335 0 -1 64 21 12318 0 1 0 0 39616 10 15 0 10 0 685386184 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15249] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15249/stat : 15249 (java) S 15192 15192 14335 0 -1 64 48 12318 0 1 0 0 39616 10 16 0 10 0 685426558 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 592 Current children cumulated vsize (KiB) 215352 [startup+598.302 s] /proc/loadavg: 2.00 2.02 2.02 3/87 15251 /proc/meminfo: memFree=1647096/2055924 swapFree=4177320/4192956 [pid=15192] ppid=15190 vsize=5360 CPUtime=1.54 /proc/15192/stat : 15192 (hydra) S 15190 15192 14335 0 -1 4194304 375 1695 0 0 0 0 153 1 19 0 1 0 685386022 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15192/statm: 1340 238 196 169 0 51 0 [pid=15200] ppid=15192 vsize=197668 CPUtime=401.7 /proc/15200/stat : 15200 (java) S 15192 15192 14335 0 -1 0 11961 12318 1 1 528 16 39616 10 20 0 10 0 685386180 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15200/statm: 49417 9375 2545 9 0 44000 0 [pid=15250] ppid=15200 vsize=5356 CPUtime=0 /proc/15250/stat : 15250 (mistral) S 15200 15192 14335 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 685426558 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 230266823492 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/15250/statm: 1339 238 198 169 0 50 0 [pid=15251] ppid=15250 vsize=6968 CPUtime=191.94 /proc/15251/stat : 15251 (xsolve) R 15250 15192 14335 0 -1 4194304 1074 0 0 0 19194 0 0 0 25 0 1 0 685426560 7135232 1038 996147200 134512640 135239763 4294955952 18446744073709551615 134821148 0 4 0 0 0 0 0 17 0 0 0 /proc/15251/statm: 1742 1038 392 177 0 645 0 [pid=15200/tid=15201] ppid=15192 vsize=197668 CPUtime=400.58 /proc/15200/task/15201/stat : 15201 (java) S 15192 15192 14335 0 -1 64 3938 12318 1 1 428 4 39616 10 16 0 10 0 685386181 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=15200/tid=15202] ppid=15192 vsize=197668 CPUtime=397.15 /proc/15200/task/15202/stat : 15202 (java) S 15192 15192 14335 0 -1 64 6421 12318 0 1 80 9 39616 10 16 0 10 0 685386182 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15200/tid=15203] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15203/stat : 15203 (java) S 15192 15192 14335 0 -1 64 20 12318 0 1 0 0 39616 10 16 0 10 0 685386182 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15204] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15204/stat : 15204 (java) S 15192 15192 14335 0 -1 64 15 12318 0 1 0 0 39616 10 16 0 10 0 685386182 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15200/tid=15205] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15205/stat : 15205 (java) S 15192 15192 14335 0 -1 64 1 12318 0 1 0 0 39616 10 25 0 10 0 685386184 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15206] ppid=15192 vsize=197668 CPUtime=396.45 /proc/15200/task/15206/stat : 15206 (java) S 15192 15192 14335 0 -1 64 713 12318 0 1 19 0 39616 10 16 0 10 0 685386184 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15200/tid=15207] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15207/stat : 15207 (java) S 15192 15192 14335 0 -1 64 1 12318 0 1 0 0 39616 10 25 0 10 0 685386184 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15208] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15208/stat : 15208 (java) S 15192 15192 14335 0 -1 64 21 12318 0 1 0 0 39616 10 15 0 10 0 685386184 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15249] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15249/stat : 15249 (java) S 15192 15192 14335 0 -1 64 48 12318 0 1 0 0 39616 10 16 0 10 0 685426558 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 595.18 Current children cumulated vsize (KiB) 215352 [startup+599.902 s] /proc/loadavg: 2.00 2.02 2.02 3/87 15251 /proc/meminfo: memFree=1647096/2055924 swapFree=4177320/4192956 [pid=15192] ppid=15190 vsize=5360 CPUtime=1.54 /proc/15192/stat : 15192 (hydra) S 15190 15192 14335 0 -1 4194304 375 1695 0 0 0 0 153 1 19 0 1 0 685386022 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15192/statm: 1340 238 196 169 0 51 0 [pid=15200] ppid=15192 vsize=197668 CPUtime=401.7 /proc/15200/stat : 15200 (java) S 15192 15192 14335 0 -1 0 11961 12318 1 1 528 16 39616 10 20 0 10 0 685386180 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15200/statm: 49417 9375 2545 9 0 44000 0 [pid=15250] ppid=15200 vsize=5356 CPUtime=0 /proc/15250/stat : 15250 (mistral) S 15200 15192 14335 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 685426558 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 230266823492 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/15250/statm: 1339 238 198 169 0 50 0 [pid=15251] ppid=15250 vsize=6968 CPUtime=193.53 /proc/15251/stat : 15251 (xsolve) R 15250 15192 14335 0 -1 4194304 1074 0 0 0 19353 0 0 0 25 0 1 0 685426560 7135232 1038 996147200 134512640 135239763 4294955952 18446744073709551615 135019102 0 4 0 0 0 0 0 17 0 0 0 /proc/15251/statm: 1742 1038 392 177 0 645 0 [pid=15200/tid=15201] ppid=15192 vsize=197668 CPUtime=400.58 /proc/15200/task/15201/stat : 15201 (java) S 15192 15192 14335 0 -1 64 3938 12318 1 1 428 4 39616 10 16 0 10 0 685386181 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=15200/tid=15202] ppid=15192 vsize=197668 CPUtime=397.15 /proc/15200/task/15202/stat : 15202 (java) S 15192 15192 14335 0 -1 64 6421 12318 0 1 80 9 39616 10 16 0 10 0 685386182 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15200/tid=15203] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15203/stat : 15203 (java) S 15192 15192 14335 0 -1 64 20 12318 0 1 0 0 39616 10 16 0 10 0 685386182 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15204] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15204/stat : 15204 (java) S 15192 15192 14335 0 -1 64 15 12318 0 1 0 0 39616 10 16 0 10 0 685386182 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15200/tid=15205] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15205/stat : 15205 (java) S 15192 15192 14335 0 -1 64 1 12318 0 1 0 0 39616 10 25 0 10 0 685386184 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15206] ppid=15192 vsize=197668 CPUtime=396.45 /proc/15200/task/15206/stat : 15206 (java) S 15192 15192 14335 0 -1 64 713 12318 0 1 19 0 39616 10 16 0 10 0 685386184 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15200/tid=15207] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15207/stat : 15207 (java) S 15192 15192 14335 0 -1 64 1 12318 0 1 0 0 39616 10 25 0 10 0 685386184 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15208] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15208/stat : 15208 (java) S 15192 15192 14335 0 -1 64 21 12318 0 1 0 0 39616 10 15 0 10 0 685386184 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15249] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15249/stat : 15249 (java) S 15192 15192 14335 0 -1 64 48 12318 0 1 0 0 39616 10 16 0 10 0 685426558 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 596.77 Current children cumulated vsize (KiB) 215352 [startup+600.302 s] /proc/loadavg: 2.00 2.02 2.02 3/87 15251 /proc/meminfo: memFree=1647096/2055924 swapFree=4177320/4192956 [pid=15192] ppid=15190 vsize=5360 CPUtime=1.54 /proc/15192/stat : 15192 (hydra) S 15190 15192 14335 0 -1 4194304 375 1695 0 0 0 0 153 1 19 0 1 0 685386022 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15192/statm: 1340 238 196 169 0 51 0 [pid=15200] ppid=15192 vsize=197668 CPUtime=401.7 /proc/15200/stat : 15200 (java) S 15192 15192 14335 0 -1 0 11961 12318 1 1 528 16 39616 10 20 0 10 0 685386180 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15200/statm: 49417 9375 2545 9 0 44000 0 [pid=15250] ppid=15200 vsize=5356 CPUtime=0 /proc/15250/stat : 15250 (mistral) S 15200 15192 14335 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 685426558 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 230266823492 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/15250/statm: 1339 238 198 169 0 50 0 [pid=15251] ppid=15250 vsize=6968 CPUtime=193.93 /proc/15251/stat : 15251 (xsolve) R 15250 15192 14335 0 -1 4194304 1074 0 0 0 19393 0 0 0 25 0 1 0 685426560 7135232 1038 996147200 134512640 135239763 4294955952 18446744073709551615 135019104 0 4 0 0 0 0 0 17 0 0 0 /proc/15251/statm: 1742 1038 392 177 0 645 0 [pid=15200/tid=15201] ppid=15192 vsize=197668 CPUtime=400.58 /proc/15200/task/15201/stat : 15201 (java) S 15192 15192 14335 0 -1 64 3938 12318 1 1 428 4 39616 10 16 0 10 0 685386181 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=15200/tid=15202] ppid=15192 vsize=197668 CPUtime=397.15 /proc/15200/task/15202/stat : 15202 (java) S 15192 15192 14335 0 -1 64 6421 12318 0 1 80 9 39616 10 16 0 10 0 685386182 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15200/tid=15203] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15203/stat : 15203 (java) S 15192 15192 14335 0 -1 64 20 12318 0 1 0 0 39616 10 16 0 10 0 685386182 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15204] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15204/stat : 15204 (java) S 15192 15192 14335 0 -1 64 15 12318 0 1 0 0 39616 10 16 0 10 0 685386182 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15200/tid=15205] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15205/stat : 15205 (java) S 15192 15192 14335 0 -1 64 1 12318 0 1 0 0 39616 10 25 0 10 0 685386184 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15206] ppid=15192 vsize=197668 CPUtime=396.45 /proc/15200/task/15206/stat : 15206 (java) S 15192 15192 14335 0 -1 64 713 12318 0 1 19 0 39616 10 16 0 10 0 685386184 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15200/tid=15207] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15207/stat : 15207 (java) S 15192 15192 14335 0 -1 64 1 12318 0 1 0 0 39616 10 25 0 10 0 685386184 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15208] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15208/stat : 15208 (java) S 15192 15192 14335 0 -1 64 21 12318 0 1 0 0 39616 10 15 0 10 0 685386184 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15249] ppid=15192 vsize=197668 CPUtime=396.26 /proc/15200/task/15249/stat : 15249 (java) S 15192 15192 14335 0 -1 64 48 12318 0 1 0 0 39616 10 16 0 10 0 685426558 202412032 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 597.17 Current children cumulated vsize (KiB) 215352 [startup+600.503 s] /proc/loadavg: 2.00 2.02 2.02 2/84 15251 /proc/meminfo: memFree=1649800/2055924 swapFree=4177320/4192956 [pid=15192] ppid=15190 vsize=5360 CPUtime=1.54 /proc/15192/stat : 15192 (hydra) S 15190 15192 14335 0 -1 4194304 375 1695 0 0 0 0 153 1 19 0 1 0 685386022 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15192/statm: 1340 238 196 169 0 51 0 [pid=15200] ppid=15192 vsize=197668 CPUtime=595.84 /proc/15200/stat : 15200 (java) S 15192 15192 14335 0 -1 0 12035 13715 1 1 528 16 59028 12 20 0 9 0 685386180 202412032 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15200/statm: 49417 9376 2545 9 0 44000 0 [pid=15200/tid=15201] ppid=15192 vsize=197668 CPUtime=594.72 /proc/15200/task/15201/stat : 15201 (java) S 15192 15192 14335 0 -1 64 3995 13715 1 1 428 4 59028 12 16 0 9 0 685386181 202412032 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15202] ppid=15192 vsize=197668 CPUtime=591.29 /proc/15200/task/15202/stat : 15202 (java) S 15192 15192 14335 0 -1 64 6431 13715 0 1 80 9 59028 12 16 0 9 0 685386182 202412032 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15203] ppid=15192 vsize=197668 CPUtime=590.4 /proc/15200/task/15203/stat : 15203 (java) S 15192 15192 14335 0 -1 64 20 13715 0 1 0 0 59028 12 16 0 9 0 685386182 202412032 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15204] ppid=15192 vsize=197668 CPUtime=590.4 /proc/15200/task/15204/stat : 15204 (java) S 15192 15192 14335 0 -1 64 15 13715 0 1 0 0 59028 12 16 0 9 0 685386182 202412032 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15200/tid=15205] ppid=15192 vsize=197668 CPUtime=590.4 /proc/15200/task/15205/stat : 15205 (java) S 15192 15192 14335 0 -1 64 1 13715 0 1 0 0 59028 12 25 0 9 0 685386184 202412032 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15206] ppid=15192 vsize=197668 CPUtime=590.59 /proc/15200/task/15206/stat : 15206 (java) S 15192 15192 14335 0 -1 64 713 13715 0 1 19 0 59028 12 16 0 9 0 685386184 202412032 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15200/tid=15207] ppid=15192 vsize=197668 CPUtime=590.4 /proc/15200/task/15207/stat : 15207 (java) S 15192 15192 14335 0 -1 64 1 13715 0 1 0 0 59028 12 25 0 9 0 685386184 202412032 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15200/tid=15208] ppid=15192 vsize=197668 CPUtime=590.4 /proc/15200/task/15208/stat : 15208 (java) S 15192 15192 14335 0 -1 64 21 13715 0 1 0 0 59028 12 15 0 9 0 685386184 202412032 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 597.38 Current children cumulated vsize (KiB) 203028 Child status: 0 Real time (s): 600.519 CPU time (s): 597.419 CPU user time (s): 597.111 CPU system time (s): 0.307953 CPU usage (%): 99.4837 Max. virtual memory (cumulated for all children) (KiB): 870468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 597.111 system time used= 0.307953 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27855 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= 30771 involuntary context switches= 25046 runsolver used 2.6096 second user time and 3.81842 second system time The end
Begin job on node83 at 2008-07-06 00:22:44 IDJOB=1102112 IDBENCH=60100 IDSOLVER=365 FILE ID=node83/1102112-1215296564 PBS_JOBID= 7882361 Free space on /tmp= 66472 MiB SOLVER NAME= cpHydra k_10 BENCH NAME= CPAI08/csp/rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-22_ext.xml COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1102112-1215296564/watcher-1102112-1215296564 -o /tmp/evaluation-result-1102112-1215296564/solver-1102112-1215296564 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1102112-1215296564.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 1729bc579ce595de42e10a64a2efdb08 RANDOM SEED=907314599 node83.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055924 kB MemFree: 1601896 kB Buffers: 63672 kB Cached: 263832 kB SwapCached: 9708 kB Active: 292084 kB Inactive: 111476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1601896 kB SwapTotal: 4192956 kB SwapFree: 4177320 kB Dirty: 24696 kB Writeback: 0 kB Mapped: 91652 kB Slab: 35184 kB Committed_AS: 1845276 kB PageTables: 2120 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66472 MiB End job on node83 at 2008-07-06 00:32:45