Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_10 | UNSAT | 31.4882 | 31.6633 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 26821 |
CHECKS | 39642 |
Name | csp/lexVg/ normalized-crossword-m1c-lex-vg5-9_ext.xml |
MD5SUM | cc349870ad14cc63690440668c347c92 |
Bench Category | N-ARY-EXT (n-ary constraints in extension) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 24.4223 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 45 |
Number of constraints | 14 |
Maximum constraint arity | 9 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 14 |
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.29/7.49 c CASE TO CLASSIFY: 7.29/7.49 c Case: 0 7.29/7.50 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.815800 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 6.042340 | c 14 > 9.090110 | c 11 > 5.491850 | c 12 > 8.500200 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.807350 | 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.192300 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.38/7.51 c choco : 1801.0 7.38/7.51 c mistral : 1801.0 7.38/7.51 c abscon : 1801.0 7.38/7.51 c 7.38/7.51 c 7.38/7.58 c List of same ones: 10 7.38/7.58 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-8_ext.xml 7.38/7.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.480800 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 5.882850 | c 14 > 8.894820 | c 11 > 5.321930 | c 12 > 8.183640 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.700440 | 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.022400 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.38/7.59 c choco : 952.36 7.38/7.59 c mistral : 331.59 7.38/7.59 c abscon : 52.73 7.38/7.59 c 7.38/7.59 c 7.38/7.59 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-9_ext.xml 7.38/7.59 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.311500 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 5.201180 | c 14 > 8.647460 | c 11 > 5.491850 | c 12 > 7.766420 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.807350 | 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.192300 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.48/7.60 c choco : 257.0 7.48/7.60 c mistral : 85.15 7.48/7.60 c abscon : 27.98 7.48/7.60 c 7.48/7.60 c 7.48/7.60 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-9_ext.xml 7.48/7.60 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.120000 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 5.652310 | c 14 > 8.199670 | c 11 > 5.754890 | c 12 > 7.535280 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.906890 | 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.455300 | c 31 > -1.000000 | c 4 > 5.754890 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.48/7.61 c choco : 419.03 7.48/7.61 c mistral : 108.95 7.48/7.61 c abscon : 41.83 7.48/7.61 c 7.48/7.61 c 7.48/7.61 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-8_ext.xml 7.48/7.61 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.250000 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 5.285280 | c 14 > 8.396600 | c 11 > 5.584960 | c 12 > 7.741750 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.807350 | 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.285400 | c 31 > -1.000000 | c 4 > 5.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.48/7.62 c choco : 1149.65 7.48/7.62 c mistral : 387.27 7.48/7.62 c abscon : 83.11 7.48/7.62 c 7.48/7.62 c 7.48/7.62 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-7_ext.xml 7.48/7.62 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.352500 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 5.541390 | c 14 > 8.592460 | c 11 > 5.614710 | c 12 > 7.926510 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.807350 | 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.315100 | c 31 > -1.000000 | c 4 > 5.614710 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.48/7.63 c choco : 1801.0 7.48/7.63 c mistral : 461.55 7.48/7.63 c abscon : 119.24 7.48/7.63 c 7.48/7.63 c 7.48/7.63 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-7_ext.xml 7.48/7.63 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.530000 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 6.792590 | c 14 > 9.174930 | c 11 > 5.129280 | c 12 > 8.975560 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.584960 | 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.829720 | c 31 > -1.000000 | c 4 > 5.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.48/7.64 c choco : 1801.0 7.48/7.64 c mistral : 492.76 7.48/7.64 c abscon : 95.65 7.48/7.64 c 7.48/7.64 c 7.48/7.64 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-7_ext.xml 7.48/7.64 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.116400 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 5.893840 | c 14 > 8.396600 | c 11 > 5.392320 | c 12 > 7.851300 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.700440 | 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.092800 | c 31 > -1.000000 | c 4 > 5.392320 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.48/7.65 c choco : 1801.0 7.48/7.65 c mistral : 711.03 7.48/7.65 c abscon : 160.78 7.48/7.65 c 7.48/7.65 c 7.48/7.65 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-10_ext.xml 7.48/7.65 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.317900 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.604050 | c 14 > 8.204570 | c 11 > 5.906890 | c 12 > 7.565550 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.000000 | 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.607300 | c 31 > -1.000000 | c 4 > 5.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.48/7.65 c choco : 113.92 7.48/7.65 c mistral : 1801.0 7.48/7.65 c abscon : 16.64 7.48/7.65 c 7.48/7.65 c 7.48/7.65 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-8_ext.xml 7.48/7.65 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.891400 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 4.986610 | c 14 > 7.954200 | c 11 > 5.807350 | c 12 > 7.031060 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.906890 | 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.507800 | c 31 > -1.000000 | c 4 > 5.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.48/7.66 c choco : 1078.47 7.48/7.66 c mistral : 441.78 7.48/7.66 c abscon : 97.35 7.48/7.66 c 7.48/7.66 c 7.48/7.66 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-8_ext.xml 7.48/7.66 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.245700 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 5.324780 | c 14 > 7.741470 | c 11 > 5.321930 | c 12 > 6.751210 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.700440 | 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.022400 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.48/7.67 c choco : 1801.0 7.48/7.67 c mistral : 693.86 7.48/7.67 c abscon : 1801.0 7.48/7.67 c 7.48/7.67 c 7.48/7.67 c Length: 10 7.48/7.67 c 1.1721995771625235 1.3023980752826676 1.605513106673377 1.7249575532168897 2.2555803089892406 2.3068493324879285 2.335461920049222 2.351210257271773 2.593506125344607 2.9926482593515726 7.48/7.68 c 7.48/7.68 c 1.0 0.9332536916801599 0.8077376897787162 0.7670839266633851 0.6269130939312006 0.6160365621255705 0.6101290194960597 0.6069256030173894 0.5615626575176791 0.5 7.48/7.68 c 7.48/7.68 c solver 0 7.48/7.68 c before 0.0 seconds: {} 0 7.48/7.68 c before 18.0 seconds: {7} 606 7.48/7.68 c before 36.0 seconds: {1, 7} 1540 7.48/7.68 c before 54.0 seconds: {0, 1, 2, 7} 3347 7.48/7.68 c before 90.0 seconds: {0, 1, 2, 3, 7} 4115 7.48/7.68 c before 108.0 seconds: {0, 1, 2, 3, 5, 7, 8} 5292 7.48/7.68 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8} 5919 7.48/7.68 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 6529 7.48/7.68 c 7.48/7.68 c solver 1 7.48/7.68 c before 0.0 seconds: {} 0 7.48/7.68 c before 90.0 seconds: {1} 933 7.48/7.68 c before 126.0 seconds: {1, 2} 1740 7.48/7.68 c before 342.0 seconds: {0, 1, 2} 2740 7.48/7.68 c before 396.0 seconds: {0, 1, 2, 3} 3508 7.48/7.68 c before 450.0 seconds: {0, 1, 2, 3, 8} 4069 7.48/7.68 c before 468.0 seconds: {0, 1, 2, 3, 4, 8} 4696 7.48/7.68 c before 504.0 seconds: {0, 1, 2, 3, 4, 5, 8} 5312 7.48/7.68 c before 702.0 seconds: {0, 1, 2, 3, 4, 5, 8, 9} 5812 7.48/7.68 c before 720.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6422 7.48/7.68 c 7.48/7.68 c solver 2 7.48/7.68 c before 0.0 seconds: {} 0 7.48/7.68 c before 126.0 seconds: {7} 606 7.48/7.68 c before 270.0 seconds: {1, 7} 1540 7.48/7.68 c before 432.0 seconds: {1, 2, 7} 2347 7.48/7.68 c before 954.0 seconds: {0, 1, 2, 7} 3347 7.48/7.68 c before 1080.0 seconds: {0, 1, 2, 7, 8} 3909 7.48/7.68 c before 1152.0 seconds: {0, 1, 2, 3, 7, 8} 4676 7.48/7.68 c 7.48/7.68 cTotal time: 113 7.48/7.69 c run abscon for 162.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8} 6529 7.48/7.69 c run mistral for 720.0 seconds {0, 1, 2, 3, 4, 5, 6, 8, 9} 6422 7.48/7.69 c run choco for 432.0 seconds {1, 2, 7} 2347 7.48/7.69 c Starting solver: HOME/cpHydra_k_10/solver/abscon 7.48/7.69 c On Instance: HOME/instance-1079622-1215210478.xml 7.48/7.69 c Running for: 162 seconds 31.42/31.63 s UNSATISFIABLE 31.42/31.63 d ASSIGNMENTS 26821 31.42/31.63 d CHECKS 39642
No possible verification on an UNSAT instance
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1079622-1215210478/watcher-1079622-1215210478 -o /tmp/evaluation-result-1079622-1215210478/solver-1079622-1215210478 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1079622-1215210478.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.00 2.00 2.00 4/81 2861 /proc/meminfo: memFree=1660304/2055920 swapFree=4180028/4192956 [pid=2861] ppid=2859 vsize=18572 CPUtime=0 /proc/2861/stat : 2861 (runsolver) R 2859 2861 979 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2000023217 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 259913215271 0 0 4096 24578 0 0 0 17 1 0 0 /proc/2861/statm: 4643 292 257 25 0 2626 0 [startup+0.109244 s] /proc/loadavg: 2.00 2.00 2.00 4/81 2861 /proc/meminfo: memFree=1660304/2055920 swapFree=4180028/4192956 [pid=2861] ppid=2859 vsize=5360 CPUtime=0 /proc/2861/stat : 2861 (hydra) S 2859 2861 979 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000023217 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2861/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.20125 s] /proc/loadavg: 2.00 2.00 2.00 4/81 2861 /proc/meminfo: memFree=1660304/2055920 swapFree=4180028/4192956 [pid=2861] ppid=2859 vsize=5360 CPUtime=0 /proc/2861/stat : 2861 (hydra) S 2859 2861 979 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000023217 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2861/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301259 s] /proc/loadavg: 2.00 2.00 2.00 4/81 2861 /proc/meminfo: memFree=1660304/2055920 swapFree=4180028/4192956 [pid=2861] ppid=2859 vsize=5360 CPUtime=0 /proc/2861/stat : 2861 (hydra) S 2859 2861 979 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000023217 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2861/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701298 s] /proc/loadavg: 2.00 2.00 2.00 4/81 2861 /proc/meminfo: memFree=1660304/2055920 swapFree=4180028/4192956 [pid=2861] ppid=2859 vsize=5360 CPUtime=0 /proc/2861/stat : 2861 (hydra) S 2859 2861 979 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000023217 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2861/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50137 s] /proc/loadavg: 2.00 2.00 2.00 3/83 2865 /proc/meminfo: memFree=1658752/2055920 swapFree=4180028/4192956 [pid=2861] ppid=2859 vsize=5360 CPUtime=0 /proc/2861/stat : 2861 (hydra) S 2859 2861 979 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000023217 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2861/statm: 1340 236 195 169 0 51 0 [pid=2865] ppid=2861 vsize=5120 CPUtime=1.47 /proc/2865/stat : 2865 (xsolve) R 2861 2861 979 0 -1 4194304 646 0 0 0 147 0 0 0 25 0 1 0 2000023219 5242880 605 996147200 134512640 135239763 4294956176 18446744073709551615 135096640 0 0 4096 0 0 0 0 17 1 0 0 /proc/2865/statm: 1280 605 410 177 0 183 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 10480 [startup+3.10254 s] /proc/loadavg: 2.00 2.00 2.00 4/91 2877 /proc/meminfo: memFree=1652544/2055920 swapFree=4180028/4192956 [pid=2861] ppid=2859 vsize=5360 CPUtime=1.48 /proc/2861/stat : 2861 (hydra) S 2859 2861 979 0 -1 4194304 375 1243 0 0 0 0 147 1 18 0 1 0 2000023217 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2861/statm: 1340 238 196 169 0 51 0 [pid=2869] ppid=2861 vsize=197000 CPUtime=1.56 /proc/2869/stat : 2869 (java) S 2861 2861 979 0 -1 0 5070 0 1 0 151 5 0 0 18 0 9 0 2000023369 201728000 4251 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2869/statm: 49250 4251 1678 9 0 43833 0 [pid=2869/tid=2870] ppid=2861 vsize=197000 CPUtime=1.25 /proc/2869/task/2870/stat : 2870 (java) R 2861 2861 979 0 -1 64 2747 0 1 0 123 2 0 0 25 0 9 0 2000023370 201728000 4251 996147200 134512640 134550740 4294955968 18446744073709551615 4126640351 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2871] ppid=2861 vsize=197000 CPUtime=0.14 /proc/2869/task/2871/stat : 2871 (java) S 2861 2861 979 0 -1 64 987 0 0 0 13 1 0 0 16 0 9 0 2000023371 201728000 4251 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2872] ppid=2861 vsize=197000 CPUtime=0 /proc/2869/task/2872/stat : 2872 (java) S 2861 2861 979 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2000023371 201728000 4251 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2873] ppid=2861 vsize=197000 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2861 2861 979 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000023371 201728000 4251 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2874] ppid=2861 vsize=197000 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2861 2861 979 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2000023373 201728000 4251 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2875] ppid=2861 vsize=197000 CPUtime=0.14 /proc/2869/task/2875/stat : 2875 (java) S 2861 2861 979 0 -1 64 611 0 0 0 14 0 0 0 16 0 9 0 2000023373 201728000 4251 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2876] ppid=2861 vsize=197000 CPUtime=0 /proc/2869/task/2876/stat : 2876 (java) S 2861 2861 979 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2000023373 201728000 4251 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2877] ppid=2861 vsize=197000 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2861 2861 979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000023373 201728000 4251 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.30284 s] /proc/loadavg: 2.00 2.00 2.00 3/91 2877 /proc/meminfo: memFree=1639488/2055920 swapFree=4180028/4192956 [pid=2861] ppid=2859 vsize=5360 CPUtime=1.48 /proc/2861/stat : 2861 (hydra) S 2859 2861 979 0 -1 4194304 375 1243 0 0 0 0 147 1 18 0 1 0 2000023217 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2861/statm: 1340 238 196 169 0 51 0 [pid=2869] ppid=2861 vsize=197108 CPUtime=4.73 /proc/2869/stat : 2869 (java) S 2861 2861 979 0 -1 0 9989 0 1 0 459 14 0 0 18 0 9 0 2000023369 201838592 8287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2869/statm: 49277 8287 2540 9 0 43860 0 [pid=2869/tid=2870] ppid=2861 vsize=197108 CPUtime=3.75 /proc/2869/task/2870/stat : 2870 (java) R 2861 2861 979 0 -1 64 3546 0 1 0 371 4 0 0 25 0 9 0 2000023370 201838592 8287 996147200 134512640 134550740 4294955968 18446744073709551615 4126496694 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2871] ppid=2861 vsize=197108 CPUtime=0.77 /proc/2869/task/2871/stat : 2871 (java) S 2861 2861 979 0 -1 64 5092 0 0 0 69 8 0 0 16 0 9 0 2000023371 201838592 8287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2872] ppid=2861 vsize=197108 CPUtime=0 /proc/2869/task/2872/stat : 2872 (java) S 2861 2861 979 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2000023371 201838592 8287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2873] ppid=2861 vsize=197108 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2861 2861 979 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000023371 201838592 8287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2874] ppid=2861 vsize=197108 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2861 2861 979 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2000023373 201838592 8287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2875] ppid=2861 vsize=197108 CPUtime=0.17 /proc/2869/task/2875/stat : 2875 (java) S 2861 2861 979 0 -1 64 626 0 0 0 17 0 0 0 16 0 9 0 2000023373 201838592 8287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2876] ppid=2861 vsize=197108 CPUtime=0 /proc/2869/task/2876/stat : 2876 (java) S 2861 2861 979 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2000023373 201838592 8287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2877] ppid=2861 vsize=197108 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2861 2861 979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000023373 201838592 8287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 202468 [startup+12.7024 s] /proc/loadavg: 2.00 2.00 2.00 3/103 2889 /proc/meminfo: memFree=1600480/2055920 swapFree=4180028/4192956 [pid=2861] ppid=2859 vsize=5360 CPUtime=1.48 /proc/2861/stat : 2861 (hydra) S 2859 2861 979 0 -1 4194304 375 1243 0 0 0 0 147 1 18 0 1 0 2000023217 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2861/statm: 1340 238 196 169 0 51 0 [pid=2869] ppid=2861 vsize=197432 CPUtime=6.07 /proc/2869/stat : 2869 (java) S 2861 2861 979 0 -1 0 13921 0 1 0 588 19 0 0 18 0 10 0 2000023369 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2869/statm: 49358 9452 2543 9 0 43941 0 [pid=2879] ppid=2869 vsize=5356 CPUtime=0 /proc/2879/stat : 2879 (abscon) S 2869 2861 979 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 2000023987 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 259913212740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/2879/statm: 1339 237 196 169 0 50 0 [pid=2880] ppid=2879 vsize=654936 CPUtime=4.98 /proc/2880/stat : 2880 (java) S 2879 2861 979 0 -1 0 10910 0 1 0 492 6 0 0 18 0 9 0 2000023988 670654464 10223 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2880/statm: 163734 10223 2610 9 0 158262 0 [pid=2880/tid=2882] ppid=2879 vsize=654936 CPUtime=4.73 /proc/2880/task/2882/stat : 2882 (java) R 2879 2861 979 0 -1 64 8607 0 1 0 469 4 0 0 25 0 9 0 2000023989 670654464 10223 996147200 134512640 134550740 4294955808 18446744073709551615 4126727907 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2883] ppid=2879 vsize=654936 CPUtime=0.03 /proc/2880/task/2883/stat : 2883 (java) S 2879 2861 979 0 -1 64 1366 0 0 0 3 0 0 0 16 0 9 0 2000023990 670654464 10223 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2884] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2884/stat : 2884 (java) S 2879 2861 979 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2000023990 670654464 10223 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2885] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2885/stat : 2885 (java) S 2879 2861 979 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2000023990 670654464 10223 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2886] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2886/stat : 2886 (java) S 2879 2861 979 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 2000023992 670654464 10223 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2887] ppid=2879 vsize=654936 CPUtime=0.2 /proc/2880/task/2887/stat : 2887 (java) S 2879 2861 979 0 -1 64 391 0 0 0 20 0 0 0 16 0 9 0 2000023992 670654464 10223 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2888] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2888/stat : 2888 (java) S 2879 2861 979 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2000023992 670654464 10223 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2889] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2889/stat : 2889 (java) S 2879 2861 979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000023992 670654464 10223 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2881] ppid=2879 vsize=7044 CPUtime=0 /proc/2881/stat : 2881 (translate) S 2879 2861 979 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2000023988 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 259913384018 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/2881/statm: 1761 213 182 1 0 41 0 [pid=2869/tid=2870] ppid=2861 vsize=197432 CPUtime=4.75 /proc/2869/task/2870/stat : 2870 (java) S 2861 2861 979 0 -1 64 3965 0 1 0 469 6 0 0 24 0 10 0 2000023370 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2869/tid=2871] ppid=2861 vsize=197432 CPUtime=1.08 /proc/2869/task/2871/stat : 2871 (java) S 2861 2861 979 0 -1 64 8505 0 0 0 98 10 0 0 16 0 10 0 2000023371 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2872] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2872/stat : 2872 (java) S 2861 2861 979 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2000023371 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2873] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2861 2861 979 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2000023371 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2874] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2861 2861 979 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000023373 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2875] ppid=2861 vsize=197432 CPUtime=0.2 /proc/2869/task/2875/stat : 2875 (java) S 2861 2861 979 0 -1 64 643 0 0 0 20 0 0 0 15 0 10 0 2000023373 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2876] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2876/stat : 2876 (java) S 2861 2861 979 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2000023373 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2877] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2861 2861 979 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2000023373 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2878] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2861 2861 979 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2000023987 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.53 Current children cumulated vsize (KiB) 870128 [startup+25.5032 s] /proc/loadavg: 2.00 2.00 2.00 4/103 2889 /proc/meminfo: memFree=1600096/2055920 swapFree=4180028/4192956 [pid=2861] ppid=2859 vsize=5360 CPUtime=1.48 /proc/2861/stat : 2861 (hydra) S 2859 2861 979 0 -1 4194304 375 1243 0 0 0 0 147 1 18 0 1 0 2000023217 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2861/statm: 1340 238 196 169 0 51 0 [pid=2869] ppid=2861 vsize=197432 CPUtime=6.07 /proc/2869/stat : 2869 (java) S 2861 2861 979 0 -1 0 13921 0 1 0 588 19 0 0 18 0 10 0 2000023369 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2869/statm: 49358 9452 2543 9 0 43941 0 [pid=2879] ppid=2869 vsize=5356 CPUtime=0 /proc/2879/stat : 2879 (abscon) S 2869 2861 979 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 2000023987 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 259913212740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/2879/statm: 1339 237 196 169 0 50 0 [pid=2880] ppid=2879 vsize=654936 CPUtime=17.78 /proc/2880/stat : 2880 (java) S 2879 2861 979 0 -1 0 10997 0 1 0 1772 6 0 0 18 0 9 0 2000023988 670654464 10309 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2880/statm: 163734 10309 2610 9 0 158262 0 [pid=2880/tid=2882] ppid=2879 vsize=654936 CPUtime=17.52 /proc/2880/task/2882/stat : 2882 (java) R 2879 2861 979 0 -1 64 8693 0 1 0 1748 4 0 0 25 0 9 0 2000023989 670654464 10309 996147200 134512640 134550740 4294955808 18446744073709551615 4126728098 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2883] ppid=2879 vsize=654936 CPUtime=0.03 /proc/2880/task/2883/stat : 2883 (java) S 2879 2861 979 0 -1 64 1366 0 0 0 3 0 0 0 16 0 9 0 2000023990 670654464 10309 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2884] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2884/stat : 2884 (java) S 2879 2861 979 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2000023990 670654464 10309 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/2869/task/2877/stat : 2877 (java) S 2861 2861 979 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2000023373 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2878] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2861 2861 979 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2000023987 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 28.63 Current children cumulated vsize (KiB) 870128 [startup+30.4021 s] /proc/loadavg: 2.00 2.00 2.00 3/103 2889 /proc/meminfo: memFree=1599968/2055920 swapFree=4180028/4192956 [pid=2861] ppid=2859 vsize=5360 CPUtime=1.48 /proc/2861/stat : 2861 (hydra) S 2859 2861 979 0 -1 4194304 375 1243 0 0 0 0 147 1 18 0 1 0 2000023217 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2861/statm: 1340 238 196 169 0 51 0 [pid=2869] ppid=2861 vsize=197432 CPUtime=6.07 /proc/2869/stat : 2869 (java) S 2861 2861 979 0 -1 0 13921 0 1 0 588 19 0 0 18 0 10 0 2000023369 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2869/statm: 49358 9452 2543 9 0 43941 0 [pid=2879] ppid=2869 vsize=5356 CPUtime=0 /proc/2879/stat : 2879 (abscon) S 2869 2861 979 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 2000023987 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 259913212740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/2879/statm: 1339 237 196 169 0 50 0 [pid=2880] ppid=2879 vsize=654936 CPUtime=22.66 /proc/2880/stat : 2880 (java) S 2879 2861 979 0 -1 0 11034 0 1 0 2260 6 0 0 18 0 9 0 2000023988 670654464 10346 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2880/statm: 163734 10346 2610 9 0 158262 0 [pid=2880/tid=2882] ppid=2879 vsize=654936 CPUtime=22.4 /proc/2880/task/2882/stat : 2882 (java) R 2879 2861 979 0 -1 64 8730 0 1 0 2236 4 0 0 25 0 9 0 2000023989 670654464 10346 996147200 134512640 134550740 4294955808 18446744073709551615 4126728195 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2883] ppid=2879 vsize=654936 CPUtime=0.03 /proc/2880/task/2883/stat : 2883 (java) S 2879 2861 979 0 -1 64 1366 0 0 0 3 0 0 0 16 0 9 0 2000023990 670654464 10346 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2884] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2884/stat : 2884 (java) S 2879 2861 979 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2000023990 670654464 10346 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2885] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2885/stat : 2885 (java) S 2879 2861 979 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2000023990 670654464 10346 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2886] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2886/stat : 2886 (java) S 2879 2861 979 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 2000023992 670654464 10346 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2887] ppid=2879 vsize=654936 CPUtime=0.2 /proc/2880/task/2887/stat : 2887 (java) S 2879 2861 979 0 -1 64 392 0 0 0 20 0 0 0 16 0 9 0 2000023992 670654464 10346 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2888] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2888/stat : 2888 (java) S 2879 2861 979 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2000023992 670654464 10346 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2889] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2889/stat : 2889 (java) S 2879 2861 979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000023992 670654464 10346 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2881] ppid=2879 vsize=7044 CPUtime=0 /proc/2881/stat : 2881 (translate) S 2879 2861 979 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2000023988 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 259913384018 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/2881/statm: 1761 213 182 1 0 41 0 [pid=2869/tid=2870] ppid=2861 vsize=197432 CPUtime=4.75 /proc/2869/task/2870/stat : 2870 (java) S 2861 2861 979 0 -1 64 3965 0 1 0 469 6 0 0 24 0 10 0 2000023370 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2869/tid=2871] ppid=2861 vsize=197432 CPUtime=1.08 /proc/2869/task/2871/stat : 2871 (java) S 2861 2861 979 0 -1 64 8505 0 0 0 98 10 0 0 16 0 10 0 2000023371 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2872] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2872/stat : 2872 (java) S 2861 2861 979 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2000023371 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2873] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2861 2861 979 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2000023371 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2874] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2861 2861 979 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000023373 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2875] ppid=2861 vsize=197432 CPUtime=0.2 /proc/2869/task/2875/stat : 2875 (java) S 2861 2861 979 0 -1 64 643 0 0 0 20 0 0 0 15 0 10 0 2000023373 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2876] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2876/stat : 2876 (java) S 2861 2861 979 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2000023373 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2877] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2861 2861 979 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2000023373 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2878] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2861 2861 979 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2000023987 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 30.21 Current children cumulated vsize (KiB) 870128 [startup+31.2022 s] /proc/loadavg: 2.00 2.00 2.00 3/103 2889 /proc/meminfo: memFree=1599648/2055920 swapFree=4180028/4192956 [pid=2861] ppid=2859 vsize=5360 CPUtime=1.48 /proc/2861/stat : 2861 (hydra) S 2859 2861 979 0 -1 4194304 375 1243 0 0 0 0 147 1 18 0 1 0 2000023217 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2861/statm: 1340 238 196 169 0 51 0 [pid=2869] ppid=2861 vsize=197432 CPUtime=6.07 /proc/2869/stat : 2869 (java) S 2861 2861 979 0 -1 0 13921 0 1 0 588 19 0 0 18 0 10 0 2000023369 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2869/statm: 49358 9452 2543 9 0 43941 0 [pid=2879] ppid=2869 vsize=5356 CPUtime=0 /proc/2879/stat : 2879 (abscon) S 2869 2861 979 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 2000023987 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 259913212740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/2879/statm: 1339 237 196 169 0 50 0 [pid=2880] ppid=2879 vsize=654936 CPUtime=23.46 /proc/2880/stat : 2880 (java) S 2879 2861 979 0 -1 0 11039 0 1 0 2340 6 0 0 18 0 9 0 2000023988 670654464 10351 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2880/statm: 163734 10351 2610 9 0 158262 0 [pid=2880/tid=2882] ppid=2879 vsize=654936 CPUtime=23.2 /proc/2880/task/2882/stat : 2882 (java) R 2879 2861 979 0 -1 64 8735 0 1 0 2316 4 0 0 25 0 9 0 2000023989 670654464 10351 996147200 134512640 134550740 4294955808 18446744073709551615 4126727874 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2883] ppid=2879 vsize=654936 CPUtime=0.03 /proc/2880/task/2883/stat : 2883 (java) S 2879 2861 979 0 -1 64 1366 0 0 0 3 0 0 0 16 0 9 0 2000023990 670654464 10351 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2884] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2884/stat : 2884 (java) S 2879 2861 979 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2000023990 670654464 10351 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2885] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2885/stat : 2885 (java) S 2879 2861 979 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2000023990 670654464 10351 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2886] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2886/stat : 2886 (java) S 2879 2861 979 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 2000023992 670654464 10351 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2887] ppid=2879 vsize=654936 CPUtime=0.2 /proc/2880/task/2887/stat : 2887 (java) S 2879 2861 979 0 -1 64 392 0 0 0 20 0 0 0 16 0 9 0 2000023992 670654464 10351 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2888] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2888/stat : 2888 (java) S 2879 2861 979 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2000023992 670654464 10351 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2889] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2889/stat : 2889 (java) S 2879 2861 979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000023992 670654464 10351 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2881] ppid=2879 vsize=7044 CPUtime=0 /proc/2881/stat : 2881 (translate) S 2879 2861 979 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2000023988 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 259913384018 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/2881/statm: 1761 213 182 1 0 41 0 [pid=2869/tid=2870] ppid=2861 vsize=197432 CPUtime=4.75 /proc/2869/task/2870/stat : 2870 (java) S 2861 2861 979 0 -1 64 3965 0 1 0 469 6 0 0 24 0 10 0 2000023370 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2869/tid=2871] ppid=2861 vsize=197432 CPUtime=1.08 /proc/2869/task/2871/stat : 2871 (java) S 2861 2861 979 0 -1 64 8505 0 0 0 98 10 0 0 16 0 10 0 2000023371 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2872] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2872/stat : 2872 (java) S 2861 2861 979 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2000023371 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2873] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2861 2861 979 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2000023371 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2874] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2861 2861 979 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000023373 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2875] ppid=2861 vsize=197432 CPUtime=0.2 /proc/2869/task/2875/stat : 2875 (java) S 2861 2861 979 0 -1 64 643 0 0 0 20 0 0 0 15 0 10 0 2000023373 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2876] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2876/stat : 2876 (java) S 2861 2861 979 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2000023373 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2877] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2861 2861 979 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2000023373 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2878] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2861 2861 979 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2000023987 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.01 Current children cumulated vsize (KiB) 870128 [startup+31.6033 s] /proc/loadavg: 2.00 2.00 2.00 3/103 2889 /proc/meminfo: memFree=1599648/2055920 swapFree=4180028/4192956 [pid=2861] ppid=2859 vsize=5360 CPUtime=1.48 /proc/2861/stat : 2861 (hydra) S 2859 2861 979 0 -1 4194304 375 1243 0 0 0 0 147 1 18 0 1 0 2000023217 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2861/statm: 1340 238 196 169 0 51 0 [pid=2869] ppid=2861 vsize=197432 CPUtime=6.07 /proc/2869/stat : 2869 (java) S 2861 2861 979 0 -1 0 13921 0 1 0 588 19 0 0 18 0 10 0 2000023369 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2869/statm: 49358 9452 2543 9 0 43941 0 [pid=2879] ppid=2869 vsize=5356 CPUtime=0 /proc/2879/stat : 2879 (abscon) S 2869 2861 979 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 2000023987 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 259913212740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/2879/statm: 1339 237 196 169 0 50 0 [pid=2880] ppid=2879 vsize=654936 CPUtime=23.87 /proc/2880/stat : 2880 (java) S 2879 2861 979 0 -1 0 11042 0 1 0 2381 6 0 0 18 0 9 0 2000023988 670654464 10354 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2880/statm: 163734 10354 2610 9 0 158262 0 [pid=2880/tid=2882] ppid=2879 vsize=654936 CPUtime=23.61 /proc/2880/task/2882/stat : 2882 (java) R 2879 2861 979 0 -1 64 8738 0 1 0 2357 4 0 0 25 0 9 0 2000023989 670654464 10354 996147200 134512640 134550740 4294955808 18446744073709551615 4126727868 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2883] ppid=2879 vsize=654936 CPUtime=0.03 /proc/2880/task/2883/stat : 2883 (java) S 2879 2861 979 0 -1 64 1366 0 0 0 3 0 0 0 16 0 9 0 2000023990 670654464 10354 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2884] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2884/stat : 2884 (java) S 2879 2861 979 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2000023990 670654464 10354 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2885] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2885/stat : 2885 (java) S 2879 2861 979 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2000023990 670654464 10354 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2886] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2886/stat : 2886 (java) S 2879 2861 979 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 2000023992 670654464 10354 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2887] ppid=2879 vsize=654936 CPUtime=0.2 /proc/2880/task/2887/stat : 2887 (java) S 2879 2861 979 0 -1 64 392 0 0 0 20 0 0 0 16 0 9 0 2000023992 670654464 10354 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2888] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2888/stat : 2888 (java) S 2879 2861 979 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2000023992 670654464 10354 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2880/tid=2889] ppid=2879 vsize=654936 CPUtime=0 /proc/2880/task/2889/stat : 2889 (java) S 2879 2861 979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000023992 670654464 10354 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2881] ppid=2879 vsize=7044 CPUtime=0 /proc/2881/stat : 2881 (translate) S 2879 2861 979 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2000023988 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 259913384018 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/2881/statm: 1761 213 182 1 0 41 0 [pid=2869/tid=2870] ppid=2861 vsize=197432 CPUtime=4.75 /proc/2869/task/2870/stat : 2870 (java) S 2861 2861 979 0 -1 64 3965 0 1 0 469 6 0 0 24 0 10 0 2000023370 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2869/tid=2871] ppid=2861 vsize=197432 CPUtime=1.08 /proc/2869/task/2871/stat : 2871 (java) S 2861 2861 979 0 -1 64 8505 0 0 0 98 10 0 0 16 0 10 0 2000023371 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2872] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2872/stat : 2872 (java) S 2861 2861 979 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2000023371 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2873] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2861 2861 979 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2000023371 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2874] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2861 2861 979 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000023373 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2875] ppid=2861 vsize=197432 CPUtime=0.2 /proc/2869/task/2875/stat : 2875 (java) S 2861 2861 979 0 -1 64 643 0 0 0 20 0 0 0 15 0 10 0 2000023373 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2876] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2876/stat : 2876 (java) S 2861 2861 979 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2000023373 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2877] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) R 2861 2861 979 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2000023373 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2869/tid=2878] ppid=2861 vsize=197432 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2861 2861 979 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2000023987 202170368 9452 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.42 Current children cumulated vsize (KiB) 870128 Child status: 0 Real time (s): 31.6633 CPU time (s): 31.4882 CPU user time (s): 31.1933 CPU system time (s): 0.294955 CPU usage (%): 99.4472 Max. virtual memory (cumulated for all children) (KiB): 870128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.1933 system time used= 0.294955 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27454 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= 11022 involuntary context switches= 12134 runsolver used 0.132979 second user time and 0.285956 second system time The end
Begin job on node4 at 2008-07-05 00:27:58 IDJOB=1079622 IDBENCH=56892 IDSOLVER=365 FILE ID=node4/1079622-1215210478 PBS_JOBID= 7881688 Free space on /tmp= 66508 MiB SOLVER NAME= cpHydra k_10 BENCH NAME= CPAI08/csp/lexVg/normalized-crossword-m1c-lex-vg5-9_ext.xml COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1079622-1215210478/watcher-1079622-1215210478 -o /tmp/evaluation-result-1079622-1215210478/solver-1079622-1215210478 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1079622-1215210478.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= cc349870ad14cc63690440668c347c92 RANDOM SEED=1500461977 node4.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.213 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.213 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: 1660720 kB Buffers: 66884 kB Cached: 235996 kB SwapCached: 6792 kB Active: 245204 kB Inactive: 90980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1660720 kB SwapTotal: 4192956 kB SwapFree: 4180028 kB Dirty: 24472 kB Writeback: 0 kB Mapped: 49692 kB Slab: 44028 kB Committed_AS: 3353000 kB PageTables: 2036 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= 66484 MiB End job on node4 at 2008-07-05 00:28:30