0.00/0.00 c cpHydra_k_10 version 0.0
7.29/7.46 c CASE TO CLASSIFY:
7.29/7.46 c Case: 0
7.29/7.47 c 19 > 0.000000 | c 35 > 55.714300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.714300 | c 15 > 22.100800 | c 34 > 168.571000 | c 16 > 6.000000 | c 13 > 6.729570 | c 14 > 11.771900 | c 11 > 12.444800 | c 12 > 3.948950 | c 21 > 4.379710 | c 20 > 100.000000 | c 22 > 6.403120 | 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.643860 | c 10 > 12.514200 | c 1 > 4.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.258600 | c 6 > 11.574600 | c 32 > -1.000000 | c 5 > 15.818500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.29/7.48 c choco : 1801.0
7.29/7.48 c mistral : 1801.0
7.29/7.48 c abscon : 1801.0
7.29/7.48 c
7.29/7.48 c
7.39/7.55 c List of same ones: 10
7.39/7.55 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-42.xml
7.39/7.55 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.39/7.56 c choco : 12.29
7.39/7.56 c mistral : 0.08
7.39/7.56 c abscon : 41.84
7.39/7.56 c
7.39/7.56 c
7.39/7.56 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-30.xml
7.39/7.56 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.39/7.57 c choco : 51.8
7.39/7.57 c mistral : 0.09
7.39/7.57 c abscon : 4.82
7.39/7.57 c
7.39/7.57 c
7.39/7.57 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-24.xml
7.39/7.57 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.39/7.58 c choco : 34.67
7.39/7.58 c mistral : 0.07
7.39/7.58 c abscon : 28.95
7.39/7.58 c
7.39/7.58 c
7.39/7.58 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-35.xml
7.39/7.58 c 19 > 0.000000 | c 35 > 56.718800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.536700 | c 34 > 170.156000 | c 16 > 17.000000 | c 13 > 0.146494 | c 14 > 7.066090 | c 11 > 10.434600 | c 12 > 0.388739 | 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.308300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.071460 | c 6 > 9.379380 | c 32 > -1.000000 | c 5 > 12.535800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.59 c choco : 10.61
7.39/7.59 c mistral : 0.11
7.39/7.59 c abscon : 5.1
7.39/7.59 c
7.39/7.59 c
7.39/7.59 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-31.xml
7.39/7.59 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.39/7.60 c choco : 13.02
7.39/7.60 c mistral : 0.1
7.39/7.60 c abscon : 6.04
7.39/7.60 c
7.39/7.60 c
7.39/7.60 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-15.xml
7.39/7.60 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.47/7.61 c choco : 10.9
7.47/7.61 c mistral : 0.11
7.47/7.61 c abscon : 6.3
7.47/7.61 c
7.47/7.61 c
7.47/7.61 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-21.xml
7.47/7.61 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.47/7.62 c choco : 32.65
7.47/7.62 c mistral : 0.11
7.47/7.62 c abscon : 8.27
7.47/7.62 c
7.47/7.62 c
7.47/7.62 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-29.xml
7.47/7.62 c 19 > 0.000000 | c 35 > 57.343800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.086100 | c 34 > 172.031000 | c 16 > 16.000000 | c 13 > -0.057458 | c 14 > 6.409390 | c 11 > 10.129300 | c 12 > 0.391336 | 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.022400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.727920 | c 6 > 9.108520 | c 32 > -1.000000 | c 5 > 12.133500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.63 c choco : 1801.0
7.47/7.63 c mistral : 0.08
7.47/7.63 c abscon : 32.27
7.47/7.63 c
7.47/7.63 c
7.47/7.63 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-40.xml
7.47/7.63 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.47/7.63 c choco : 17.85
7.47/7.63 c mistral : 0.12
7.47/7.63 c abscon : 6.92
7.47/7.63 c
7.47/7.63 c
7.47/7.63 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-26.xml
7.47/7.63 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.47/7.64 c choco : 14.45
7.47/7.64 c mistral : 0.08
7.47/7.64 c abscon : 74.2
7.47/7.64 c
7.47/7.64 c
7.47/7.65 c Length: 10
7.47/7.65 c 31.70273490123816 31.70855656382105 31.848897405222903 32.3261413846224 32.36001903006252 32.503079789811 32.53350203358335 32.565187533171866 32.766264922201984 32.811678853321375
7.47/7.65 c
7.47/7.65 c 1.0 0.9947776801631679 0.8835457316962204 0.6401383515593235 0.6278599938878713 0.5808151854604514 0.5717057354497703 0.5625169288990188 0.5104521231745058 0.5
7.47/7.65 c
7.47/7.65 c solver 0
7.47/7.65 c before 0.0 seconds: {} 0
7.47/7.65 c before 18.0 seconds: {1, 3, 4, 5, 6, 8} 3925
7.47/7.65 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8} 5371
7.47/7.65 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 6371
7.47/7.65 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6871
7.47/7.65 c
7.47/7.65 c solver 1
7.47/7.65 c before 0.0 seconds: {} 0
7.47/7.65 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6871
7.47/7.65 c
7.47/7.65 c solver 2
7.47/7.65 c before 0.0 seconds: {} 0
7.47/7.65 c before 18.0 seconds: {0, 3, 4, 5, 8, 9} 3859
7.47/7.65 c before 36.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9} 5314
7.47/7.65 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6309
7.47/7.65 c
7.47/7.65 cTotal time: 9
7.47/7.65 c 162.0 seconds unused
7.47/7.65 c 0 c 0 c 1
7.47/7.65 c 0 c 0 c 1
7.47/7.65 c 0 c 0 c 0
7.47/7.66 c is solver0 dominated by:
7.47/7.66 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.47/7.66 c is dominated? true
7.47/7.66 c
7.47/7.66 c is solver1 dominated by:
7.47/7.66 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.47/7.66 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.47/7.66 c is dominated? false
7.47/7.66 c
7.47/7.66 c is solver2 dominated by:
7.47/7.66 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.47/7.66 c is dominated? true
7.47/7.66 c
7.47/7.66 c Number of non-dominated solvers: 1
7.47/7.66 c remove dominated solvers
7.47/7.66 c solver 1 is not dominated by another solver
7.47/7.66 c solver 2 is dominated by another solver
7.47/7.66 c solver 0 is dominated by another solver
7.47/7.66 c
7.47/7.66 c solver 0: 0.0
7.47/7.66 c
7.47/7.66 c solver 1: 18.0
7.47/7.66 c
7.47/7.66 c+ 1/1 of 99
7.47/7.66 c
7.47/7.66 c solver 2: 0.0
7.47/7.66 c do not run abscon
7.47/7.66 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6871
7.47/7.66 c do not run choco
7.47/7.66 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.47/7.66 c On Instance: HOME/instance-1064412-1215141284.xml
7.47/7.66 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-1064412-1215141284/watcher-1064412-1215141284 -o /tmp/evaluation-result-1064412-1215141284/solver-1064412-1215141284 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1064412-1215141284.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.10 2.11 2.08 4/72 5934
/proc/meminfo: memFree=1857448/2055920 swapFree=4179968/4192956
[pid=5934] ppid=5932 vsize=5360 CPUtime=0
/proc/5934/stat : 5934 (hydra) R 5932 5934 3172 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 1993103333 5488640 232 996147200 4194304 4889804 548682068816 18446744073709551615 262909889191 0 0 4100 65536 0 0 0 17 1 0 0
/proc/5934/statm: 1340 232 193 169 0 51 0
[startup+0.083934 s]
/proc/loadavg: 2.10 2.11 2.08 4/72 5934
/proc/meminfo: memFree=1857448/2055920 swapFree=4179968/4192956
[pid=5934] ppid=5932 vsize=5360 CPUtime=0
/proc/5934/stat : 5934 (hydra) S 5932 5934 3172 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993103333 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5934/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102935 s]
/proc/loadavg: 2.10 2.11 2.08 4/72 5934
/proc/meminfo: memFree=1857448/2055920 swapFree=4179968/4192956
[pid=5934] ppid=5932 vsize=5360 CPUtime=0
/proc/5934/stat : 5934 (hydra) S 5932 5934 3172 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993103333 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5934/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301948 s]
/proc/loadavg: 2.10 2.11 2.08 4/72 5934
/proc/meminfo: memFree=1857448/2055920 swapFree=4179968/4192956
[pid=5934] ppid=5932 vsize=5360 CPUtime=0
/proc/5934/stat : 5934 (hydra) S 5932 5934 3172 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993103333 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5934/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701996 s]
/proc/loadavg: 2.10 2.11 2.08 4/72 5934
/proc/meminfo: memFree=1857448/2055920 swapFree=4179968/4192956
[pid=5934] ppid=5932 vsize=5360 CPUtime=0
/proc/5934/stat : 5934 (hydra) S 5932 5934 3172 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993103333 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5934/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50109 s]
/proc/loadavg: 2.10 2.11 2.08 3/74 5938
/proc/meminfo: memFree=1850704/2055920 swapFree=4179968/4192956
[pid=5934] ppid=5932 vsize=5360 CPUtime=0
/proc/5934/stat : 5934 (hydra) S 5932 5934 3172 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993103333 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5934/statm: 1340 236 195 169 0 51 0
[pid=5938] ppid=5934 vsize=10764 CPUtime=1.46
/proc/5938/stat : 5938 (xsolve) R 5934 5934 3172 0 -1 4194304 2063 0 0 0 145 1 0 0 25 0 1 0 1993103334 11022336 2022 996147200 134512640 135239763 4294956176 18446744073709551615 135102463 0 0 4096 0 0 0 0 17 1 0 0
/proc/5938/statm: 2691 2022 436 177 0 1594 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 16124
[startup+3.10128 s]
/proc/loadavg: 2.10 2.11 2.08 4/82 5950
/proc/meminfo: memFree=1850896/2055920 swapFree=4179968/4192956
[pid=5934] ppid=5932 vsize=5360 CPUtime=1.52
/proc/5934/stat : 5934 (hydra) S 5932 5934 3172 0 -1 4194304 375 2659 0 0 0 0 150 2 18 0 1 0 1993103333 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5934/statm: 1340 238 196 169 0 51 0
[pid=5942] ppid=5934 vsize=197000 CPUtime=1.51
/proc/5942/stat : 5942 (java) S 5934 5934 3172 0 -1 0 5031 0 1 0 147 4 0 0 18 0 9 0 1993103488 201728000 4221 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5942/statm: 49250 4221 1678 9 0 43833 0
[pid=5942/tid=5943] ppid=5934 vsize=197000 CPUtime=1.19
/proc/5942/task/5943/stat : 5943 (java) R 5934 5934 3172 0 -1 64 2738 0 1 0 117 2 0 0 25 0 9 0 1993103490 201728000 4221 996147200 134512640 134550740 4294955968 18446744073709551615 4126594921 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5944] ppid=5934 vsize=197000 CPUtime=0.15
/proc/5942/task/5944/stat : 5944 (java) S 5934 5934 3172 0 -1 64 958 0 0 0 14 1 0 0 16 0 9 0 1993103491 201728000 4221 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5945] ppid=5934 vsize=197000 CPUtime=0
/proc/5942/task/5945/stat : 5945 (java) S 5934 5934 3172 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993103491 201728000 4221 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5946] ppid=5934 vsize=197000 CPUtime=0
/proc/5942/task/5946/stat : 5946 (java) S 5934 5934 3172 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1993103491 201728000 4221 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5947] ppid=5934 vsize=197000 CPUtime=0
/proc/5942/task/5947/stat : 5947 (java) S 5934 5934 3172 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1993103493 201728000 4221 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5948] ppid=5934 vsize=197000 CPUtime=0.14
/proc/5942/task/5948/stat : 5948 (java) S 5934 5934 3172 0 -1 64 611 0 0 0 14 0 0 0 16 0 9 0 1993103493 201728000 4221 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5949] ppid=5934 vsize=197000 CPUtime=0
/proc/5942/task/5949/stat : 5949 (java) S 5934 5934 3172 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1993103493 201728000 4221 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5950] ppid=5934 vsize=197000 CPUtime=0
/proc/5942/task/5950/stat : 5950 (java) S 5934 5934 3172 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1993103493 201728000 4221 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 202360
[startup+6.30265 s]
/proc/loadavg: 2.10 2.11 2.08 3/82 5950
/proc/meminfo: memFree=1837136/2055920 swapFree=4179968/4192956
[pid=5934] ppid=5932 vsize=5360 CPUtime=1.52
/proc/5934/stat : 5934 (hydra) S 5932 5934 3172 0 -1 4194304 375 2659 0 0 0 0 150 2 18 0 1 0 1993103333 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5934/statm: 1340 238 196 169 0 51 0
[pid=5942] ppid=5934 vsize=197108 CPUtime=4.68
/proc/5942/stat : 5942 (java) S 5934 5934 3172 0 -1 0 9994 0 1 0 456 12 0 0 18 0 9 0 1993103488 201838592 8291 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5942/statm: 49277 8291 2540 9 0 43860 0
[pid=5942/tid=5943] ppid=5934 vsize=197108 CPUtime=3.73
/proc/5942/task/5943/stat : 5943 (java) R 5934 5934 3172 0 -1 64 3547 0 1 0 369 4 0 0 25 0 9 0 1993103490 201838592 8291 996147200 134512640 134550740 4294955968 18446744073709551615 4126448593 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5944] ppid=5934 vsize=197108 CPUtime=0.74
/proc/5942/task/5944/stat : 5944 (java) S 5934 5934 3172 0 -1 64 5097 0 0 0 68 6 0 0 16 0 9 0 1993103491 201838592 8291 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5945] ppid=5934 vsize=197108 CPUtime=0
/proc/5942/task/5945/stat : 5945 (java) S 5934 5934 3172 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993103491 201838592 8291 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5946] ppid=5934 vsize=197108 CPUtime=0
/proc/5942/task/5946/stat : 5946 (java) S 5934 5934 3172 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1993103491 201838592 8291 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5947] ppid=5934 vsize=197108 CPUtime=0
/proc/5942/task/5947/stat : 5947 (java) S 5934 5934 3172 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1993103493 201838592 8291 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5948] ppid=5934 vsize=197108 CPUtime=0.17
/proc/5942/task/5948/stat : 5948 (java) S 5934 5934 3172 0 -1 64 626 0 0 0 17 0 0 0 16 0 9 0 1993103493 201838592 8291 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5949] ppid=5934 vsize=197108 CPUtime=0
/proc/5942/task/5949/stat : 5949 (java) S 5934 5934 3172 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1993103493 201838592 8291 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5950] ppid=5934 vsize=197108 CPUtime=0
/proc/5942/task/5950/stat : 5950 (java) S 5934 5934 3172 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1993103493 201838592 8291 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202468
[startup+12.7024 s]
/proc/loadavg: 2.08 2.11 2.08 3/85 5953
/proc/meminfo: memFree=1822264/2055920 swapFree=4179968/4192956
[pid=5934] ppid=5932 vsize=5360 CPUtime=1.52
/proc/5934/stat : 5934 (hydra) S 5932 5934 3172 0 -1 4194304 375 2659 0 0 0 0 150 2 18 0 1 0 1993103333 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5934/statm: 1340 238 196 169 0 51 0
[pid=5942] ppid=5934 vsize=197432 CPUtime=6.01
/proc/5942/stat : 5942 (java) S 5934 5934 3172 0 -1 0 13924 0 1 0 585 16 0 0 18 0 10 0 1993103488 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5942/statm: 49358 9453 2543 9 0 43941 0
[pid=5952] ppid=5942 vsize=5356 CPUtime=0
/proc/5952/stat : 5952 (mistral) S 5942 5934 3172 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1993104100 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/5952/statm: 1339 236 196 169 0 50 0
[pid=5953] ppid=5952 vsize=10764 CPUtime=4.97
/proc/5953/stat : 5953 (xsolve) R 5952 5934 3172 0 -1 4194304 2041 0 0 0 497 0 0 0 25 0 1 0 1993104101 11022336 2005 996147200 134512640 135239763 4294955968 18446744073709551615 135096162 0 4 0 0 0 0 0 17 1 0 0
/proc/5953/statm: 2691 2005 419 177 0 1594 0
[pid=5942/tid=5943] ppid=5934 vsize=197432 CPUtime=4.71
/proc/5942/task/5943/stat : 5943 (java) S 5934 5934 3172 0 -1 64 3969 0 1 0 465 6 0 0 23 0 10 0 1993103490 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=5942/tid=5944] ppid=5934 vsize=197432 CPUtime=1.07
/proc/5942/task/5944/stat : 5944 (java) S 5934 5934 3172 0 -1 64 8506 0 0 0 99 8 0 0 16 0 10 0 1993103491 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5945] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5945/stat : 5945 (java) S 5934 5934 3172 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993103491 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5946] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5946/stat : 5946 (java) S 5934 5934 3172 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993103491 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5947] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5947/stat : 5947 (java) S 5934 5934 3172 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5948] ppid=5934 vsize=197432 CPUtime=0.2
/proc/5942/task/5948/stat : 5948 (java) S 5934 5934 3172 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5949] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5949/stat : 5949 (java) S 5934 5934 3172 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5950] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5950/stat : 5950 (java) S 5934 5934 3172 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5951] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5951/stat : 5951 (java) S 5934 5934 3172 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993104100 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 218912
[startup+25.5029 s]
/proc/loadavg: 2.07 2.10 2.08 3/85 5953
/proc/meminfo: memFree=1822520/2055920 swapFree=4179968/4192956
[pid=5934] ppid=5932 vsize=5360 CPUtime=1.52
/proc/5934/stat : 5934 (hydra) S 5932 5934 3172 0 -1 4194304 375 2659 0 0 0 0 150 2 18 0 1 0 1993103333 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5934/statm: 1340 238 196 169 0 51 0
[pid=5942] ppid=5934 vsize=197432 CPUtime=6.01
/proc/5942/stat : 5942 (java) S 5934 5934 3172 0 -1 0 13924 0 1 0 585 16 0 0 18 0 10 0 1993103488 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5942/statm: 49358 9453 2543 9 0 43941 0
[pid=5952] ppid=5942 vsize=5356 CPUtime=0
/proc/5952/stat : 5952 (mistral) S 5942 5934 3172 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1993104100 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/5952/statm: 1339 236 196 169 0 50 0
[pid=5953] ppid=5952 vsize=10764 CPUtime=17.64
/proc/5953/stat : 5953 (xsolve) R 5952 5934 3172 0 -1 4194304 2041 0 0 0 1764 0 0 0 25 0 1 0 1993104101 11022336 2005 996147200 134512640 135239763 4294955968 18446744073709551615 134820669 0 4 0 0 0 0 0 17 1 0 0
/proc/5953/statm: 2691 2005 419 177 0 1594 0
[pid=5942/tid=5943] ppid=5934 vsize=197432 CPUtime=4.71
/proc/5942/task/5943/stat : 5943 (java) S 5934 5934 3172 0 -1 64 3969 0 1 0 465 6 0 0 23 0 10 0 1993103490 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=5942/tid=5944] ppid=5934 vsize=197432 CPUtime=1.07
/proc/5942/task/5944/stat : 5944 (java) S 5934 5934 3172 0 -1 64 8506 0 0 0 99 8 0 0 16 0 10 0 1993103491 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5945] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5945/stat : 5945 (java) S 5934 5934 3172 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993103491 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5946] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5946/stat : 5946 (java) S 5934 5934 3172 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993103491 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5947] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5947/stat : 5947 (java) S 5934 5934 3172 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5948] ppid=5934 vsize=197432 CPUtime=0.2
/proc/5942/task/5948/stat : 5948 (java) S 5934 5934 3172 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5949] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5949/stat : 5949 (java) S 5934 5934 3172 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5950] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5950/stat : 5950 (java) S 5934 5934 3172 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5951] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5951/stat : 5951 (java) S 5934 5934 3172 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993104100 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 218912
[startup+51.1029 s]
/proc/loadavg: 2.04 2.09 2.08 3/85 5953
/proc/meminfo: memFree=1822456/2055920 swapFree=4179968/4192956
[pid=5934] ppid=5932 vsize=5360 CPUtime=1.52
################
# More data... #
################
/proc/5942/task/5951/stat : 5951 (java) S 5934 5934 3172 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993104100 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.24
Current children cumulated vsize (KiB) 218912
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/97 5999
/proc/meminfo: memFree=1771544/2055920 swapFree=4179968/4192956
[pid=5934] ppid=5932 vsize=5360 CPUtime=1.52
/proc/5934/stat : 5934 (hydra) S 5932 5934 3172 0 -1 4194304 375 2659 0 0 0 0 150 2 18 0 1 0 1993103333 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5934/statm: 1340 238 196 169 0 51 0
[pid=5942] ppid=5934 vsize=197432 CPUtime=6.01
/proc/5942/stat : 5942 (java) S 5934 5934 3172 0 -1 0 13924 0 1 0 585 16 0 0 18 0 10 0 1993103488 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5942/statm: 49358 9453 2543 9 0 43941 0
[pid=5952] ppid=5942 vsize=5356 CPUtime=0
/proc/5952/stat : 5952 (mistral) S 5942 5934 3172 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1993104100 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/5952/statm: 1339 236 196 169 0 50 0
[pid=5953] ppid=5952 vsize=10764 CPUtime=1643.69
/proc/5953/stat : 5953 (xsolve) R 5952 5934 3172 0 -1 4194304 2041 0 0 0 164363 6 0 0 25 0 1 0 1993104101 11022336 2005 996147200 134512640 135239763 4294955968 18446744073709551615 134820608 0 4 0 0 0 0 0 17 0 0 0
/proc/5953/statm: 2691 2005 419 177 0 1594 0
[pid=5942/tid=5943] ppid=5934 vsize=197432 CPUtime=4.71
/proc/5942/task/5943/stat : 5943 (java) S 5934 5934 3172 0 -1 64 3969 0 1 0 465 6 0 0 23 0 10 0 1993103490 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=5942/tid=5944] ppid=5934 vsize=197432 CPUtime=1.07
/proc/5942/task/5944/stat : 5944 (java) S 5934 5934 3172 0 -1 64 8506 0 0 0 99 8 0 0 16 0 10 0 1993103491 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5945] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5945/stat : 5945 (java) S 5934 5934 3172 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993103491 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5946] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5946/stat : 5946 (java) S 5934 5934 3172 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993103491 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5947] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5947/stat : 5947 (java) S 5934 5934 3172 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5948] ppid=5934 vsize=197432 CPUtime=0.2
/proc/5942/task/5948/stat : 5948 (java) S 5934 5934 3172 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5949] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5949/stat : 5949 (java) S 5934 5934 3172 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5950] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5950/stat : 5950 (java) S 5934 5934 3172 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5951] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5951/stat : 5951 (java) S 5934 5934 3172 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993104100 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1651.22
Current children cumulated vsize (KiB) 218912
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/97 6001
/proc/meminfo: memFree=1771416/2055920 swapFree=4179968/4192956
[pid=5934] ppid=5932 vsize=5360 CPUtime=1.52
/proc/5934/stat : 5934 (hydra) S 5932 5934 3172 0 -1 4194304 375 2659 0 0 0 0 150 2 18 0 1 0 1993103333 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5934/statm: 1340 238 196 169 0 51 0
[pid=5942] ppid=5934 vsize=197432 CPUtime=6.01
/proc/5942/stat : 5942 (java) S 5934 5934 3172 0 -1 0 13924 0 1 0 585 16 0 0 18 0 10 0 1993103488 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5942/statm: 49358 9453 2543 9 0 43941 0
[pid=5952] ppid=5942 vsize=5356 CPUtime=0
/proc/5952/stat : 5952 (mistral) S 5942 5934 3172 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1993104100 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/5952/statm: 1339 236 196 169 0 50 0
[pid=5953] ppid=5952 vsize=10764 CPUtime=1703.67
/proc/5953/stat : 5953 (xsolve) R 5952 5934 3172 0 -1 4194304 2041 0 0 0 170361 6 0 0 25 0 1 0 1993104101 11022336 2005 996147200 134512640 135239763 4294955968 18446744073709551615 135042187 0 4 0 0 0 0 0 17 0 0 0
/proc/5953/statm: 2691 2005 419 177 0 1594 0
[pid=5942/tid=5943] ppid=5934 vsize=197432 CPUtime=4.71
/proc/5942/task/5943/stat : 5943 (java) S 5934 5934 3172 0 -1 64 3969 0 1 0 465 6 0 0 23 0 10 0 1993103490 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=5942/tid=5944] ppid=5934 vsize=197432 CPUtime=1.07
/proc/5942/task/5944/stat : 5944 (java) S 5934 5934 3172 0 -1 64 8506 0 0 0 99 8 0 0 16 0 10 0 1993103491 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5945] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5945/stat : 5945 (java) S 5934 5934 3172 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993103491 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5946] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5946/stat : 5946 (java) S 5934 5934 3172 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993103491 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5947] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5947/stat : 5947 (java) S 5934 5934 3172 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5948] ppid=5934 vsize=197432 CPUtime=0.2
/proc/5942/task/5948/stat : 5948 (java) S 5934 5934 3172 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5949] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5949/stat : 5949 (java) S 5934 5934 3172 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5950] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5950/stat : 5950 (java) S 5934 5934 3172 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5951] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5951/stat : 5951 (java) S 5934 5934 3172 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993104100 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.2
Current children cumulated vsize (KiB) 218912
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/97 6001
/proc/meminfo: memFree=1771224/2055920 swapFree=4179968/4192956
[pid=5934] ppid=5932 vsize=5360 CPUtime=1.52
/proc/5934/stat : 5934 (hydra) S 5932 5934 3172 0 -1 4194304 375 2659 0 0 0 0 150 2 18 0 1 0 1993103333 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5934/statm: 1340 238 196 169 0 51 0
[pid=5942] ppid=5934 vsize=197432 CPUtime=6.01
/proc/5942/stat : 5942 (java) S 5934 5934 3172 0 -1 0 13924 0 1 0 585 16 0 0 18 0 10 0 1993103488 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5942/statm: 49358 9453 2543 9 0 43941 0
[pid=5952] ppid=5942 vsize=5356 CPUtime=0
/proc/5952/stat : 5952 (mistral) S 5942 5934 3172 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1993104100 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/5952/statm: 1339 236 196 169 0 50 0
[pid=5953] ppid=5952 vsize=10764 CPUtime=1763.64
/proc/5953/stat : 5953 (xsolve) R 5952 5934 3172 0 -1 4194304 2041 0 0 0 176358 6 0 0 25 0 1 0 1993104101 11022336 2005 996147200 134512640 135239763 4294955968 18446744073709551615 134821123 0 4 0 0 0 0 0 17 0 0 0
/proc/5953/statm: 2691 2005 419 177 0 1594 0
[pid=5942/tid=5943] ppid=5934 vsize=197432 CPUtime=4.71
/proc/5942/task/5943/stat : 5943 (java) S 5934 5934 3172 0 -1 64 3969 0 1 0 465 6 0 0 23 0 10 0 1993103490 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=5942/tid=5944] ppid=5934 vsize=197432 CPUtime=1.07
/proc/5942/task/5944/stat : 5944 (java) S 5934 5934 3172 0 -1 64 8506 0 0 0 99 8 0 0 16 0 10 0 1993103491 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5945] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5945/stat : 5945 (java) S 5934 5934 3172 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993103491 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5946] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5946/stat : 5946 (java) S 5934 5934 3172 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993103491 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5947] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5947/stat : 5947 (java) S 5934 5934 3172 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5948] ppid=5934 vsize=197432 CPUtime=0.2
/proc/5942/task/5948/stat : 5948 (java) S 5934 5934 3172 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5949] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5949/stat : 5949 (java) S 5934 5934 3172 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5950] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5950/stat : 5950 (java) S 5934 5934 3172 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5951] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5951/stat : 5951 (java) S 5934 5934 3172 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993104100 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.17
Current children cumulated vsize (KiB) 218912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/97 6001
/proc/meminfo: memFree=1771224/2055920 swapFree=4179968/4192956
[pid=5934] ppid=5932 vsize=5360 CPUtime=1.52
/proc/5934/stat : 5934 (hydra) S 5932 5934 3172 0 -1 4194304 375 2659 0 0 0 0 150 2 18 0 1 0 1993103333 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5934/statm: 1340 238 196 169 0 51 0
[pid=5942] ppid=5934 vsize=197432 CPUtime=6.01
/proc/5942/stat : 5942 (java) S 5934 5934 3172 0 -1 0 13924 0 1 0 585 16 0 0 18 0 10 0 1993103488 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5942/statm: 49358 9453 2543 9 0 43941 0
[pid=5952] ppid=5942 vsize=5356 CPUtime=0
/proc/5952/stat : 5952 (mistral) S 5942 5934 3172 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1993104100 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/5952/statm: 1339 236 196 169 0 50 0
[pid=5953] ppid=5952 vsize=10764 CPUtime=1792.53
/proc/5953/stat : 5953 (xsolve) R 5952 5934 3172 0 -1 4194304 2041 0 0 0 179247 6 0 0 25 0 1 0 1993104101 11022336 2005 996147200 134512640 135239763 4294955968 18446744073709551615 134842520 0 4 0 0 0 0 0 17 0 0 0
/proc/5953/statm: 2691 2005 419 177 0 1594 0
[pid=5942/tid=5943] ppid=5934 vsize=197432 CPUtime=4.71
/proc/5942/task/5943/stat : 5943 (java) S 5934 5934 3172 0 -1 64 3969 0 1 0 465 6 0 0 23 0 10 0 1993103490 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=5942/tid=5944] ppid=5934 vsize=197432 CPUtime=1.07
/proc/5942/task/5944/stat : 5944 (java) S 5934 5934 3172 0 -1 64 8506 0 0 0 99 8 0 0 16 0 10 0 1993103491 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5945] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5945/stat : 5945 (java) S 5934 5934 3172 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993103491 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5946] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5946/stat : 5946 (java) S 5934 5934 3172 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993103491 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5947] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5947/stat : 5947 (java) S 5934 5934 3172 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5948] ppid=5934 vsize=197432 CPUtime=0.2
/proc/5942/task/5948/stat : 5948 (java) S 5934 5934 3172 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5949] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5949/stat : 5949 (java) S 5934 5934 3172 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5950] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5950/stat : 5950 (java) R 5934 5934 3172 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1993103493 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5942/tid=5951] ppid=5934 vsize=197432 CPUtime=0
/proc/5942/task/5951/stat : 5951 (java) S 5934 5934 3172 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1993104100 202170368 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 218912
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 5934 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=504771
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=23996
# CPU time returned by wait4() is 1.52877
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1811.23
CPU time (s): 1800.06
CPU user time (s): 1799.82
CPU system time (s): 0.24
CPU usage (%): 99.3834
Max. virtual memory (cumulated for all children) (KiB): 218912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.50477
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3034
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= 34
involuntary context switches= 46
runsolver used 2.18667 second user time and 6.12307 second system time
The end