Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_10 | SAT | 636.581 | 644.932 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 1458530 |
CHECKS | 910314000 |
Name | csp/rand-2-50-23-fcd/ normalized-rand-2-50-23-587-230-fcd-44_ext.xml |
MD5SUM | 13e1709e270b4b3a99e2e21a96b10bfe |
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 | 42.1486 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 477 |
Maximum constraint arity | 2 |
Maximum domain size | 23 |
Number of constraints which are defined in extension | 477 |
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 7.08/7.27 c CASE TO CLASSIFY: 7.08/7.27 c Case: 0 7.08/7.27 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.414900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.238500 | c 14 > 13.032700 | c 11 > 5.643860 | c 12 > 10.968600 | 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.897850 | 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 7.08/7.28 c choco : 1801.0 7.08/7.28 c mistral : 1801.0 7.08/7.28 c abscon : 1801.0 7.08/7.28 c 7.08/7.28 c 7.18/7.35 c List of same ones: 10 7.18/7.35 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-23_ext.xml 7.18/7.35 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 7.18/7.36 c choco : 65.95 7.18/7.36 c mistral : 6.46 7.18/7.36 c abscon : 25.4031 7.18/7.36 c 7.18/7.36 c 7.18/7.36 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-43_ext.xml 7.18/7.36 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 7.18/7.37 c choco : 383.01 7.18/7.37 c mistral : 136.456 7.18/7.37 c abscon : 83.8203 7.18/7.37 c 7.18/7.37 c 7.18/7.37 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-39_ext.xml 7.18/7.37 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 7.18/7.38 c choco : 1801.0 7.18/7.38 c mistral : 8.71567 7.18/7.38 c abscon : 21.7987 7.18/7.38 c 7.18/7.38 c 7.18/7.38 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-37_ext.xml 7.18/7.38 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 7.18/7.39 c choco : 461.85 7.18/7.39 c mistral : 88.2516 7.18/7.39 c abscon : 19.3101 7.18/7.39 c 7.18/7.39 c 7.18/7.39 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-49_ext.xml 7.18/7.39 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 7.18/7.40 c choco : 32.14 7.18/7.40 c mistral : 2.98854 7.18/7.40 c abscon : 14.2088 7.18/7.40 c 7.18/7.40 c 7.18/7.40 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-21_ext.xml 7.18/7.40 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 7.26/7.41 c choco : 417.75 7.26/7.41 c mistral : 124.962 7.26/7.41 c abscon : 17.8703 7.26/7.41 c 7.26/7.41 c 7.26/7.41 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-29_ext.xml 7.26/7.41 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 7.26/7.42 c choco : 1801.0 7.26/7.42 c mistral : 43.15 7.26/7.42 c abscon : 43.5314 7.26/7.42 c 7.26/7.42 c 7.26/7.42 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-7_ext.xml 7.26/7.42 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 7.26/7.42 c choco : 1056.91 7.26/7.42 c mistral : 387.366 7.26/7.42 c abscon : 379.2 7.26/7.42 c 7.26/7.42 c 7.26/7.42 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-19_ext.xml 7.26/7.42 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 7.26/7.43 c choco : 1801.0 7.26/7.43 c mistral : 73.92 7.26/7.43 c abscon : 2.17767 7.26/7.43 c 7.26/7.43 c 7.26/7.43 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-37_ext.xml 7.26/7.43 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 7.26/7.44 c choco : 839.83 7.26/7.44 c mistral : 346.46 7.26/7.44 c abscon : 305.646 7.26/7.44 c 7.26/7.44 c 7.44/7.63 c Length: 10 7.44/7.63 c 1.2693344090900545 1.2823781074238598 1.3005233644960006 1.3013235664507115 1.3128296240563742 1.3368633046800247 1.3530484958418887 1.3690659262796656 1.3807097016027663 1.38641314628793 7.44/7.63 c 7.44/7.63 c 1.0 0.8997582678151639 0.7896442923052396 0.7854054526268485 0.7291265838568665 0.6342031227518337 0.5830822780160656 0.5400055340031594 0.5124826966116315 0.5 7.44/7.64 c 7.44/7.64 c solver 0 7.44/7.64 c before 0.0 seconds: {} 0 7.44/7.64 c before 18.0 seconds: {4, 5, 8} 1875 7.44/7.64 c before 36.0 seconds: {0, 2, 3, 4, 5, 8} 4450 7.44/7.64 c before 54.0 seconds: {0, 2, 3, 4, 5, 6, 8} 5033 7.44/7.64 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8} 5933 7.44/7.64 c before 306.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6433 7.44/7.64 c before 396.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6973 7.44/7.64 c 7.44/7.64 c solver 1 7.44/7.64 c before 0.0 seconds: {} 0 7.44/7.64 c before 18.0 seconds: {0, 2, 4} 2518 7.44/7.64 c before 54.0 seconds: {0, 2, 4, 6} 3101 7.44/7.64 c before 90.0 seconds: {0, 2, 3, 4, 6, 8} 4399 7.44/7.64 c before 126.0 seconds: {0, 2, 3, 4, 5, 6, 8} 5033 7.44/7.64 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8} 5933 7.44/7.64 c before 360.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6433 7.44/7.64 c before 396.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6973 7.44/7.64 c 7.44/7.64 c solver 2 7.44/7.64 c before 0.0 seconds: {} 0 7.44/7.64 c before 36.0 seconds: {4} 729 7.44/7.64 c before 72.0 seconds: {0, 4} 1729 7.44/7.64 c before 396.0 seconds: {0, 1, 4} 2628 7.44/7.64 c before 432.0 seconds: {0, 1, 4, 5} 3263 7.44/7.64 c before 468.0 seconds: {0, 1, 3, 4, 5} 4048 7.44/7.64 c before 846.0 seconds: {0, 1, 3, 4, 5, 9} 4548 7.44/7.64 c before 1062.0 seconds: {0, 1, 3, 4, 5, 7, 9} 5088 7.44/7.64 c 7.44/7.64 cTotal time: 103 7.44/7.64 c run abscon for 396.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6973 7.44/7.64 c run mistral for 396.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6973 7.44/7.64 c run choco for 846.0 seconds {0, 1, 3, 4, 5, 9} 4548 7.44/7.64 c Starting solver: HOME/cpHydra_k_10/solver/abscon 7.44/7.64 c On Instance: HOME/instance-1102398-1215298974.xml 7.44/7.64 c Running for: 396 seconds 403.66/407.50 c Starting solver: HOME/cpHydra_k_10/solver/mistral 403.66/407.50 c On Instance: HOME/instance-1102398-1215298974.xml 403.66/407.50 c Running for: 396 seconds 636.43/644.89 c mistral-prime version 1.313 636.43/644.89 s SATISFIABLE 636.43/644.89 v 12 22 7 22 6 1 0 16 14 4 0 21 17 14 15 1 6 8 10 4 9 5 6 0 8 9 22 0 6 18 15 21 20 17 16 0 20 7 12 6 21 1 2 21 11 10 2 10 9 0 636.43/644.89 d CHECKS 910314456 636.43/644.89 d ASSIGNMENTS 1458533
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-1102398-1215298974/watcher-1102398-1215298974 -o /tmp/evaluation-result-1102398-1215298974/solver-1102398-1215298974 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1102398-1215298974.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: 1.85 1.97 1.99 4/80 27709 /proc/meminfo: memFree=1636584/2055920 swapFree=4180444/4192956 [pid=27709] ppid=27707 vsize=5212 CPUtime=0 /proc/27709/stat : 27709 (hydra) R 27707 27709 27672 0 -1 4194304 74 0 0 0 0 0 0 0 20 0 1 0 2008866959 5337088 48 996147200 4194304 4889804 548682068816 18446744073709551615 213111996352 0 0 4096 0 0 0 0 17 1 0 0 /proc/27709/statm: 1303 48 32 169 0 14 0 [startup+0.0677141 s] /proc/loadavg: 1.85 1.97 1.99 4/80 27709 /proc/meminfo: memFree=1636584/2055920 swapFree=4180444/4192956 [pid=27709] ppid=27707 vsize=5360 CPUtime=0 /proc/27709/stat : 27709 (hydra) S 27707 27709 27672 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2008866959 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27709/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101722 s] /proc/loadavg: 1.85 1.97 1.99 4/80 27709 /proc/meminfo: memFree=1636584/2055920 swapFree=4180444/4192956 [pid=27709] ppid=27707 vsize=5360 CPUtime=0 /proc/27709/stat : 27709 (hydra) S 27707 27709 27672 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2008866959 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27709/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301749 s] /proc/loadavg: 1.85 1.97 1.99 4/80 27709 /proc/meminfo: memFree=1636584/2055920 swapFree=4180444/4192956 [pid=27709] ppid=27707 vsize=5360 CPUtime=0 /proc/27709/stat : 27709 (hydra) S 27707 27709 27672 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2008866959 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27709/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701818 s] /proc/loadavg: 1.85 1.97 1.99 4/80 27709 /proc/meminfo: memFree=1636584/2055920 swapFree=4180444/4192956 [pid=27709] ppid=27707 vsize=5360 CPUtime=0 /proc/27709/stat : 27709 (hydra) S 27707 27709 27672 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2008866959 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27709/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50195 s] /proc/loadavg: 1.85 1.97 1.99 3/82 27713 /proc/meminfo: memFree=1633624/2055920 swapFree=4180444/4192956 [pid=27709] ppid=27707 vsize=5360 CPUtime=0 /proc/27709/stat : 27709 (hydra) S 27707 27709 27672 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2008866959 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27709/statm: 1340 236 195 169 0 51 0 [pid=27713] ppid=27709 vsize=6968 CPUtime=1.47 /proc/27713/stat : 27713 (xsolve) R 27709 27709 27672 0 -1 4194304 1109 0 0 0 146 1 0 0 25 0 1 0 2008866960 7135232 1068 996147200 134512640 135239763 4294956176 18446744073709551615 134821584 0 0 4096 0 0 0 0 17 1 0 0 /proc/27713/statm: 1742 1068 412 177 0 645 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 12328 [startup+3.10223 s] /proc/loadavg: 1.86 1.97 1.99 3/90 27725 /proc/meminfo: memFree=1629080/2055920 swapFree=4180444/4192956 [pid=27709] ppid=27707 vsize=5360 CPUtime=1.53 /proc/27709/stat : 27709 (hydra) S 27707 27709 27672 0 -1 4194304 375 1706 0 0 0 0 152 1 18 0 1 0 2008866959 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27709/statm: 1340 238 196 169 0 51 0 [pid=27717] ppid=27709 vsize=197000 CPUtime=1.51 /proc/27717/stat : 27717 (java) S 27709 27709 27672 0 -1 0 5108 0 1 0 145 6 0 0 18 0 9 0 2008867115 201728000 4280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27717/statm: 49250 4280 1678 9 0 43833 0 [pid=27717/tid=27718] ppid=27709 vsize=197000 CPUtime=1.19 /proc/27717/task/27718/stat : 27718 (java) R 27709 27709 27672 0 -1 64 2753 0 1 0 117 2 0 0 25 0 9 0 2008867116 201728000 4280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27719] ppid=27709 vsize=197000 CPUtime=0.15 /proc/27717/task/27719/stat : 27719 (java) S 27709 27709 27672 0 -1 64 1016 0 0 0 13 2 0 0 16 0 9 0 2008867117 201728000 4280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27720] ppid=27709 vsize=197000 CPUtime=0 /proc/27717/task/27720/stat : 27720 (java) S 27709 27709 27672 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2008867118 201728000 4280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27721] ppid=27709 vsize=197000 CPUtime=0 /proc/27717/task/27721/stat : 27721 (java) S 27709 27709 27672 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2008867118 201728000 4280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27722] ppid=27709 vsize=197000 CPUtime=0 /proc/27717/task/27722/stat : 27722 (java) S 27709 27709 27672 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2008867120 201728000 4280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27723] ppid=27709 vsize=197000 CPUtime=0.14 /proc/27717/task/27723/stat : 27723 (java) S 27709 27709 27672 0 -1 64 614 0 0 0 14 0 0 0 16 0 9 0 2008867120 201728000 4280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27724] ppid=27709 vsize=197000 CPUtime=0 /proc/27717/task/27724/stat : 27724 (java) S 27709 27709 27672 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2008867120 201728000 4280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27725] ppid=27709 vsize=197000 CPUtime=0 /proc/27717/task/27725/stat : 27725 (java) S 27709 27709 27672 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2008867120 201728000 4280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 202360 [startup+6.30278 s] /proc/loadavg: 1.86 1.97 1.99 3/90 27725 /proc/meminfo: memFree=1616152/2055920 swapFree=4180444/4192956 [pid=27709] ppid=27707 vsize=5360 CPUtime=1.53 /proc/27709/stat : 27709 (hydra) S 27707 27709 27672 0 -1 4194304 375 1706 0 0 0 0 152 1 18 0 1 0 2008866959 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27709/statm: 1340 238 196 169 0 51 0 [pid=27717] ppid=27709 vsize=197108 CPUtime=4.66 /proc/27717/stat : 27717 (java) S 27709 27709 27672 0 -1 0 10046 0 1 0 450 16 0 0 18 0 9 0 2008867115 201838592 8329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27717/statm: 49277 8329 2540 9 0 43860 0 [pid=27717/tid=27718] ppid=27709 vsize=197108 CPUtime=3.7 /proc/27717/task/27718/stat : 27718 (java) R 27709 27709 27672 0 -1 64 3558 0 1 0 364 6 0 0 25 0 9 0 2008867116 201838592 8329 996147200 134512640 134550740 4294955968 18446744073709551615 4126493599 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27719] ppid=27709 vsize=197108 CPUtime=0.76 /proc/27717/task/27719/stat : 27719 (java) S 27709 27709 27672 0 -1 64 5133 0 0 0 68 8 0 0 16 0 9 0 2008867117 201838592 8329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27720] ppid=27709 vsize=197108 CPUtime=0 /proc/27717/task/27720/stat : 27720 (java) S 27709 27709 27672 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2008867118 201838592 8329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27721] ppid=27709 vsize=197108 CPUtime=0 /proc/27717/task/27721/stat : 27721 (java) S 27709 27709 27672 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2008867118 201838592 8329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27722] ppid=27709 vsize=197108 CPUtime=0 /proc/27717/task/27722/stat : 27722 (java) S 27709 27709 27672 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2008867120 201838592 8329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27723] ppid=27709 vsize=197108 CPUtime=0.16 /proc/27717/task/27723/stat : 27723 (java) S 27709 27709 27672 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 2008867120 201838592 8329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27724] ppid=27709 vsize=197108 CPUtime=0 /proc/27717/task/27724/stat : 27724 (java) S 27709 27709 27672 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2008867120 201838592 8329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27725] ppid=27709 vsize=197108 CPUtime=0 /proc/27717/task/27725/stat : 27725 (java) S 27709 27709 27672 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2008867120 201838592 8329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 202468 [startup+12.7039 s] /proc/loadavg: 1.88 1.97 1.99 3/102 27737 /proc/meminfo: memFree=1573504/2055920 swapFree=4180444/4192956 [pid=27709] ppid=27707 vsize=5360 CPUtime=1.53 /proc/27709/stat : 27709 (hydra) S 27707 27709 27672 0 -1 4194304 375 1706 0 0 0 0 152 1 18 0 1 0 2008866959 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27709/statm: 1340 238 196 169 0 51 0 [pid=27717] ppid=27709 vsize=197432 CPUtime=5.95 /proc/27717/stat : 27717 (java) S 27709 27709 27672 0 -1 0 13882 0 1 0 576 19 0 0 18 0 10 0 2008867115 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27717/statm: 49358 9394 2543 9 0 43941 0 [pid=27727] ppid=27717 vsize=5356 CPUtime=0 /proc/27727/stat : 27727 (abscon) S 27717 27709 27672 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2008867724 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27727/statm: 1339 237 196 169 0 50 0 [pid=27728] ppid=27727 vsize=655364 CPUtime=5.03 /proc/27728/stat : 27728 (java) S 27727 27709 27672 0 -1 0 11799 0 1 0 496 7 0 0 18 0 9 0 2008867724 671092736 11113 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/27728/statm: 163841 11113 2612 9 0 158369 0 [pid=27728/tid=27730] ppid=27727 vsize=655364 CPUtime=4.71 /proc/27728/task/27730/stat : 27730 (java) R 27727 27709 27672 0 -1 64 8817 0 1 0 466 5 0 0 25 0 9 0 2008867725 671092736 11113 996147200 134512640 134550740 4294955808 18446744073709551615 4126856693 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27728/tid=27731] ppid=27727 vsize=655364 CPUtime=0.04 /proc/27728/task/27731/stat : 27731 (java) S 27727 27709 27672 0 -1 64 1899 0 0 0 4 0 0 0 16 0 9 0 2008867726 671092736 11113 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=27728/tid=27732] ppid=27727 vsize=655364 CPUtime=0 /proc/27728/task/27732/stat : 27732 (java) S 27727 27709 27672 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2008867727 671092736 11113 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27728/tid=27733] ppid=27727 vsize=655364 CPUtime=0 /proc/27728/task/27733/stat : 27733 (java) S 27727 27709 27672 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2008867727 671092736 11113 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27728/tid=27734] ppid=27727 vsize=655364 CPUtime=0 /proc/27728/task/27734/stat : 27734 (java) S 27727 27709 27672 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 2008867728 671092736 11113 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27728/tid=27735] ppid=27727 vsize=655364 CPUtime=0.24 /proc/27728/task/27735/stat : 27735 (java) S 27727 27709 27672 0 -1 64 537 0 0 0 24 0 0 0 15 0 9 0 2008867728 671092736 11113 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27728/tid=27736] ppid=27727 vsize=655364 CPUtime=0 /proc/27728/task/27736/stat : 27736 (java) S 27727 27709 27672 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2008867728 671092736 11113 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27728/tid=27737] ppid=27727 vsize=655364 CPUtime=0 /proc/27728/task/27737/stat : 27737 (java) S 27727 27709 27672 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2008867729 671092736 11113 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27729] ppid=27727 vsize=7044 CPUtime=0 /proc/27729/stat : 27729 (translate) S 27727 27709 27672 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2008867725 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 213112291410 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/27729/statm: 1761 213 182 1 0 41 0 [pid=27717/tid=27718] ppid=27709 vsize=197432 CPUtime=4.65 /proc/27717/task/27718/stat : 27718 (java) S 27709 27709 27672 0 -1 64 3855 0 1 0 458 7 0 0 25 0 10 0 2008867116 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27717/tid=27719] ppid=27709 vsize=197432 CPUtime=1.08 /proc/27717/task/27719/stat : 27719 (java) S 27709 27709 27672 0 -1 64 8573 0 0 0 98 10 0 0 16 0 10 0 2008867117 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27720] ppid=27709 vsize=197432 CPUtime=0 /proc/27717/task/27720/stat : 27720 (java) S 27709 27709 27672 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2008867118 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27721] ppid=27709 vsize=197432 CPUtime=0 /proc/27717/task/27721/stat : 27721 (java) S 27709 27709 27672 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2008867118 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27722] ppid=27709 vsize=197432 CPUtime=0 /proc/27717/task/27722/stat : 27722 (java) S 27709 27709 27672 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2008867120 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27723] ppid=27709 vsize=197432 CPUtime=0.2 /proc/27717/task/27723/stat : 27723 (java) S 27709 27709 27672 0 -1 64 646 0 0 0 19 1 0 0 15 0 10 0 2008867120 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27724] ppid=27709 vsize=197432 CPUtime=0 /proc/27717/task/27724/stat : 27724 (java) S 27709 27709 27672 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2008867120 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27725] ppid=27709 vsize=197432 CPUtime=0 /proc/27717/task/27725/stat : 27725 (java) S 27709 27709 27672 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2008867120 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27726] ppid=27709 vsize=197432 CPUtime=0 /proc/27717/task/27726/stat : 27726 (java) S 27709 27709 27672 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2008867724 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.51 Current children cumulated vsize (KiB) 870556 [startup+25.502 s] /proc/loadavg: 1.90 1.97 1.99 3/102 27737 /proc/meminfo: memFree=1573376/2055920 swapFree=4180444/4192956 [pid=27709] ppid=27707 vsize=5360 CPUtime=1.53 /proc/27709/stat : 27709 (hydra) S 27707 27709 27672 0 -1 4194304 375 1706 0 0 0 0 152 1 18 0 1 0 2008866959 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27709/statm: 1340 238 196 169 0 51 0 [pid=27717] ppid=27709 vsize=197432 CPUtime=5.95 /proc/27717/stat : 27717 (java) S 27709 27709 27672 0 -1 0 13882 0 1 0 576 19 0 0 18 0 10 0 2008867115 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27717/statm: 49358 9394 2543 9 0 43941 0 [pid=27727] ppid=27717 vsize=5356 CPUtime=0 /proc/27727/stat : 27727 (abscon) S 27717 27709 27672 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2008867724 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27727/statm: 1339 237 196 169 0 50 0 [pid=27728] ppid=27727 vsize=655364 CPUtime=17.83 /proc/27728/stat : 27728 (java) S 27727 27709 27672 0 -1 0 11801 0 1 0 1776 7 0 0 18 0 9 0 2008867724 671092736 11114 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/27728/statm: 163841 11114 2612 9 0 158369 0 [pid=27728/tid=27730] ppid=27727 vsize=655364 CPUtime=17.51 /proc/27728/task/27730/stat : 27730 (java) R 27727 27709 27672 0 -1 64 8818 0 1 0 1746 5 0 0 25 0 9 0 2008867725 671092736 11114 996147200 134512640 134550740 4294955808 18446744073709551615 4126377943 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27728/tid=27731] ppid=27727 vsize=655364 CPUtime=0.04 /proc/27728/task/27731/stat : 27731 (java) S 27727 27709 27672 0 -1 64 1899 0 0 0 4 0 0 0 16 0 9 0 2008867726 671092736 11114 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=27728/tid=27732] ppid=27727 vsize=655364 CPUtime=0 /proc/27728/task/27732/stat : 27732 (java) S 27727 27709 27672 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2008867727 671092736 11114 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=27709] ppid=27707 vsize=5360 CPUtime=1.53 /proc/27709/stat : 27709 (hydra) S 27707 27709 27672 0 -1 4194304 375 1706 0 0 0 0 152 1 18 0 1 0 2008866959 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27709/statm: 1340 238 196 169 0 51 0 [pid=27717] ppid=27709 vsize=197756 CPUtime=402.24 /proc/27717/stat : 27717 (java) S 27709 27709 27672 0 -1 0 14105 12377 1 1 577 20 39615 12 18 0 10 0 2008867115 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27717/statm: 49439 9401 2544 9 0 44022 0 [pid=27795] ppid=27717 vsize=5356 CPUtime=0 /proc/27795/stat : 27795 (mistral) S 27717 27709 27672 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 2008907709 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27795/statm: 1339 238 198 169 0 50 0 [pid=27796] ppid=27795 vsize=6968 CPUtime=230.22 /proc/27796/stat : 27796 (xsolve) R 27795 27709 27672 0 -1 4194304 1084 0 0 0 23020 2 0 0 25 0 1 0 2008907710 7135232 1048 996147200 134512640 135239763 4294955952 18446744073709551615 135019107 0 4 0 0 0 0 0 17 1 0 0 /proc/27796/statm: 1742 1048 392 177 0 645 0 [pid=27717/tid=27718] ppid=27709 vsize=197756 CPUtime=400.92 /proc/27717/task/27718/stat : 27718 (java) S 27709 27709 27672 0 -1 64 3935 12377 1 1 458 7 39615 12 16 0 10 0 2008867116 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27717/tid=27719] ppid=27709 vsize=197756 CPUtime=397.35 /proc/27717/task/27719/stat : 27719 (java) S 27709 27709 27672 0 -1 64 8586 12377 0 1 98 10 39615 12 16 0 10 0 2008867117 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27720] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27720/stat : 27720 (java) S 27709 27709 27672 0 -1 64 11 12377 0 1 0 0 39615 12 16 0 10 0 2008867118 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27721] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27721/stat : 27721 (java) S 27709 27709 27672 0 -1 64 5 12377 0 1 0 0 39615 12 15 0 10 0 2008867118 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27722] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27722/stat : 27722 (java) S 27709 27709 27672 0 -1 64 1 12377 0 1 0 0 39615 12 18 0 10 0 2008867120 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27723] ppid=27709 vsize=197756 CPUtime=396.47 /proc/27717/task/27723/stat : 27723 (java) S 27709 27709 27672 0 -1 64 708 12377 0 1 19 1 39615 12 16 0 10 0 2008867120 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27724] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27724/stat : 27724 (java) S 27709 27709 27672 0 -1 64 0 12377 0 1 0 0 39615 12 19 0 10 0 2008867120 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27725] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27725/stat : 27725 (java) S 27709 27709 27672 0 -1 64 29 12377 0 1 0 0 39615 12 15 0 10 0 2008867120 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27794] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27794/stat : 27794 (java) S 27709 27709 27672 0 -1 64 49 12377 0 1 0 0 39615 12 17 0 10 0 2008907709 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 633.99 Current children cumulated vsize (KiB) 215440 Solver just ended. Dumping a history of the last processes samples [startup+643.103 s] /proc/loadavg: 2.00 1.99 1.99 3/106 27796 /proc/meminfo: memFree=1553936/2055920 swapFree=4180444/4192956 [pid=27709] ppid=27707 vsize=5360 CPUtime=1.53 /proc/27709/stat : 27709 (hydra) S 27707 27709 27672 0 -1 4194304 375 1706 0 0 0 0 152 1 18 0 1 0 2008866959 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27709/statm: 1340 238 196 169 0 51 0 [pid=27717] ppid=27709 vsize=197756 CPUtime=402.24 /proc/27717/stat : 27717 (java) S 27709 27709 27672 0 -1 0 14105 12377 1 1 577 20 39615 12 18 0 10 0 2008867115 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27717/statm: 49439 9401 2544 9 0 44022 0 [pid=27795] ppid=27717 vsize=5356 CPUtime=0 /proc/27795/stat : 27795 (mistral) S 27717 27709 27672 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 2008907709 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27795/statm: 1339 238 198 169 0 50 0 [pid=27796] ppid=27795 vsize=6968 CPUtime=231 /proc/27796/stat : 27796 (xsolve) R 27795 27709 27672 0 -1 4194304 1084 0 0 0 23098 2 0 0 25 0 1 0 2008907710 7135232 1048 996147200 134512640 135239763 4294955952 18446744073709551615 135019114 0 4 0 0 0 0 0 17 1 0 0 /proc/27796/statm: 1742 1048 392 177 0 645 0 [pid=27717/tid=27718] ppid=27709 vsize=197756 CPUtime=400.92 /proc/27717/task/27718/stat : 27718 (java) S 27709 27709 27672 0 -1 64 3935 12377 1 1 458 7 39615 12 16 0 10 0 2008867116 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27717/tid=27719] ppid=27709 vsize=197756 CPUtime=397.35 /proc/27717/task/27719/stat : 27719 (java) S 27709 27709 27672 0 -1 64 8586 12377 0 1 98 10 39615 12 16 0 10 0 2008867117 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27720] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27720/stat : 27720 (java) S 27709 27709 27672 0 -1 64 11 12377 0 1 0 0 39615 12 16 0 10 0 2008867118 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27721] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27721/stat : 27721 (java) S 27709 27709 27672 0 -1 64 5 12377 0 1 0 0 39615 12 15 0 10 0 2008867118 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27722] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27722/stat : 27722 (java) S 27709 27709 27672 0 -1 64 1 12377 0 1 0 0 39615 12 18 0 10 0 2008867120 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27723] ppid=27709 vsize=197756 CPUtime=396.47 /proc/27717/task/27723/stat : 27723 (java) S 27709 27709 27672 0 -1 64 708 12377 0 1 19 1 39615 12 16 0 10 0 2008867120 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27724] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27724/stat : 27724 (java) S 27709 27709 27672 0 -1 64 0 12377 0 1 0 0 39615 12 19 0 10 0 2008867120 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27725] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27725/stat : 27725 (java) S 27709 27709 27672 0 -1 64 29 12377 0 1 0 0 39615 12 15 0 10 0 2008867120 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27794] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27794/stat : 27794 (java) S 27709 27709 27672 0 -1 64 49 12377 0 1 0 0 39615 12 17 0 10 0 2008907709 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 634.77 Current children cumulated vsize (KiB) 215440 [startup+643.901 s] /proc/loadavg: 2.00 1.99 1.99 3/106 27796 /proc/meminfo: memFree=1553936/2055920 swapFree=4180444/4192956 [pid=27709] ppid=27707 vsize=5360 CPUtime=1.53 /proc/27709/stat : 27709 (hydra) S 27707 27709 27672 0 -1 4194304 375 1706 0 0 0 0 152 1 18 0 1 0 2008866959 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27709/statm: 1340 238 196 169 0 51 0 [pid=27717] ppid=27709 vsize=197756 CPUtime=402.24 /proc/27717/stat : 27717 (java) S 27709 27709 27672 0 -1 0 14105 12377 1 1 577 20 39615 12 18 0 10 0 2008867115 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27717/statm: 49439 9401 2544 9 0 44022 0 [pid=27795] ppid=27717 vsize=5356 CPUtime=0 /proc/27795/stat : 27795 (mistral) S 27717 27709 27672 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 2008907709 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27795/statm: 1339 238 198 169 0 50 0 [pid=27796] ppid=27795 vsize=6968 CPUtime=231.78 /proc/27796/stat : 27796 (xsolve) R 27795 27709 27672 0 -1 4194304 1084 0 0 0 23176 2 0 0 25 0 1 0 2008907710 7135232 1048 996147200 134512640 135239763 4294955952 18446744073709551615 135030894 0 4 0 0 0 0 0 17 1 0 0 /proc/27796/statm: 1742 1048 392 177 0 645 0 [pid=27717/tid=27718] ppid=27709 vsize=197756 CPUtime=400.92 /proc/27717/task/27718/stat : 27718 (java) S 27709 27709 27672 0 -1 64 3935 12377 1 1 458 7 39615 12 16 0 10 0 2008867116 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27717/tid=27719] ppid=27709 vsize=197756 CPUtime=397.35 /proc/27717/task/27719/stat : 27719 (java) S 27709 27709 27672 0 -1 64 8586 12377 0 1 98 10 39615 12 16 0 10 0 2008867117 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27720] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27720/stat : 27720 (java) S 27709 27709 27672 0 -1 64 11 12377 0 1 0 0 39615 12 16 0 10 0 2008867118 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27721] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27721/stat : 27721 (java) S 27709 27709 27672 0 -1 64 5 12377 0 1 0 0 39615 12 15 0 10 0 2008867118 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27722] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27722/stat : 27722 (java) S 27709 27709 27672 0 -1 64 1 12377 0 1 0 0 39615 12 18 0 10 0 2008867120 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27723] ppid=27709 vsize=197756 CPUtime=396.47 /proc/27717/task/27723/stat : 27723 (java) S 27709 27709 27672 0 -1 64 708 12377 0 1 19 1 39615 12 16 0 10 0 2008867120 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27724] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27724/stat : 27724 (java) S 27709 27709 27672 0 -1 64 0 12377 0 1 0 0 39615 12 19 0 10 0 2008867120 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27725] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27725/stat : 27725 (java) S 27709 27709 27672 0 -1 64 29 12377 0 1 0 0 39615 12 15 0 10 0 2008867120 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27794] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27794/stat : 27794 (java) S 27709 27709 27672 0 -1 64 49 12377 0 1 0 0 39615 12 17 0 10 0 2008907709 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 635.55 Current children cumulated vsize (KiB) 215440 [startup+644.702 s] /proc/loadavg: 2.00 1.99 1.99 3/106 27796 /proc/meminfo: memFree=1553936/2055920 swapFree=4180444/4192956 [pid=27709] ppid=27707 vsize=5360 CPUtime=1.53 /proc/27709/stat : 27709 (hydra) S 27707 27709 27672 0 -1 4194304 375 1706 0 0 0 0 152 1 18 0 1 0 2008866959 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27709/statm: 1340 238 196 169 0 51 0 [pid=27717] ppid=27709 vsize=197756 CPUtime=402.24 /proc/27717/stat : 27717 (java) S 27709 27709 27672 0 -1 0 14105 12377 1 1 577 20 39615 12 18 0 10 0 2008867115 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27717/statm: 49439 9401 2544 9 0 44022 0 [pid=27795] ppid=27717 vsize=5356 CPUtime=0 /proc/27795/stat : 27795 (mistral) S 27717 27709 27672 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 2008907709 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27795/statm: 1339 238 198 169 0 50 0 [pid=27796] ppid=27795 vsize=6968 CPUtime=232.56 /proc/27796/stat : 27796 (xsolve) R 27795 27709 27672 0 -1 4194304 1084 0 0 0 23254 2 0 0 25 0 1 0 2008907710 7135232 1048 996147200 134512640 135239763 4294955952 18446744073709551615 135103024 0 4 0 0 0 0 0 17 1 0 0 /proc/27796/statm: 1742 1048 392 177 0 645 0 [pid=27717/tid=27718] ppid=27709 vsize=197756 CPUtime=400.92 /proc/27717/task/27718/stat : 27718 (java) S 27709 27709 27672 0 -1 64 3935 12377 1 1 458 7 39615 12 16 0 10 0 2008867116 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27717/tid=27719] ppid=27709 vsize=197756 CPUtime=397.35 /proc/27717/task/27719/stat : 27719 (java) S 27709 27709 27672 0 -1 64 8586 12377 0 1 98 10 39615 12 16 0 10 0 2008867117 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27720] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27720/stat : 27720 (java) S 27709 27709 27672 0 -1 64 11 12377 0 1 0 0 39615 12 16 0 10 0 2008867118 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27721] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27721/stat : 27721 (java) S 27709 27709 27672 0 -1 64 5 12377 0 1 0 0 39615 12 15 0 10 0 2008867118 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27722] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27722/stat : 27722 (java) S 27709 27709 27672 0 -1 64 1 12377 0 1 0 0 39615 12 18 0 10 0 2008867120 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27723] ppid=27709 vsize=197756 CPUtime=396.47 /proc/27717/task/27723/stat : 27723 (java) S 27709 27709 27672 0 -1 64 708 12377 0 1 19 1 39615 12 16 0 10 0 2008867120 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27724] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27724/stat : 27724 (java) S 27709 27709 27672 0 -1 64 0 12377 0 1 0 0 39615 12 19 0 10 0 2008867120 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27725] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27725/stat : 27725 (java) S 27709 27709 27672 0 -1 64 29 12377 0 1 0 0 39615 12 15 0 10 0 2008867120 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27794] ppid=27709 vsize=197756 CPUtime=396.27 /proc/27717/task/27794/stat : 27794 (java) S 27709 27709 27672 0 -1 64 49 12377 0 1 0 0 39615 12 17 0 10 0 2008907709 202502144 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 636.33 Current children cumulated vsize (KiB) 215440 [startup+644.902 s] /proc/loadavg: 2.00 1.99 1.99 3/106 27796 /proc/meminfo: memFree=1553936/2055920 swapFree=4180444/4192956 [pid=27709] ppid=27707 vsize=5360 CPUtime=1.53 /proc/27709/stat : 27709 (hydra) S 27707 27709 27672 0 -1 4194304 375 1706 0 0 0 0 152 1 18 0 1 0 2008866959 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27709/statm: 1340 238 196 169 0 51 0 [pid=27717] ppid=27709 vsize=197756 CPUtime=635.01 /proc/27717/stat : 27717 (java) S 27709 27709 27672 0 -1 0 14206 13785 1 1 577 20 62889 15 18 0 9 0 2008867115 202502144 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27717/statm: 49439 9402 2544 9 0 44022 0 [pid=27717/tid=27718] ppid=27709 vsize=197756 CPUtime=633.69 /proc/27717/task/27718/stat : 27718 (java) S 27709 27709 27672 0 -1 64 4003 13785 1 1 458 7 62889 15 16 0 9 0 2008867116 202502144 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27719] ppid=27709 vsize=197756 CPUtime=630.12 /proc/27717/task/27719/stat : 27719 (java) S 27709 27709 27672 0 -1 64 8608 13785 0 1 98 10 62889 15 16 0 9 0 2008867117 202502144 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27720] ppid=27709 vsize=197756 CPUtime=629.04 /proc/27717/task/27720/stat : 27720 (java) S 27709 27709 27672 0 -1 64 11 13785 0 1 0 0 62889 15 16 0 9 0 2008867118 202502144 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27721] ppid=27709 vsize=197756 CPUtime=629.04 /proc/27717/task/27721/stat : 27721 (java) S 27709 27709 27672 0 -1 64 5 13785 0 1 0 0 62889 15 15 0 9 0 2008867118 202502144 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27722] ppid=27709 vsize=197756 CPUtime=629.04 /proc/27717/task/27722/stat : 27722 (java) S 27709 27709 27672 0 -1 64 1 13785 0 1 0 0 62889 15 18 0 9 0 2008867120 202502144 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27723] ppid=27709 vsize=197756 CPUtime=629.24 /proc/27717/task/27723/stat : 27723 (java) S 27709 27709 27672 0 -1 64 708 13785 0 1 19 1 62889 15 16 0 9 0 2008867120 202502144 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27724] ppid=27709 vsize=197756 CPUtime=629.04 /proc/27717/task/27724/stat : 27724 (java) S 27709 27709 27672 0 -1 64 0 13785 0 1 0 0 62889 15 19 0 9 0 2008867120 202502144 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27717/tid=27725] ppid=27709 vsize=197756 CPUtime=629.04 /proc/27717/task/27725/stat : 27725 (java) S 27709 27709 27672 0 -1 64 29 13785 0 1 0 0 62889 15 15 0 9 0 2008867120 202502144 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 636.54 Current children cumulated vsize (KiB) 203116 Child status: 0 Real time (s): 644.932 CPU time (s): 636.581 CPU user time (s): 636.197 CPU system time (s): 0.383941 CPU usage (%): 98.7052 Max. virtual memory (cumulated for all children) (KiB): 870556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 636.197 system time used= 0.383941 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30118 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= 31417 involuntary context switches= 36013 runsolver used 1.59976 second user time and 5.30719 second system time The end
Begin job on node68 at 2008-07-06 01:02:54 IDJOB=1102398 IDBENCH=60125 IDSOLVER=365 FILE ID=node68/1102398-1215298974 PBS_JOBID= 7882451 Free space on /tmp= 66524 MiB SOLVER NAME= cpHydra k_10 BENCH NAME= CPAI08/csp/rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-44_ext.xml COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1102398-1215298974/watcher-1102398-1215298974 -o /tmp/evaluation-result-1102398-1215298974/solver-1102398-1215298974 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1102398-1215298974.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 13e1709e270b4b3a99e2e21a96b10bfe RANDOM SEED=833393684 node68.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.261 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.261 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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1637000 kB Buffers: 66716 kB Cached: 249784 kB SwapCached: 6772 kB Active: 234912 kB Inactive: 128312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1637000 kB SwapTotal: 4192956 kB SwapFree: 4180444 kB Dirty: 24848 kB Writeback: 0 kB Mapped: 61888 kB Slab: 40976 kB Committed_AS: 5175116 kB PageTables: 1816 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= 66480 MiB End job on node68 at 2008-07-06 01:13:39