0.00/0.21 c cpHydra_k_10 version 0.0
6.73/6.86 c CASE TO CLASSIFY:
6.73/6.86 c Case: 0
6.73/6.86 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 22.134300 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 12.399800 | c 14 > 14.562500 | c 11 > 7.577430 | c 12 > 11.532400 | 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 > 11.204600 | 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.384800 | c 31 > -1.000000 | c 4 > 7.577430 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.73/6.87 c choco : 1801.0
6.73/6.87 c mistral : 1801.0
6.73/6.87 c abscon : 1801.0
6.73/6.87 c
6.73/6.87 c
6.83/6.94 c List of same ones: 10
6.83/6.94 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen10-10-11.xml
6.83/6.94 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.83/6.95 c choco : 1801.0
6.83/6.95 c mistral : 92.45
6.83/6.95 c abscon : 1801.0
6.83/6.95 c
6.83/6.95 c
6.83/6.95 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen12-12-14.xml
6.83/6.95 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.83/6.95 c choco : 1801.0
6.83/6.95 c mistral : 3.27
6.83/6.95 c abscon : 8.24
6.83/6.95 c
6.83/6.95 c
6.83/6.95 c /home/ehebrard/new_instances/competition_4c/data/insertion/k-insertion/3-insertions-4-3.xml
6.83/6.95 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.83/6.96 c choco : 1801.0
6.83/6.96 c mistral : 73.5
6.83/6.96 c abscon : 47.28
6.83/6.96 c
6.83/6.96 c
6.83/6.96 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/1-fullins-5-5.xml
6.83/6.96 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.83/6.97 c choco : 1801.0
6.83/6.97 c mistral : 13.58
6.83/6.97 c abscon : 44.43
6.83/6.97 c
6.83/6.97 c
6.83/6.97 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-4-6.xml
6.83/6.97 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.83/6.98 c choco : 18.37
6.83/6.98 c mistral : 2.48
6.83/6.98 c abscon : 18.86
6.83/6.98 c
6.83/6.98 c
6.83/6.98 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/5-fullins-3-7.xml
6.83/6.98 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.83/6.99 c choco : 4.87
6.83/6.99 c mistral : 0.87
6.83/6.99 c abscon : 7.88
6.83/6.99 c
6.83/6.99 c
6.83/6.99 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen9-9-10.xml
6.83/6.99 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.91/7.00 c choco : 1801.0
6.91/7.00 c mistral : 4.9
6.91/7.00 c abscon : 6.98
6.91/7.00 c
6.91/7.00 c
6.91/7.00 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen10-10-12.xml
6.91/7.00 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.91/7.01 c choco : 15.64
6.91/7.01 c mistral : 0.19
6.91/7.01 c abscon : 5.15
6.91/7.01 c
6.91/7.01 c
6.91/7.01 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen8-8-8.xml
6.91/7.01 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.441200 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 11.116300 | c 14 > 14.481900 | c 11 > 6.000000 | c 12 > 13.044100 | c 21 > 2.828430 | c 20 > 100.000000 | c 22 > 2.828430 | 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.537220 | 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.000000 | c 31 > -1.000000 | c 4 > 6.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.91/7.01 c choco : 72.14
6.91/7.01 c mistral : 1801.0
6.91/7.01 c abscon : 1801.0
6.91/7.01 c
6.91/7.01 c
6.91/7.01 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen8-8-9.xml
6.91/7.01 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.91/7.02 c choco : 42.77
6.91/7.02 c mistral : 3.18
6.91/7.02 c abscon : 8.92
6.91/7.02 c
6.91/7.02 c
6.91/7.02 c Length: 10
6.91/7.02 c 2.1347634514390568 2.1636203794103985 2.312903691920613 2.4259902727752225 2.4723450770877453 2.5609562592320856 2.8180310723978885 2.976973158226321 3.7630619167109116 3.99304142604356
6.91/7.03 c
6.91/7.03 c 1.0 0.9847086035386482 0.91252276219007 0.8645144584528741 0.8462644762853855 0.8134391513881639 0.7311605889929411 0.6881268103570058 0.5329807066184391 0.5
6.91/7.03 c
6.91/7.03 c solver 0
6.91/7.03 c before 0.0 seconds: {} 0
6.91/7.03 c before 18.0 seconds: {1, 5, 6, 7, 9} 3717
6.91/7.03 c before 36.0 seconds: {1, 4, 5, 6, 7, 9} 4563
6.91/7.03 c before 54.0 seconds: {1, 2, 3, 4, 5, 6, 7, 9} 6340
6.91/7.03 c
6.91/7.03 c solver 1
6.91/7.03 c before 0.0 seconds: {} 0
6.91/7.03 c before 18.0 seconds: {1, 3, 4, 5, 6, 7, 9} 5428
6.91/7.03 c before 90.0 seconds: {1, 2, 3, 4, 5, 6, 7, 9} 6340
6.91/7.03 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 7340
6.91/7.03 c
6.91/7.03 c solver 2
6.91/7.03 c before 0.0 seconds: {} 0
6.91/7.03 c before 18.0 seconds: {5, 7} 1501
6.91/7.03 c before 36.0 seconds: {4, 5, 7} 2347
6.91/7.03 c before 54.0 seconds: {4, 5, 7, 9} 2847
6.91/7.03 c before 90.0 seconds: {4, 5, 7, 8, 9} 3380
6.91/7.03 c
6.91/7.03 cTotal time: 14
6.91/7.03 c 252.0 seconds unused
6.91/7.03 c 0 c 0 c 4
6.91/7.03 c 1 c 0 c 5
6.91/7.03 c 1 c 1 c 0
6.91/7.03 c is solver0 dominated by:
6.91/7.03 c solver 1 (0 solves instances that 1 can't: false) (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.91/7.03 c is dominated? true
6.91/7.03 c
6.91/7.03 c is solver1 dominated by:
6.91/7.03 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
6.91/7.03 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
6.91/7.03 c is dominated? false
6.91/7.03 c
6.91/7.03 c is solver2 dominated by:
6.91/7.03 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
6.91/7.03 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
6.91/7.03 c is dominated? false
6.91/7.03 c
6.91/7.03 c Number of non-dominated solvers: 2
6.91/7.03 c remove dominated solvers
6.91/7.03 c solver 1 is not dominated by another solver
6.91/7.04 c solver 2 is not dominated by another solver
6.91/7.04 c solver 0 is dominated by another solver
6.91/7.04 c
6.91/7.04 c solver 0: 0.0
6.91/7.04 c
6.91/7.04 c solver 1: 108.0
6.91/7.04 c
6.91/7.04 c+ 6/11 of 89
6.91/7.04 c
6.91/7.04 c solver 2: 90.0
6.91/7.04 c
6.91/7.04 c+ 5/11 of 89
6.91/7.04 c do not run abscon
6.91/7.04 c run mistral for 972.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 9} 7340
6.91/7.04 c run choco for 810.0 seconds {4, 5, 7, 8, 9} 3380
6.91/7.04 c Starting solver: HOME/cpHydra_k_10/solver/mistral
6.91/7.04 c On Instance: HOME/instance-1088430-1215246817.xml
6.91/7.04 c Running for: 972 seconds
978.74/984.95 c Starting solver: HOME/cpHydra_k_10/solver/choco
978.74/984.95 c On Instance: HOME/instance-1088430-1215246817.xml
978.74/984.95 c Running for: 810 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-1088430-1215246817/watcher-1088430-1215246817 -o /tmp/evaluation-result-1088430-1215246817/solver-1088430-1215246817 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1088430-1215246817.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.53 2.51 2.44 4/87 5350
/proc/meminfo: memFree=1717092/2055920 swapFree=4147308/4192956
[pid=5350] ppid=5348 vsize=5360 CPUtime=0
/proc/5350/stat : 5350 (hydra) S 5348 5350 2833 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 680408354 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5350/statm: 1340 236 195 169 0 51 0
[pid=5353] ppid=5350 vsize=5920 CPUtime=0.2
/proc/5353/stat : 5353 (xsolve) R 5350 5350 2833 0 -1 4194304 902 0 0 0 20 0 0 0 19 0 1 0 680408355 6062080 807 996147200 134512640 135239763 4294956176 18446744073709551615 135031215 0 0 4096 0 0 0 0 17 0 0 0
/proc/5353/statm: 1480 807 420 177 0 383 0
[startup+0.316571 s]
/proc/loadavg: 2.53 2.51 2.44 4/87 5350
/proc/meminfo: memFree=1717092/2055920 swapFree=4147308/4192956
[pid=5350] ppid=5348 vsize=5360 CPUtime=0
/proc/5350/stat : 5350 (hydra) S 5348 5350 2833 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 680408354 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5350/statm: 1340 236 195 169 0 51 0
[pid=5353] ppid=5350 vsize=5920 CPUtime=0.29
/proc/5353/stat : 5353 (xsolve) R 5350 5350 2833 0 -1 4194304 902 0 0 0 29 0 0 0 20 0 1 0 680408355 6062080 807 996147200 134512640 135239763 4294956176 18446744073709551615 134790176 0 0 4096 0 0 0 0 17 0 0 0
/proc/5353/statm: 1480 807 420 177 0 383 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11280
[startup+0.40258 s]
/proc/loadavg: 2.53 2.51 2.44 4/87 5350
/proc/meminfo: memFree=1717092/2055920 swapFree=4147308/4192956
[pid=5350] ppid=5348 vsize=5360 CPUtime=0
/proc/5350/stat : 5350 (hydra) S 5348 5350 2833 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 680408354 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5350/statm: 1340 236 195 169 0 51 0
[pid=5353] ppid=5350 vsize=5920 CPUtime=0.38
/proc/5353/stat : 5353 (xsolve) R 5350 5350 2833 0 -1 4194304 902 0 0 0 38 0 0 0 20 0 1 0 680408355 6062080 807 996147200 134512640 135239763 4294956176 18446744073709551615 134821040 0 0 4096 0 0 0 0 17 0 0 0
/proc/5353/statm: 1480 807 420 177 0 383 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 11280
[startup+0.502591 s]
/proc/loadavg: 2.53 2.51 2.44 4/87 5350
/proc/meminfo: memFree=1717092/2055920 swapFree=4147308/4192956
[pid=5350] ppid=5348 vsize=5360 CPUtime=0
/proc/5350/stat : 5350 (hydra) S 5348 5350 2833 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 680408354 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5350/statm: 1340 236 195 169 0 51 0
[pid=5353] ppid=5350 vsize=5920 CPUtime=0.49
/proc/5353/stat : 5353 (xsolve) R 5350 5350 2833 0 -1 4194304 902 0 0 0 48 1 0 0 21 0 1 0 680408355 6062080 807 996147200 134512640 135239763 4294956176 18446744073709551615 135087353 0 0 4096 0 0 0 0 17 0 0 0
/proc/5353/statm: 1480 807 420 177 0 383 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 11280
[startup+0.702612 s]
/proc/loadavg: 2.53 2.51 2.44 4/87 5350
/proc/meminfo: memFree=1717092/2055920 swapFree=4147308/4192956
[pid=5350] ppid=5348 vsize=5360 CPUtime=0
/proc/5350/stat : 5350 (hydra) S 5348 5350 2833 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 680408354 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5350/statm: 1340 236 195 169 0 51 0
[pid=5353] ppid=5350 vsize=5920 CPUtime=0.69
/proc/5353/stat : 5353 (xsolve) R 5350 5350 2833 0 -1 4194304 902 0 0 0 68 1 0 0 23 0 1 0 680408355 6062080 807 996147200 134512640 135239763 4294956176 18446744073709551615 134820638 0 0 4096 0 0 0 0 17 0 0 0
/proc/5353/statm: 1480 807 420 177 0 383 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11280
[startup+1.5017 s]
/proc/loadavg: 2.53 2.51 2.44 3/89 5354
/proc/meminfo: memFree=1715220/2055920 swapFree=4147308/4192956
[pid=5350] ppid=5348 vsize=5360 CPUtime=0
/proc/5350/stat : 5350 (hydra) S 5348 5350 2833 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 680408354 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5350/statm: 1340 236 195 169 0 51 0
[pid=5353] ppid=5350 vsize=5920 CPUtime=1.48
/proc/5353/stat : 5353 (xsolve) R 5350 5350 2833 0 -1 4194304 902 0 0 0 146 2 0 0 25 0 1 0 680408355 6062080 807 996147200 134512640 135239763 4294956176 18446744073709551615 134820650 0 0 4096 0 0 0 0 17 0 0 0
/proc/5353/statm: 1480 807 420 177 0 383 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11280
[startup+3.10187 s]
/proc/loadavg: 2.53 2.51 2.44 3/97 5366
/proc/meminfo: memFree=1707860/2055920 swapFree=4147308/4192956
[pid=5350] ppid=5348 vsize=5360 CPUtime=1.53
/proc/5350/stat : 5350 (hydra) S 5348 5350 2833 0 -1 4194304 375 1498 0 0 0 0 151 2 20 0 1 0 680408354 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5350/statm: 1340 238 196 169 0 51 0
[pid=5358] ppid=5350 vsize=196988 CPUtime=1.53
/proc/5358/stat : 5358 (java) S 5350 5350 2833 0 -1 0 6526 0 1 0 148 5 0 0 21 0 9 0 680408510 201715712 5488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5358/statm: 49247 5488 2540 9 0 43830 0
[pid=5358/tid=5359] ppid=5350 vsize=196988 CPUtime=1.16
/proc/5358/task/5359/stat : 5359 (java) R 5350 5350 2833 0 -1 64 2799 0 1 0 115 1 0 0 25 0 9 0 680408511 201715712 5488 996147200 134512640 134550740 4294955968 18446744073709551615 4126506945 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5360] ppid=5350 vsize=196988 CPUtime=0.2
/proc/5358/task/5360/stat : 5360 (java) S 5350 5350 2833 0 -1 64 2391 0 0 0 18 2 0 0 16 0 9 0 680408512 201715712 5488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5361] ppid=5350 vsize=196988 CPUtime=0
/proc/5358/task/5361/stat : 5361 (java) S 5350 5350 2833 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 680408512 201715712 5488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5362] ppid=5350 vsize=196988 CPUtime=0
/proc/5358/task/5362/stat : 5362 (java) S 5350 5350 2833 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 680408512 201715712 5488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5363] ppid=5350 vsize=196988 CPUtime=0
/proc/5358/task/5363/stat : 5363 (java) S 5350 5350 2833 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 680408514 201715712 5488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5364] ppid=5350 vsize=196988 CPUtime=0.14
/proc/5358/task/5364/stat : 5364 (java) S 5350 5350 2833 0 -1 64 612 0 0 0 13 1 0 0 16 0 9 0 680408514 201715712 5488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5365] ppid=5350 vsize=196988 CPUtime=0
/proc/5358/task/5365/stat : 5365 (java) S 5350 5350 2833 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 680408514 201715712 5488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5366] ppid=5350 vsize=196988 CPUtime=0
/proc/5358/task/5366/stat : 5366 (java) S 5350 5350 2833 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 680408514 201715712 5488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 202348
[startup+6.3022 s]
/proc/loadavg: 2.48 2.50 2.43 3/97 5366
/proc/meminfo: memFree=1693140/2055920 swapFree=4147308/4192956
[pid=5350] ppid=5348 vsize=5360 CPUtime=1.53
/proc/5350/stat : 5350 (hydra) S 5348 5350 2833 0 -1 4194304 375 1498 0 0 0 0 151 2 20 0 1 0 680408354 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5350/statm: 1340 238 196 169 0 51 0
[pid=5358] ppid=5350 vsize=197096 CPUtime=4.7
/proc/5358/stat : 5358 (java) S 5350 5350 2833 0 -1 0 10470 0 1 0 457 13 0 0 21 0 9 0 680408510 201826304 8677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5358/statm: 49274 8677 2540 9 0 43857 0
[pid=5358/tid=5359] ppid=5350 vsize=197096 CPUtime=3.72
/proc/5358/task/5359/stat : 5359 (java) R 5350 5350 2833 0 -1 64 3634 0 1 0 369 3 0 0 25 0 9 0 680408511 201826304 8677 996147200 134512640 134550740 4294955968 18446744073709551615 4126563149 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5360] ppid=5350 vsize=197096 CPUtime=0.79
/proc/5358/task/5360/stat : 5360 (java) S 5350 5350 2833 0 -1 64 5484 0 0 0 72 7 0 0 16 0 9 0 680408512 201826304 8677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5361] ppid=5350 vsize=197096 CPUtime=0
/proc/5358/task/5361/stat : 5361 (java) S 5350 5350 2833 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 680408512 201826304 8677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5362] ppid=5350 vsize=197096 CPUtime=0
/proc/5358/task/5362/stat : 5362 (java) S 5350 5350 2833 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 680408512 201826304 8677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5363] ppid=5350 vsize=197096 CPUtime=0
/proc/5358/task/5363/stat : 5363 (java) S 5350 5350 2833 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 680408514 201826304 8677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5364] ppid=5350 vsize=197096 CPUtime=0.16
/proc/5358/task/5364/stat : 5364 (java) S 5350 5350 2833 0 -1 64 628 0 0 0 15 1 0 0 16 0 9 0 680408514 201826304 8677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5365] ppid=5350 vsize=197096 CPUtime=0
/proc/5358/task/5365/stat : 5365 (java) S 5350 5350 2833 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 680408514 201826304 8677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5366] ppid=5350 vsize=197096 CPUtime=0
/proc/5358/task/5366/stat : 5366 (java) S 5350 5350 2833 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 680408514 201826304 8677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 202456
[startup+12.7019 s]
/proc/loadavg: 2.60 2.53 2.44 3/100 5369
/proc/meminfo: memFree=1685884/2055920 swapFree=4147308/4192956
[pid=5350] ppid=5348 vsize=5360 CPUtime=1.53
/proc/5350/stat : 5350 (hydra) S 5348 5350 2833 0 -1 4194304 375 1498 0 0 0 0 151 2 20 0 1 0 680408354 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5350/statm: 1340 238 196 169 0 51 0
[pid=5358] ppid=5350 vsize=197420 CPUtime=5.41
/proc/5358/stat : 5358 (java) S 5350 5350 2833 0 -1 0 11424 0 1 0 526 15 0 0 21 0 10 0 680408510 202158080 9353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5358/statm: 49355 9353 2543 9 0 43938 0
[pid=5368] ppid=5358 vsize=5356 CPUtime=0
/proc/5368/stat : 5368 (mistral) S 5358 5350 2833 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 680409059 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/5368/statm: 1339 238 198 169 0 50 0
[pid=5369] ppid=5368 vsize=5920 CPUtime=5.57
/proc/5369/stat : 5369 (xsolve) R 5368 5350 2833 0 -1 4194304 879 0 0 0 557 0 0 0 25 0 1 0 680409060 6062080 789 996147200 134512640 135239763 4294955952 18446744073709551615 134821603 0 4 0 0 0 0 0 17 0 0 0
/proc/5369/statm: 1480 789 402 177 0 383 0
[pid=5358/tid=5359] ppid=5350 vsize=197420 CPUtime=4.31
/proc/5358/task/5359/stat : 5359 (java) S 5350 5350 2833 0 -1 64 3856 0 1 0 427 4 0 0 24 0 10 0 680408511 202158080 9353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=5358/tid=5360] ppid=5350 vsize=197420 CPUtime=0.88
/proc/5358/task/5360/stat : 5360 (java) S 5350 5350 2833 0 -1 64 6115 0 0 0 80 8 0 0 16 0 10 0 680408512 202158080 9353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5361] ppid=5350 vsize=197420 CPUtime=0
/proc/5358/task/5361/stat : 5361 (java) S 5350 5350 2833 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 680408512 202158080 9353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5362] ppid=5350 vsize=197420 CPUtime=0
/proc/5358/task/5362/stat : 5362 (java) S 5350 5350 2833 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 680408512 202158080 9353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5363] ppid=5350 vsize=197420 CPUtime=0
/proc/5358/task/5363/stat : 5363 (java) S 5350 5350 2833 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 680408514 202158080 9353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5364] ppid=5350 vsize=197420 CPUtime=0.18
/proc/5358/task/5364/stat : 5364 (java) S 5350 5350 2833 0 -1 64 646 0 0 0 17 1 0 0 16 0 10 0 680408514 202158080 9353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5365] ppid=5350 vsize=197420 CPUtime=0
/proc/5358/task/5365/stat : 5365 (java) S 5350 5350 2833 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 680408514 202158080 9353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5366] ppid=5350 vsize=197420 CPUtime=0
/proc/5358/task/5366/stat : 5366 (java) S 5350 5350 2833 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 680408514 202158080 9353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5367] ppid=5350 vsize=197420 CPUtime=0
/proc/5358/task/5367/stat : 5367 (java) S 5350 5350 2833 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 680409059 202158080 9353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 214056
[startup+25.5022 s]
/proc/loadavg: 2.83 2.58 2.46 3/100 5369
/proc/meminfo: memFree=1684924/2055920 swapFree=4147308/4192956
[pid=5350] ppid=5348 vsize=5360 CPUtime=1.53
/proc/5350/stat : 5350 (hydra) S 5348 5350 2833 0 -1 4194304 375 1498 0 0 0 0 151 2 20 0 1 0 680408354 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5350/statm: 1340 238 196 169 0 51 0
[pid=5358] ppid=5350 vsize=197420 CPUtime=5.41
/proc/5358/stat : 5358 (java) S 5350 5350 2833 0 -1 0 11424 0 1 0 526 15 0 0 21 0 10 0 680408510 202158080 9353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5358/statm: 49355 9353 2543 9 0 43938 0
[pid=5368] ppid=5358 vsize=5356 CPUtime=0
/proc/5368/stat : 5368 (mistral) S 5358 5350 2833 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 680409059 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/5368/statm: 1339 238 198 169 0 50 0
[pid=5369] ppid=5368 vsize=5920 CPUtime=18.02
/proc/5369/stat : 5369 (xsolve) R 5368 5350 2833 0 -1 4194304 879 0 0 0 1802 0 0 0 25 0 1 0 680409060 6062080 789 996147200 134512640 135239763 4294955952 18446744073709551615 135042166 0 4 0 0 0 0 0 17 0 0 0
/proc/5369/statm: 1480 789 402 177 0 383 0
[pid=5358/tid=5359] ppid=5350 vsize=197420 CPUtime=4.31
/proc/5358/task/5359/stat : 5359 (java) S 5350 5350 2833 0 -1 64 3856 0 1 0 427 4 0 0 24 0 10 0 680408511 202158080 9353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=5358/tid=5360] ppid=5350 vsize=197420 CPUtime=0.88
/proc/5358/task/5360/stat : 5360 (java) S 5350 5350 2833 0 -1 64 6115 0 0 0 80 8 0 0 16 0 10 0 680408512 202158080 9353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5361] ppid=5350 vsize=197420 CPUtime=0
/proc/5358/task/5361/stat : 5361 (java) S 5350 5350 2833 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 680408512 202158080 9353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5362] ppid=5350 vsize=197420 CPUtime=0
/proc/5358/task/5362/stat : 5362 (java) S 5350 5350 2833 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 680408512 202158080 9353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5363] ppid=5350 vsize=197420 CPUtime=0
/proc/5358/task/5363/stat : 5363 (java) S 5350 5350 2833 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 680408514 202158080 9353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/5358/statm: 49436 9359 2544 9 0 44019 0
[pid=5372] ppid=5358 vsize=5356 CPUtime=0
/proc/5372/stat : 5372 (choco) S 5358 5350 2833 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 680506850 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/5372/statm: 1339 238 197 169 0 50 0
[pid=5373] ppid=5372 vsize=655616 CPUtime=726.25
/proc/5373/stat : 5373 (java) S 5372 5350 2833 0 -1 0 15959 0 1 0 71569 1056 0 0 19 0 9 0 680506851 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5373/statm: 163904 15369 1932 9 0 158433 0
[pid=5373/tid=5374] ppid=5372 vsize=655616 CPUtime=725.64
/proc/5373/task/5374/stat : 5374 (java) R 5372 5350 2833 0 -1 64 12321 0 1 0 71512 1052 0 0 25 0 9 0 680506852 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4127280844 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5373/tid=5375] ppid=5372 vsize=655616 CPUtime=0.2
/proc/5373/task/5375/stat : 5375 (java) S 5372 5350 2833 0 -1 64 2390 0 0 0 18 2 0 0 16 0 9 0 680506853 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5373/tid=5376] ppid=5372 vsize=655616 CPUtime=0
/proc/5373/task/5376/stat : 5376 (java) S 5372 5350 2833 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 680506853 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5373/tid=5377] ppid=5372 vsize=655616 CPUtime=0
/proc/5373/task/5377/stat : 5377 (java) S 5372 5350 2833 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 680506853 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5373/tid=5378] ppid=5372 vsize=655616 CPUtime=0
/proc/5373/task/5378/stat : 5378 (java) S 5372 5350 2833 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 680506855 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5373/tid=5379] ppid=5372 vsize=655616 CPUtime=0.37
/proc/5373/task/5379/stat : 5379 (java) S 5372 5350 2833 0 -1 64 702 0 0 0 37 0 0 0 15 0 9 0 680506855 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5373/tid=5380] ppid=5372 vsize=655616 CPUtime=0
/proc/5373/task/5380/stat : 5380 (java) S 5372 5350 2833 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 680506855 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5373/tid=5381] ppid=5372 vsize=655616 CPUtime=0
/proc/5373/task/5381/stat : 5381 (java) S 5372 5350 2833 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 680506855 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5359] ppid=5350 vsize=197744 CPUtime=976.16
/proc/5358/task/5359/stat : 5359 (java) S 5350 5350 2833 0 -1 64 3932 1186 1 0 427 4 97183 2 16 0 10 0 680408511 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=5358/tid=5360] ppid=5350 vsize=197744 CPUtime=972.73
/proc/5358/task/5360/stat : 5360 (java) S 5350 5350 2833 0 -1 64 6125 1186 0 0 80 8 97183 2 16 0 10 0 680408512 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5361] ppid=5350 vsize=197744 CPUtime=971.85
/proc/5358/task/5361/stat : 5361 (java) S 5350 5350 2833 0 -1 64 11 1186 0 0 0 0 97183 2 16 0 10 0 680408512 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5362] ppid=5350 vsize=197744 CPUtime=971.85
/proc/5358/task/5362/stat : 5362 (java) S 5350 5350 2833 0 -1 64 5 1186 0 0 0 0 97183 2 16 0 10 0 680408512 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5363] ppid=5350 vsize=197744 CPUtime=971.85
/proc/5358/task/5363/stat : 5363 (java) S 5350 5350 2833 0 -1 64 1 1186 0 0 0 0 97183 2 25 0 10 0 680408514 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5364] ppid=5350 vsize=197744 CPUtime=972.03
/proc/5358/task/5364/stat : 5364 (java) S 5350 5350 2833 0 -1 64 646 1186 0 0 17 1 97183 2 16 0 10 0 680408514 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5365] ppid=5350 vsize=197744 CPUtime=971.85
/proc/5358/task/5365/stat : 5365 (java) S 5350 5350 2833 0 -1 64 0 1186 0 0 0 0 97183 2 25 0 10 0 680408514 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5366] ppid=5350 vsize=197744 CPUtime=971.85
/proc/5358/task/5366/stat : 5366 (java) S 5350 5350 2833 0 -1 64 13 1186 0 0 0 0 97183 2 15 0 10 0 680408514 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5358/tid=5371] ppid=5350 vsize=197744 CPUtime=971.85
/proc/5358/task/5371/stat : 5371 (java) S 5350 5350 2833 0 -1 64 40 1186 0 0 0 0 97183 2 18 0 10 0 680506850 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1705.06
Current children cumulated vsize (KiB) 864076
[startup+1782.3 s]
/proc/loadavg: 3.66 2.42 2.20 3/100 5417
/proc/meminfo: memFree=1588068/2055920 swapFree=4147308/4192956
[pid=5350] ppid=5348 vsize=5360 CPUtime=1.53
/proc/5350/stat : 5350 (hydra) S 5348 5350 2833 0 -1 4194304 375 1498 0 0 0 0 151 2 20 0 1 0 680408354 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5350/statm: 1340 238 196 169 0 51 0
[pid=5358] ppid=5350 vsize=197744 CPUtime=977.28
/proc/5358/stat : 5358 (java) S 5350 5350 2833 0 -1 0 11584 1186 1 0 527 16 97183 2 21 0 10 0 680408510 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5358/statm: 49436 9359 2544 9 0 44019 0
[pid=5372] ppid=5358 vsize=5356 CPUtime=0
/proc/5372/stat : 5372 (choco) S 5358 5350 2833 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 680506850 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/5372/statm: 1339 238 197 169 0 50 0
[pid=5373] ppid=5372 vsize=655616 CPUtime=785.5
/proc/5373/stat : 5373 (java) S 5372 5350 2833 0 -1 0 15973 0 1 0 77406 1144 0 0 19 0 9 0 680506851 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5373/statm: 163904 15369 1932 9 0 158433 0
[pid=5373/tid=5374] ppid=5372 vsize=655616 CPUtime=784.88
/proc/5373/task/5374/stat : 5374 (java) R 5372 5350 2833 0 -1 64 12335 0 1 0 77348 1140 0 0 25 0 9 0 680506852 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5373/tid=5375] ppid=5372 vsize=655616 CPUtime=0.21
/proc/5373/task/5375/stat : 5375 (java) S 5372 5350 2833 0 -1 64 2390 0 0 0 19 2 0 0 16 0 9 0 680506853 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5373/tid=5376] ppid=5372 vsize=655616 CPUtime=0
/proc/5373/task/5376/stat : 5376 (java) S 5372 5350 2833 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 680506853 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5373/tid=5377] ppid=5372 vsize=655616 CPUtime=0
/proc/5373/task/5377/stat : 5377 (java) S 5372 5350 2833 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 680506853 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5373/tid=5378] ppid=5372 vsize=655616 CPUtime=0
/proc/5373/task/5378/stat : 5378 (java) S 5372 5350 2833 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 680506855 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5373/tid=5379] ppid=5372 vsize=655616 CPUtime=0.37
/proc/5373/task/5379/stat : 5379 (java) S 5372 5350 2833 0 -1 64 702 0 0 0 37 0 0 0 15 0 9 0 680506855 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5373/tid=5380] ppid=5372 vsize=655616 CPUtime=0
/proc/5373/task/5380/stat : 5380 (java) S 5372 5350 2833 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 680506855 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5373/tid=5381] ppid=5372 vsize=655616 CPUtime=0
/proc/5373/task/5381/stat : 5381 (java) S 5372 5350 2833 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 680506855 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5359] ppid=5350 vsize=197744 CPUtime=976.16
/proc/5358/task/5359/stat : 5359 (java) S 5350 5350 2833 0 -1 64 3932 1186 1 0 427 4 97183 2 16 0 10 0 680408511 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=5358/tid=5360] ppid=5350 vsize=197744 CPUtime=972.73
/proc/5358/task/5360/stat : 5360 (java) S 5350 5350 2833 0 -1 64 6125 1186 0 0 80 8 97183 2 16 0 10 0 680408512 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5361] ppid=5350 vsize=197744 CPUtime=971.85
/proc/5358/task/5361/stat : 5361 (java) S 5350 5350 2833 0 -1 64 11 1186 0 0 0 0 97183 2 16 0 10 0 680408512 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5362] ppid=5350 vsize=197744 CPUtime=971.85
/proc/5358/task/5362/stat : 5362 (java) S 5350 5350 2833 0 -1 64 5 1186 0 0 0 0 97183 2 16 0 10 0 680408512 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5363] ppid=5350 vsize=197744 CPUtime=971.85
/proc/5358/task/5363/stat : 5363 (java) S 5350 5350 2833 0 -1 64 1 1186 0 0 0 0 97183 2 25 0 10 0 680408514 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5364] ppid=5350 vsize=197744 CPUtime=972.03
/proc/5358/task/5364/stat : 5364 (java) S 5350 5350 2833 0 -1 64 646 1186 0 0 17 1 97183 2 16 0 10 0 680408514 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5365] ppid=5350 vsize=197744 CPUtime=971.85
/proc/5358/task/5365/stat : 5365 (java) S 5350 5350 2833 0 -1 64 0 1186 0 0 0 0 97183 2 25 0 10 0 680408514 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5366] ppid=5350 vsize=197744 CPUtime=971.85
/proc/5358/task/5366/stat : 5366 (java) S 5350 5350 2833 0 -1 64 13 1186 0 0 0 0 97183 2 15 0 10 0 680408514 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5358/tid=5371] ppid=5350 vsize=197744 CPUtime=971.85
/proc/5358/task/5371/stat : 5371 (java) S 5350 5350 2833 0 -1 64 40 1186 0 0 0 0 97183 2 18 0 10 0 680506850 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1764.31
Current children cumulated vsize (KiB) 864076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1818.51 s]
/proc/loadavg: 4.86 2.88 2.36 3/100 5417
/proc/meminfo: memFree=1588132/2055920 swapFree=4147308/4192956
[pid=5350] ppid=5348 vsize=5360 CPUtime=1.53
/proc/5350/stat : 5350 (hydra) S 5348 5350 2833 0 -1 4194304 375 1498 0 0 0 0 151 2 20 0 1 0 680408354 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5350/statm: 1340 238 196 169 0 51 0
[pid=5358] ppid=5350 vsize=197744 CPUtime=977.29
/proc/5358/stat : 5358 (java) S 5350 5350 2833 0 -1 0 11584 1186 1 0 527 17 97183 2 21 0 10 0 680408510 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5358/statm: 49436 9359 2544 9 0 44019 0
[pid=5372] ppid=5358 vsize=5356 CPUtime=0
/proc/5372/stat : 5372 (choco) S 5358 5350 2833 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 680506850 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/5372/statm: 1339 238 197 169 0 50 0
[pid=5373] ppid=5372 vsize=655616 CPUtime=821.26
/proc/5373/stat : 5373 (java) S 5372 5350 2833 0 -1 0 15981 0 1 0 80937 1189 0 0 19 0 9 0 680506851 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5373/statm: 163904 15369 1932 9 0 158433 0
[pid=5373/tid=5374] ppid=5372 vsize=655616 CPUtime=820.64
/proc/5373/task/5374/stat : 5374 (java) R 5372 5350 2833 0 -1 64 12343 0 1 0 80879 1185 0 0 25 0 9 0 680506852 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4127323684 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5373/tid=5375] ppid=5372 vsize=655616 CPUtime=0.21
/proc/5373/task/5375/stat : 5375 (java) S 5372 5350 2833 0 -1 64 2390 0 0 0 19 2 0 0 16 0 9 0 680506853 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5373/tid=5376] ppid=5372 vsize=655616 CPUtime=0
/proc/5373/task/5376/stat : 5376 (java) S 5372 5350 2833 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 680506853 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5373/tid=5377] ppid=5372 vsize=655616 CPUtime=0
/proc/5373/task/5377/stat : 5377 (java) S 5372 5350 2833 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 680506853 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5373/tid=5378] ppid=5372 vsize=655616 CPUtime=0
/proc/5373/task/5378/stat : 5378 (java) S 5372 5350 2833 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 680506855 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5373/tid=5379] ppid=5372 vsize=655616 CPUtime=0.37
/proc/5373/task/5379/stat : 5379 (java) S 5372 5350 2833 0 -1 64 702 0 0 0 37 0 0 0 15 0 9 0 680506855 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5373/tid=5380] ppid=5372 vsize=655616 CPUtime=0
/proc/5373/task/5380/stat : 5380 (java) S 5372 5350 2833 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 680506855 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5373/tid=5381] ppid=5372 vsize=655616 CPUtime=0
/proc/5373/task/5381/stat : 5381 (java) S 5372 5350 2833 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 680506855 671350784 15369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5359] ppid=5350 vsize=197744 CPUtime=976.16
/proc/5358/task/5359/stat : 5359 (java) S 5350 5350 2833 0 -1 64 3932 1186 1 0 427 4 97183 2 16 0 10 0 680408511 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=5358/tid=5360] ppid=5350 vsize=197744 CPUtime=972.73
/proc/5358/task/5360/stat : 5360 (java) S 5350 5350 2833 0 -1 64 6125 1186 0 0 80 8 97183 2 16 0 10 0 680408512 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5361] ppid=5350 vsize=197744 CPUtime=971.85
/proc/5358/task/5361/stat : 5361 (java) S 5350 5350 2833 0 -1 64 11 1186 0 0 0 0 97183 2 16 0 10 0 680408512 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5362] ppid=5350 vsize=197744 CPUtime=971.85
/proc/5358/task/5362/stat : 5362 (java) S 5350 5350 2833 0 -1 64 5 1186 0 0 0 0 97183 2 16 0 10 0 680408512 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5363] ppid=5350 vsize=197744 CPUtime=971.85
/proc/5358/task/5363/stat : 5363 (java) S 5350 5350 2833 0 -1 64 1 1186 0 0 0 0 97183 2 25 0 10 0 680408514 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5364] ppid=5350 vsize=197744 CPUtime=972.03
/proc/5358/task/5364/stat : 5364 (java) S 5350 5350 2833 0 -1 64 646 1186 0 0 17 1 97183 2 16 0 10 0 680408514 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5365] ppid=5350 vsize=197744 CPUtime=971.85
/proc/5358/task/5365/stat : 5365 (java) S 5350 5350 2833 0 -1 64 0 1186 0 0 0 0 97183 2 25 0 10 0 680408514 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5358/tid=5366] ppid=5350 vsize=197744 CPUtime=971.86
/proc/5358/task/5366/stat : 5366 (java) S 5350 5350 2833 0 -1 64 13 1186 0 0 0 1 97183 2 15 0 10 0 680408514 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5358/tid=5371] ppid=5350 vsize=197744 CPUtime=971.85
/proc/5358/task/5371/stat : 5371 (java) S 5350 5350 2833 0 -1 64 40 1186 0 0 0 0 97183 2 18 0 10 0 680506850 202489856 9359 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 864076
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 5350 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=514769
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=28995
# CPU time returned by wait4() is 1.54376
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1818.54
CPU time (s): 1800.08
CPU user time (s): 1787.98
CPU system time (s): 12.1
CPU usage (%): 98.9849
Max. virtual memory (cumulated for all children) (KiB): 864076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.51477
system time used= 0.028995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1873
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= 30
involuntary context switches= 55
runsolver used 5.30619 second user time and 14.1718 second system time
The end