0.00/0.00 c cpHydra_k_10 version 0.0
7.40/7.73 c CASE TO CLASSIFY:
7.40/7.73 c Case: 0
7.40/7.74 c 19 > 0.000000 | c 35 > 54.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 21.685500 | c 34 > 160.000000 | c 16 > 6.000000 | c 13 > 10.026600 | c 14 > 13.927300 | c 11 > 11.325900 | c 12 > 7.351200 | c 21 > 3.761770 | c 20 > 100.000000 | c 22 > 4.582580 | 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 > 5.087460 | c 10 > 11.391200 | c 1 > 4.087460 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.131900 | c 6 > 10.445000 | c 32 > -1.000000 | c 5 > 14.353600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.75 c choco : 1801.0
7.40/7.75 c mistral : 1801.0
7.40/7.75 c abscon : 1801.0
7.40/7.75 c
7.40/7.75 c
7.69/8.04 c List of same ones: 10
7.69/8.04 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-40.xml
7.69/8.04 c 19 > 3.125000 | c 35 > 53.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.167300 | c 34 > 161.250000 | c 16 > 16.000000 | c 13 > 1.878620 | c 14 > 7.098030 | c 11 > 10.182400 | c 12 > 0.749082 | c 21 > 2.000000 | c 20 > 96.875000 | 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 > 0.000000 | c 2 > 7.139550 | c 10 > 10.078200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > 9.154820 | c 32 > -1.000000 | c 5 > 12.221900 | c 31 > -1.000000 | c 4 > 1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.69/8.05 c choco : 17.85
7.69/8.05 c mistral : 0.12
7.69/8.05 c abscon : 6.92
7.69/8.05 c
7.69/8.05 c
7.69/8.05 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-21.xml
7.69/8.05 c 19 > 1.562500 | c 35 > 54.375000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.713400 | c 34 > 163.125000 | c 16 > 16.000000 | c 13 > 0.609884 | c 14 > 6.820180 | c 11 > 10.189800 | c 12 > 0.494924 | c 21 > 2.000000 | c 20 > 98.437500 | 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 > 7.149750 | c 10 > 10.087500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.810570 | c 6 > 9.167420 | c 32 > -1.000000 | c 5 > 12.225200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.69/8.05 c choco : 32.65
7.69/8.05 c mistral : 0.11
7.69/8.05 c abscon : 8.27
7.69/8.05 c
7.69/8.05 c
7.69/8.06 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-24.xml
7.69/8.06 c 19 > 0.000000 | c 35 > 55.468800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.111500 | c 34 > 166.406000 | c 16 > 14.000000 | c 13 > -0.023684 | c 14 > 6.392320 | c 11 > 10.116300 | c 12 > 0.391451 | 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 > 7.169930 | c 10 > 10.007000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.714250 | c 6 > 9.092760 | c 32 > -1.000000 | c 5 > 12.101300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.69/8.07 c choco : 34.67
7.69/8.07 c mistral : 0.07
7.69/8.07 c abscon : 28.95
7.69/8.07 c
7.69/8.07 c
7.69/8.07 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-42.xml
7.69/8.07 c 19 > 0.000000 | c 35 > 55.781200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.781200 | c 34 > 167.344000 | c 16 > 15.000000 | c 13 > 0.268520 | c 14 > 6.906890 | c 11 > 10.124100 | c 12 > 0.492428 | 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 > 7.169930 | c 10 > 10.016800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.721100 | c 6 > 9.103290 | c 32 > -1.000000 | c 5 > 12.115700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.69/8.07 c choco : 12.29
7.69/8.07 c mistral : 0.08
7.69/8.07 c abscon : 41.84
7.69/8.07 c
7.69/8.07 c
7.69/8.07 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-17.xml
7.69/8.07 c 19 > 0.000000 | c 35 > 53.437500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.803700 | c 34 > 160.312000 | c 16 > 18.000000 | c 13 > 0.149812 | c 14 > 7.228820 | c 11 > 10.503800 | c 12 > 0.403065 | 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 > 7.491850 | c 10 > 10.383700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.159870 | c 6 > 9.451210 | c 32 > -1.000000 | c 5 > 12.656400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.69/8.08 c choco : 36.18
7.69/8.08 c mistral : 0.13
7.69/8.08 c abscon : 5.94
7.69/8.08 c
7.69/8.08 c
7.69/8.09 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-26.xml
7.69/8.09 c 19 > 1.562500 | c 35 > 54.531200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.539600 | c 34 > 163.594000 | c 16 > 17.000000 | c 13 > 0.654081 | c 14 > 6.768180 | c 11 > 10.209500 | c 12 > 0.503074 | c 21 > 2.000000 | c 20 > 98.437500 | 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 > 7.149750 | c 10 > 10.107200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.839200 | c 6 > 9.184880 | c 32 > -1.000000 | c 5 > 12.274100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.69/8.09 c choco : 14.45
7.69/8.09 c mistral : 0.08
7.69/8.09 c abscon : 74.2
7.69/8.10 c
7.69/8.10 c
7.69/8.10 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-10.xml
7.69/8.10 c 19 > 0.000000 | c 35 > 51.718800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.155800 | c 34 > 155.156000 | c 16 > 19.000000 | c 13 > 0.310330 | c 14 > 7.199670 | c 11 > 10.529400 | c 12 > 0.465630 | 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 > 7.491850 | c 10 > 10.411500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.192290 | c 6 > 9.477760 | c 32 > -1.000000 | c 5 > 12.711200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.10 c choco : 12.17
7.77/8.10 c mistral : 0.12
7.77/8.10 c abscon : 6.6
7.77/8.10 c
7.77/8.10 c
7.77/8.10 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-31.xml
7.77/8.10 c 19 > 0.000000 | c 35 > 55.937500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.514200 | c 34 > 167.812000 | c 16 > 17.000000 | c 13 > 0.274392 | c 14 > 6.741470 | c 11 > 10.238400 | c 12 > 0.459432 | 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 > 7.159870 | c 10 > 10.139600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.876520 | c 6 > 9.216750 | c 32 > -1.000000 | c 5 > 12.308100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.11 c choco : 13.02
7.77/8.11 c mistral : 0.1
7.77/8.11 c abscon : 6.04
7.77/8.11 c
7.77/8.11 c
7.77/8.11 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-30.xml
7.77/8.11 c 19 > 0.000000 | c 35 > 57.031200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.342900 | c 34 > 171.094000 | c 16 > 14.000000 | c 13 > 0.068618 | c 14 > 6.727920 | c 11 > 10.209500 | c 12 > 0.407095 | 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 > 7.169930 | c 10 > 10.108500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.832890 | c 6 > 9.189820 | c 32 > -1.000000 | c 5 > 12.220100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.12 c choco : 51.8
7.77/8.12 c mistral : 0.09
7.77/8.12 c abscon : 4.82
7.77/8.12 c
7.77/8.12 c
7.77/8.12 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-15.xml
7.77/8.12 c 19 > 0.000000 | c 35 > 56.093800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.860100 | c 34 > 168.281000 | c 16 > 18.000000 | c 13 > 0.204628 | c 14 > 7.199670 | c 11 > 10.430500 | c 12 > 0.419734 | 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 > 7.491850 | c 10 > 10.303800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.066090 | c 6 > 9.375040 | c 32 > -1.000000 | c 5 > 12.537700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.13 c choco : 10.9
7.77/8.13 c mistral : 0.11
7.77/8.13 c abscon : 6.3
7.77/8.13 c
7.77/8.13 c
7.77/8.13 c Length: 10
7.77/8.13 c 31.339974936542692 31.816493612394375 32.14592790379102 32.203526577820384 32.2170455484914 32.23523527509978 32.879309446328094 33.01667253503732 33.308574454792456 33.3110092386217
7.77/8.13 c
7.77/8.13 c 1.0 0.8053081260555347 0.7097743384889367 0.6953517520604513 0.692051157375247 0.6876593474150268 0.5614892359507269 0.5403451667511654 0.5003090114386622 0.5
7.77/8.14 c
7.77/8.14 c solver 0
7.77/8.14 c before 0.0 seconds: {} 0
7.77/8.14 c before 18.0 seconds: {0, 1, 4, 6, 7, 8, 9} 4599
7.77/8.14 c before 36.0 seconds: {0, 1, 2, 4, 6, 7, 8, 9} 5309
7.77/8.14 c before 54.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9} 6004
7.77/8.14 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6692
7.77/8.14 c
7.77/8.14 c solver 1
7.77/8.14 c before 0.0 seconds: {} 0
7.77/8.14 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6692
7.77/8.14 c
7.77/8.14 c solver 2
7.77/8.14 c before 0.0 seconds: {} 0
7.77/8.14 c before 18.0 seconds: {0, 3, 5, 6, 7, 9} 3984
7.77/8.14 c before 36.0 seconds: {0, 1, 2, 3, 5, 6, 7, 9} 5499
7.77/8.14 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6692
7.77/8.14 c
7.77/8.14 cTotal time: 9
7.77/8.14 c 162.0 seconds unused
7.77/8.14 c 0 c 0 c 0
7.77/8.14 c 0 c 0 c 0
7.77/8.14 c 0 c 0 c 0
7.77/8.14 c is solver0 dominated by:
7.77/8.14 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.77/8.14 c is dominated? true
7.77/8.14 c
7.77/8.14 c is solver1 dominated by:
7.77/8.14 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.77/8.14 c solver 2 (1 solves instances that 2 can't: false) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.77/8.14 c is dominated? false
7.77/8.14 c
7.77/8.14 c is solver2 dominated by:
7.77/8.14 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.77/8.14 c solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: true) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true)
7.77/8.14 c is dominated? true
7.77/8.14 c
7.77/8.14 c Number of non-dominated solvers: 1
7.77/8.14 c remove dominated solvers
7.77/8.14 c solver 1 is not dominated by another solver
7.77/8.14 c solver 2 is dominated by another solver
7.77/8.14 c solver 0 is dominated by another solver
7.77/8.14 c
7.77/8.14 c solver 0: 0.0
7.77/8.14 c
7.77/8.14 c solver 1: 18.0
7.77/8.14 c
7.77/8.14 c+ 1/1 of 99
7.77/8.14 c
7.77/8.14 c solver 2: 0.0
7.77/8.15 c do not run abscon
7.77/8.15 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6692
7.77/8.15 c do not run choco
7.77/8.15 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.77/8.15 c On Instance: HOME/instance-1064328-1215140602.xml
7.77/8.15 c Running for: 1800 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-1064328-1215140602/watcher-1064328-1215140602 -o /tmp/evaluation-result-1064328-1215140602/solver-1064328-1215140602 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1064328-1215140602.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.99 2.01 2.05 4/81 4694
/proc/meminfo: memFree=1084952/2055920 swapFree=4180444/4192956
[pid=4694] ppid=4692 vsize=18572 CPUtime=0
/proc/4694/stat : 4694 (runsolver) R 4692 4694 628 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 1993029825 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 213112122663 0 0 4096 24578 0 0 0 17 1 0 0
/proc/4694/statm: 4643 292 257 25 0 2626 0
[startup+0.037129 s]
/proc/loadavg: 1.99 2.01 2.05 4/81 4694
/proc/meminfo: memFree=1084952/2055920 swapFree=4180444/4192956
[pid=4694] ppid=4692 vsize=5360 CPUtime=0
/proc/4694/stat : 4694 (hydra) S 4692 4694 628 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1993029825 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4694/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102133 s]
/proc/loadavg: 1.99 2.01 2.05 4/81 4694
/proc/meminfo: memFree=1084952/2055920 swapFree=4180444/4192956
[pid=4694] ppid=4692 vsize=5360 CPUtime=0
/proc/4694/stat : 4694 (hydra) S 4692 4694 628 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1993029825 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4694/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301158 s]
/proc/loadavg: 1.99 2.01 2.05 4/81 4694
/proc/meminfo: memFree=1084952/2055920 swapFree=4180444/4192956
[pid=4694] ppid=4692 vsize=5360 CPUtime=0
/proc/4694/stat : 4694 (hydra) S 4692 4694 628 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1993029825 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4694/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701224 s]
/proc/loadavg: 1.99 2.01 2.05 4/81 4694
/proc/meminfo: memFree=1084952/2055920 swapFree=4180444/4192956
[pid=4694] ppid=4692 vsize=5360 CPUtime=0
/proc/4694/stat : 4694 (hydra) S 4692 4694 628 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1993029825 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4694/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50237 s]
/proc/loadavg: 1.99 2.01 2.05 3/83 4698
/proc/meminfo: memFree=1081544/2055920 swapFree=4180444/4192956
[pid=4694] ppid=4692 vsize=5360 CPUtime=0
/proc/4694/stat : 4694 (hydra) S 4692 4694 628 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1993029825 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4694/statm: 1340 236 195 169 0 51 0
[pid=4698] ppid=4694 vsize=7384 CPUtime=1.44
/proc/4698/stat : 4698 (xsolve) R 4694 4694 628 0 -1 4194304 1225 0 1 0 142 2 0 0 25 0 1 0 1993029827 7561216 1185 996147200 134512640 135239763 4294956176 18446744073709551615 134842479 0 0 4096 0 0 0 0 17 1 0 0
/proc/4698/statm: 1846 1185 436 177 0 749 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 12744
[startup+3.10164 s]
/proc/loadavg: 2.07 2.02 2.05 4/91 4710
/proc/meminfo: memFree=1078856/2055920 swapFree=4180444/4192956
[pid=4694] ppid=4692 vsize=5360 CPUtime=1.49
/proc/4694/stat : 4694 (hydra) S 4692 4694 628 0 -1 4194304 375 1818 0 3 0 0 146 3 16 0 1 0 1993029825 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4694/statm: 1340 238 196 169 0 51 0
[pid=4702] ppid=4694 vsize=197000 CPUtime=1.36
/proc/4702/stat : 4702 (java) S 4694 4694 628 0 -1 0 4795 0 1 0 130 6 0 0 18 0 9 0 1993029996 201728000 4036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4702/statm: 49250 4036 1677 9 0 43833 0
[pid=4702/tid=4703] ppid=4694 vsize=197000 CPUtime=1.08
/proc/4702/task/4703/stat : 4703 (java) R 4694 4694 628 0 -1 64 2684 0 1 0 105 3 0 0 25 0 9 0 1993029998 201728000 4036 996147200 134512640 134550740 4294955968 18446744073709551615 4126439916 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4704] ppid=4694 vsize=197000 CPUtime=0.11
/proc/4702/task/4704/stat : 4704 (java) S 4694 4694 628 0 -1 64 783 0 0 0 10 1 0 0 16 0 9 0 1993029999 201728000 4036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4705] ppid=4694 vsize=197000 CPUtime=0
/proc/4702/task/4705/stat : 4705 (java) S 4694 4694 628 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993029999 201728000 4036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4706] ppid=4694 vsize=197000 CPUtime=0
/proc/4702/task/4706/stat : 4706 (java) S 4694 4694 628 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1993029999 201728000 4036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4707] ppid=4694 vsize=197000 CPUtime=0
/proc/4702/task/4707/stat : 4707 (java) S 4694 4694 628 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1993030001 201728000 4036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4708] ppid=4694 vsize=197000 CPUtime=0.14
/proc/4702/task/4708/stat : 4708 (java) S 4694 4694 628 0 -1 64 604 0 0 0 14 0 0 0 16 0 9 0 1993030001 201728000 4036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4709] ppid=4694 vsize=197000 CPUtime=0
/proc/4702/task/4709/stat : 4709 (java) S 4694 4694 628 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1993030001 201728000 4036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4710] ppid=4694 vsize=197000 CPUtime=0
/proc/4702/task/4710/stat : 4710 (java) S 4694 4694 628 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1993030002 201728000 4036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 202360
[startup+6.30219 s]
/proc/loadavg: 2.07 2.02 2.05 3/91 4710
/proc/meminfo: memFree=1065736/2055920 swapFree=4180444/4192956
[pid=4694] ppid=4692 vsize=5360 CPUtime=1.49
/proc/4694/stat : 4694 (hydra) S 4692 4694 628 0 -1 4194304 375 1818 0 3 0 0 146 3 16 0 1 0 1993029825 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4694/statm: 1340 238 196 169 0 51 0
[pid=4702] ppid=4694 vsize=197112 CPUtime=4.53
/proc/4702/stat : 4702 (java) S 4694 4694 628 0 -1 0 9609 0 1 0 439 14 0 0 18 0 9 0 1993029996 201842688 7962 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4702/statm: 49278 7962 2540 9 0 43861 0
[pid=4702/tid=4703] ppid=4694 vsize=197112 CPUtime=3.57
/proc/4702/task/4703/stat : 4703 (java) R 4694 4694 628 0 -1 64 3488 0 1 0 352 5 0 0 25 0 9 0 1993029998 201842688 7962 996147200 134512640 134550740 4294955968 18446744073709551615 4126441132 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4704] ppid=4694 vsize=197112 CPUtime=0.74
/proc/4702/task/4704/stat : 4704 (java) S 4694 4694 628 0 -1 64 4768 0 0 0 67 7 0 0 16 0 9 0 1993029999 201842688 7962 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4705] ppid=4694 vsize=197112 CPUtime=0
/proc/4702/task/4705/stat : 4705 (java) S 4694 4694 628 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993029999 201842688 7962 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4706] ppid=4694 vsize=197112 CPUtime=0
/proc/4702/task/4706/stat : 4706 (java) S 4694 4694 628 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1993029999 201842688 7962 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4707] ppid=4694 vsize=197112 CPUtime=0
/proc/4702/task/4707/stat : 4707 (java) S 4694 4694 628 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1993030001 201842688 7962 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4708] ppid=4694 vsize=197112 CPUtime=0.18
/proc/4702/task/4708/stat : 4708 (java) S 4694 4694 628 0 -1 64 629 0 0 0 18 0 0 0 16 0 9 0 1993030001 201842688 7962 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4709] ppid=4694 vsize=197112 CPUtime=0
/proc/4702/task/4709/stat : 4709 (java) S 4694 4694 628 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1993030001 201842688 7962 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4710] ppid=4694 vsize=197112 CPUtime=0
/proc/4702/task/4710/stat : 4710 (java) S 4694 4694 628 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1993030002 201842688 7962 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 202472
[startup+12.7013 s]
/proc/loadavg: 2.06 2.02 2.05 4/94 4713
/proc/meminfo: memFree=1052784/2055920 swapFree=4180444/4192956
[pid=4694] ppid=4692 vsize=5360 CPUtime=1.49
/proc/4694/stat : 4694 (hydra) S 4692 4694 628 0 -1 4194304 375 1818 0 3 0 0 146 3 16 0 1 0 1993029825 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4694/statm: 1340 238 196 169 0 51 0
[pid=4702] ppid=4694 vsize=197436 CPUtime=6.32
/proc/4702/stat : 4702 (java) S 4694 4694 628 0 -1 0 13888 0 1 0 611 21 0 0 18 0 10 0 1993029996 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4702/statm: 49359 9417 2543 9 0 43942 0
[pid=4712] ppid=4702 vsize=5356 CPUtime=0
/proc/4712/stat : 4712 (mistral) S 4702 4694 628 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1993030641 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4712/statm: 1339 236 196 169 0 50 0
[pid=4713] ppid=4712 vsize=7384 CPUtime=4.49
/proc/4713/stat : 4713 (xsolve) R 4712 4694 628 0 -1 4194304 1204 0 0 0 448 1 0 0 25 0 1 0 1993030642 7561216 1168 996147200 134512640 135239763 4294955968 18446744073709551615 135096128 0 4 0 0 0 0 0 17 1 0 0
/proc/4713/statm: 1846 1168 419 177 0 749 0
[pid=4702/tid=4703] ppid=4694 vsize=197436 CPUtime=4.91
/proc/4702/task/4703/stat : 4703 (java) S 4694 4694 628 0 -1 64 3902 0 1 0 484 7 0 0 23 0 10 0 1993029998 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4702/tid=4704] ppid=4694 vsize=197436 CPUtime=1.17
/proc/4702/task/4704/stat : 4704 (java) S 4694 4694 628 0 -1 64 8532 0 0 0 105 12 0 0 16 0 10 0 1993029999 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4705] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4705/stat : 4705 (java) S 4694 4694 628 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993029999 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4706] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4706/stat : 4706 (java) S 4694 4694 628 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993029999 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4707] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4707/stat : 4707 (java) S 4694 4694 628 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993030001 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4708] ppid=4694 vsize=197436 CPUtime=0.21
/proc/4702/task/4708/stat : 4708 (java) S 4694 4694 628 0 -1 64 647 0 0 0 21 0 0 0 16 0 10 0 1993030001 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4709] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4709/stat : 4709 (java) S 4694 4694 628 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993030001 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4710] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4710/stat : 4710 (java) S 4694 4694 628 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1993030002 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4711] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4711/stat : 4711 (java) S 4694 4694 628 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1993030641 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 215536
[startup+25.5024 s]
/proc/loadavg: 2.05 2.02 2.05 3/94 4713
/proc/meminfo: memFree=1053040/2055920 swapFree=4180444/4192956
[pid=4694] ppid=4692 vsize=5360 CPUtime=1.49
/proc/4694/stat : 4694 (hydra) S 4692 4694 628 0 -1 4194304 375 1818 0 3 0 0 146 3 16 0 1 0 1993029825 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4694/statm: 1340 238 196 169 0 51 0
[pid=4702] ppid=4694 vsize=197436 CPUtime=6.32
/proc/4702/stat : 4702 (java) S 4694 4694 628 0 -1 0 13888 0 1 0 611 21 0 0 18 0 10 0 1993029996 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4702/statm: 49359 9417 2543 9 0 43942 0
[pid=4712] ppid=4702 vsize=5356 CPUtime=0
/proc/4712/stat : 4712 (mistral) S 4702 4694 628 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1993030641 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4712/statm: 1339 236 196 169 0 50 0
[pid=4713] ppid=4712 vsize=7384 CPUtime=17.16
/proc/4713/stat : 4713 (xsolve) R 4712 4694 628 0 -1 4194304 1204 0 0 0 1715 1 0 0 25 0 1 0 1993030642 7561216 1168 996147200 134512640 135239763 4294955968 18446744073709551615 135096129 0 4 0 0 0 0 0 17 1 0 0
/proc/4713/statm: 1846 1168 419 177 0 749 0
[pid=4702/tid=4703] ppid=4694 vsize=197436 CPUtime=4.91
/proc/4702/task/4703/stat : 4703 (java) S 4694 4694 628 0 -1 64 3902 0 1 0 484 7 0 0 23 0 10 0 1993029998 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4702/tid=4704] ppid=4694 vsize=197436 CPUtime=1.17
/proc/4702/task/4704/stat : 4704 (java) S 4694 4694 628 0 -1 64 8532 0 0 0 105 12 0 0 16 0 10 0 1993029999 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4705] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4705/stat : 4705 (java) S 4694 4694 628 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993029999 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4706] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4706/stat : 4706 (java) S 4694 4694 628 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993029999 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4707] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4707/stat : 4707 (java) S 4694 4694 628 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993030001 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4708] ppid=4694 vsize=197436 CPUtime=0.21
/proc/4702/task/4708/stat : 4708 (java) S 4694 4694 628 0 -1 64 647 0 0 0 21 0 0 0 16 0 10 0 1993030001 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4709] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4709/stat : 4709 (java) S 4694 4694 628 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993030001 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4710] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4710/stat : 4710 (java) S 4694 4694 628 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1993030002 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4711] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4711/stat : 4711 (java) S 4694 4694 628 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1993030641 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 215536
[startup+51.1028 s]
/proc/loadavg: 2.03 2.02 2.05 3/94 4713
/proc/meminfo: memFree=1052976/2055920 swapFree=4180444/4192956
[pid=4694] ppid=4692 vsize=5360 CPUtime=1.49
################
# More data... #
################
/proc/4702/task/4711/stat : 4711 (java) S 4694 4694 628 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1993030641 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1588.81
Current children cumulated vsize (KiB) 215536
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/87 4766
/proc/meminfo: memFree=894704/2055920 swapFree=4180444/4192956
[pid=4694] ppid=4692 vsize=5360 CPUtime=1.49
/proc/4694/stat : 4694 (hydra) S 4692 4694 628 0 -1 4194304 375 1818 0 3 0 0 146 3 16 0 1 0 1993029825 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4694/statm: 1340 238 196 169 0 51 0
[pid=4702] ppid=4694 vsize=197436 CPUtime=6.32
/proc/4702/stat : 4702 (java) S 4694 4694 628 0 -1 0 13888 0 1 0 611 21 0 0 18 0 10 0 1993029996 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4702/statm: 49359 9417 2543 9 0 43942 0
[pid=4712] ppid=4702 vsize=5356 CPUtime=0
/proc/4712/stat : 4712 (mistral) S 4702 4694 628 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1993030641 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4712/statm: 1339 236 196 169 0 50 0
[pid=4713] ppid=4712 vsize=7384 CPUtime=1640.75
/proc/4713/stat : 4713 (xsolve) R 4712 4694 628 0 -1 4194304 1204 0 0 0 164066 9 0 0 25 0 1 0 1993030642 7561216 1168 996147200 134512640 135239763 4294955968 18446744073709551615 135095046 0 4 0 0 0 0 0 17 0 0 0
/proc/4713/statm: 1846 1168 419 177 0 749 0
[pid=4702/tid=4703] ppid=4694 vsize=197436 CPUtime=4.91
/proc/4702/task/4703/stat : 4703 (java) S 4694 4694 628 0 -1 64 3902 0 1 0 484 7 0 0 23 0 10 0 1993029998 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4702/tid=4704] ppid=4694 vsize=197436 CPUtime=1.17
/proc/4702/task/4704/stat : 4704 (java) S 4694 4694 628 0 -1 64 8532 0 0 0 105 12 0 0 16 0 10 0 1993029999 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4705] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4705/stat : 4705 (java) S 4694 4694 628 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993029999 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4706] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4706/stat : 4706 (java) S 4694 4694 628 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993029999 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4707] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4707/stat : 4707 (java) S 4694 4694 628 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993030001 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4708] ppid=4694 vsize=197436 CPUtime=0.21
/proc/4702/task/4708/stat : 4708 (java) S 4694 4694 628 0 -1 64 647 0 0 0 21 0 0 0 16 0 10 0 1993030001 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4709] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4709/stat : 4709 (java) S 4694 4694 628 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993030001 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4710] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4710/stat : 4710 (java) S 4694 4694 628 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1993030002 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4711] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4711/stat : 4711 (java) S 4694 4694 628 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1993030641 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1648.56
Current children cumulated vsize (KiB) 215536
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/87 4766
/proc/meminfo: memFree=892272/2055920 swapFree=4180444/4192956
[pid=4694] ppid=4692 vsize=5360 CPUtime=1.49
/proc/4694/stat : 4694 (hydra) S 4692 4694 628 0 -1 4194304 375 1818 0 3 0 0 146 3 16 0 1 0 1993029825 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4694/statm: 1340 238 196 169 0 51 0
[pid=4702] ppid=4694 vsize=197436 CPUtime=6.32
/proc/4702/stat : 4702 (java) S 4694 4694 628 0 -1 0 13888 0 1 0 611 21 0 0 18 0 10 0 1993029996 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4702/statm: 49359 9417 2543 9 0 43942 0
[pid=4712] ppid=4702 vsize=5356 CPUtime=0
/proc/4712/stat : 4712 (mistral) S 4702 4694 628 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1993030641 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4712/statm: 1339 236 196 169 0 50 0
[pid=4713] ppid=4712 vsize=7384 CPUtime=1700.5
/proc/4713/stat : 4713 (xsolve) R 4712 4694 628 0 -1 4194304 1204 0 0 0 170041 9 0 0 25 0 1 0 1993030642 7561216 1168 996147200 134512640 135239763 4294955968 18446744073709551615 135042161 0 4 0 0 0 0 0 17 0 0 0
/proc/4713/statm: 1846 1168 419 177 0 749 0
[pid=4702/tid=4703] ppid=4694 vsize=197436 CPUtime=4.91
/proc/4702/task/4703/stat : 4703 (java) S 4694 4694 628 0 -1 64 3902 0 1 0 484 7 0 0 23 0 10 0 1993029998 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4702/tid=4704] ppid=4694 vsize=197436 CPUtime=1.17
/proc/4702/task/4704/stat : 4704 (java) S 4694 4694 628 0 -1 64 8532 0 0 0 105 12 0 0 16 0 10 0 1993029999 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4705] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4705/stat : 4705 (java) S 4694 4694 628 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993029999 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4706] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4706/stat : 4706 (java) S 4694 4694 628 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993029999 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4707] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4707/stat : 4707 (java) S 4694 4694 628 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993030001 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4708] ppid=4694 vsize=197436 CPUtime=0.21
/proc/4702/task/4708/stat : 4708 (java) S 4694 4694 628 0 -1 64 647 0 0 0 21 0 0 0 16 0 10 0 1993030001 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4709] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4709/stat : 4709 (java) S 4694 4694 628 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993030001 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4710] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4710/stat : 4710 (java) S 4694 4694 628 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1993030002 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4711] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4711/stat : 4711 (java) S 4694 4694 628 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1993030641 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.31
Current children cumulated vsize (KiB) 215536
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 4766
/proc/meminfo: memFree=889648/2055920 swapFree=4180444/4192956
[pid=4694] ppid=4692 vsize=5360 CPUtime=1.49
/proc/4694/stat : 4694 (hydra) S 4692 4694 628 0 -1 4194304 375 1818 0 3 0 0 146 3 16 0 1 0 1993029825 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4694/statm: 1340 238 196 169 0 51 0
[pid=4702] ppid=4694 vsize=197436 CPUtime=6.32
/proc/4702/stat : 4702 (java) S 4694 4694 628 0 -1 0 13888 0 1 0 611 21 0 0 18 0 10 0 1993029996 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4702/statm: 49359 9417 2543 9 0 43942 0
[pid=4712] ppid=4702 vsize=5356 CPUtime=0
/proc/4712/stat : 4712 (mistral) S 4702 4694 628 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1993030641 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4712/statm: 1339 236 196 169 0 50 0
[pid=4713] ppid=4712 vsize=7384 CPUtime=1760.25
/proc/4713/stat : 4713 (xsolve) R 4712 4694 628 0 -1 4194304 1204 0 0 0 176016 9 0 0 25 0 1 0 1993030642 7561216 1168 996147200 134512640 135239763 4294955968 18446744073709551615 134787920 0 4 0 0 0 0 0 17 0 0 0
/proc/4713/statm: 1846 1168 419 177 0 749 0
[pid=4702/tid=4703] ppid=4694 vsize=197436 CPUtime=4.91
/proc/4702/task/4703/stat : 4703 (java) S 4694 4694 628 0 -1 64 3902 0 1 0 484 7 0 0 23 0 10 0 1993029998 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4702/tid=4704] ppid=4694 vsize=197436 CPUtime=1.17
/proc/4702/task/4704/stat : 4704 (java) S 4694 4694 628 0 -1 64 8532 0 0 0 105 12 0 0 16 0 10 0 1993029999 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4705] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4705/stat : 4705 (java) S 4694 4694 628 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993029999 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4706] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4706/stat : 4706 (java) S 4694 4694 628 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993029999 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4707] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4707/stat : 4707 (java) S 4694 4694 628 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993030001 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4708] ppid=4694 vsize=197436 CPUtime=0.21
/proc/4702/task/4708/stat : 4708 (java) S 4694 4694 628 0 -1 64 647 0 0 0 21 0 0 0 16 0 10 0 1993030001 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4709] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4709/stat : 4709 (java) S 4694 4694 628 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993030001 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4710] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4710/stat : 4710 (java) S 4694 4694 628 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1993030002 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4711] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4711/stat : 4711 (java) S 4694 4694 628 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1993030641 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.06
Current children cumulated vsize (KiB) 215536
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 4766
/proc/meminfo: memFree=888368/2055920 swapFree=4180444/4192956
[pid=4694] ppid=4692 vsize=5360 CPUtime=1.49
/proc/4694/stat : 4694 (hydra) S 4692 4694 628 0 -1 4194304 375 1818 0 3 0 0 146 3 16 0 1 0 1993029825 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4694/statm: 1340 238 196 169 0 51 0
[pid=4702] ppid=4694 vsize=197436 CPUtime=6.32
/proc/4702/stat : 4702 (java) S 4694 4694 628 0 -1 0 13888 0 1 0 611 21 0 0 18 0 10 0 1993029996 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4702/statm: 49359 9417 2543 9 0 43942 0
[pid=4712] ppid=4702 vsize=5356 CPUtime=0
/proc/4712/stat : 4712 (mistral) S 4702 4694 628 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1993030641 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4712/statm: 1339 236 196 169 0 50 0
[pid=4713] ppid=4712 vsize=7384 CPUtime=1792.22
/proc/4713/stat : 4713 (xsolve) R 4712 4694 628 0 -1 4194304 1204 0 0 0 179213 9 0 0 25 0 1 0 1993030642 7561216 1168 996147200 134512640 135239763 4294955968 18446744073709551615 135035087 0 4 0 0 0 0 0 17 0 0 0
/proc/4713/statm: 1846 1168 419 177 0 749 0
[pid=4702/tid=4703] ppid=4694 vsize=197436 CPUtime=4.91
/proc/4702/task/4703/stat : 4703 (java) S 4694 4694 628 0 -1 64 3902 0 1 0 484 7 0 0 23 0 10 0 1993029998 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4702/tid=4704] ppid=4694 vsize=197436 CPUtime=1.17
/proc/4702/task/4704/stat : 4704 (java) S 4694 4694 628 0 -1 64 8532 0 0 0 105 12 0 0 16 0 10 0 1993029999 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4705] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4705/stat : 4705 (java) S 4694 4694 628 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993029999 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4706] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4706/stat : 4706 (java) S 4694 4694 628 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993029999 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4707] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4707/stat : 4707 (java) S 4694 4694 628 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993030001 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4708] ppid=4694 vsize=197436 CPUtime=0.21
/proc/4702/task/4708/stat : 4708 (java) S 4694 4694 628 0 -1 64 647 0 0 0 21 0 0 0 16 0 10 0 1993030001 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4709] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4709/stat : 4709 (java) S 4694 4694 628 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993030001 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4710] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4710/stat : 4710 (java) S 4694 4694 628 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1993030002 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4702/tid=4711] ppid=4694 vsize=197436 CPUtime=0
/proc/4702/task/4711/stat : 4711 (java) S 4694 4694 628 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1993030641 202174464 9417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 215536
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 4694 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=469776
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=37994
# CPU time returned by wait4() is 1.50777
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1814.43
CPU time (s): 1800.03
CPU user time (s): 1799.7
CPU system time (s): 0.33
CPU usage (%): 99.2065
Max. virtual memory (cumulated for all children) (KiB): 215536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.46978
system time used= 0.037994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2193
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38
involuntary context switches= 71
runsolver used 2.14967 second user time and 6.20306 second system time
The end