0.00/0.00 c cpHydra_k_10 version 0.0
7.47/7.60 c CASE TO CLASSIFY:
7.47/7.60 c Case: 0
7.47/7.60 c 19 > 0.000000 | c 35 > 55.714300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.714300 | c 15 > 22.074200 | c 34 > 168.571000 | c 16 > 6.000000 | c 13 > 6.775870 | c 14 > 11.808200 | c 11 > 12.444800 | c 12 > 4.013780 | c 21 > 4.416620 | 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.792800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.61 c choco : 1801.0
7.47/7.61 c mistral : 1801.0
7.47/7.61 c abscon : 1801.0
7.47/7.61 c
7.47/7.61 c
7.47/7.69 c List of same ones: 10
7.47/7.69 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-42.xml
7.47/7.69 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.58/7.70 c choco : 12.29
7.58/7.70 c mistral : 0.08
7.58/7.70 c abscon : 41.84
7.58/7.70 c
7.58/7.70 c
7.58/7.70 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-30.xml
7.58/7.70 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.58/7.71 c choco : 51.8
7.58/7.71 c mistral : 0.09
7.58/7.71 c abscon : 4.82
7.58/7.71 c
7.58/7.71 c
7.58/7.71 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-24.xml
7.58/7.71 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.58/7.72 c choco : 34.67
7.58/7.72 c mistral : 0.07
7.58/7.72 c abscon : 28.95
7.58/7.72 c
7.58/7.72 c
7.58/7.72 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-35.xml
7.58/7.72 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.58/7.73 c choco : 10.61
7.58/7.73 c mistral : 0.11
7.58/7.73 c abscon : 5.1
7.58/7.73 c
7.58/7.73 c
7.58/7.73 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-31.xml
7.58/7.73 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.58/7.74 c choco : 13.02
7.58/7.74 c mistral : 0.1
7.58/7.74 c abscon : 6.04
7.58/7.74 c
7.58/7.74 c
7.58/7.74 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-15.xml
7.58/7.74 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.58/7.75 c choco : 10.9
7.58/7.75 c mistral : 0.11
7.58/7.75 c abscon : 6.3
7.58/7.75 c
7.58/7.75 c
7.58/7.75 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-21.xml
7.58/7.75 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.58/7.76 c choco : 32.65
7.58/7.76 c mistral : 0.11
7.58/7.76 c abscon : 8.27
7.58/7.76 c
7.58/7.76 c
7.58/7.76 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-29.xml
7.58/7.76 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.58/7.77 c choco : 1801.0
7.58/7.77 c mistral : 0.08
7.58/7.77 c abscon : 32.27
7.58/7.77 c
7.58/7.77 c
7.58/7.77 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-40.xml
7.58/7.77 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.58/7.77 c choco : 17.85
7.58/7.77 c mistral : 0.12
7.58/7.77 c abscon : 6.92
7.58/7.77 c
7.58/7.77 c
7.58/7.77 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-26.xml
7.58/7.77 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.58/7.78 c choco : 14.45
7.58/7.78 c mistral : 0.08
7.58/7.78 c abscon : 74.2
7.58/7.78 c
7.58/7.78 c
7.58/7.79 c Length: 10
7.58/7.79 c 31.716919839037082 31.7231268987387 31.86366284813022 32.34038949084654 32.374092488437235 32.517222729436476 32.54696208519517 32.579662216382665 32.777392669765604 32.824901351081884
7.58/7.79 c
7.58/7.79 c 1.0 0.9944290761375456 0.8830476278888257 0.6399149656513575 0.627696739608176 0.5806165530806946 0.5717068778724482 0.5622205718465918 0.5109545034864602 0.5
7.58/7.79 c
7.58/7.79 c solver 0
7.58/7.79 c before 0.0 seconds: {} 0
7.58/7.79 c before 18.0 seconds: {1, 3, 4, 5, 6, 8} 3925
7.58/7.79 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8} 5370
7.58/7.79 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 6370
7.58/7.79 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6870
7.58/7.79 c
7.58/7.79 c solver 1
7.58/7.79 c before 0.0 seconds: {} 0
7.58/7.79 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6870
7.58/7.79 c
7.58/7.79 c solver 2
7.58/7.79 c before 0.0 seconds: {} 0
7.58/7.79 c before 18.0 seconds: {0, 3, 4, 5, 8, 9} 3859
7.58/7.79 c before 36.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9} 5313
7.58/7.79 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6308
7.58/7.79 c
7.58/7.79 cTotal time: 9
7.58/7.79 c 162.0 seconds unused
7.58/7.79 c 0 c 0 c 1
7.58/7.79 c 0 c 0 c 1
7.58/7.79 c 0 c 0 c 0
7.58/7.80 c is solver0 dominated by:
7.58/7.80 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.58/7.80 c is dominated? true
7.58/7.80 c
7.58/7.80 c is solver1 dominated by:
7.58/7.80 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.58/7.80 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.58/7.80 c is dominated? false
7.58/7.80 c
7.58/7.80 c is solver2 dominated by:
7.58/7.80 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.58/7.80 c is dominated? true
7.58/7.80 c
7.58/7.80 c Number of non-dominated solvers: 1
7.58/7.80 c remove dominated solvers
7.58/7.80 c solver 1 is not dominated by another solver
7.58/7.80 c solver 2 is dominated by another solver
7.58/7.80 c solver 0 is dominated by another solver
7.58/7.80 c
7.58/7.80 c solver 0: 0.0
7.58/7.80 c
7.58/7.80 c solver 1: 18.0
7.58/7.80 c
7.58/7.80 c+ 1/1 of 99
7.58/7.80 c
7.58/7.80 c solver 2: 0.0
7.58/7.80 c do not run abscon
7.58/7.80 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6870
7.58/7.80 c do not run choco
7.58/7.80 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.58/7.80 c On Instance: HOME/instance-1064349-1215140728.xml
7.58/7.80 c Running for: 1800 seconds
8.61/8.85 c mistral-prime version 1.313
8.61/8.85 s SATISFIABLE
8.61/8.85 v 16 40 3 9 1 16 3 0 39 0 0 3 3 0 19 0 0 36 0 0 36 9 0 30 9 0 21 0 0 35 0 0 4 3 1 23 0 1 24 14 1 38 9 0 15 10 1 34 9 0 38 0 0 3 0 1 32 0 0 32 9 0 28 9 0 0 0 0 15 13 1 23 6 1 25 9 0
8.61/8.85 d CHECKS 1792952
8.61/8.85 d ASSIGNMENTS 1958
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064349-1215140728/watcher-1064349-1215140728 -o /tmp/evaluation-result-1064349-1215140728/solver-1064349-1215140728 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1064349-1215140728.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 27757
/proc/meminfo: memFree=1431184/2055920 swapFree=4180884/4192956
[pid=27757] ppid=27755 vsize=5360 CPUtime=0
/proc/27757/stat : 27757 (hydra) S 27755 27757 24795 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 998477465 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27757/statm: 1340 236 195 169 0 51 0
[pid=27759] ppid=27757 vsize=5360 CPUtime=0
/proc/27759/stat : 27759 (hydra) R 27757 27757 24795 0 -1 4194368 18 0 0 0 0 0 0 0 22 0 1 0 998477466 5488640 237 996147200 4194304 4889804 548682068816 18446744073709551615 4417410 0 0 4096 0 0 0 0 17 1 0 0
/proc/27759/statm: 1340 237 196 169 0 51 0
[startup+0.101382 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 27757
/proc/meminfo: memFree=1431184/2055920 swapFree=4180884/4192956
[pid=27757] ppid=27755 vsize=5360 CPUtime=0
/proc/27757/stat : 27757 (hydra) S 27755 27757 24795 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 998477465 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27757/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.202387 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 27757
/proc/meminfo: memFree=1431184/2055920 swapFree=4180884/4192956
[pid=27757] ppid=27755 vsize=5360 CPUtime=0
/proc/27757/stat : 27757 (hydra) S 27755 27757 24795 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 998477465 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27757/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301399 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 27757
/proc/meminfo: memFree=1431184/2055920 swapFree=4180884/4192956
[pid=27757] ppid=27755 vsize=5360 CPUtime=0
/proc/27757/stat : 27757 (hydra) S 27755 27757 24795 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 998477465 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27757/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701442 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 27757
/proc/meminfo: memFree=1431184/2055920 swapFree=4180884/4192956
[pid=27757] ppid=27755 vsize=5360 CPUtime=0
/proc/27757/stat : 27757 (hydra) S 27755 27757 24795 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 998477465 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27757/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50252 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 27761
/proc/meminfo: memFree=1424512/2055920 swapFree=4180884/4192956
[pid=27757] ppid=27755 vsize=5360 CPUtime=0
/proc/27757/stat : 27757 (hydra) S 27755 27757 24795 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 998477465 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27757/statm: 1340 236 195 169 0 51 0
[pid=27761] ppid=27757 vsize=10768 CPUtime=1.47
/proc/27761/stat : 27761 (xsolve) R 27757 27757 24795 0 -1 4194304 2060 0 0 0 146 1 0 0 25 0 1 0 998477466 11026432 2019 996147200 134512640 135239763 4294956176 18446744073709551615 135030883 0 0 4096 0 0 0 0 17 1 0 0
/proc/27761/statm: 2692 2019 436 177 0 1595 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 16128
[startup+3.10169 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 27773
/proc/meminfo: memFree=1423296/2055920 swapFree=4180884/4192956
[pid=27757] ppid=27755 vsize=5360 CPUtime=1.52
/proc/27757/stat : 27757 (hydra) S 27755 27757 24795 0 -1 4194304 375 2655 0 0 0 0 151 1 18 0 1 0 998477465 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27757/statm: 1340 238 196 169 0 51 0
[pid=27765] ppid=27757 vsize=197000 CPUtime=1.51
/proc/27765/stat : 27765 (java) S 27757 27757 24795 0 -1 0 5071 0 1 0 147 4 0 0 18 0 9 0 998477621 201728000 4253 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27765/statm: 49250 4253 1678 9 0 43833 0
[pid=27765/tid=27766] ppid=27757 vsize=197000 CPUtime=1.17
/proc/27765/task/27766/stat : 27766 (java) R 27757 27757 24795 0 -1 64 2743 0 1 0 116 1 0 0 25 0 9 0 998477622 201728000 4253 996147200 134512640 134550740 4294955968 18446744073709551615 4126439925 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27767] ppid=27757 vsize=197000 CPUtime=0.16
/proc/27765/task/27767/stat : 27767 (java) S 27757 27757 24795 0 -1 64 990 0 0 0 15 1 0 0 16 0 9 0 998477623 201728000 4253 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27768] ppid=27757 vsize=197000 CPUtime=0
/proc/27765/task/27768/stat : 27768 (java) S 27757 27757 24795 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 998477623 201728000 4253 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27769] ppid=27757 vsize=197000 CPUtime=0
/proc/27765/task/27769/stat : 27769 (java) S 27757 27757 24795 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 998477623 201728000 4253 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27770] ppid=27757 vsize=197000 CPUtime=0
/proc/27765/task/27770/stat : 27770 (java) S 27757 27757 24795 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 998477626 201728000 4253 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27771] ppid=27757 vsize=197000 CPUtime=0.14
/proc/27765/task/27771/stat : 27771 (java) S 27757 27757 24795 0 -1 64 613 0 0 0 14 0 0 0 16 0 9 0 998477626 201728000 4253 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27772] ppid=27757 vsize=197000 CPUtime=0
/proc/27765/task/27772/stat : 27772 (java) S 27757 27757 24795 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 998477626 201728000 4253 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27773] ppid=27757 vsize=197000 CPUtime=0
/proc/27765/task/27773/stat : 27773 (java) S 27757 27757 24795 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 998477626 201728000 4253 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.30302 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 27773
/proc/meminfo: memFree=1410688/2055920 swapFree=4180884/4192956
[pid=27757] ppid=27755 vsize=5360 CPUtime=1.52
/proc/27757/stat : 27757 (hydra) S 27755 27757 24795 0 -1 4194304 375 2655 0 0 0 0 151 1 18 0 1 0 998477465 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27757/statm: 1340 238 196 169 0 51 0
[pid=27765] ppid=27757 vsize=197112 CPUtime=4.67
/proc/27765/stat : 27765 (java) S 27757 27757 24795 0 -1 0 9876 0 1 0 456 11 0 0 18 0 9 0 998477621 201842688 8193 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27765/statm: 49278 8193 2540 9 0 43861 0
[pid=27765/tid=27766] ppid=27757 vsize=197112 CPUtime=3.7
/proc/27765/task/27766/stat : 27766 (java) R 27757 27757 24795 0 -1 64 3524 0 1 0 367 3 0 0 25 0 9 0 998477622 201842688 8193 996147200 134512640 134550740 4294955968 18446744073709551615 4126439916 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27767] ppid=27757 vsize=197112 CPUtime=0.77
/proc/27765/task/27767/stat : 27767 (java) S 27757 27757 24795 0 -1 64 4998 0 0 0 70 7 0 0 16 0 9 0 998477623 201842688 8193 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27768] ppid=27757 vsize=197112 CPUtime=0
/proc/27765/task/27768/stat : 27768 (java) S 27757 27757 24795 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 998477623 201842688 8193 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27769] ppid=27757 vsize=197112 CPUtime=0
/proc/27765/task/27769/stat : 27769 (java) S 27757 27757 24795 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 998477623 201842688 8193 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27770] ppid=27757 vsize=197112 CPUtime=0
/proc/27765/task/27770/stat : 27770 (java) S 27757 27757 24795 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 998477626 201842688 8193 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27771] ppid=27757 vsize=197112 CPUtime=0.17
/proc/27765/task/27771/stat : 27771 (java) S 27757 27757 24795 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 998477626 201842688 8193 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27772] ppid=27757 vsize=197112 CPUtime=0
/proc/27765/task/27772/stat : 27772 (java) S 27757 27757 24795 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 998477626 201842688 8193 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27773] ppid=27757 vsize=197112 CPUtime=0
/proc/27765/task/27773/stat : 27773 (java) S 27757 27757 24795 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 998477626 201842688 8193 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 202472
Solver just ended. Dumping a history of the last processes samples
[startup+6.40203 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 27773
/proc/meminfo: memFree=1410688/2055920 swapFree=4180884/4192956
[pid=27757] ppid=27755 vsize=5360 CPUtime=1.52
/proc/27757/stat : 27757 (hydra) S 27755 27757 24795 0 -1 4194304 375 2655 0 0 0 0 151 1 18 0 1 0 998477465 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27757/statm: 1340 238 196 169 0 51 0
[pid=27765] ppid=27757 vsize=197112 CPUtime=4.77
/proc/27765/stat : 27765 (java) S 27757 27757 24795 0 -1 0 9984 0 1 0 465 12 0 0 18 0 9 0 998477621 201842688 8283 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27765/statm: 49278 8283 2540 9 0 43861 0
[pid=27765/tid=27766] ppid=27757 vsize=197112 CPUtime=3.78
/proc/27765/task/27766/stat : 27766 (java) R 27757 27757 24795 0 -1 64 3542 0 1 0 375 3 0 0 25 0 9 0 998477622 201842688 8283 996147200 134512640 134550740 4294955968 18446744073709551615 4126443236 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27767] ppid=27757 vsize=197112 CPUtime=0.79
/proc/27765/task/27767/stat : 27767 (java) S 27757 27757 24795 0 -1 64 5088 0 0 0 72 7 0 0 16 0 9 0 998477623 201842688 8283 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27768] ppid=27757 vsize=197112 CPUtime=0
/proc/27765/task/27768/stat : 27768 (java) S 27757 27757 24795 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 998477623 201842688 8283 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27769] ppid=27757 vsize=197112 CPUtime=0
/proc/27765/task/27769/stat : 27769 (java) S 27757 27757 24795 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 998477623 201842688 8283 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27770] ppid=27757 vsize=197112 CPUtime=0
/proc/27765/task/27770/stat : 27770 (java) S 27757 27757 24795 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 998477626 201842688 8283 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27771] ppid=27757 vsize=197112 CPUtime=0.17
/proc/27765/task/27771/stat : 27771 (java) S 27757 27757 24795 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 998477626 201842688 8283 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27772] ppid=27757 vsize=197112 CPUtime=0
/proc/27765/task/27772/stat : 27772 (java) S 27757 27757 24795 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 998477626 201842688 8283 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27773] ppid=27757 vsize=197112 CPUtime=0
/proc/27765/task/27773/stat : 27773 (java) S 27757 27757 24795 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 998477626 201842688 8283 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 202472
[startup+8.00221 s]
/proc/loadavg: 2.00 2.00 2.00 5/92 27773
/proc/meminfo: memFree=1402816/2055920 swapFree=4180884/4192956
[pid=27757] ppid=27755 vsize=5360 CPUtime=1.52
/proc/27757/stat : 27757 (hydra) S 27755 27757 24795 0 -1 4194304 375 2655 0 0 0 0 151 1 18 0 1 0 998477465 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27757/statm: 1340 238 196 169 0 51 0
[pid=27765] ppid=27757 vsize=197436 CPUtime=6.12
/proc/27765/stat : 27765 (java) S 27757 27757 24795 0 -1 0 13884 0 1 0 596 16 0 0 18 0 10 0 998477621 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27765/statm: 49359 9454 2543 9 0 43942 0
[pid=27765/tid=27766] ppid=27757 vsize=197436 CPUtime=4.79
/proc/27765/task/27766/stat : 27766 (java) S 27757 27757 24795 0 -1 64 3966 0 1 0 474 5 0 0 24 0 10 0 998477622 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=27765/tid=27767] ppid=27757 vsize=197436 CPUtime=1.11
/proc/27765/task/27767/stat : 27767 (java) S 27757 27757 24795 0 -1 64 8473 0 0 0 101 10 0 0 16 0 10 0 998477623 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27768] ppid=27757 vsize=197436 CPUtime=0
/proc/27765/task/27768/stat : 27768 (java) S 27757 27757 24795 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 998477623 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27769] ppid=27757 vsize=197436 CPUtime=0
/proc/27765/task/27769/stat : 27769 (java) S 27757 27757 24795 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 998477623 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27770] ppid=27757 vsize=197436 CPUtime=0
/proc/27765/task/27770/stat : 27770 (java) S 27757 27757 24795 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 998477626 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27771] ppid=27757 vsize=197436 CPUtime=0.2
/proc/27765/task/27771/stat : 27771 (java) S 27757 27757 24795 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 998477626 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27772] ppid=27757 vsize=197436 CPUtime=0
/proc/27765/task/27772/stat : 27772 (java) S 27757 27757 24795 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 998477626 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27773] ppid=27757 vsize=197436 CPUtime=0
/proc/27765/task/27773/stat : 27773 (java) S 27757 27757 24795 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 998477626 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.64
Current children cumulated vsize (KiB) 202796
[startup+8.40224 s]
/proc/loadavg: 2.00 2.00 2.00 5/92 27773
/proc/meminfo: memFree=1402816/2055920 swapFree=4180884/4192956
[pid=27757] ppid=27755 vsize=5360 CPUtime=1.52
/proc/27757/stat : 27757 (hydra) S 27755 27757 24795 0 -1 4194304 375 2655 0 0 0 0 151 1 18 0 1 0 998477465 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27757/statm: 1340 238 196 169 0 51 0
[pid=27765] ppid=27757 vsize=197436 CPUtime=6.12
/proc/27765/stat : 27765 (java) S 27757 27757 24795 0 -1 0 13884 0 1 0 596 16 0 0 18 0 10 0 998477621 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27765/statm: 49359 9454 2543 9 0 43942 0
[pid=27765/tid=27766] ppid=27757 vsize=197436 CPUtime=4.79
/proc/27765/task/27766/stat : 27766 (java) S 27757 27757 24795 0 -1 64 3966 0 1 0 474 5 0 0 24 0 10 0 998477622 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=27765/tid=27767] ppid=27757 vsize=197436 CPUtime=1.11
/proc/27765/task/27767/stat : 27767 (java) S 27757 27757 24795 0 -1 64 8473 0 0 0 101 10 0 0 16 0 10 0 998477623 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27768] ppid=27757 vsize=197436 CPUtime=0
/proc/27765/task/27768/stat : 27768 (java) S 27757 27757 24795 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 998477623 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27769] ppid=27757 vsize=197436 CPUtime=0
/proc/27765/task/27769/stat : 27769 (java) S 27757 27757 24795 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 998477623 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27770] ppid=27757 vsize=197436 CPUtime=0
/proc/27765/task/27770/stat : 27770 (java) S 27757 27757 24795 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 998477626 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27771] ppid=27757 vsize=197436 CPUtime=0.2
/proc/27765/task/27771/stat : 27771 (java) S 27757 27757 24795 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 998477626 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27772] ppid=27757 vsize=197436 CPUtime=0
/proc/27765/task/27772/stat : 27772 (java) S 27757 27757 24795 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 998477626 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27773] ppid=27757 vsize=197436 CPUtime=0
/proc/27765/task/27773/stat : 27773 (java) S 27757 27757 24795 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 998477626 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.64
Current children cumulated vsize (KiB) 202796
[startup+8.80229 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 27776
/proc/meminfo: memFree=1396008/2055920 swapFree=4180884/4192956
[pid=27757] ppid=27755 vsize=5360 CPUtime=1.52
/proc/27757/stat : 27757 (hydra) S 27755 27757 24795 0 -1 4194304 375 2655 0 0 0 0 151 1 18 0 1 0 998477465 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27757/statm: 1340 238 196 169 0 51 0
[pid=27765] ppid=27757 vsize=197436 CPUtime=6.12
/proc/27765/stat : 27765 (java) S 27757 27757 24795 0 -1 0 13917 0 1 0 596 16 0 0 18 0 10 0 998477621 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27765/statm: 49359 9454 2543 9 0 43942 0
[pid=27775] ppid=27765 vsize=5356 CPUtime=0
/proc/27775/stat : 27775 (mistral) S 27765 27757 24795 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 998478246 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/27775/statm: 1339 236 196 169 0 50 0
[pid=27776] ppid=27775 vsize=10768 CPUtime=0.97
/proc/27776/stat : 27776 (xsolve) R 27775 27757 24795 0 -1 4194304 2038 0 0 0 96 1 0 0 25 0 1 0 998478246 11026432 2002 996147200 134512640 135239763 4294955968 18446744073709551615 134842479 0 4 0 0 0 0 0 17 1 0 0
/proc/27776/statm: 2692 2002 419 177 0 1595 0
[pid=27765/tid=27766] ppid=27757 vsize=197436 CPUtime=4.79
/proc/27765/task/27766/stat : 27766 (java) S 27757 27757 24795 0 -1 64 3966 0 1 0 474 5 0 0 24 0 10 0 998477622 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=27765/tid=27767] ppid=27757 vsize=197436 CPUtime=1.11
/proc/27765/task/27767/stat : 27767 (java) S 27757 27757 24795 0 -1 64 8506 0 0 0 101 10 0 0 16 0 10 0 998477623 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27768] ppid=27757 vsize=197436 CPUtime=0
/proc/27765/task/27768/stat : 27768 (java) S 27757 27757 24795 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 998477623 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27769] ppid=27757 vsize=197436 CPUtime=0
/proc/27765/task/27769/stat : 27769 (java) S 27757 27757 24795 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 998477623 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27770] ppid=27757 vsize=197436 CPUtime=0
/proc/27765/task/27770/stat : 27770 (java) S 27757 27757 24795 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 998477626 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27771] ppid=27757 vsize=197436 CPUtime=0.2
/proc/27765/task/27771/stat : 27771 (java) S 27757 27757 24795 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 998477626 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27772] ppid=27757 vsize=197436 CPUtime=0
/proc/27765/task/27772/stat : 27772 (java) S 27757 27757 24795 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 998477626 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27773] ppid=27757 vsize=197436 CPUtime=0
/proc/27765/task/27773/stat : 27773 (java) S 27757 27757 24795 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 998477626 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27765/tid=27774] ppid=27757 vsize=197436 CPUtime=0
/proc/27765/task/27774/stat : 27774 (java) S 27757 27757 24795 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 998478246 202174464 9454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.61
Current children cumulated vsize (KiB) 218920
[startup+8.90767 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 27776
/proc/meminfo: memFree=1396008/2055920 swapFree=4180884/4192956
[pid=27757] ppid=27755 vsize=5360 CPUtime=1.52
/proc/27757/stat : 27757 (hydra) S 27755 27757 24795 0 -1 4194304 375 2655 0 0 0 0 151 1 18 0 1 0 998477465 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27757/statm: 1340 238 196 169 0 51 0
[pid=27765] ppid=27757 vsize=0 CPUtime=7.15
/proc/27765/stat : 27765 (java) R 27757 27757 24795 0 -1 1028 14002 2351 1 0 596 17 101 1 16 0 1 0 998477621 0 0 996147200 0 0 0 0 0 0 0 0 16800975 0 0 0 17 1 0 0
/proc/27765/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.67
Current children cumulated vsize (KiB) 5360
Child status: 0
Real time (s): 8.91041
CPU time (s): 8.71767
CPU user time (s): 8.50171
CPU system time (s): 0.215967
CPU usage (%): 97.837
Max. virtual memory (cumulated for all children) (KiB): 218920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.50171
system time used= 0.215967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19395
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8981
involuntary context switches= 10525
runsolver used 0.020996 second user time and 0.06499 second system time
The end