0.00/0.00 c cpHydra_k_10 version 0.0
8.10/8.25 c CASE TO CLASSIFY:
8.10/8.25 c Case: 0
8.10/8.25 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.169610 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.216100 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 5.977470 | c 14 > 7.417850 | c 11 > 8.581200 | c 12 > 6.085800 | c 21 > 5.099020 | c 20 > 92.830400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.686570 | c 28 > 7.313430 | c 29 > -1.000000 | c 3 > 8.581200 | c 2 > -1.000000 | c 10 > 14.159800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.004400 | c 32 > -1.000000 | c 5 > 15.386200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.10/8.26 c choco : 1801.0
8.10/8.26 c mistral : 1801.0
8.10/8.26 c abscon : 1801.0
8.10/8.26 c
8.10/8.26 c
8.21/8.34 c List of same ones: 10
8.21/8.34 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-10.xml
8.21/8.34 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.169610 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.323900 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 5.062930 | c 14 > 7.491850 | c 11 > 8.581200 | c 12 > 6.049520 | c 21 > 5.099020 | c 20 > 92.830400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.686570 | c 28 > 7.313430 | c 29 > -1.000000 | c 3 > 8.581200 | c 2 > -1.000000 | c 10 > 14.159800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.004400 | c 32 > -1.000000 | c 5 > 15.386200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.21/8.34 c choco : 1801.0
8.21/8.34 c mistral : 1801.0
8.21/8.34 c abscon : 600.62
8.21/8.34 c
8.21/8.34 c
8.21/8.34 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-10.xml
8.21/8.35 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.478430 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.086700 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 4.779510 | c 14 > 7.044390 | c 11 > 8.851750 | c 12 > 5.797390 | c 21 > 5.099020 | c 20 > 92.521600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.307690 | c 28 > 7.692310 | c 29 > -1.000000 | c 3 > 8.851750 | c 2 > -1.000000 | c 10 > 14.262800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.101000 | c 32 > -1.000000 | c 5 > 15.525200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.21/8.35 c choco : 732.3
8.21/8.35 c mistral : 1140.76
8.21/8.35 c abscon : 221.99
8.21/8.35 c
8.21/8.35 c
8.21/8.35 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-10.xml
8.21/8.35 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.169610 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.223800 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 4.362630 | c 14 > 6.375040 | c 11 > 8.581200 | c 12 > 5.778270 | c 21 > 5.099020 | c 20 > 92.830400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.686570 | c 28 > 7.313430 | c 29 > -1.000000 | c 3 > 8.581200 | c 2 > -1.000000 | c 10 > 14.159800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.004400 | c 32 > -1.000000 | c 5 > 15.386200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.21/8.36 c choco : 40.62
8.21/8.36 c mistral : 19.39
8.21/8.36 c abscon : 26.77
8.21/8.36 c
8.21/8.36 c
8.21/8.36 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-10.xml
8.21/8.36 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.169610 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.259200 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 4.327920 | c 14 > 5.857980 | c 11 > 8.581200 | c 12 > 5.772020 | c 21 > 5.099020 | c 20 > 92.830400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.686570 | c 28 > 7.313430 | c 29 > -1.000000 | c 3 > 8.581200 | c 2 > -1.000000 | c 10 > 14.159800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.004400 | c 32 > -1.000000 | c 5 > 15.386200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.21/8.37 c choco : 77.94
8.21/8.37 c mistral : 25.98
8.21/8.37 c abscon : 28.51
8.21/8.37 c
8.21/8.37 c
8.21/8.37 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-10.xml
8.21/8.37 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.478430 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.077900 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 4.068580 | c 14 > 5.584960 | c 11 > 8.851750 | c 12 > 5.618850 | c 21 > 5.099020 | c 20 > 92.521600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.307690 | c 28 > 7.692310 | c 29 > -1.000000 | c 3 > 8.851750 | c 2 > -1.000000 | c 10 > 14.262800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.101000 | c 32 > -1.000000 | c 5 > 15.525200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.21/8.38 c choco : 693.99
8.21/8.38 c mistral : 33.9
8.21/8.38 c abscon : 34.77
8.21/8.38 c
8.21/8.38 c
8.21/8.38 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-01.xml
8.21/8.38 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.992180 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.233000 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 5.066810 | c 14 > 7.238400 | c 11 > 8.543030 | c 12 > 5.979860 | c 21 > 5.099020 | c 20 > 94.007800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.623190 | c 28 > 6.376810 | c 29 > -1.000000 | c 3 > 8.543030 | c 2 > -1.000000 | c 10 > 14.159600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.965600 | c 32 > -1.000000 | c 5 > 15.347600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.21/8.39 c choco : 1801.0
8.21/8.39 c mistral : 67.7
8.21/8.39 c abscon : 1801.0
8.21/8.39 c
8.21/8.39 c
8.21/8.39 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-10.xml
8.21/8.39 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.478430 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.477300 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 4.081580 | c 14 > 5.700440 | c 11 > 8.851750 | c 12 > 5.599270 | c 21 > 5.099020 | c 20 > 92.521600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.307690 | c 28 > 7.692310 | c 29 > -1.000000 | c 3 > 8.851750 | c 2 > -1.000000 | c 10 > 14.262800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.101000 | c 32 > -1.000000 | c 5 > 15.525200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.29/8.40 c choco : 52.47
8.29/8.40 c mistral : 64.52
8.29/8.40 c abscon : 39.31
8.29/8.40 c
8.29/8.40 c
8.29/8.40 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-01.xml
8.29/8.40 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.992180 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.682800 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.800170 | c 14 > 6.930740 | c 11 > 8.543030 | c 12 > 5.873630 | c 21 > 5.099020 | c 20 > 94.007800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.623190 | c 28 > 6.376810 | c 29 > -1.000000 | c 3 > 8.543030 | c 2 > -1.000000 | c 10 > 14.159600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.965600 | c 32 > -1.000000 | c 5 > 15.347600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.29/8.41 c choco : 45.6
8.29/8.41 c mistral : 7.17
8.29/8.41 c abscon : 30.02
8.29/8.41 c
8.29/8.41 c
8.29/8.41 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-01.xml
8.29/8.41 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.992180 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.320500 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.763070 | c 14 > 6.741470 | c 11 > 8.543030 | c 12 > 5.841080 | c 21 > 5.099020 | c 20 > 94.007800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.623190 | c 28 > 6.376810 | c 29 > -1.000000 | c 3 > 8.543030 | c 2 > -1.000000 | c 10 > 14.159600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.965600 | c 32 > -1.000000 | c 5 > 15.347600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.29/8.42 c choco : 30.96
8.29/8.42 c mistral : 9.21
8.29/8.42 c abscon : 27.76
8.29/8.42 c
8.29/8.42 c
8.29/8.42 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-03.xml
8.29/8.42 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.201790 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.227300 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 6.114670 | c 14 > 7.787900 | c 11 > 8.781360 | c 12 > 6.391180 | c 21 > 5.099020 | c 20 > 94.798200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.827590 | c 28 > 5.172410 | c 29 > -1.000000 | c 3 > 8.781360 | c 2 > -1.000000 | c 10 > 14.604000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.395900 | c 32 > -1.000000 | c 5 > 15.735500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.29/8.43 c choco : 1801.0
8.29/8.43 c mistral : 69.75
8.29/8.43 c abscon : 1801.0
8.29/8.43 c
8.29/8.43 c
8.48/8.64 c Length: 10
8.48/8.64 c 1.4388872401963941 1.754761729551905 2.185038881255892 2.4836113056998275 3.029912842459333 3.2310754220847295 3.235354136304092 3.2381741757508995 3.36560248013636 4.3285971551185005
8.48/8.64 c
8.48/8.64 c 1.0 0.9014611847580742 0.7947799635462047 0.7344664897921509 0.6449186531628903 0.6172090582002908 0.6166455154062107 0.6162746547011185 0.5999698577284045 0.5
8.48/8.65 c
8.48/8.65 c solver 0
8.48/8.65 c before 0.0 seconds: {} 0
8.48/8.65 c before 36.0 seconds: {2, 3, 4, 7, 8} 3390
8.48/8.65 c before 54.0 seconds: {2, 3, 4, 6, 7, 8} 4007
8.48/8.65 c before 234.0 seconds: {1, 2, 3, 4, 6, 7, 8} 4908
8.48/8.65 c before 612.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8} 5908
8.48/8.65 c
8.48/8.65 c solver 1
8.48/8.65 c before 0.0 seconds: {} 0
8.48/8.65 c before 18.0 seconds: {7, 8} 1216
8.48/8.65 c before 36.0 seconds: {2, 3, 4, 7, 8} 3390
8.48/8.65 c before 72.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9} 5124
8.48/8.65 c before 1152.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9} 6025
8.48/8.65 c
8.48/8.65 c solver 2
8.48/8.65 c before 0.0 seconds: {} 0
8.48/8.65 c before 36.0 seconds: {8} 599
8.48/8.65 c before 54.0 seconds: {2, 6, 7, 8} 2627
8.48/8.65 c before 90.0 seconds: {2, 3, 6, 7, 8} 3362
8.48/8.65 c before 702.0 seconds: {2, 3, 4, 6, 7, 8} 4007
8.48/8.65 c before 738.0 seconds: {1, 2, 3, 4, 6, 7, 8} 4908
8.48/8.65 c
8.48/8.65 cTotal time: 139
8.48/8.65 c run abscon for 612.0 seconds {0, 1, 2, 3, 4, 6, 7, 8} 5908
8.48/8.65 c run mistral for 1152.0 seconds {1, 2, 3, 4, 5, 6, 7, 8, 9} 6025
8.48/8.65 c run choco for 36.0 seconds {8} 599
8.48/8.65 c Starting solver: HOME/cpHydra_k_10/solver/abscon
8.48/8.65 c On Instance: HOME/instance-1075722-1215181685.xml
8.48/8.65 c Running for: 612 seconds
16.63/16.86 s SAT
16.63/16.86 v 2 4 2 8 19 4 18 2 7 0 13 18 4 23 4 12 15 11 4 18 13 14 1 0 13 19 17 4 11 14 20 17 4 11 8 0 8 19 0 13 13 14 13 2 4 14 11 4 20 12 2 17 8 19 7 12 4 17 20 19 19 0 17 0 1 8 18 2 14 19 4 4 18 11 8 19 3 0 8 12 18 4 19 0 2 4 18 17 4 18 3 0 19 4 0 6 13 0 19 18 20 17 4 18 5 8 13 17 4 21 4 4 18 4 20 11 4 18 17 3 18 17 0 2 5 0 2 8 4 18 0 17 2 7 8 18 1 0 3 14 6 11 8 14 5 17 0 2 19 8 14 13 2 0 12 4 11 8 0 13 0 8 5 17 4 3 14 17 0 19 2 0 13 0 17 0 18 20 19 8 11 4 0 11 8 18 4 18 1 0 11 0 3 0 8 12 13 4 12 4 18 18 0 17 19 18 17 0 5 0 11 0 8 12 0 6 13 4 19 18 0 23 4 17 17 14 13 19 6 4 13 17 0 6 20 0 18 18 4 0 17 14 8 3 4 4 18 3 4 13 4 4 13 2 0 4 2 20 12 4 17 18 18 4 19 18 0 2 7 4 12 14 17 11 4 18 14 11 0 17 0 17 4 18 11 0 8 13 0 6 17 0 18 14 17 11 3 4 11 8 13 4 0 19 0 19 18 13 8 1 15 8 11 14 19 8 13 18 3 20 18 20 3 19 0 19 0 12 14 17 14 18 14 4 11 8 4 4 0 19 0 2 0 12 0 2 0 17 14 11 8 13 0 20 13 4 4 12 0 7 0 11 4 1 18 19 0 19 8 5 18 12 4 4 13 18 4 13 20 12 4 17 0
16.63/16.86 d ASSIGNMENTS 1383
16.63/16.86 d CHECKS 264722
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1075722-1215181685/watcher-1075722-1215181685 -o /tmp/evaluation-result-1075722-1215181685/solver-1075722-1215181685 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1075722-1215181685.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.91 2.03 2.06 4/72 15916
/proc/meminfo: memFree=1663008/2055920 swapFree=4112508/4192956
[pid=15916] ppid=15914 vsize=5360 CPUtime=0
/proc/15916/stat : 15916 (hydra) S 15914 15916 14395 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 1547838941 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 1340 236 195 169 0 51 0
[pid=15918] ppid=15916 vsize=5360 CPUtime=0
/proc/15918/stat : 15918 (hydra) R 15916 15916 14395 0 -1 4194368 6 0 0 0 0 0 0 0 22 0 1 0 1547838942 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 4414556 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15918/statm: 1340 236 195 169 0 51 0
[startup+0.083567 s]
/proc/loadavg: 1.91 2.03 2.06 4/72 15916
/proc/meminfo: memFree=1663008/2055920 swapFree=4112508/4192956
[pid=15916] ppid=15914 vsize=5360 CPUtime=0
/proc/15916/stat : 15916 (hydra) S 15914 15916 14395 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1547838941 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102557 s]
/proc/loadavg: 1.91 2.03 2.06 4/72 15916
/proc/meminfo: memFree=1663008/2055920 swapFree=4112508/4192956
[pid=15916] ppid=15914 vsize=5360 CPUtime=0
/proc/15916/stat : 15916 (hydra) S 15914 15916 14395 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1547838941 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301588 s]
/proc/loadavg: 1.91 2.03 2.06 4/72 15916
/proc/meminfo: memFree=1663008/2055920 swapFree=4112508/4192956
[pid=15916] ppid=15914 vsize=5360 CPUtime=0
/proc/15916/stat : 15916 (hydra) S 15914 15916 14395 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1547838941 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701639 s]
/proc/loadavg: 1.91 2.03 2.06 4/72 15916
/proc/meminfo: memFree=1663008/2055920 swapFree=4112508/4192956
[pid=15916] ppid=15914 vsize=5360 CPUtime=0
/proc/15916/stat : 15916 (hydra) S 15914 15916 14395 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1547838941 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50273 s]
/proc/loadavg: 1.91 2.03 2.06 3/74 15920
/proc/meminfo: memFree=1639504/2055920 swapFree=4112508/4192956
[pid=15916] ppid=15914 vsize=5360 CPUtime=0
/proc/15916/stat : 15916 (hydra) S 15914 15916 14395 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1547838941 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 1340 236 195 169 0 51 0
[pid=15920] ppid=15916 vsize=28864 CPUtime=1.47
/proc/15920/stat : 15920 (xsolve) R 15916 15916 14395 0 -1 4194304 6347 0 0 0 144 3 0 0 25 0 1 0 1547838942 29556736 6306 996147200 134512640 135239763 4294956176 18446744073709551615 135015488 0 0 4096 0 0 0 0 17 1 0 0
/proc/15920/statm: 7216 6306 424 177 0 6119 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 34224
[startup+3.10291 s]
/proc/loadavg: 1.91 2.03 2.06 3/74 15920
/proc/meminfo: memFree=1639248/2055920 swapFree=4112508/4192956
[pid=15916] ppid=15914 vsize=5360 CPUtime=2.17
/proc/15916/stat : 15916 (hydra) S 15914 15916 14395 0 -1 4194304 375 6944 0 0 0 0 213 4 18 0 1 0 1547838941 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 5360
[startup+6.30226 s]
/proc/loadavg: 1.92 2.03 2.06 3/82 15932
/proc/meminfo: memFree=1645832/2055920 swapFree=4112508/4192956
[pid=15916] ppid=15914 vsize=5360 CPUtime=2.17
/proc/15916/stat : 15916 (hydra) S 15914 15916 14395 0 -1 4194304 375 6944 0 0 0 0 213 4 18 0 1 0 1547838941 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 1340 238 196 169 0 51 0
[pid=15924] ppid=15916 vsize=197108 CPUtime=4.05
/proc/15924/stat : 15924 (java) S 15916 15916 14395 0 -1 0 9076 0 1 0 391 14 0 0 18 0 9 0 1547839162 201838592 7519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15924/statm: 49277 7519 2540 9 0 43860 0
[pid=15924/tid=15925] ppid=15916 vsize=197108 CPUtime=3.17
/proc/15924/task/15925/stat : 15925 (java) R 15916 15916 14395 0 -1 64 3398 0 1 0 312 5 0 0 25 0 9 0 1547839163 201838592 7519 996147200 134512640 134550740 4294955968 18446744073709551615 4126431304 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15926] ppid=15916 vsize=197108 CPUtime=0.67
/proc/15924/task/15926/stat : 15926 (java) S 15916 15916 14395 0 -1 64 4325 0 0 0 60 7 0 0 16 0 9 0 1547839164 201838592 7519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15927] ppid=15916 vsize=197108 CPUtime=0
/proc/15924/task/15927/stat : 15927 (java) S 15916 15916 14395 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1547839164 201838592 7519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15928] ppid=15916 vsize=197108 CPUtime=0
/proc/15924/task/15928/stat : 15928 (java) S 15916 15916 14395 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1547839164 201838592 7519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15929] ppid=15916 vsize=197108 CPUtime=0
/proc/15924/task/15929/stat : 15929 (java) S 15916 15916 14395 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547839166 201838592 7519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15930] ppid=15916 vsize=197108 CPUtime=0.17
/proc/15924/task/15930/stat : 15930 (java) S 15916 15916 14395 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 1547839166 201838592 7519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15931] ppid=15916 vsize=197108 CPUtime=0
/proc/15924/task/15931/stat : 15931 (java) S 15916 15916 14395 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1547839166 201838592 7519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15932] ppid=15916 vsize=197108 CPUtime=0
/proc/15924/task/15932/stat : 15932 (java) S 15916 15916 14395 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1547839166 201838592 7519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 202468
[startup+12.703 s]
/proc/loadavg: 1.93 2.03 2.06 3/94 15944
/proc/meminfo: memFree=1513832/2055920 swapFree=4112508/4192956
[pid=15916] ppid=15914 vsize=5360 CPUtime=2.17
/proc/15916/stat : 15916 (hydra) S 15914 15916 14395 0 -1 4194304 375 6944 0 0 0 0 213 4 18 0 1 0 1547838941 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 1340 238 196 169 0 51 0
[pid=15924] ppid=15916 vsize=197432 CPUtime=6.38
/proc/15924/stat : 15924 (java) S 15916 15916 14395 0 -1 0 13850 0 1 0 616 22 0 0 18 0 10 0 1547839162 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15924/statm: 49358 9392 2543 9 0 43941 0
[pid=15934] ppid=15924 vsize=5356 CPUtime=0
/proc/15934/stat : 15934 (abscon) S 15924 15916 14395 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1547839807 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15934/statm: 1339 237 196 169 0 50 0
[pid=15935] ppid=15934 vsize=655964 CPUtime=4
/proc/15935/stat : 15935 (java) S 15934 15916 14395 0 -1 0 33400 0 1 0 374 26 0 0 18 0 9 0 1547839808 671707136 32710 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15935/statm: 163991 32710 2616 9 0 158519 0
[pid=15935/tid=15937] ppid=15934 vsize=655964 CPUtime=3.17
/proc/15935/task/15937/stat : 15937 (java) R 15934 15916 14395 0 -1 64 12594 0 1 0 302 15 0 0 25 0 9 0 1547839809 671707136 32710 996147200 134512640 134550740 4294955808 18446744073709551615 4127192898 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15938] ppid=15934 vsize=655964 CPUtime=0.47
/proc/15935/task/15938/stat : 15938 (java) S 15934 15916 14395 0 -1 64 19519 0 0 0 38 9 0 0 17 0 9 0 1547839810 671707136 32710 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15939] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15939/stat : 15939 (java) S 15934 15916 14395 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547839810 671707136 32710 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15940] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15940/stat : 15940 (java) S 15934 15916 14395 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1547839810 671707136 32710 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15941] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15941/stat : 15941 (java) S 15934 15916 14395 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1547839812 671707136 32710 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15942] ppid=15934 vsize=655964 CPUtime=0.33
/proc/15935/task/15942/stat : 15942 (java) S 15934 15916 14395 0 -1 64 742 0 0 0 33 0 0 0 16 0 9 0 1547839812 671707136 32710 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15943] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15943/stat : 15943 (java) S 15934 15916 14395 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1547839812 671707136 32710 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15944] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15944/stat : 15944 (java) S 15934 15916 14395 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1547839812 671707136 32710 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15936] ppid=15934 vsize=7044 CPUtime=0
/proc/15936/stat : 15936 (translate) S 15934 15916 14395 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1547839808 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 266890608722 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/15936/statm: 1761 213 182 1 0 41 0
[pid=15924/tid=15925] ppid=15916 vsize=197432 CPUtime=4.96
/proc/15924/task/15925/stat : 15925 (java) S 15916 15916 14395 0 -1 64 3853 0 1 0 489 7 0 0 25 0 10 0 1547839163 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15924/tid=15926] ppid=15916 vsize=197432 CPUtime=1.18
/proc/15924/task/15926/stat : 15926 (java) S 15916 15916 14395 0 -1 64 8541 0 0 0 105 13 0 0 16 0 10 0 1547839164 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15927] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15927/stat : 15927 (java) S 15916 15916 14395 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1547839164 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15928] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15928/stat : 15928 (java) S 15916 15916 14395 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1547839164 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15929] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15929/stat : 15929 (java) S 15916 15916 14395 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1547839166 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15930] ppid=15916 vsize=197432 CPUtime=0.2
/proc/15924/task/15930/stat : 15930 (java) S 15916 15916 14395 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1547839166 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15931] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15931/stat : 15931 (java) S 15916 15916 14395 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1547839166 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15932] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15932/stat : 15932 (java) S 15916 15916 14395 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1547839166 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15933] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15933/stat : 15933 (java) S 15916 15916 14395 0 -1 64 75 0 0 0 0 0 0 0 25 0 10 0 1547839807 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 871156
Solver just ended. Dumping a history of the last processes samples
[startup+14.3072 s]
/proc/loadavg: 1.93 2.03 2.06 3/94 15944
/proc/meminfo: memFree=1513704/2055920 swapFree=4112508/4192956
[pid=15916] ppid=15914 vsize=5360 CPUtime=2.17
/proc/15916/stat : 15916 (hydra) S 15914 15916 14395 0 -1 4194304 375 6944 0 0 0 0 213 4 18 0 1 0 1547838941 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 1340 238 196 169 0 51 0
[pid=15924] ppid=15916 vsize=197432 CPUtime=6.38
/proc/15924/stat : 15924 (java) S 15916 15916 14395 0 -1 0 13850 0 1 0 616 22 0 0 18 0 10 0 1547839162 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15924/statm: 49358 9392 2543 9 0 43941 0
[pid=15934] ppid=15924 vsize=5356 CPUtime=0
/proc/15934/stat : 15934 (abscon) S 15924 15916 14395 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1547839807 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15934/statm: 1339 237 196 169 0 50 0
[pid=15935] ppid=15934 vsize=655964 CPUtime=5.6
/proc/15935/stat : 15935 (java) S 15934 15916 14395 0 -1 0 33406 0 1 0 534 26 0 0 18 0 9 0 1547839808 671707136 32714 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15935/statm: 163991 32714 2616 9 0 158519 0
[pid=15935/tid=15937] ppid=15934 vsize=655964 CPUtime=4.76
/proc/15935/task/15937/stat : 15937 (java) R 15934 15916 14395 0 -1 64 12597 0 1 0 461 15 0 0 25 0 9 0 1547839809 671707136 32714 996147200 134512640 134550740 4294955808 18446744073709551615 4127192808 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15938] ppid=15934 vsize=655964 CPUtime=0.47
/proc/15935/task/15938/stat : 15938 (java) S 15934 15916 14395 0 -1 64 19519 0 0 0 38 9 0 0 17 0 9 0 1547839810 671707136 32714 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15939] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15939/stat : 15939 (java) S 15934 15916 14395 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547839810 671707136 32714 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15940] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15940/stat : 15940 (java) S 15934 15916 14395 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1547839810 671707136 32714 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15941] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15941/stat : 15941 (java) S 15934 15916 14395 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1547839812 671707136 32714 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15942] ppid=15934 vsize=655964 CPUtime=0.34
/proc/15935/task/15942/stat : 15942 (java) S 15934 15916 14395 0 -1 64 745 0 0 0 34 0 0 0 15 0 9 0 1547839812 671707136 32714 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15943] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15943/stat : 15943 (java) S 15934 15916 14395 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1547839812 671707136 32714 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15944] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15944/stat : 15944 (java) S 15934 15916 14395 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1547839812 671707136 32714 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15936] ppid=15934 vsize=7044 CPUtime=0
/proc/15936/stat : 15936 (translate) S 15934 15916 14395 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1547839808 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 266890608722 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/15936/statm: 1761 213 182 1 0 41 0
[pid=15924/tid=15925] ppid=15916 vsize=197432 CPUtime=4.96
/proc/15924/task/15925/stat : 15925 (java) S 15916 15916 14395 0 -1 64 3853 0 1 0 489 7 0 0 25 0 10 0 1547839163 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15924/tid=15926] ppid=15916 vsize=197432 CPUtime=1.18
/proc/15924/task/15926/stat : 15926 (java) S 15916 15916 14395 0 -1 64 8541 0 0 0 105 13 0 0 16 0 10 0 1547839164 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15927] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15927/stat : 15927 (java) S 15916 15916 14395 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1547839164 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15928] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15928/stat : 15928 (java) S 15916 15916 14395 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1547839164 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15929] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15929/stat : 15929 (java) S 15916 15916 14395 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1547839166 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15930] ppid=15916 vsize=197432 CPUtime=0.2
/proc/15924/task/15930/stat : 15930 (java) S 15916 15916 14395 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1547839166 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15931] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15931/stat : 15931 (java) S 15916 15916 14395 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1547839166 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15932] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15932/stat : 15932 (java) S 15916 15916 14395 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1547839166 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15933] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15933/stat : 15933 (java) S 15916 15916 14395 0 -1 64 75 0 0 0 0 0 0 0 25 0 10 0 1547839807 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.15
Current children cumulated vsize (KiB) 871156
[startup+15.9023 s]
/proc/loadavg: 1.93 2.03 2.06 3/94 15944
/proc/meminfo: memFree=1513704/2055920 swapFree=4112508/4192956
[pid=15916] ppid=15914 vsize=5360 CPUtime=2.17
/proc/15916/stat : 15916 (hydra) S 15914 15916 14395 0 -1 4194304 375 6944 0 0 0 0 213 4 18 0 1 0 1547838941 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 1340 238 196 169 0 51 0
[pid=15924] ppid=15916 vsize=197432 CPUtime=6.38
/proc/15924/stat : 15924 (java) S 15916 15916 14395 0 -1 0 13850 0 1 0 616 22 0 0 18 0 10 0 1547839162 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15924/statm: 49358 9392 2543 9 0 43941 0
[pid=15934] ppid=15924 vsize=5356 CPUtime=0
/proc/15934/stat : 15934 (abscon) S 15924 15916 14395 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1547839807 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15934/statm: 1339 237 196 169 0 50 0
[pid=15935] ppid=15934 vsize=655964 CPUtime=7.18
/proc/15935/stat : 15935 (java) S 15934 15916 14395 0 -1 0 33411 0 1 0 692 26 0 0 18 0 9 0 1547839808 671707136 32718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15935/statm: 163991 32718 2616 9 0 158519 0
[pid=15935/tid=15937] ppid=15934 vsize=655964 CPUtime=6.33
/proc/15935/task/15937/stat : 15937 (java) R 15934 15916 14395 0 -1 64 12597 0 1 0 618 15 0 0 25 0 9 0 1547839809 671707136 32718 996147200 134512640 134550740 4294955808 18446744073709551615 4127192725 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15938] ppid=15934 vsize=655964 CPUtime=0.47
/proc/15935/task/15938/stat : 15938 (java) S 15934 15916 14395 0 -1 64 19519 0 0 0 38 9 0 0 17 0 9 0 1547839810 671707136 32718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15939] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15939/stat : 15939 (java) S 15934 15916 14395 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547839810 671707136 32718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15940] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15940/stat : 15940 (java) S 15934 15916 14395 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1547839810 671707136 32718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15941] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15941/stat : 15941 (java) S 15934 15916 14395 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1547839812 671707136 32718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15942] ppid=15934 vsize=655964 CPUtime=0.35
/proc/15935/task/15942/stat : 15942 (java) S 15934 15916 14395 0 -1 64 750 0 0 0 35 0 0 0 15 0 9 0 1547839812 671707136 32718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15943] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15943/stat : 15943 (java) S 15934 15916 14395 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1547839812 671707136 32718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15944] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15944/stat : 15944 (java) S 15934 15916 14395 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1547839812 671707136 32718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15936] ppid=15934 vsize=7044 CPUtime=0
/proc/15936/stat : 15936 (translate) S 15934 15916 14395 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1547839808 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 266890608722 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/15936/statm: 1761 213 182 1 0 41 0
[pid=15924/tid=15925] ppid=15916 vsize=197432 CPUtime=4.96
/proc/15924/task/15925/stat : 15925 (java) S 15916 15916 14395 0 -1 64 3853 0 1 0 489 7 0 0 25 0 10 0 1547839163 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15924/tid=15926] ppid=15916 vsize=197432 CPUtime=1.18
/proc/15924/task/15926/stat : 15926 (java) S 15916 15916 14395 0 -1 64 8541 0 0 0 105 13 0 0 16 0 10 0 1547839164 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15927] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15927/stat : 15927 (java) S 15916 15916 14395 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1547839164 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15928] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15928/stat : 15928 (java) S 15916 15916 14395 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1547839164 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15929] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15929/stat : 15929 (java) S 15916 15916 14395 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1547839166 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15930] ppid=15916 vsize=197432 CPUtime=0.2
/proc/15924/task/15930/stat : 15930 (java) S 15916 15916 14395 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1547839166 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15931] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15931/stat : 15931 (java) S 15916 15916 14395 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1547839166 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15932] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15932/stat : 15932 (java) S 15916 15916 14395 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1547839166 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15933] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15933/stat : 15933 (java) S 15916 15916 14395 0 -1 64 75 0 0 0 0 0 0 0 25 0 10 0 1547839807 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.73
Current children cumulated vsize (KiB) 871156
[startup+16.7024 s]
/proc/loadavg: 1.93 2.03 2.06 3/94 15944
/proc/meminfo: memFree=1513704/2055920 swapFree=4112508/4192956
[pid=15916] ppid=15914 vsize=5360 CPUtime=2.17
/proc/15916/stat : 15916 (hydra) S 15914 15916 14395 0 -1 4194304 375 6944 0 0 0 0 213 4 18 0 1 0 1547838941 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 1340 238 196 169 0 51 0
[pid=15924] ppid=15916 vsize=197432 CPUtime=6.38
/proc/15924/stat : 15924 (java) S 15916 15916 14395 0 -1 0 13850 0 1 0 616 22 0 0 18 0 10 0 1547839162 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15924/statm: 49358 9392 2543 9 0 43941 0
[pid=15934] ppid=15924 vsize=5356 CPUtime=0
/proc/15934/stat : 15934 (abscon) S 15924 15916 14395 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1547839807 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15934/statm: 1339 237 196 169 0 50 0
[pid=15935] ppid=15934 vsize=655964 CPUtime=7.98
/proc/15935/stat : 15935 (java) S 15934 15916 14395 0 -1 0 33412 0 1 0 772 26 0 0 18 0 9 0 1547839808 671707136 32718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15935/statm: 163991 32718 2616 9 0 158519 0
[pid=15935/tid=15937] ppid=15934 vsize=655964 CPUtime=7.13
/proc/15935/task/15937/stat : 15937 (java) R 15934 15916 14395 0 -1 64 12598 0 1 0 698 15 0 0 25 0 9 0 1547839809 671707136 32718 996147200 134512640 134550740 4294955808 18446744073709551615 4127250389 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15938] ppid=15934 vsize=655964 CPUtime=0.47
/proc/15935/task/15938/stat : 15938 (java) S 15934 15916 14395 0 -1 64 19519 0 0 0 38 9 0 0 17 0 9 0 1547839810 671707136 32718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15939] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15939/stat : 15939 (java) S 15934 15916 14395 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547839810 671707136 32718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15940] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15940/stat : 15940 (java) S 15934 15916 14395 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1547839810 671707136 32718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15941] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15941/stat : 15941 (java) S 15934 15916 14395 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1547839812 671707136 32718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15942] ppid=15934 vsize=655964 CPUtime=0.35
/proc/15935/task/15942/stat : 15942 (java) S 15934 15916 14395 0 -1 64 750 0 0 0 35 0 0 0 15 0 9 0 1547839812 671707136 32718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15943] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15943/stat : 15943 (java) S 15934 15916 14395 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1547839812 671707136 32718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15935/tid=15944] ppid=15934 vsize=655964 CPUtime=0
/proc/15935/task/15944/stat : 15944 (java) S 15934 15916 14395 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1547839812 671707136 32718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15936] ppid=15934 vsize=7044 CPUtime=0
/proc/15936/stat : 15936 (translate) S 15934 15916 14395 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1547839808 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 266890608722 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/15936/statm: 1761 213 182 1 0 41 0
[pid=15924/tid=15925] ppid=15916 vsize=197432 CPUtime=4.96
/proc/15924/task/15925/stat : 15925 (java) S 15916 15916 14395 0 -1 64 3853 0 1 0 489 7 0 0 25 0 10 0 1547839163 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15924/tid=15926] ppid=15916 vsize=197432 CPUtime=1.18
/proc/15924/task/15926/stat : 15926 (java) S 15916 15916 14395 0 -1 64 8541 0 0 0 105 13 0 0 16 0 10 0 1547839164 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15927] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15927/stat : 15927 (java) S 15916 15916 14395 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1547839164 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15928] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15928/stat : 15928 (java) S 15916 15916 14395 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1547839164 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15929] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15929/stat : 15929 (java) S 15916 15916 14395 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1547839166 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15930] ppid=15916 vsize=197432 CPUtime=0.2
/proc/15924/task/15930/stat : 15930 (java) S 15916 15916 14395 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1547839166 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15931] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15931/stat : 15931 (java) S 15916 15916 14395 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1547839166 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15932] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15932/stat : 15932 (java) S 15916 15916 14395 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1547839166 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15933] ppid=15916 vsize=197432 CPUtime=0
/proc/15924/task/15933/stat : 15933 (java) S 15916 15916 14395 0 -1 64 75 0 0 0 0 0 0 0 25 0 10 0 1547839807 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16.53
Current children cumulated vsize (KiB) 871156
[startup+16.9025 s]
/proc/loadavg: 1.93 2.03 2.06 3/94 15944
/proc/meminfo: memFree=1513704/2055920 swapFree=4112508/4192956
[pid=15916] ppid=15914 vsize=5360 CPUtime=2.17
/proc/15916/stat : 15916 (hydra) S 15914 15916 14395 0 -1 4194304 375 6944 0 0 0 0 213 4 18 0 1 0 1547838941 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 1340 238 196 169 0 51 0
[pid=15924] ppid=15916 vsize=197432 CPUtime=14.53
/proc/15924/stat : 15924 (java) S 15916 15916 14395 0 -1 0 13937 34028 1 1 616 22 786 29 18 0 9 0 1547839162 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15924/statm: 49358 9394 2544 9 0 43941 0
[pid=15924/tid=15925] ppid=15916 vsize=197432 CPUtime=13.11
/proc/15924/task/15925/stat : 15925 (java) S 15916 15916 14395 0 -1 64 3909 34028 1 1 489 7 786 29 16 0 9 0 1547839163 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15924/tid=15926] ppid=15916 vsize=197432 CPUtime=9.33
/proc/15924/task/15926/stat : 15926 (java) S 15916 15916 14395 0 -1 64 8561 34028 0 1 105 13 786 29 16 0 9 0 1547839164 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15924/tid=15927] ppid=15916 vsize=197432 CPUtime=8.15
/proc/15924/task/15927/stat : 15927 (java) S 15916 15916 14395 0 -1 64 11 34028 0 1 0 0 786 29 16 0 9 0 1547839164 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15928] ppid=15916 vsize=197432 CPUtime=8.15
/proc/15924/task/15928/stat : 15928 (java) S 15916 15916 14395 0 -1 64 5 34028 0 1 0 0 786 29 15 0 9 0 1547839164 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15929] ppid=15916 vsize=197432 CPUtime=8.15
/proc/15924/task/15929/stat : 15929 (java) S 15916 15916 14395 0 -1 64 1 34028 0 1 0 0 786 29 18 0 9 0 1547839166 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15930] ppid=15916 vsize=197432 CPUtime=8.35
/proc/15924/task/15930/stat : 15930 (java) S 15916 15916 14395 0 -1 64 646 34028 0 1 20 0 786 29 16 0 9 0 1547839166 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15931] ppid=15916 vsize=197432 CPUtime=8.15
/proc/15924/task/15931/stat : 15931 (java) S 15916 15916 14395 0 -1 64 0 34028 0 1 0 0 786 29 19 0 9 0 1547839166 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15924/tid=15932] ppid=15916 vsize=197432 CPUtime=8.15
/proc/15924/task/15932/stat : 15932 (java) S 15916 15916 14395 0 -1 64 11 34028 0 1 0 0 786 29 15 0 9 0 1547839166 202170368 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16.7
Current children cumulated vsize (KiB) 202792
Child status: 0
Real time (s): 16.9187
CPU time (s): 16.7295
CPU user time (s): 16.1555
CPU system time (s): 0.573912
CPU usage (%): 98.8814
Max. virtual memory (cumulated for all children) (KiB): 871156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.1555
system time used= 0.573912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55325
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= 11067
involuntary context switches= 12319
runsolver used 0.043993 second user time and 0.152976 second system time
The end