0.00/0.00 c cpHydra_k_10 version 0.0
7.49/7.68 c CASE TO CLASSIFY:
7.49/7.68 c Case: 0
7.49/7.68 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 23.800200 | c 33 > 30.000000 | c 15 > 20.968600 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 7.530390 | c 14 > 9.873440 | c 11 > 11.493900 | c 12 > 5.484390 | c 21 > 3.089090 | c 20 > 76.199800 | c 22 > 5.099020 | c 23 > 60.156700 | c 24 > 10.000000 | c 25 > 486.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.033420 | c 2 > -1.000000 | c 10 > 15.550000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.356500 | c 32 > 0.000000 | c 5 > 13.123300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.69 c choco : 1801.0
7.49/7.69 c mistral : 1801.0
7.49/7.69 c abscon : 1801.0
7.49/7.69 c
7.49/7.69 c
7.58/7.77 c List of same ones: 10
7.58/7.77 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-15.xml
7.58/7.77 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 23.800200 | c 33 > 30.000000 | c 15 > 19.804600 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 7.050950 | c 14 > 8.751540 | c 11 > 11.493900 | c 12 > 5.236670 | c 21 > 3.089090 | c 20 > 76.199800 | c 22 > 5.099020 | c 23 > 60.156700 | c 24 > 10.000000 | c 25 > 486.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.033420 | c 2 > -1.000000 | c 10 > 15.550000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.356500 | c 32 > 0.000000 | c 5 > 13.123300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.78 c choco : 1801.0
7.58/7.78 c mistral : 3.46
7.58/7.78 c abscon : 14.39
7.58/7.78 c
7.58/7.78 c
7.58/7.78 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-8.xml
7.58/7.78 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 14.579000 | c 33 > 30.000000 | c 15 > 19.452200 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 7.059480 | c 14 > 9.417850 | c 11 > 12.164600 | c 12 > 4.765530 | c 21 > 3.107250 | c 20 > 85.421000 | c 22 > 5.000000 | c 23 > 65.371600 | c 24 > 25.000000 | c 25 > 490.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.960000 | c 2 > -1.000000 | c 10 > 15.614100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.084100 | c 32 > 0.000000 | c 5 > 13.597500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.78 c choco : 1801.0
7.58/7.78 c mistral : 3.36
7.58/7.78 c abscon : 15.51
7.58/7.79 c
7.58/7.79 c
7.58/7.79 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-7.xml
7.58/7.79 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 12.442600 | c 33 > 30.000000 | c 15 > 19.734000 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 6.396280 | c 14 > 8.434630 | c 11 > 12.538400 | c 12 > 4.143190 | c 21 > 3.130890 | c 20 > 87.557400 | c 22 > 4.898980 | c 23 > 64.366700 | c 24 > 20.000000 | c 25 > 461.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.174930 | c 2 > -1.000000 | c 10 > 15.494700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.466600 | c 32 > 0.000000 | c 5 > 13.885100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.80 c choco : 1801.0
7.58/7.80 c mistral : 5.03
7.58/7.80 c abscon : 102.03
7.58/7.80 c
7.58/7.80 c
7.58/7.80 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-14.xml
7.58/7.80 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.049790 | c 33 > 30.000000 | c 15 > 20.795500 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.418740 | c 14 > 8.118940 | c 11 > 9.219170 | c 12 > 8.571470 | c 21 > 4.902910 | c 20 > 98.950200 | c 22 > 6.708200 | c 23 > 82.224100 | c 24 > 22.222200 | c 25 > 350.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.219170 | c 2 > -1.000000 | c 10 > 17.177700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.980400 | c 32 > 0.000000 | c 5 > 17.155900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.80 c choco : 1801.0
7.67/7.80 c mistral : 137.37
7.67/7.80 c abscon : 1046.72
7.67/7.80 c
7.67/7.80 c
7.67/7.80 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-7.xml
7.67/7.80 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.032270 | c 33 > 30.000000 | c 15 > 20.714300 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.395630 | c 14 > 8.348730 | c 11 > 9.192290 | c 12 > 8.606890 | c 21 > 4.892560 | c 20 > 98.967700 | c 22 > 6.708200 | c 23 > 86.853200 | c 24 > 25.000000 | c 25 > 348.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.192290 | c 2 > -1.000000 | c 10 > 17.188200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.994700 | c 32 > 0.000000 | c 5 > 17.167700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.82 c choco : 1801.0
7.67/7.82 c mistral : 98.85
7.67/7.82 c abscon : 1801.0
7.67/7.82 c
7.67/7.82 c
7.67/7.82 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-12.xml
7.67/7.82 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.895683 | c 33 > 30.000000 | c 15 > 20.466700 | c 34 > 30.000000 | c 16 > 23.000000 | c 13 > 7.445010 | c 14 > 8.507790 | c 11 > 9.394460 | c 12 > 8.546470 | c 21 > 4.014350 | c 20 > 99.104300 | c 22 > 5.830950 | c 23 > 63.995800 | c 24 > 12.500000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.394460 | c 2 > -1.000000 | c 10 > 17.300500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.994000 | c 32 > 0.000000 | c 5 > 17.128600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.83 c choco : 1801.0
7.67/7.83 c mistral : 38.33
7.67/7.83 c abscon : 568.38
7.67/7.83 c
7.67/7.83 c
7.67/7.83 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-13.xml
7.67/7.83 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.226990 | c 33 > 30.000000 | c 15 > 20.404900 | c 34 > 30.000000 | c 16 > 24.000000 | c 13 > 7.487570 | c 14 > 8.546890 | c 11 > 9.255030 | c 12 > 8.456330 | c 21 > 3.902400 | c 20 > 98.773000 | c 22 > 6.000000 | c 23 > 66.609100 | c 24 > 13.333300 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.255030 | c 2 > -1.000000 | c 10 > 17.018100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.512500 | c 32 > 0.000000 | c 5 > 16.686600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.83 c choco : 1801.0
7.67/7.83 c mistral : 43.86
7.67/7.83 c abscon : 262.21
7.67/7.83 c
7.67/7.83 c
7.67/7.83 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-6.xml
7.67/7.83 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.753258 | c 33 > 30.000000 | c 15 > 20.543200 | c 34 > 30.000000 | c 16 > 24.000000 | c 13 > 7.454780 | c 14 > 8.353150 | c 11 > 9.493860 | c 12 > 8.600780 | c 21 > 4.062170 | c 20 > 99.246700 | c 22 > 6.000000 | c 23 > 61.086600 | c 24 > 13.333300 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.493860 | c 2 > -1.000000 | c 10 > 17.464800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.264800 | c 32 > 0.000000 | c 5 > 17.380300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.84 c choco : 1801.0
7.67/7.84 c mistral : 963.3
7.67/7.84 c abscon : 1801.0
7.67/7.84 c
7.67/7.84 c
7.67/7.84 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-5.xml
7.67/7.84 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.716829 | c 33 > 30.000000 | c 15 > 20.502000 | c 34 > 30.000000 | c 16 > 24.000000 | c 13 > 7.462510 | c 14 > 8.149750 | c 11 > 9.467610 | c 12 > 8.672580 | c 21 > 4.149400 | c 20 > 99.283200 | c 22 > 5.830950 | c 23 > 65.344800 | c 24 > 11.764700 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.467610 | c 2 > -1.000000 | c 10 > 17.526000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.333300 | c 32 > 0.000000 | c 5 > 17.448100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.85 c choco : 1801.0
7.67/7.85 c mistral : 1156.77
7.67/7.85 c abscon : 1801.0
7.67/7.85 c
7.67/7.85 c
7.67/7.85 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-15.xml
7.67/7.85 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.399450 | c 33 > 30.000000 | c 15 > 20.959000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.186680 | c 14 > 8.194760 | c 11 > 9.090110 | c 12 > 8.259910 | c 21 > 4.857540 | c 20 > 98.600600 | c 22 > 6.708200 | c 23 > 83.019000 | c 24 > 20.000000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.090110 | c 2 > -1.000000 | c 10 > 16.675800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.264400 | c 32 > 0.000000 | c 5 > 16.536900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.86 c choco : 1801.0
7.67/7.86 c mistral : 106.17
7.67/7.86 c abscon : 39.95
7.67/7.86 c
7.67/7.86 c
7.83/8.05 c Length: 10
7.83/8.05 c 1.7043425483159171 21.041043889698063 31.78619476659482 142.33030758625233 145.28817129122694 189.18241785547696 189.20850441929954 189.2545328386659 189.3179168651278 190.52222274011632
7.83/8.05 c
7.83/8.05 c 1.0 0.9071041281005884 0.8625770260791156 0.5731413196082894 0.5680412438219052 0.5017802541657175 0.5017454708653468 0.5016841092548399 0.5015996350206182 0.5
7.83/8.06 c
7.83/8.06 c solver 0
7.83/8.06 c before 0.0 seconds: {} 0
7.83/8.06 c before 18.0 seconds: {0, 1} 1907
7.83/8.06 c before 54.0 seconds: {0, 1, 9} 2407
7.83/8.06 c before 108.0 seconds: {0, 1, 2, 9} 3269
7.83/8.06 c before 270.0 seconds: {0, 1, 2, 6, 9} 3771
7.83/8.06 c before 576.0 seconds: {0, 1, 2, 5, 6, 9} 4273
7.83/8.06 c before 1062.0 seconds: {0, 1, 2, 3, 5, 6, 9} 4846
7.83/8.06 c
7.83/8.06 c solver 1
7.83/8.06 c before 0.0 seconds: {} 0
7.83/8.06 c before 18.0 seconds: {0, 1, 2} 2769
7.83/8.06 c before 54.0 seconds: {0, 1, 2, 5, 6} 3773
7.83/8.06 c before 108.0 seconds: {0, 1, 2, 4, 5, 6, 9} 4841
7.83/8.06 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 9} 5414
7.83/8.06 c before 972.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 5916
7.83/8.06 c before 1170.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6417
7.83/8.06 c
7.83/8.06 c solver 2
7.83/8.06 c before 0.0 seconds: {} 0
7.83/8.06 c
7.83/8.06 cTotal time: 124
7.83/8.06 c run abscon for 576.0 seconds {0, 1, 2, 5, 6, 9} 4273
7.83/8.06 c run mistral for 1170.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6417
7.83/8.06 c do not run choco
7.83/8.06 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.83/8.06 c On Instance: HOME/instance-1058066-1215112872.xml
7.83/8.06 c Running for: 576 seconds
11.32/11.52 s SAT
11.32/11.52 v 37 22 32 39 9 16 26 6 4 25 27 29 7 21 12 34 26 14 39 41 37 29 2 25 20 23 44 19 5 34 24 5 32 22 12 35 32 15 11 13 42 37 31 18 33 20 43 24 15 19 17 33 7 12 30 16 0 7 15 43 19 34 26 40 5 24 9 27 38 3 38 36 31 22 35 15 40 8 28 12 39 37 43 14 4 30 19 2 8 41 23 13 0 29 8 2 43 27 18 6 28 11 9 10 27 42 3 31 28 18 15 0 3 39 34 20 33 32 27 19 10 25 8 29 41 44 40 31 23 18 12 6 15 10 36 35 5 17 14 23 30 23 6 3 19 11 22 5 25 4 11 9 43 23 1 44 16 21 30 13 38 19 1 40 2 18 21 20 22 2 17 31 12 7 4 41 21 34 17 26 29 26 1 16 28 35 41 11 42 32 10 32 12 39 38 36 42 3 1 11 1 14 13 15 18 1 8 4 5 15 9 6 12 10 13 8 13 3 12 19 4 0 13 11 5 17 17 19 11 3 17 15 0 0 9 17 4 13 18 8 2 13 0 17 17 14 1 6 15 12 12 7 16 4 19 9 10 1 14 15 18 14 3 0 8 11 14 0 13 19 8 18 12 4 1 2 19 12 7 0 14 8 16 18 13 17 8 6 10 2 9 7 0 14 15 2 2 1 11 9 15 13 13 0 19 16 12 9 10 14 3 18 15 8 12 10 16 19 16 13 12 13 18 5 18 5 15 11 12 18 14 15 18 9 2 8 7 14 8 18 6 3 2 8 4 9 10 5 12 6 1 7 0 10 9 9 5 9 12 6 18 5 8 16 11 6 1 2 7 19 10 19 12 17 7 6 16 2 0 5 3 11 0 12 16 14 10 8 4 1 4 2 16 19 6 1 6 4 2 15
11.32/11.52 d ASSIGNMENTS 1027
11.32/11.52 d CHECKS 40242
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058066-1215112872/watcher-1058066-1215112872 -o /tmp/evaluation-result-1058066-1215112872/solver-1058066-1215112872 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1058066-1215112872.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.99 2.03 4/80 12436
/proc/meminfo: memFree=1649576/2055920 swapFree=4180240/4192956
[pid=12436] ppid=12434 vsize=18572 CPUtime=0
/proc/12436/stat : 12436 (runsolver) R 12434 12436 11507 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 1990259232 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 240577473831 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12436/statm: 4643 292 257 25 0 2626 0
[startup+0.026738 s]
/proc/loadavg: 1.92 1.99 2.03 4/80 12436
/proc/meminfo: memFree=1649576/2055920 swapFree=4180240/4192956
[pid=12436] ppid=12434 vsize=5360 CPUtime=0
/proc/12436/stat : 12436 (hydra) S 12434 12436 11507 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1990259232 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12436/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101752 s]
/proc/loadavg: 1.92 1.99 2.03 4/80 12436
/proc/meminfo: memFree=1649576/2055920 swapFree=4180240/4192956
[pid=12436] ppid=12434 vsize=5360 CPUtime=0
/proc/12436/stat : 12436 (hydra) S 12434 12436 11507 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1990259232 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12436/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301793 s]
/proc/loadavg: 1.92 1.99 2.03 4/80 12436
/proc/meminfo: memFree=1649576/2055920 swapFree=4180240/4192956
[pid=12436] ppid=12434 vsize=5360 CPUtime=0
/proc/12436/stat : 12436 (hydra) S 12434 12436 11507 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1990259232 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12436/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701871 s]
/proc/loadavg: 1.92 1.99 2.03 4/80 12436
/proc/meminfo: memFree=1649576/2055920 swapFree=4180240/4192956
[pid=12436] ppid=12434 vsize=5360 CPUtime=0
/proc/12436/stat : 12436 (hydra) S 12434 12436 11507 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1990259232 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12436/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50199 s]
/proc/loadavg: 1.92 1.99 2.03 3/82 12440
/proc/meminfo: memFree=1637016/2055920 swapFree=4180240/4192956
[pid=12436] ppid=12434 vsize=5360 CPUtime=0
/proc/12436/stat : 12436 (hydra) S 12434 12436 11507 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1990259232 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12436/statm: 1340 236 195 169 0 51 0
[pid=12440] ppid=12436 vsize=16872 CPUtime=1.47
/proc/12440/stat : 12440 (xsolve) R 12436 12436 11507 0 -1 4194304 3579 0 0 0 145 2 0 0 25 0 1 0 1990259233 17276928 3499 996147200 134512640 135239763 4294956176 18446744073709551615 134821046 0 0 4096 0 0 0 0 17 1 0 0
/proc/12440/statm: 4218 3499 432 177 0 3121 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 22232
[startup+3.10226 s]
/proc/loadavg: 1.92 1.99 2.03 4/90 12452
/proc/meminfo: memFree=1643352/2055920 swapFree=4180240/4192956
[pid=12436] ppid=12434 vsize=5360 CPUtime=1.67
/proc/12436/stat : 12436 (hydra) S 12434 12436 11507 0 -1 4194304 375 4176 0 0 0 0 164 3 19 0 1 0 1990259232 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12436/statm: 1340 238 196 169 0 51 0
[pid=12444] ppid=12436 vsize=197000 CPUtime=1.38
/proc/12444/stat : 12444 (java) S 12436 12436 11507 0 -1 0 4839 0 1 0 135 3 0 0 18 0 9 0 1990259402 201728000 4069 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12444/statm: 49250 4069 1677 9 0 43833 0
[pid=12444/tid=12445] ppid=12436 vsize=197000 CPUtime=1.11
/proc/12444/task/12445/stat : 12445 (java) R 12436 12436 11507 0 -1 64 2695 0 1 0 110 1 0 0 25 0 9 0 1990259403 201728000 4069 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12446] ppid=12436 vsize=197000 CPUtime=0.1
/proc/12444/task/12446/stat : 12446 (java) S 12436 12436 11507 0 -1 64 816 0 0 0 9 1 0 0 15 0 9 0 1990259404 201728000 4069 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12447] ppid=12436 vsize=197000 CPUtime=0
/proc/12444/task/12447/stat : 12447 (java) S 12436 12436 11507 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1990259405 201728000 4069 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12448] ppid=12436 vsize=197000 CPUtime=0
/proc/12444/task/12448/stat : 12448 (java) S 12436 12436 11507 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1990259405 201728000 4069 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12449] ppid=12436 vsize=197000 CPUtime=0
/proc/12444/task/12449/stat : 12449 (java) S 12436 12436 11507 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1990259407 201728000 4069 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12450] ppid=12436 vsize=197000 CPUtime=0.14
/proc/12444/task/12450/stat : 12450 (java) S 12436 12436 11507 0 -1 64 604 0 0 0 14 0 0 0 16 0 9 0 1990259407 201728000 4069 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12451] ppid=12436 vsize=197000 CPUtime=0
/proc/12444/task/12451/stat : 12451 (java) S 12436 12436 11507 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1990259407 201728000 4069 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12452] ppid=12436 vsize=197000 CPUtime=0
/proc/12444/task/12452/stat : 12452 (java) S 12436 12436 11507 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1990259407 201728000 4069 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 202360
[startup+6.3028 s]
/proc/loadavg: 2.01 2.00 2.04 3/90 12452
/proc/meminfo: memFree=1630552/2055920 swapFree=4180240/4192956
[pid=12436] ppid=12434 vsize=5360 CPUtime=1.67
/proc/12436/stat : 12436 (hydra) S 12434 12436 11507 0 -1 4194304 375 4176 0 0 0 0 164 3 19 0 1 0 1990259232 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12436/statm: 1340 238 196 169 0 51 0
[pid=12444] ppid=12436 vsize=197108 CPUtime=4.54
/proc/12444/stat : 12444 (java) S 12436 12436 11507 0 -1 0 9653 0 1 0 442 12 0 0 18 0 9 0 1990259402 201838592 8000 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12444/statm: 49277 8000 2540 9 0 43860 0
[pid=12444/tid=12445] ppid=12436 vsize=197108 CPUtime=3.63
/proc/12444/task/12445/stat : 12445 (java) R 12436 12436 11507 0 -1 64 3494 0 1 0 360 3 0 0 25 0 9 0 1990259403 201838592 8000 996147200 134512640 134550740 4294955968 18446744073709551615 103215082 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12446] ppid=12436 vsize=197108 CPUtime=0.7
/proc/12444/task/12446/stat : 12446 (java) S 12436 12436 11507 0 -1 64 4807 0 0 0 63 7 0 0 16 0 9 0 1990259404 201838592 8000 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12447] ppid=12436 vsize=197108 CPUtime=0
/proc/12444/task/12447/stat : 12447 (java) S 12436 12436 11507 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1990259405 201838592 8000 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12448] ppid=12436 vsize=197108 CPUtime=0
/proc/12444/task/12448/stat : 12448 (java) S 12436 12436 11507 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1990259405 201838592 8000 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12449] ppid=12436 vsize=197108 CPUtime=0
/proc/12444/task/12449/stat : 12449 (java) S 12436 12436 11507 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1990259407 201838592 8000 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12450] ppid=12436 vsize=197108 CPUtime=0.18
/proc/12444/task/12450/stat : 12450 (java) S 12436 12436 11507 0 -1 64 628 0 0 0 18 0 0 0 16 0 9 0 1990259407 201838592 8000 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12451] ppid=12436 vsize=197108 CPUtime=0
/proc/12444/task/12451/stat : 12451 (java) S 12436 12436 11507 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1990259407 201838592 8000 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12452] ppid=12436 vsize=197108 CPUtime=0
/proc/12444/task/12452/stat : 12452 (java) S 12436 12436 11507 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1990259407 201838592 8000 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 202468
Solver just ended. Dumping a history of the last processes samples
[startup+9.50235 s]
/proc/loadavg: 2.01 2.00 2.04 3/102 12464
/proc/meminfo: memFree=1598776/2055920 swapFree=4180240/4192956
[pid=12436] ppid=12434 vsize=5360 CPUtime=1.67
/proc/12436/stat : 12436 (hydra) S 12434 12436 11507 0 -1 4194304 375 4176 0 0 0 0 164 3 19 0 1 0 1990259232 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12436/statm: 1340 238 196 169 0 51 0
[pid=12444] ppid=12436 vsize=197432 CPUtime=6.24
/proc/12444/stat : 12444 (java) S 12436 12436 11507 0 -1 0 13846 0 1 0 607 17 0 0 18 0 10 0 1990259402 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12444/statm: 49358 9393 2543 9 0 43941 0
[pid=12454] ppid=12444 vsize=5356 CPUtime=0
/proc/12454/stat : 12454 (abscon) S 12444 12436 11507 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1990260039 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/12454/statm: 1339 237 196 169 0 50 0
[pid=12455] ppid=12454 vsize=655896 CPUtime=1.41
/proc/12455/stat : 12455 (java) S 12454 12436 11507 0 -1 0 12741 0 1 0 130 11 0 0 18 0 9 0 1990260040 671637504 12251 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12455/statm: 163974 12251 1994 9 0 158502 0
[pid=12455/tid=12457] ppid=12454 vsize=655896 CPUtime=1.18
/proc/12455/task/12457/stat : 12457 (java) R 12454 12436 11507 0 -1 64 11511 0 1 0 107 11 0 0 25 0 9 0 1990260041 671637504 12251 996147200 134512640 134550740 4294955808 18446744073709551615 4127026289 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12458] ppid=12454 vsize=655896 CPUtime=0
/proc/12455/task/12458/stat : 12458 (java) S 12454 12436 11507 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1990260042 671637504 12251 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12459] ppid=12454 vsize=655896 CPUtime=0
/proc/12455/task/12459/stat : 12459 (java) S 12454 12436 11507 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 1990260042 671637504 12251 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12460] ppid=12454 vsize=655896 CPUtime=0
/proc/12455/task/12460/stat : 12460 (java) S 12454 12436 11507 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 1990260042 671637504 12251 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12461] ppid=12454 vsize=655896 CPUtime=0
/proc/12455/task/12461/stat : 12461 (java) S 12454 12436 11507 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1990260044 671637504 12251 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12462] ppid=12454 vsize=655896 CPUtime=0.22
/proc/12455/task/12462/stat : 12462 (java) S 12454 12436 11507 0 -1 64 684 0 0 0 22 0 0 0 15 0 9 0 1990260044 671637504 12251 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12463] ppid=12454 vsize=655900 CPUtime=0
/proc/12455/task/12463/stat : 12463 (java) S 12454 12436 11507 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1990260044 671641600 12251 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12464] ppid=12454 vsize=655896 CPUtime=0
/proc/12455/task/12464/stat : 12464 (java) S 12454 12436 11507 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1990260044 671637504 12251 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12456] ppid=12454 vsize=7044 CPUtime=0
/proc/12456/stat : 12456 (translate) S 12454 12436 11507 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1990260040 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 240577642578 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/12456/statm: 1761 213 182 1 0 41 0
[pid=12444/tid=12445] ppid=12436 vsize=197432 CPUtime=4.92
/proc/12444/task/12445/stat : 12445 (java) S 12436 12436 11507 0 -1 64 3853 0 1 0 487 5 0 0 25 0 10 0 1990259403 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=12444/tid=12446] ppid=12436 vsize=197432 CPUtime=1.09
/proc/12444/task/12446/stat : 12446 (java) S 12436 12436 11507 0 -1 64 8543 0 0 0 99 10 0 0 16 0 10 0 1990259404 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12447] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12447/stat : 12447 (java) S 12436 12436 11507 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 1990259405 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12448] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12448/stat : 12448 (java) S 12436 12436 11507 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1990259405 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12449] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12449/stat : 12449 (java) S 12436 12436 11507 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990259407 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12450] ppid=12436 vsize=197432 CPUtime=0.2
/proc/12444/task/12450/stat : 12450 (java) S 12436 12436 11507 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1990259407 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12451] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12451/stat : 12451 (java) S 12436 12436 11507 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990259407 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12452] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12452/stat : 12452 (java) S 12436 12436 11507 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1990259407 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12453] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12453/stat : 12453 (java) S 12436 12436 11507 0 -1 64 75 0 0 0 0 0 0 0 25 0 10 0 1990260039 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.32
Current children cumulated vsize (KiB) 871088
[startup+10.3025 s]
/proc/loadavg: 2.01 2.00 2.04 4/102 12464
/proc/meminfo: memFree=1569464/2055920 swapFree=4180240/4192956
[pid=12436] ppid=12434 vsize=5360 CPUtime=1.67
/proc/12436/stat : 12436 (hydra) S 12434 12436 11507 0 -1 4194304 375 4176 0 0 0 0 164 3 19 0 1 0 1990259232 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12436/statm: 1340 238 196 169 0 51 0
[pid=12444] ppid=12436 vsize=197432 CPUtime=6.24
/proc/12444/stat : 12444 (java) S 12436 12436 11507 0 -1 0 13846 0 1 0 607 17 0 0 18 0 10 0 1990259402 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12444/statm: 49358 9393 2543 9 0 43941 0
[pid=12454] ppid=12444 vsize=5356 CPUtime=0
/proc/12454/stat : 12454 (abscon) S 12444 12436 11507 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1990260039 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/12454/statm: 1339 237 196 169 0 50 0
[pid=12455] ppid=12454 vsize=655968 CPUtime=2.21
/proc/12455/stat : 12455 (java) S 12454 12436 11507 0 -1 0 17788 0 1 0 205 16 0 0 18 0 9 0 1990260040 671711232 17105 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12455/statm: 163992 17105 2616 9 0 158520 0
[pid=12455/tid=12457] ppid=12454 vsize=655968 CPUtime=1.79
/proc/12455/task/12457/stat : 12457 (java) R 12454 12436 11507 0 -1 64 12561 0 1 0 165 14 0 0 25 0 9 0 1990260041 671711232 17105 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12458] ppid=12454 vsize=655968 CPUtime=0.12
/proc/12455/task/12458/stat : 12458 (java) S 12454 12436 11507 0 -1 64 3962 0 0 0 11 1 0 0 16 0 9 0 1990260042 671711232 17105 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12459] ppid=12454 vsize=655968 CPUtime=0
/proc/12455/task/12459/stat : 12459 (java) S 12454 12436 11507 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1990260042 671711232 17105 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12460] ppid=12454 vsize=655968 CPUtime=0
/proc/12455/task/12460/stat : 12460 (java) S 12454 12436 11507 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1990260042 671711232 17105 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12461] ppid=12454 vsize=655968 CPUtime=0
/proc/12455/task/12461/stat : 12461 (java) S 12454 12436 11507 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1990260044 671711232 17105 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12462] ppid=12454 vsize=655968 CPUtime=0.28
/proc/12455/task/12462/stat : 12462 (java) S 12454 12436 11507 0 -1 64 720 0 0 0 28 0 0 0 15 0 9 0 1990260044 671711232 17105 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12463] ppid=12454 vsize=655968 CPUtime=0
/proc/12455/task/12463/stat : 12463 (java) S 12454 12436 11507 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1990260044 671711232 17105 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12464] ppid=12454 vsize=655968 CPUtime=0
/proc/12455/task/12464/stat : 12464 (java) S 12454 12436 11507 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1990260044 671711232 17105 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12456] ppid=12454 vsize=7044 CPUtime=0
/proc/12456/stat : 12456 (translate) S 12454 12436 11507 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1990260040 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 240577642578 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/12456/statm: 1761 213 182 1 0 41 0
[pid=12444/tid=12445] ppid=12436 vsize=197432 CPUtime=4.92
/proc/12444/task/12445/stat : 12445 (java) S 12436 12436 11507 0 -1 64 3853 0 1 0 487 5 0 0 25 0 10 0 1990259403 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=12444/tid=12446] ppid=12436 vsize=197432 CPUtime=1.09
/proc/12444/task/12446/stat : 12446 (java) S 12436 12436 11507 0 -1 64 8543 0 0 0 99 10 0 0 16 0 10 0 1990259404 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12447] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12447/stat : 12447 (java) S 12436 12436 11507 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 1990259405 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12448] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12448/stat : 12448 (java) S 12436 12436 11507 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1990259405 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12449] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12449/stat : 12449 (java) S 12436 12436 11507 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990259407 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12450] ppid=12436 vsize=197432 CPUtime=0.2
/proc/12444/task/12450/stat : 12450 (java) S 12436 12436 11507 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1990259407 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12451] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12451/stat : 12451 (java) S 12436 12436 11507 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990259407 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12452] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12452/stat : 12452 (java) S 12436 12436 11507 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1990259407 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12453] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12453/stat : 12453 (java) S 12436 12436 11507 0 -1 64 75 0 0 0 0 0 0 0 25 0 10 0 1990260039 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.12
Current children cumulated vsize (KiB) 871160
[startup+11.1026 s]
/proc/loadavg: 2.01 2.00 2.04 3/102 12464
/proc/meminfo: memFree=1555320/2055920 swapFree=4180240/4192956
[pid=12436] ppid=12434 vsize=5360 CPUtime=1.67
/proc/12436/stat : 12436 (hydra) S 12434 12436 11507 0 -1 4194304 375 4176 0 0 0 0 164 3 19 0 1 0 1990259232 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12436/statm: 1340 238 196 169 0 51 0
[pid=12444] ppid=12436 vsize=197432 CPUtime=6.24
/proc/12444/stat : 12444 (java) S 12436 12436 11507 0 -1 0 13846 0 1 0 607 17 0 0 18 0 10 0 1990259402 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12444/statm: 49358 9393 2543 9 0 43941 0
[pid=12454] ppid=12444 vsize=5356 CPUtime=0
/proc/12454/stat : 12454 (abscon) S 12444 12436 11507 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1990260039 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/12454/statm: 1339 237 196 169 0 50 0
[pid=12455] ppid=12454 vsize=655968 CPUtime=3.01
/proc/12455/stat : 12455 (java) S 12454 12436 11507 0 -1 0 19630 0 1 0 284 17 0 0 18 0 9 0 1990260040 671711232 18946 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12455/statm: 163992 18946 2616 9 0 158520 0
[pid=12455/tid=12457] ppid=12454 vsize=655968 CPUtime=2.49
/proc/12455/task/12457/stat : 12457 (java) R 12454 12436 11507 0 -1 64 12576 0 1 0 235 14 0 0 25 0 9 0 1990260041 671711232 18946 996147200 134512640 134550740 4294955808 18446744073709551615 4127129707 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12458] ppid=12454 vsize=655968 CPUtime=0.14
/proc/12455/task/12458/stat : 12458 (java) S 12454 12436 11507 0 -1 64 5757 0 0 0 13 1 0 0 16 0 9 0 1990260042 671711232 18946 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12459] ppid=12454 vsize=655968 CPUtime=0
/proc/12455/task/12459/stat : 12459 (java) S 12454 12436 11507 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1990260042 671711232 18946 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12460] ppid=12454 vsize=655968 CPUtime=0
/proc/12455/task/12460/stat : 12460 (java) S 12454 12436 11507 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1990260042 671711232 18946 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12461] ppid=12454 vsize=655968 CPUtime=0
/proc/12455/task/12461/stat : 12461 (java) S 12454 12436 11507 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1990260044 671711232 18946 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12462] ppid=12454 vsize=655968 CPUtime=0.34
/proc/12455/task/12462/stat : 12462 (java) S 12454 12436 11507 0 -1 64 752 0 0 0 34 0 0 0 15 0 9 0 1990260044 671711232 18946 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12463] ppid=12454 vsize=655968 CPUtime=0
/proc/12455/task/12463/stat : 12463 (java) S 12454 12436 11507 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1990260044 671711232 18946 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12464] ppid=12454 vsize=655968 CPUtime=0
/proc/12455/task/12464/stat : 12464 (java) S 12454 12436 11507 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1990260044 671711232 18946 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12456] ppid=12454 vsize=7044 CPUtime=0
/proc/12456/stat : 12456 (translate) S 12454 12436 11507 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1990260040 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 240577642578 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/12456/statm: 1761 213 182 1 0 41 0
[pid=12444/tid=12445] ppid=12436 vsize=197432 CPUtime=4.92
/proc/12444/task/12445/stat : 12445 (java) S 12436 12436 11507 0 -1 64 3853 0 1 0 487 5 0 0 25 0 10 0 1990259403 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=12444/tid=12446] ppid=12436 vsize=197432 CPUtime=1.09
/proc/12444/task/12446/stat : 12446 (java) S 12436 12436 11507 0 -1 64 8543 0 0 0 99 10 0 0 16 0 10 0 1990259404 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12447] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12447/stat : 12447 (java) S 12436 12436 11507 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 1990259405 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12448] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12448/stat : 12448 (java) S 12436 12436 11507 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1990259405 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12449] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12449/stat : 12449 (java) S 12436 12436 11507 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990259407 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12450] ppid=12436 vsize=197432 CPUtime=0.2
/proc/12444/task/12450/stat : 12450 (java) S 12436 12436 11507 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1990259407 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12451] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12451/stat : 12451 (java) S 12436 12436 11507 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990259407 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12452] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12452/stat : 12452 (java) S 12436 12436 11507 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1990259407 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12453] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12453/stat : 12453 (java) S 12436 12436 11507 0 -1 64 75 0 0 0 0 0 0 0 25 0 10 0 1990260039 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.92
Current children cumulated vsize (KiB) 871160
[startup+11.5027 s]
/proc/loadavg: 2.01 2.00 2.04 3/102 12464
/proc/meminfo: memFree=1555320/2055920 swapFree=4180240/4192956
[pid=12436] ppid=12434 vsize=5360 CPUtime=1.67
/proc/12436/stat : 12436 (hydra) S 12434 12436 11507 0 -1 4194304 375 4176 0 0 0 0 164 3 19 0 1 0 1990259232 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12436/statm: 1340 238 196 169 0 51 0
[pid=12444] ppid=12436 vsize=197432 CPUtime=6.24
/proc/12444/stat : 12444 (java) S 12436 12436 11507 0 -1 0 13848 0 1 0 607 17 0 0 18 0 10 0 1990259402 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12444/statm: 49358 9393 2543 9 0 43941 0
[pid=12454] ppid=12444 vsize=5356 CPUtime=0
/proc/12454/stat : 12454 (abscon) S 12444 12436 11507 0 -1 4194304 304 289 0 0 0 0 0 0 16 0 1 0 1990260039 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/12454/statm: 1339 237 196 169 0 50 0
[pid=12455] ppid=12454 vsize=655968 CPUtime=3.41
/proc/12455/stat : 12455 (java) S 12454 12436 11507 0 -1 0 20708 0 1 0 323 18 0 0 18 0 9 0 1990260040 671711232 20022 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12455/statm: 163992 20022 2616 9 0 158520 0
[pid=12455/tid=12457] ppid=12454 vsize=655968 CPUtime=2.86
/proc/12455/task/12457/stat : 12457 (java) S 12454 12436 11507 0 -1 64 12581 0 1 0 272 14 0 0 25 0 9 0 1990260041 671711232 20022 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12458] ppid=12454 vsize=655968 CPUtime=0.17
/proc/12455/task/12458/stat : 12458 (java) S 12454 12436 11507 0 -1 64 6826 0 0 0 15 2 0 0 17 0 9 0 1990260042 671711232 20022 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12459] ppid=12454 vsize=655968 CPUtime=0
/proc/12455/task/12459/stat : 12459 (java) S 12454 12436 11507 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1990260042 671711232 20022 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12460] ppid=12454 vsize=655968 CPUtime=0
/proc/12455/task/12460/stat : 12460 (java) S 12454 12436 11507 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1990260042 671711232 20022 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12461] ppid=12454 vsize=655968 CPUtime=0
/proc/12455/task/12461/stat : 12461 (java) S 12454 12436 11507 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1990260044 671711232 20022 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12462] ppid=12454 vsize=655968 CPUtime=0.35
/proc/12455/task/12462/stat : 12462 (java) S 12454 12436 11507 0 -1 64 756 0 0 0 35 0 0 0 15 0 9 0 1990260044 671711232 20022 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12463] ppid=12454 vsize=655968 CPUtime=0
/proc/12455/task/12463/stat : 12463 (java) S 12454 12436 11507 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1990260044 671711232 20022 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12455/tid=12464] ppid=12454 vsize=655968 CPUtime=0
/proc/12455/task/12464/stat : 12464 (java) S 12454 12436 11507 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1990260044 671711232 20022 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12444/tid=12445] ppid=12436 vsize=197432 CPUtime=4.92
/proc/12444/task/12445/stat : 12445 (java) S 12436 12436 11507 0 -1 64 3855 0 1 0 487 5 0 0 16 0 10 0 1990259403 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=12444/tid=12446] ppid=12436 vsize=197432 CPUtime=1.09
/proc/12444/task/12446/stat : 12446 (java) S 12436 12436 11507 0 -1 64 8543 0 0 0 99 10 0 0 16 0 10 0 1990259404 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12447] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12447/stat : 12447 (java) S 12436 12436 11507 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 1990259405 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12448] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12448/stat : 12448 (java) S 12436 12436 11507 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1990259405 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12449] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12449/stat : 12449 (java) S 12436 12436 11507 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990259407 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12450] ppid=12436 vsize=197432 CPUtime=0.2
/proc/12444/task/12450/stat : 12450 (java) S 12436 12436 11507 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1990259407 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12451] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12451/stat : 12451 (java) S 12436 12436 11507 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990259407 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12452] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12452/stat : 12452 (java) S 12436 12436 11507 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1990259407 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12444/tid=12453] ppid=12436 vsize=197432 CPUtime=0
/proc/12444/task/12453/stat : 12453 (java) S 12436 12436 11507 0 -1 64 75 0 0 0 0 0 0 0 25 0 10 0 1990260039 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.32
Current children cumulated vsize (KiB) 864116
Child status: 0
Real time (s): 11.5302
CPU time (s): 11.3733
CPU user time (s): 10.9573
CPU system time (s): 0.415936
CPU usage (%): 98.639
Max. virtual memory (cumulated for all children) (KiB): 871160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.9573
system time used= 0.415936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39846
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10845
involuntary context switches= 12258
runsolver used 0.041993 second user time and 0.102984 second system time
The end