0.00/0.00 c cpHydra_k_10 version 0.0
6.66/6.71 c CASE TO CLASSIFY:
6.66/6.71 c Case: 0
6.66/6.72 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.351400 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 14.438400 | c 14 > 16.464000 | c 11 > 8.891780 | c 12 > 12.906900 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.809800 | 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.891800 | c 31 > -1.000000 | c 4 > 8.891780 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.66/6.73 c choco : 1801.0
6.66/6.73 c mistral : 1801.0
6.66/6.73 c abscon : 1801.0
6.66/6.73 c
6.66/6.73 c
6.66/6.80 c List of same ones: 10
6.66/6.80 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-4-6.xml
6.66/6.80 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.898400 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 13.130100 | c 14 > 14.129900 | c 11 > 8.661780 | c 12 > 10.942100 | c 21 > 2.449490 | c 20 > 100.000000 | c 22 > 2.449490 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.791600 | 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 > 11.246700 | c 31 > -1.000000 | c 4 > 8.661780 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.76/6.80 c choco : 18.37
6.76/6.80 c mistral : 2.48
6.76/6.80 c abscon : 18.86
6.76/6.80 c
6.76/6.80 c
6.76/6.80 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen12-12-14.xml
6.76/6.80 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.858700 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 12.947600 | c 14 > 15.012500 | c 11 > 7.169930 | c 12 > 12.531700 | c 21 > 3.741660 | c 20 > 100.000000 | c 22 > 3.741660 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.342100 | 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.977300 | c 31 > -1.000000 | c 4 > 7.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.76/6.81 c choco : 1801.0
6.76/6.81 c mistral : 3.27
6.76/6.81 c abscon : 8.24
6.76/6.81 c
6.76/6.81 c
6.76/6.81 c /home/ehebrard/new_instances/competition_4c/data/insertion/k-insertion/3-insertions-4-3.xml
6.76/6.81 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.346600 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 11.934500 | c 14 > 14.572200 | c 11 > 8.134430 | c 12 > 10.898800 | c 21 > 1.732050 | c 20 > 100.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.030700 | 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.719390 | c 31 > -1.000000 | c 4 > 8.134430 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.76/6.82 c choco : 1801.0
6.76/6.82 c mistral : 73.5
6.76/6.82 c abscon : 47.28
6.76/6.82 c
6.76/6.82 c
6.76/6.82 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/5-fullins-3-7.xml
6.76/6.82 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.322800 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 12.954700 | c 14 > 14.788500 | c 11 > 7.266790 | c 12 > 11.100100 | c 21 > 2.645750 | c 20 > 100.000000 | c 22 > 2.645750 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.642050 | 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.074100 | c 31 > -1.000000 | c 4 > 7.266790 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.76/6.83 c choco : 4.87
6.76/6.83 c mistral : 0.87
6.76/6.83 c abscon : 7.88
6.76/6.83 c
6.76/6.83 c
6.76/6.83 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen10-10-12.xml
6.76/6.83 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 22.044900 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 13.421200 | c 14 > 15.180300 | c 11 > 6.643860 | c 12 > 13.496100 | c 21 > 3.464100 | c 20 > 100.000000 | c 22 > 3.464100 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.521600 | 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.228800 | c 31 > -1.000000 | c 4 > 6.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.76/6.84 c choco : 15.64
6.76/6.84 c mistral : 0.19
6.76/6.84 c abscon : 5.15
6.76/6.84 c
6.76/6.84 c
6.76/6.84 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen10-10-11.xml
6.76/6.84 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.475100 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 12.300600 | c 14 > 14.280600 | c 11 > 6.643860 | c 12 > 12.462700 | c 21 > 3.316620 | c 20 > 100.000000 | c 22 > 3.316620 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.537200 | 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.103300 | c 31 > -1.000000 | c 4 > 6.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.76/6.85 c choco : 1801.0
6.76/6.85 c mistral : 92.45
6.76/6.85 c abscon : 1801.0
6.76/6.85 c
6.76/6.85 c
6.76/6.85 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen9-9-10.xml
6.76/6.85 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.709500 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 12.478400 | c 14 > 14.765100 | c 11 > 6.339850 | c 12 > 13.044200 | c 21 > 3.162280 | c 20 > 100.000000 | c 22 > 3.162280 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.060700 | 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.661780 | c 31 > -1.000000 | c 4 > 6.339850 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.76/6.85 c choco : 1801.0
6.76/6.85 c mistral : 4.9
6.76/6.85 c abscon : 6.98
6.76/6.85 c
6.76/6.85 c
6.76/6.85 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/1-fullins-5-5.xml
6.76/6.85 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.325600 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 11.881100 | c 14 > 13.061500 | c 11 > 8.139550 | c 12 > 10.297900 | c 21 > 2.236070 | c 20 > 100.000000 | c 22 > 2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.664900 | 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.461500 | c 31 > -1.000000 | c 4 > 8.139550 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.76/6.86 c choco : 1801.0
6.76/6.86 c mistral : 13.58
6.76/6.86 c abscon : 44.43
6.76/6.86 c
6.76/6.86 c
6.76/6.86 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen8-8-9.xml
6.76/6.86 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.493500 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 13.255800 | c 14 > 14.995600 | c 11 > 6.000000 | c 12 > 13.793000 | c 21 > 3.000000 | c 20 > 100.000000 | c 22 > 3.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.531380 | 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.169930 | c 31 > -1.000000 | c 4 > 6.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.76/6.87 c choco : 42.77
6.76/6.87 c mistral : 3.18
6.76/6.87 c abscon : 8.92
6.76/6.87 c
6.76/6.87 c
6.76/6.87 c /home/ehebrard/new_instances/competition_4c/data/mug/mug100-1-3.xml
6.76/6.87 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.226900 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 15.333500 | c 14 > 17.170400 | c 11 > 6.643860 | c 12 > 15.244300 | c 21 > 1.732050 | c 20 > 100.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.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 > 8.228820 | c 31 > -1.000000 | c 4 > 6.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.76/6.88 c choco : 1801.0
6.76/6.88 c mistral : 1801.0
6.76/6.88 c abscon : 7.28
6.76/6.88 c
6.76/6.88 c
6.94/7.06 c Length: 10
6.94/7.06 c 3.5812131338695834 4.124853053891738 4.141642858588847 4.18074809306899 4.292641952550899 4.880506924654446 4.967447147881897 5.204214476325894 5.261566693495388 5.993168258592445
6.94/7.06 c
6.94/7.06 c 1.0 0.8160641387632807 0.8114545211652359 0.8009175051247216 0.7722249868820388 0.649903894789792 0.635027650446618 0.597764844389772 0.5893873876004418 0.5
6.94/7.06 c
6.94/7.06 c solver 0
6.94/7.06 c before 0.0 seconds: {} 0
6.94/7.06 c before 18.0 seconds: {1, 3, 4, 6, 8, 9} 4113
6.94/7.06 c before 36.0 seconds: {0, 1, 3, 4, 6, 8, 9} 5113
6.94/7.06 c before 54.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9} 6522
6.94/7.06 c
6.94/7.06 c solver 1
6.94/7.06 c before 0.0 seconds: {} 0
6.94/7.06 c before 18.0 seconds: {0, 1, 3, 4, 6, 7, 8} 5211
6.94/7.06 c before 90.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8} 6022
6.94/7.06 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 6672
6.94/7.06 c
6.94/7.06 c solver 2
6.94/7.07 c before 0.0 seconds: {} 0
6.94/7.07 c before 18.0 seconds: {3, 4} 1573
6.94/7.07 c before 36.0 seconds: {0, 3, 4} 2573
6.94/7.07 c before 54.0 seconds: {0, 3, 4, 8} 3162
6.94/7.07 c
6.94/7.07 cTotal time: 12
6.94/7.07 c 216.0 seconds unused
6.94/7.07 c 0 c 1 c 5
6.94/7.07 c 1 c 0 c 5
6.94/7.07 c 0 c 0 c 0
6.94/7.07 c is solver0 dominated by:
6.94/7.07 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
6.94/7.07 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: true) (0 < 2: false)
6.94/7.07 c is dominated? false
6.94/7.07 c
6.94/7.07 c is solver1 dominated by:
6.94/7.07 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
6.94/7.07 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
6.94/7.07 c is dominated? false
6.94/7.07 c
6.94/7.07 c is solver2 dominated by:
6.94/7.07 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: true) (2 < 0: true)
6.94/7.07 c is dominated? true
6.94/7.07 c
6.94/7.07 c Number of non-dominated solvers: 2
6.94/7.07 c remove dominated solvers
6.94/7.07 c solver 0 is not dominated by another solver
6.94/7.07 c solver 1 is not dominated by another solver
6.94/7.07 c solver 2 is dominated by another solver
6.94/7.07 c
6.94/7.07 c solver 0: 54.0
6.94/7.07 c
6.94/7.07 c+ 3/9 of 91
6.94/7.07 c
6.94/7.07 c solver 1: 108.0
6.94/7.07 c
6.94/7.07 c+ 6/9 of 91
6.94/7.07 c
6.94/7.07 c solver 2: 0.0
6.94/7.07 c run abscon for 594.0 seconds {0, 1, 2, 3, 4, 6, 7, 8, 9} 6522
6.94/7.07 c run mistral for 1188.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8} 6672
6.94/7.07 c do not run choco
6.94/7.07 c Starting solver: HOME/cpHydra_k_10/solver/abscon
6.94/7.07 c On Instance: HOME/instance-1091055-1215273497.xml
6.94/7.07 c Running for: 594 seconds
601.28/601.65 c Starting solver: HOME/cpHydra_k_10/solver/mistral
601.28/601.65 c On Instance: HOME/instance-1091055-1215273497.xml
601.28/601.65 c Running for: 1188 seconds
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1091055-1215273497/watcher-1091055-1215273497 -o /tmp/evaluation-result-1091055-1215273497/solver-1091055-1215273497 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1091055-1215273497.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.92 1.98 1.99 4/83 12777
/proc/meminfo: memFree=1752520/2055920 swapFree=4176360/4192956
[pid=12777] ppid=12775 vsize=5360 CPUtime=0
/proc/12777/stat : 12777 (hydra) S 12775 12777 11561 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 2006316831 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12777/statm: 1340 236 195 169 0 51 0
[pid=12778] ppid=12777 vsize=5360 CPUtime=0
/proc/12778/stat : 12778 (hydra) R 12777 12777 11561 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 2006316832 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 251601153319 0 0 4096 0 0 0 0 17 1 0 0
/proc/12778/statm: 1340 239 198 169 0 51 0
[startup+0.0595299 s]
/proc/loadavg: 1.92 1.98 1.99 4/83 12777
/proc/meminfo: memFree=1752520/2055920 swapFree=4176360/4192956
[pid=12777] ppid=12775 vsize=5360 CPUtime=0
/proc/12777/stat : 12777 (hydra) S 12775 12777 11561 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2006316831 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101536 s]
/proc/loadavg: 1.92 1.98 1.99 4/83 12777
/proc/meminfo: memFree=1752520/2055920 swapFree=4176360/4192956
[pid=12777] ppid=12775 vsize=5360 CPUtime=0
/proc/12777/stat : 12777 (hydra) S 12775 12777 11561 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2006316831 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301559 s]
/proc/loadavg: 1.92 1.98 1.99 4/83 12777
/proc/meminfo: memFree=1752520/2055920 swapFree=4176360/4192956
[pid=12777] ppid=12775 vsize=5360 CPUtime=0
/proc/12777/stat : 12777 (hydra) S 12775 12777 11561 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2006316831 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701604 s]
/proc/loadavg: 1.92 1.98 1.99 4/83 12777
/proc/meminfo: memFree=1752520/2055920 swapFree=4176360/4192956
[pid=12777] ppid=12775 vsize=5360 CPUtime=0
/proc/12777/stat : 12777 (hydra) S 12775 12777 11561 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2006316831 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50169 s]
/proc/loadavg: 1.92 1.98 1.99 3/85 12781
/proc/meminfo: memFree=1750648/2055920 swapFree=4176360/4192956
[pid=12777] ppid=12775 vsize=5360 CPUtime=0
/proc/12777/stat : 12777 (hydra) S 12775 12777 11561 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2006316831 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 1340 236 195 169 0 51 0
[pid=12781] ppid=12777 vsize=5964 CPUtime=1.48
/proc/12781/stat : 12781 (xsolve) R 12777 12777 11561 0 -1 4194304 1292 0 0 0 140 8 0 0 25 0 1 0 2006316832 6107136 818 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/12781/statm: 1491 818 419 177 0 394 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11324
[startup+3.10287 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 12793
/proc/meminfo: memFree=1743472/2055920 swapFree=4176360/4192956
[pid=12777] ppid=12775 vsize=5360 CPUtime=1.52
/proc/12777/stat : 12777 (hydra) S 12775 12777 11561 0 -1 4194304 375 1888 0 0 0 0 144 8 19 0 1 0 2006316831 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12777/statm: 1340 238 196 169 0 51 0
[pid=12785] ppid=12777 vsize=196992 CPUtime=1.55
/proc/12785/stat : 12785 (java) S 12777 12777 11561 0 -1 0 6556 0 1 0 149 6 0 0 20 0 9 0 2006316986 201719808 5507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12785/statm: 49248 5507 2540 9 0 43831 0
[pid=12785/tid=12786] ppid=12777 vsize=196992 CPUtime=1.18
/proc/12785/task/12786/stat : 12786 (java) R 12777 12777 11561 0 -1 64 2809 0 1 0 116 2 0 0 25 0 9 0 2006316987 201719808 5507 996147200 134512640 134550740 4294955968 18446744073709551615 4126440155 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12787] ppid=12777 vsize=196992 CPUtime=0.19
/proc/12785/task/12787/stat : 12787 (java) S 12777 12777 11561 0 -1 64 2408 0 0 0 17 2 0 0 16 0 9 0 2006316988 201719808 5507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12788] ppid=12777 vsize=196992 CPUtime=0
/proc/12785/task/12788/stat : 12788 (java) S 12777 12777 11561 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2006316988 201719808 5507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12789] ppid=12777 vsize=196992 CPUtime=0
/proc/12785/task/12789/stat : 12789 (java) S 12777 12777 11561 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006316988 201719808 5507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12790] ppid=12777 vsize=196992 CPUtime=0
/proc/12785/task/12790/stat : 12790 (java) S 12777 12777 11561 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2006316990 201719808 5507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12791] ppid=12777 vsize=196992 CPUtime=0.14
/proc/12785/task/12791/stat : 12791 (java) S 12777 12777 11561 0 -1 64 614 0 0 0 14 0 0 0 16 0 9 0 2006316990 201719808 5507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12792] ppid=12777 vsize=196992 CPUtime=0
/proc/12785/task/12792/stat : 12792 (java) S 12777 12777 11561 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2006316990 201719808 5507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12793] ppid=12777 vsize=196992 CPUtime=0
/proc/12785/task/12793/stat : 12793 (java) S 12777 12777 11561 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006316990 201719808 5507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 202352
[startup+6.30223 s]
/proc/loadavg: 2.01 2.00 2.00 4/93 12793
/proc/meminfo: memFree=1729584/2055920 swapFree=4176360/4192956
[pid=12777] ppid=12775 vsize=5360 CPUtime=1.52
/proc/12777/stat : 12777 (hydra) S 12775 12777 11561 0 -1 4194304 375 1888 0 0 0 0 144 8 19 0 1 0 2006316831 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12777/statm: 1340 238 196 169 0 51 0
[pid=12785] ppid=12777 vsize=197100 CPUtime=4.75
/proc/12785/stat : 12785 (java) S 12777 12777 11561 0 -1 0 10628 0 1 0 460 15 0 0 20 0 9 0 2006316986 201830400 8814 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12785/statm: 49275 8814 2540 9 0 43858 0
[pid=12785/tid=12786] ppid=12777 vsize=197100 CPUtime=3.77
/proc/12785/task/12786/stat : 12786 (java) R 12777 12777 11561 0 -1 64 3654 0 1 0 372 5 0 0 25 0 9 0 2006316987 201830400 8814 996147200 134512640 134550740 4294955968 18446744073709551615 4126375040 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12787] ppid=12777 vsize=197100 CPUtime=0.79
/proc/12785/task/12787/stat : 12787 (java) S 12777 12777 11561 0 -1 64 5619 0 0 0 70 9 0 0 16 0 9 0 2006316988 201830400 8814 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12788] ppid=12777 vsize=197100 CPUtime=0
/proc/12785/task/12788/stat : 12788 (java) S 12777 12777 11561 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2006316988 201830400 8814 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12789] ppid=12777 vsize=197100 CPUtime=0
/proc/12785/task/12789/stat : 12789 (java) S 12777 12777 11561 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006316988 201830400 8814 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12790] ppid=12777 vsize=197100 CPUtime=0
/proc/12785/task/12790/stat : 12790 (java) S 12777 12777 11561 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2006316990 201830400 8814 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12791] ppid=12777 vsize=197100 CPUtime=0.17
/proc/12785/task/12791/stat : 12791 (java) S 12777 12777 11561 0 -1 64 630 0 0 0 17 0 0 0 16 0 9 0 2006316990 201830400 8814 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12792] ppid=12777 vsize=197100 CPUtime=0
/proc/12785/task/12792/stat : 12792 (java) S 12777 12777 11561 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2006316990 201830400 8814 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12793] ppid=12777 vsize=197100 CPUtime=0
/proc/12785/task/12793/stat : 12793 (java) S 12777 12777 11561 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006316990 201830400 8814 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 202460
[startup+12.7029 s]
/proc/loadavg: 2.01 2.00 2.00 3/105 12805
/proc/meminfo: memFree=1686368/2055920 swapFree=4176360/4192956
[pid=12777] ppid=12775 vsize=5360 CPUtime=1.52
/proc/12777/stat : 12777 (hydra) S 12775 12777 11561 0 -1 4194304 375 1888 0 0 0 0 144 8 19 0 1 0 2006316831 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12777/statm: 1340 238 196 169 0 51 0
[pid=12785] ppid=12777 vsize=197424 CPUtime=5.5
/proc/12785/stat : 12785 (java) S 12777 12777 11561 0 -1 0 13868 0 1 0 532 18 0 0 20 0 10 0 2006316986 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12785/statm: 49356 9391 2543 9 0 43939 0
[pid=12795] ppid=12785 vsize=5356 CPUtime=0
/proc/12795/stat : 12795 (abscon) S 12785 12777 11561 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2006317539 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 251601150788 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/12795/statm: 1339 237 196 169 0 50 0
[pid=12796] ppid=12795 vsize=656032 CPUtime=5.59
/proc/12796/stat : 12796 (java) S 12795 12777 11561 0 -1 0 12426 0 1 0 545 14 0 0 25 0 9 0 2006317540 671776768 11740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12796/statm: 164008 11740 2612 9 0 158536 0
[pid=12796/tid=12798] ppid=12795 vsize=656032 CPUtime=5.19
/proc/12796/task/12798/stat : 12798 (java) R 12795 12777 11561 0 -1 64 9532 0 1 0 507 12 0 0 25 0 9 0 2006317541 671776768 11740 996147200 134512640 134550740 4294955808 18446744073709551615 4125952076 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12796/tid=12799] ppid=12795 vsize=656032 CPUtime=0.06
/proc/12796/task/12799/stat : 12799 (java) S 12795 12777 11561 0 -1 64 1607 0 0 0 6 0 0 0 16 0 9 0 2006317543 671776768 11740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12796/tid=12800] ppid=12795 vsize=656032 CPUtime=0
/proc/12796/task/12800/stat : 12800 (java) S 12795 12777 11561 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2006317543 671776768 11740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12796/tid=12801] ppid=12795 vsize=656032 CPUtime=0
/proc/12796/task/12801/stat : 12801 (java) S 12795 12777 11561 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006317543 671776768 11740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12796/tid=12802] ppid=12795 vsize=656032 CPUtime=0
/proc/12796/task/12802/stat : 12802 (java) S 12795 12777 11561 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2006317545 671776768 11740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12796/tid=12803] ppid=12795 vsize=656032 CPUtime=0.33
/proc/12796/task/12803/stat : 12803 (java) S 12795 12777 11561 0 -1 64 743 0 0 0 32 1 0 0 16 0 9 0 2006317545 671776768 11740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12796/tid=12804] ppid=12795 vsize=656032 CPUtime=0
/proc/12796/task/12804/stat : 12804 (java) S 12795 12777 11561 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2006317545 671776768 11740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12796/tid=12805] ppid=12795 vsize=656032 CPUtime=0
/proc/12796/task/12805/stat : 12805 (java) S 12795 12777 11561 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2006317545 671776768 11740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12797] ppid=12795 vsize=7044 CPUtime=0
/proc/12797/stat : 12797 (translate) S 12795 12777 11561 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2006317540 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 251601322066 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/12797/statm: 1761 213 182 1 0 41 0
[pid=12785/tid=12786] ppid=12777 vsize=197424 CPUtime=4.26
/proc/12785/task/12786/stat : 12786 (java) S 12777 12777 11561 0 -1 64 3855 0 1 0 420 6 0 0 24 0 10 0 2006316987 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=12785/tid=12787] ppid=12777 vsize=197424 CPUtime=1.02
/proc/12785/task/12787/stat : 12787 (java) S 12777 12777 11561 0 -1 64 8559 0 0 0 91 11 0 0 16 0 10 0 2006316988 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12788] ppid=12777 vsize=197424 CPUtime=0
/proc/12785/task/12788/stat : 12788 (java) S 12777 12777 11561 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2006316988 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12789] ppid=12777 vsize=197424 CPUtime=0
/proc/12785/task/12789/stat : 12789 (java) S 12777 12777 11561 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2006316988 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12790] ppid=12777 vsize=197424 CPUtime=0
/proc/12785/task/12790/stat : 12790 (java) S 12777 12777 11561 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 2006316990 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12791] ppid=12777 vsize=197424 CPUtime=0.2
/proc/12785/task/12791/stat : 12791 (java) S 12777 12777 11561 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 2006316990 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12792] ppid=12777 vsize=197424 CPUtime=0
/proc/12785/task/12792/stat : 12792 (java) S 12777 12777 11561 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 2006316990 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12793] ppid=12777 vsize=197424 CPUtime=0
/proc/12785/task/12793/stat : 12793 (java) S 12777 12777 11561 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 2006316990 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12794] ppid=12777 vsize=197424 CPUtime=0
/proc/12785/task/12794/stat : 12794 (java) S 12777 12777 11561 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2006317539 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 871216
[startup+25.5024 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 12805
/proc/meminfo: memFree=1686240/2055920 swapFree=4176360/4192956
[pid=12777] ppid=12775 vsize=5360 CPUtime=1.52
/proc/12777/stat : 12777 (hydra) S 12775 12777 11561 0 -1 4194304 375 1888 0 0 0 0 144 8 19 0 1 0 2006316831 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12777/statm: 1340 238 196 169 0 51 0
[pid=12785] ppid=12777 vsize=197424 CPUtime=5.5
/proc/12785/stat : 12785 (java) S 12777 12777 11561 0 -1 0 13868 0 1 0 532 18 0 0 20 0 10 0 2006316986 202162176 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12785/statm: 49356 9391 2543 9 0 43939 0
[pid=12795] ppid=12785 vsize=5356 CPUtime=0
/proc/12795/stat : 12795 (abscon) S 12785 12777 11561 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2006317539 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 251601150788 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/12795/statm: 1339 237 196 169 0 50 0
[pid=12796] ppid=12795 vsize=656032 CPUtime=18.39
/proc/12796/stat : 12796 (java) S 12795 12777 11561 0 -1 0 12433 0 1 0 1825 14 0 0 25 0 9 0 2006317540 671776768 11747 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12796/statm: 164008 11747 2612 9 0 158536 0
[pid=12796/tid=12798] ppid=12795 vsize=656032 CPUtime=17.99
/proc/12796/task/12798/stat : 12798 (java) R 12795 12777 11561 0 -1 64 9539 0 1 0 1787 12 0 0 25 0 9 0 2006317541 671776768 11747 996147200 134512640 134550740 4294955808 18446744073709551615 4127190568 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12796/tid=12799] ppid=12795 vsize=656032 CPUtime=0.06
################
# More data... #
################
/proc/12785/task/12812/stat : 12812 (java) S 12777 12777 11561 0 -1 64 49 13033 0 1 0 0 59417 16 17 0 10 0 2006376997 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1600.86
Current children cumulated vsize (KiB) 214428
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/103 12934
/proc/meminfo: memFree=1711000/2055920 swapFree=4176360/4192956
[pid=12777] ppid=12775 vsize=5360 CPUtime=1.52
/proc/12777/stat : 12777 (hydra) S 12775 12777 11561 0 -1 4194304 375 1888 0 0 0 0 144 8 19 0 1 0 2006316831 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12777/statm: 1340 238 196 169 0 51 0
[pid=12785] ppid=12777 vsize=197748 CPUtime=599.84
/proc/12785/stat : 12785 (java) S 12777 12777 11561 0 -1 0 14023 13033 1 1 532 19 59417 16 20 0 10 0 2006316986 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12785/statm: 49437 9397 2544 9 0 44020 0
[pid=12813] ppid=12785 vsize=5356 CPUtime=0
/proc/12813/stat : 12813 (mistral) S 12785 12777 11561 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 2006376997 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 251601150788 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/12813/statm: 1339 236 196 169 0 50 0
[pid=12814] ppid=12813 vsize=5964 CPUtime=1059.21
/proc/12814/stat : 12814 (xsolve) R 12813 12777 11561 0 -1 4194304 1272 0 0 0 105919 2 0 0 25 0 1 0 2006376999 6107136 803 996147200 134512640 135239763 4294955952 18446744073709551615 134842477 0 4 0 0 0 0 0 17 1 0 0
/proc/12814/statm: 1491 803 401 177 0 394 0
[pid=12785/tid=12786] ppid=12777 vsize=197748 CPUtime=598.59
/proc/12785/task/12786/stat : 12786 (java) S 12777 12777 11561 0 -1 64 3937 13033 1 1 420 6 59417 16 16 0 10 0 2006316987 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=12785/tid=12787] ppid=12777 vsize=197748 CPUtime=595.35
/proc/12785/task/12787/stat : 12787 (java) S 12777 12777 11561 0 -1 64 8571 13033 0 1 91 11 59417 16 16 0 10 0 2006316988 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12788] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12788/stat : 12788 (java) S 12777 12777 11561 0 -1 64 10 13033 0 1 0 0 59417 16 16 0 10 0 2006316988 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12789] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12789/stat : 12789 (java) S 12777 12777 11561 0 -1 64 5 13033 0 1 0 0 59417 16 15 0 10 0 2006316988 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12790] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12790/stat : 12790 (java) S 12777 12777 11561 0 -1 64 1 13033 0 1 0 0 59417 16 25 0 10 0 2006316990 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12791] ppid=12777 vsize=197748 CPUtime=594.53
/proc/12785/task/12791/stat : 12791 (java) S 12777 12777 11561 0 -1 64 646 13033 0 1 20 0 59417 16 16 0 10 0 2006316990 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12792] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12792/stat : 12792 (java) S 12777 12777 11561 0 -1 64 1 13033 0 1 0 0 59417 16 25 0 10 0 2006316990 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12793] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12793/stat : 12793 (java) S 12777 12777 11561 0 -1 64 22 13033 0 1 0 0 59417 16 15 0 10 0 2006316990 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12812] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12812/stat : 12812 (java) S 12777 12777 11561 0 -1 64 49 13033 0 1 0 0 59417 16 17 0 10 0 2006376997 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1660.57
Current children cumulated vsize (KiB) 214428
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/103 12934
/proc/meminfo: memFree=1711000/2055920 swapFree=4176360/4192956
[pid=12777] ppid=12775 vsize=5360 CPUtime=1.52
/proc/12777/stat : 12777 (hydra) S 12775 12777 11561 0 -1 4194304 375 1888 0 0 0 0 144 8 19 0 1 0 2006316831 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12777/statm: 1340 238 196 169 0 51 0
[pid=12785] ppid=12777 vsize=197748 CPUtime=599.84
/proc/12785/stat : 12785 (java) S 12777 12777 11561 0 -1 0 14023 13033 1 1 532 19 59417 16 20 0 10 0 2006316986 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12785/statm: 49437 9397 2544 9 0 44020 0
[pid=12813] ppid=12785 vsize=5356 CPUtime=0
/proc/12813/stat : 12813 (mistral) S 12785 12777 11561 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 2006376997 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 251601150788 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/12813/statm: 1339 236 196 169 0 50 0
[pid=12814] ppid=12813 vsize=5964 CPUtime=1118.92
/proc/12814/stat : 12814 (xsolve) R 12813 12777 11561 0 -1 4194304 1272 0 0 0 111890 2 0 0 25 0 1 0 2006376999 6107136 803 996147200 134512640 135239763 4294955952 18446744073709551615 134842477 0 4 0 0 0 0 0 17 1 0 0
/proc/12814/statm: 1491 803 401 177 0 394 0
[pid=12785/tid=12786] ppid=12777 vsize=197748 CPUtime=598.59
/proc/12785/task/12786/stat : 12786 (java) S 12777 12777 11561 0 -1 64 3937 13033 1 1 420 6 59417 16 16 0 10 0 2006316987 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=12785/tid=12787] ppid=12777 vsize=197748 CPUtime=595.35
/proc/12785/task/12787/stat : 12787 (java) S 12777 12777 11561 0 -1 64 8571 13033 0 1 91 11 59417 16 16 0 10 0 2006316988 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12788] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12788/stat : 12788 (java) S 12777 12777 11561 0 -1 64 10 13033 0 1 0 0 59417 16 16 0 10 0 2006316988 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12789] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12789/stat : 12789 (java) S 12777 12777 11561 0 -1 64 5 13033 0 1 0 0 59417 16 15 0 10 0 2006316988 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12790] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12790/stat : 12790 (java) S 12777 12777 11561 0 -1 64 1 13033 0 1 0 0 59417 16 25 0 10 0 2006316990 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12791] ppid=12777 vsize=197748 CPUtime=594.53
/proc/12785/task/12791/stat : 12791 (java) S 12777 12777 11561 0 -1 64 646 13033 0 1 20 0 59417 16 16 0 10 0 2006316990 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12792] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12792/stat : 12792 (java) S 12777 12777 11561 0 -1 64 1 13033 0 1 0 0 59417 16 25 0 10 0 2006316990 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12793] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12793/stat : 12793 (java) S 12777 12777 11561 0 -1 64 22 13033 0 1 0 0 59417 16 15 0 10 0 2006316990 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12812] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12812/stat : 12812 (java) S 12777 12777 11561 0 -1 64 49 13033 0 1 0 0 59417 16 17 0 10 0 2006376997 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1720.28
Current children cumulated vsize (KiB) 214428
[startup+1782.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/102 12970
/proc/meminfo: memFree=1637096/2055920 swapFree=4176360/4192956
[pid=12777] ppid=12775 vsize=5360 CPUtime=1.52
/proc/12777/stat : 12777 (hydra) S 12775 12777 11561 0 -1 4194304 375 1888 0 0 0 0 144 8 19 0 1 0 2006316831 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12777/statm: 1340 238 196 169 0 51 0
[pid=12785] ppid=12777 vsize=197748 CPUtime=599.84
/proc/12785/stat : 12785 (java) S 12777 12777 11561 0 -1 0 14023 13033 1 1 532 19 59417 16 20 0 10 0 2006316986 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12785/statm: 49437 9397 2544 9 0 44020 0
[pid=12813] ppid=12785 vsize=5356 CPUtime=0
/proc/12813/stat : 12813 (mistral) S 12785 12777 11561 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 2006376997 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 251601150788 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/12813/statm: 1339 236 196 169 0 50 0
[pid=12814] ppid=12813 vsize=5964 CPUtime=1178.79
/proc/12814/stat : 12814 (xsolve) R 12813 12777 11561 0 -1 4194304 1272 0 0 0 117876 3 0 0 25 0 1 0 2006376999 6107136 803 996147200 134512640 135239763 4294955952 18446744073709551615 134821103 0 4 0 0 0 0 0 17 0 0 0
/proc/12814/statm: 1491 803 401 177 0 394 0
[pid=12785/tid=12786] ppid=12777 vsize=197748 CPUtime=598.59
/proc/12785/task/12786/stat : 12786 (java) S 12777 12777 11561 0 -1 64 3937 13033 1 1 420 6 59417 16 16 0 10 0 2006316987 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=12785/tid=12787] ppid=12777 vsize=197748 CPUtime=595.35
/proc/12785/task/12787/stat : 12787 (java) S 12777 12777 11561 0 -1 64 8571 13033 0 1 91 11 59417 16 16 0 10 0 2006316988 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12788] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12788/stat : 12788 (java) S 12777 12777 11561 0 -1 64 10 13033 0 1 0 0 59417 16 16 0 10 0 2006316988 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12789] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12789/stat : 12789 (java) S 12777 12777 11561 0 -1 64 5 13033 0 1 0 0 59417 16 15 0 10 0 2006316988 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12790] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12790/stat : 12790 (java) S 12777 12777 11561 0 -1 64 1 13033 0 1 0 0 59417 16 25 0 10 0 2006316990 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12791] ppid=12777 vsize=197748 CPUtime=594.53
/proc/12785/task/12791/stat : 12791 (java) S 12777 12777 11561 0 -1 64 646 13033 0 1 20 0 59417 16 16 0 10 0 2006316990 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12792] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12792/stat : 12792 (java) S 12777 12777 11561 0 -1 64 1 13033 0 1 0 0 59417 16 25 0 10 0 2006316990 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12793] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12793/stat : 12793 (java) S 12777 12777 11561 0 -1 64 22 13033 0 1 0 0 59417 16 15 0 10 0 2006316990 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12812] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12812/stat : 12812 (java) S 12777 12777 11561 0 -1 64 49 13033 0 1 0 0 59417 16 17 0 10 0 2006376997 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.15
Current children cumulated vsize (KiB) 214428
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.2 s]
/proc/loadavg: 2.06 2.03 2.01 3/102 12970
/proc/meminfo: memFree=1637032/2055920 swapFree=4176360/4192956
[pid=12777] ppid=12775 vsize=5360 CPUtime=1.52
/proc/12777/stat : 12777 (hydra) S 12775 12777 11561 0 -1 4194304 375 1888 0 0 0 0 144 8 19 0 1 0 2006316831 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12777/statm: 1340 238 196 169 0 51 0
[pid=12785] ppid=12777 vsize=197748 CPUtime=599.84
/proc/12785/stat : 12785 (java) S 12777 12777 11561 0 -1 0 14023 13033 1 1 532 19 59417 16 20 0 10 0 2006316986 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12785/statm: 49437 9397 2544 9 0 44020 0
[pid=12813] ppid=12785 vsize=5356 CPUtime=0
/proc/12813/stat : 12813 (mistral) S 12785 12777 11561 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 2006376997 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 251601150788 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/12813/statm: 1339 236 196 169 0 50 0
[pid=12814] ppid=12813 vsize=5964 CPUtime=1198.69
/proc/12814/stat : 12814 (xsolve) R 12813 12777 11561 0 -1 4194304 1272 0 0 0 119866 3 0 0 25 0 1 0 2006376999 6107136 803 996147200 134512640 135239763 4294955952 18446744073709551615 134821027 0 4 0 0 0 0 0 17 0 0 0
/proc/12814/statm: 1491 803 401 177 0 394 0
[pid=12785/tid=12786] ppid=12777 vsize=197748 CPUtime=598.59
/proc/12785/task/12786/stat : 12786 (java) S 12777 12777 11561 0 -1 64 3937 13033 1 1 420 6 59417 16 16 0 10 0 2006316987 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=12785/tid=12787] ppid=12777 vsize=197748 CPUtime=595.35
/proc/12785/task/12787/stat : 12787 (java) S 12777 12777 11561 0 -1 64 8571 13033 0 1 91 11 59417 16 16 0 10 0 2006316988 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12788] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12788/stat : 12788 (java) S 12777 12777 11561 0 -1 64 10 13033 0 1 0 0 59417 16 16 0 10 0 2006316988 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12789] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12789/stat : 12789 (java) S 12777 12777 11561 0 -1 64 5 13033 0 1 0 0 59417 16 15 0 10 0 2006316988 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12790] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12790/stat : 12790 (java) S 12777 12777 11561 0 -1 64 1 13033 0 1 0 0 59417 16 25 0 10 0 2006316990 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12791] ppid=12777 vsize=197748 CPUtime=594.53
/proc/12785/task/12791/stat : 12791 (java) S 12777 12777 11561 0 -1 64 646 13033 0 1 20 0 59417 16 16 0 10 0 2006316990 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12792] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12792/stat : 12792 (java) S 12777 12777 11561 0 -1 64 1 13033 0 1 0 0 59417 16 25 0 10 0 2006316990 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12793] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12793/stat : 12793 (java) S 12777 12777 11561 0 -1 64 22 13033 0 1 0 0 59417 16 15 0 10 0 2006316990 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12785/tid=12812] ppid=12777 vsize=197748 CPUtime=594.33
/proc/12785/task/12812/stat : 12812 (java) S 12777 12777 11561 0 -1 64 49 13033 0 1 0 0 59417 16 17 0 10 0 2006376997 202493952 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 214428
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12777 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=445780
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=92985
# CPU time returned by wait4() is 1.53877
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1802.23
CPU time (s): 1800.05
CPU user time (s): 1799.59
CPU system time (s): 0.46
CPU usage (%): 99.8792
Max. virtual memory (cumulated for all children) (KiB): 871216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.44578
system time used= 0.092985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2263
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31
involuntary context switches= 13
runsolver used 3.9774 second user time and 10.9823 second system time
The end