0.00/0.00 c cpHydra_k_10 version 0.0
7.08/7.16 c CASE TO CLASSIFY:
7.08/7.16 c Case: 0
7.08/7.16 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.825700 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 4.342410 | c 14 > 7.693490 | c 11 > 6.266790 | c 12 > 6.329870 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.967200 | c 31 > -1.000000 | c 4 > 6.266790 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.17 c choco : 1801.0
7.08/7.17 c mistral : 1801.0
7.08/7.17 c abscon : 1801.0
7.08/7.17 c
7.08/7.17 c
7.38/7.42 c List of same ones: 10
7.38/7.42 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-11_ext.xml
7.38/7.42 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.068100 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 4.716250 | c 14 > 7.721100 | c 11 > 6.266790 | c 12 > 6.515190 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.967200 | c 31 > -1.000000 | c 4 > 6.266790 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.43 c choco : 34.64
7.38/7.43 c mistral : 40.69
7.38/7.43 c abscon : 8.57
7.38/7.43 c
7.38/7.43 c
7.38/7.43 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-11_ext.xml
7.38/7.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.910500 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 4.586530 | c 14 > 7.266790 | c 11 > 6.629360 | c 12 > 6.053640 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.321930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.329800 | c 31 > -1.000000 | c 4 > 6.629360 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.43 c choco : 35.48
7.38/7.43 c mistral : 27.07
7.38/7.43 c abscon : 5.43
7.38/7.43 c
7.38/7.43 c
7.38/7.43 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-10_ext.xml
7.38/7.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.948500 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.412020 | c 14 > 7.761550 | c 11 > 6.129280 | c 12 > 6.525800 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.087460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.829700 | c 31 > -1.000000 | c 4 > 6.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.44 c choco : 109.22
7.38/7.44 c mistral : 1801.0
7.38/7.44 c abscon : 13.55
7.38/7.44 c
7.38/7.44 c
7.38/7.44 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-10_ext.xml
7.38/7.44 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.922200 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.743700 | c 14 > 7.607330 | c 11 > 6.321930 | c 12 > 6.297370 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.022400 | c 31 > -1.000000 | c 4 > 6.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.45 c choco : 91.35
7.38/7.45 c mistral : 1801.0
7.38/7.45 c abscon : 10.8
7.38/7.45 c
7.38/7.45 c
7.38/7.45 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-10_ext.xml
7.38/7.45 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.909000 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.246160 | c 14 > 7.285400 | c 11 > 6.491850 | c 12 > 6.158970 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.247930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.192300 | c 31 > -1.000000 | c 4 > 6.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.46 c choco : 64.01
7.38/7.46 c mistral : 51.8
7.38/7.46 c abscon : 9.14
7.38/7.46 c
7.38/7.46 c
7.38/7.46 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-11_ext.xml
7.38/7.46 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.985300 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 5.468270 | c 14 > 7.554590 | c 11 > 6.459430 | c 12 > 6.648930 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.247930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.159900 | c 31 > -1.000000 | c 4 > 6.459430 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.47 c choco : 37.76
7.38/7.47 c mistral : 19.41
7.38/7.47 c abscon : 7.14
7.38/7.47 c
7.38/7.47 c
7.38/7.47 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-11_ext.xml
7.38/7.47 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.983300 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 5.086970 | c 14 > 7.366320 | c 11 > 6.781360 | c 12 > 6.170470 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.392320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.481800 | c 31 > -1.000000 | c 4 > 6.781360 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.48 c choco : 17.99
7.38/7.48 c mistral : 8.62
7.38/7.48 c abscon : 4.92
7.38/7.48 c
7.38/7.48 c
7.38/7.48 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg7-11_ext.xml
7.38/7.48 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.002900 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 4.430250 | c 14 > 6.794420 | c 11 > 6.266790 | c 12 > 5.645730 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.967200 | c 31 > -1.000000 | c 4 > 6.266790 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.49 c choco : 71.34
7.38/7.49 c mistral : 34.14
7.38/7.49 c abscon : 33.08
7.38/7.49 c
7.38/7.49 c
7.38/7.49 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-10_ext.xml
7.38/7.49 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.142600 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 5.295870 | c 14 > 7.562240 | c 11 > 6.643860 | c 12 > 6.217230 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.321930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.344300 | c 31 > -1.000000 | c 4 > 6.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.50 c choco : 42.25
7.38/7.50 c mistral : 28.91
7.38/7.50 c abscon : 6.97
7.38/7.50 c
7.38/7.50 c
7.38/7.50 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg11-11_ext.xml
7.38/7.50 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.564700 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 4.926420 | c 14 > 6.845490 | c 11 > 6.918860 | c 12 > 5.745140 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.459430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.619300 | c 31 > -1.000000 | c 4 > 6.918860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.51 c choco : 12.8
7.46/7.51 c mistral : 3.26
7.46/7.51 c abscon : 4.72
7.46/7.51 c
7.46/7.51 c
7.46/7.51 c Length: 10
7.46/7.51 c 0.4833424459945553 0.8617762395773045 1.0613536977369986 1.0899328368757406 1.1704722242753134 1.2375633407628075 1.2471932345871666 1.4003892709171966 1.57768751452878 1.682152514726295
7.46/7.51 c
7.46/7.51 c 1.0 0.7600664027771675 0.6746936537275517 0.664013384038222 0.635656577610768 0.6138203086055397 0.6108085685094107 0.5665837194977903 0.522777569319201 0.5
7.46/7.51 c
7.46/7.51 c solver 0
7.46/7.51 c before 0.0 seconds: {} 0
7.46/7.51 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 5981
7.46/7.51 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6548
7.46/7.51 c
7.46/7.51 c solver 1
7.46/7.51 c before 0.0 seconds: {} 0
7.46/7.51 c before 18.0 seconds: {6, 9} 1110
7.46/7.51 c before 36.0 seconds: {1, 5, 6, 7, 8, 9} 3574
7.46/7.51 c before 54.0 seconds: {0, 1, 4, 5, 6, 7, 8, 9} 5209
7.46/7.51 c
7.46/7.51 c solver 2
7.46/7.51 c before 0.0 seconds: {} 0
7.46/7.51 c before 18.0 seconds: {6, 9} 1110
7.46/7.51 c before 36.0 seconds: {0, 1, 6, 9} 2870
7.46/7.51 c before 54.0 seconds: {0, 1, 5, 6, 8, 9} 4007
7.46/7.51 c before 72.0 seconds: {0, 1, 4, 5, 6, 7, 8, 9} 5209
7.46/7.52 c before 108.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9} 5873
7.46/7.52 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6548
7.46/7.52 c
7.46/7.52 cTotal time: 12
7.46/7.52 c 216.0 seconds unused
7.46/7.52 c 0 c 2 c 0
7.46/7.52 c 0 c 0 c 0
7.46/7.52 c 0 c 2 c 0
7.46/7.52 c is solver0 dominated by:
7.46/7.52 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.46/7.52 c solver 2 (0 solves instances that 2 can't: false) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: true) (0 is equally as fast as 2: false) (0 < 2: false)
7.46/7.52 c is dominated? false
7.46/7.52 c
7.46/7.52 c is solver1 dominated by:
7.46/7.52 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.46/7.52 c is dominated? true
7.46/7.52 c
7.46/7.52 c is solver2 dominated by:
7.46/7.52 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.46/7.52 c is dominated? true
7.46/7.52 c
7.46/7.52 c Number of non-dominated solvers: 1
7.46/7.52 c remove dominated solvers
7.46/7.52 c solver 0 is not dominated by another solver
7.46/7.52 c solver 2 is dominated by another solver
7.46/7.52 c solver 1 is dominated by another solver
7.46/7.52 c
7.46/7.52 c solver 0: 36.0
7.46/7.52 c
7.46/7.52 c+ 2/2 of 98
7.46/7.52 c
7.46/7.52 c solver 1: 0.0
7.46/7.52 c
7.46/7.52 c solver 2: 0.0
7.46/7.52 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6548
7.46/7.52 c do not run mistral
7.46/7.52 c do not run choco
7.46/7.52 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.46/7.52 c On Instance: HOME/instance-1066493-1215148101.xml
7.46/7.52 c Running for: 1800 seconds
26.27/26.71 s UNSATISFIABLE
26.27/26.71 d ASSIGNMENTS 6585
26.27/26.71 d CHECKS 5627
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1066493-1215148101/watcher-1066493-1215148101 -o /tmp/evaluation-result-1066493-1215148101/solver-1066493-1215148101 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1066493-1215148101.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.97 2.01 2.05 4/80 2627
/proc/meminfo: memFree=1695744/2055920 swapFree=4117464/4192956
[pid=2627] ppid=2625 vsize=5360 CPUtime=0
/proc/2627/stat : 2627 (hydra) S 2625 2627 32652 0 -1 4194304 306 124 0 0 0 0 0 0 18 0 1 0 1993783860 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2627/statm: 1340 236 195 169 0 51 0
[startup+0.0567529 s]
/proc/loadavg: 1.97 2.01 2.05 4/80 2627
/proc/meminfo: memFree=1695744/2055920 swapFree=4117464/4192956
[pid=2627] ppid=2625 vsize=5360 CPUtime=0
/proc/2627/stat : 2627 (hydra) S 2625 2627 32652 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1993783860 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2627/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101756 s]
/proc/loadavg: 1.97 2.01 2.05 4/80 2627
/proc/meminfo: memFree=1695744/2055920 swapFree=4117464/4192956
[pid=2627] ppid=2625 vsize=5360 CPUtime=0
/proc/2627/stat : 2627 (hydra) S 2625 2627 32652 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1993783860 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2627/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301769 s]
/proc/loadavg: 1.97 2.01 2.05 4/80 2627
/proc/meminfo: memFree=1695744/2055920 swapFree=4117464/4192956
[pid=2627] ppid=2625 vsize=5360 CPUtime=0
/proc/2627/stat : 2627 (hydra) S 2625 2627 32652 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1993783860 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2627/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701794 s]
/proc/loadavg: 1.97 2.01 2.05 4/80 2627
/proc/meminfo: memFree=1695744/2055920 swapFree=4117464/4192956
[pid=2627] ppid=2625 vsize=5360 CPUtime=0
/proc/2627/stat : 2627 (hydra) S 2625 2627 32652 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1993783860 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2627/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50185 s]
/proc/loadavg: 1.97 2.01 2.05 3/82 2631
/proc/meminfo: memFree=1694128/2055920 swapFree=4117464/4192956
[pid=2627] ppid=2625 vsize=5360 CPUtime=0
/proc/2627/stat : 2627 (hydra) S 2625 2627 32652 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1993783860 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2627/statm: 1340 236 195 169 0 51 0
[pid=2630] ppid=2627 vsize=5656 CPUtime=1.48
/proc/2630/stat : 2630 (xsolve) R 2627 2627 32652 0 -1 4194304 773 0 0 0 148 0 0 0 25 0 1 0 1993783860 5791744 732 996147200 134512640 135239763 4294956176 18446744073709551615 135015491 0 0 4096 0 0 0 0 17 1 0 0
/proc/2630/statm: 1414 732 411 177 0 317 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11016
[startup+3.10195 s]
/proc/loadavg: 1.97 2.01 2.05 3/90 2643
/proc/meminfo: memFree=1688112/2055920 swapFree=4117464/4192956
[pid=2627] ppid=2625 vsize=5360 CPUtime=1.5
/proc/2627/stat : 2627 (hydra) S 2625 2627 32652 0 -1 4194304 375 1370 0 0 0 0 149 1 20 0 1 0 1993783860 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2627/statm: 1340 238 196 169 0 51 0
[pid=2635] ppid=2627 vsize=196996 CPUtime=1.58
/proc/2635/stat : 2635 (java) S 2627 2627 32652 0 -1 0 5153 0 1 0 152 6 0 0 18 0 9 0 1993784011 201723904 4312 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2635/statm: 49249 4312 1678 9 0 43832 0
[pid=2635/tid=2636] ppid=2627 vsize=196996 CPUtime=1.26
/proc/2635/task/2636/stat : 2636 (java) R 2627 2627 32652 0 -1 64 2766 0 1 0 124 2 0 0 25 0 9 0 1993784012 201723904 4312 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2637] ppid=2627 vsize=196996 CPUtime=0.15
/proc/2635/task/2637/stat : 2637 (java) R 2627 2627 32652 0 -1 64 1049 0 0 0 13 2 0 0 15 0 9 0 1993784013 201723904 4312 996147200 134512640 134550740 4294955968 18446744073709551615 102674864 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2638] ppid=2627 vsize=196996 CPUtime=0
/proc/2635/task/2638/stat : 2638 (java) S 2627 2627 32652 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993784013 201723904 4312 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2639] ppid=2627 vsize=196996 CPUtime=0
/proc/2635/task/2639/stat : 2639 (java) S 2627 2627 32652 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1993784013 201723904 4312 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2640] ppid=2627 vsize=196996 CPUtime=0
/proc/2635/task/2640/stat : 2640 (java) S 2627 2627 32652 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1993784015 201723904 4312 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2641] ppid=2627 vsize=196996 CPUtime=0.14
/proc/2635/task/2641/stat : 2641 (java) S 2627 2627 32652 0 -1 64 613 0 0 0 14 0 0 0 16 0 9 0 1993784015 201723904 4312 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2642] ppid=2627 vsize=196996 CPUtime=0
/proc/2635/task/2642/stat : 2642 (java) S 2627 2627 32652 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1993784015 201723904 4313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2643] ppid=2627 vsize=196996 CPUtime=0
/proc/2635/task/2643/stat : 2643 (java) S 2627 2627 32652 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993784015 201723904 4315 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 202356
[startup+6.30216 s]
/proc/loadavg: 1.97 2.00 2.05 3/90 2643
/proc/meminfo: memFree=1674736/2055920 swapFree=4117464/4192956
[pid=2627] ppid=2625 vsize=5360 CPUtime=1.5
/proc/2627/stat : 2627 (hydra) S 2625 2627 32652 0 -1 4194304 375 1370 0 0 0 0 149 1 20 0 1 0 1993783860 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2627/statm: 1340 238 196 169 0 51 0
[pid=2635] ppid=2627 vsize=197108 CPUtime=4.77
/proc/2635/stat : 2635 (java) S 2627 2627 32652 0 -1 0 10153 0 1 0 464 13 0 0 18 0 9 0 1993784011 201838592 8420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2635/statm: 49277 8420 2540 9 0 43860 0
[pid=2635/tid=2636] ppid=2627 vsize=197108 CPUtime=3.82
/proc/2635/task/2636/stat : 2636 (java) R 2627 2627 32652 0 -1 64 3574 0 1 0 377 5 0 0 25 0 9 0 1993784012 201838592 8420 996147200 134512640 134550740 4294955968 18446744073709551615 4126439933 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2637] ppid=2627 vsize=197108 CPUtime=0.76
/proc/2635/task/2637/stat : 2637 (java) S 2627 2627 32652 0 -1 64 5225 0 0 0 69 7 0 0 16 0 9 0 1993784013 201838592 8420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2638] ppid=2627 vsize=197108 CPUtime=0
/proc/2635/task/2638/stat : 2638 (java) S 2627 2627 32652 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993784013 201838592 8420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2639] ppid=2627 vsize=197108 CPUtime=0
/proc/2635/task/2639/stat : 2639 (java) S 2627 2627 32652 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1993784013 201838592 8420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2640] ppid=2627 vsize=197108 CPUtime=0
/proc/2635/task/2640/stat : 2640 (java) S 2627 2627 32652 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1993784015 201838592 8420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2641] ppid=2627 vsize=197108 CPUtime=0.17
/proc/2635/task/2641/stat : 2641 (java) S 2627 2627 32652 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 1993784015 201838592 8420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2642] ppid=2627 vsize=197108 CPUtime=0
/proc/2635/task/2642/stat : 2642 (java) S 2627 2627 32652 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1993784015 201838592 8420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2643] ppid=2627 vsize=197108 CPUtime=0
/proc/2635/task/2643/stat : 2643 (java) S 2627 2627 32652 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993784015 201838592 8420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 202468
[startup+12.7026 s]
/proc/loadavg: 1.98 2.00 2.05 3/102 2655
/proc/meminfo: memFree=1634256/2055920 swapFree=4117464/4192956
[pid=2627] ppid=2625 vsize=5360 CPUtime=1.5
/proc/2627/stat : 2627 (hydra) S 2625 2627 32652 0 -1 4194304 375 1370 0 0 0 0 149 1 20 0 1 0 1993783860 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2627/statm: 1340 238 196 169 0 51 0
[pid=2635] ppid=2627 vsize=197432 CPUtime=5.99
/proc/2635/stat : 2635 (java) S 2627 2627 32652 0 -1 0 14010 0 1 0 581 18 0 0 18 0 10 0 1993784011 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2635/statm: 49358 9526 2543 9 0 43941 0
[pid=2645] ppid=2635 vsize=5356 CPUtime=0
/proc/2645/stat : 2645 (abscon) S 2635 2627 32652 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1993784613 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 264907580228 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2645/statm: 1339 235 194 169 0 50 0
[pid=2646] ppid=2645 vsize=654936 CPUtime=5.06
/proc/2646/stat : 2646 (java) S 2645 2627 32652 0 -1 0 11171 0 1 0 499 7 0 0 18 0 9 0 1993784613 670654464 10485 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2646/statm: 163734 10485 2610 9 0 158262 0
[pid=2646/tid=2648] ppid=2645 vsize=654936 CPUtime=4.81
/proc/2646/task/2648/stat : 2648 (java) R 2645 2627 32652 0 -1 64 8624 0 1 0 476 5 0 0 25 0 9 0 1993784614 670654464 10485 996147200 134512640 134550740 4294955808 18446744073709551615 4126735483 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2649] ppid=2645 vsize=654936 CPUtime=0.04
/proc/2646/task/2649/stat : 2649 (java) S 2645 2627 32652 0 -1 64 1619 0 0 0 4 0 0 0 16 0 9 0 1993784615 670654464 10485 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2650] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2650/stat : 2650 (java) S 2645 2627 32652 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1993784616 670654464 10485 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2651] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2651/stat : 2651 (java) S 2645 2627 32652 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1993784616 670654464 10485 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2652] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2652/stat : 2652 (java) S 2645 2627 32652 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1993784618 670654464 10485 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2653] ppid=2645 vsize=654936 CPUtime=0.18
/proc/2646/task/2653/stat : 2653 (java) S 2645 2627 32652 0 -1 64 385 0 0 0 18 0 0 0 16 0 9 0 1993784618 670654464 10485 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2654] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2654/stat : 2654 (java) S 2645 2627 32652 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1993784618 670654464 10485 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2655] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2655/stat : 2655 (java) S 2645 2627 32652 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1993784618 670654464 10485 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2647] ppid=2645 vsize=7044 CPUtime=0
/proc/2647/stat : 2647 (translate) S 2645 2627 32652 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1993784613 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 264907751506 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/2647/statm: 1761 213 182 1 0 41 0
[pid=2635/tid=2636] ppid=2627 vsize=197432 CPUtime=4.69
/proc/2635/task/2636/stat : 2636 (java) S 2627 2627 32652 0 -1 64 3972 0 1 0 463 6 0 0 25 0 10 0 1993784012 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2635/tid=2637] ppid=2627 vsize=197432 CPUtime=1.06
/proc/2635/task/2637/stat : 2637 (java) S 2627 2627 32652 0 -1 64 8581 0 0 0 96 10 0 0 16 0 10 0 1993784013 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2638] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2638/stat : 2638 (java) S 2627 2627 32652 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993784013 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2639] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2639/stat : 2639 (java) S 2627 2627 32652 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993784013 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2640] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2640/stat : 2640 (java) S 2627 2627 32652 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1993784015 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2641] ppid=2627 vsize=197432 CPUtime=0.2
/proc/2635/task/2641/stat : 2641 (java) S 2627 2627 32652 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1993784015 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2642] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2642/stat : 2642 (java) S 2627 2627 32652 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993784015 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2643] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2643/stat : 2643 (java) S 2627 2627 32652 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 1993784015 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2644] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2644/stat : 2644 (java) S 2627 2627 32652 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1993784613 202170368 9526 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) 870128
[startup+25.5024 s]
/proc/loadavg: 1.98 2.00 2.05 3/102 2655
/proc/meminfo: memFree=1633616/2055920 swapFree=4117464/4192956
[pid=2627] ppid=2625 vsize=5360 CPUtime=1.5
/proc/2627/stat : 2627 (hydra) S 2625 2627 32652 0 -1 4194304 375 1370 0 0 0 0 149 1 20 0 1 0 1993783860 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2627/statm: 1340 238 196 169 0 51 0
[pid=2635] ppid=2627 vsize=197432 CPUtime=5.99
/proc/2635/stat : 2635 (java) S 2627 2627 32652 0 -1 0 14010 0 1 0 581 18 0 0 18 0 10 0 1993784011 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2635/statm: 49358 9526 2543 9 0 43941 0
[pid=2645] ppid=2635 vsize=5356 CPUtime=0
/proc/2645/stat : 2645 (abscon) S 2635 2627 32652 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1993784613 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 264907580228 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2645/statm: 1339 235 194 169 0 50 0
[pid=2646] ppid=2645 vsize=654936 CPUtime=17.62
/proc/2646/stat : 2646 (java) S 2645 2627 32652 0 -1 0 11212 0 1 0 1755 7 0 0 18 0 9 0 1993784613 670654464 10521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2646/statm: 163734 10521 2610 9 0 158262 0
[pid=2646/tid=2648] ppid=2645 vsize=654936 CPUtime=17.35
/proc/2646/task/2648/stat : 2648 (java) R 2645 2627 32652 0 -1 64 8658 0 1 0 1730 5 0 0 25 0 9 0 1993784614 670654464 10521 996147200 134512640 134550740 4294955808 18446744073709551615 4126724762 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2649] ppid=2645 vsize=654936 CPUtime=0.04
/proc/2646/task/2649/stat : 2649 (java) S 2645 2627 32652 0 -1 64 1619 0 0 0 4 0 0 0 16 0 9 0 1993784615 670654464 10521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2650] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2650/stat : 2650 (java) S 2645 2627 32652 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1993784616 670654464 10521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2651] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2651/stat : 2651 (java) S 2645 2627 32652 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1993784616 670654464 10521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2652] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2652/stat : 2652 (java) S 2645 2627 32652 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1993784618 670654464 10521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2653] ppid=2645 vsize=654936 CPUtime=0.2
/proc/2646/task/2653/stat : 2653 (java) S 2645 2627 32652 0 -1 64 392 0 0 0 20 0 0 0 16 0 9 0 1993784618 670654464 10521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2654] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2654/stat : 2654 (java) S 2645 2627 32652 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1993784618 670654464 10521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2655] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2655/stat : 2655 (java) S 2645 2627 32652 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1993784618 670654464 10521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2647] ppid=2645 vsize=7044 CPUtime=0
/proc/2647/stat : 2647 (translate) S 2645 2627 32652 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1993784613 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 264907751506 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/2647/statm: 1761 213 182 1 0 41 0
[pid=2635/tid=2636] ppid=2627 vsize=197432 CPUtime=4.69
/proc/2635/task/2636/stat : 2636 (java) S 2627 2627 32652 0 -1 64 3972 0 1 0 463 6 0 0 25 0 10 0 1993784012 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2635/tid=2637] ppid=2627 vsize=197432 CPUtime=1.06
/proc/2635/task/2637/stat : 2637 (java) S 2627 2627 32652 0 -1 64 8581 0 0 0 96 10 0 0 16 0 10 0 1993784013 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2638] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2638/stat : 2638 (java) S 2627 2627 32652 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993784013 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2639] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2639/stat : 2639 (java) S 2627 2627 32652 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993784013 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2640] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2640/stat : 2640 (java) S 2627 2627 32652 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1993784015 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2641] ppid=2627 vsize=197432 CPUtime=0.2
/proc/2635/task/2641/stat : 2641 (java) S 2627 2627 32652 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1993784015 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2642] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2642/stat : 2642 (java) S 2627 2627 32652 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993784015 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2643] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2643/stat : 2643 (java) S 2627 2627 32652 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 1993784015 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2644] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2644/stat : 2644 (java) S 2627 2627 32652 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1993784613 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 870128
Solver just ended. Dumping a history of the last processes samples
[startup+26.3025 s]
/proc/loadavg: 1.98 2.00 2.05 3/102 2655
/proc/meminfo: memFree=1633552/2055920 swapFree=4117464/4192956
[pid=2627] ppid=2625 vsize=5360 CPUtime=1.5
/proc/2627/stat : 2627 (hydra) S 2625 2627 32652 0 -1 4194304 375 1370 0 0 0 0 149 1 20 0 1 0 1993783860 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2627/statm: 1340 238 196 169 0 51 0
[pid=2635] ppid=2627 vsize=197432 CPUtime=5.99
/proc/2635/stat : 2635 (java) S 2627 2627 32652 0 -1 0 14010 0 1 0 581 18 0 0 18 0 10 0 1993784011 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2635/statm: 49358 9526 2543 9 0 43941 0
[pid=2645] ppid=2635 vsize=5356 CPUtime=0
/proc/2645/stat : 2645 (abscon) S 2635 2627 32652 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1993784613 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 264907580228 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2645/statm: 1339 235 194 169 0 50 0
[pid=2646] ppid=2645 vsize=654936 CPUtime=18.4
/proc/2646/stat : 2646 (java) S 2645 2627 32652 0 -1 0 11213 0 1 0 1833 7 0 0 18 0 9 0 1993784613 670654464 10522 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2646/statm: 163734 10522 2610 9 0 158262 0
[pid=2646/tid=2648] ppid=2645 vsize=654936 CPUtime=18.14
/proc/2646/task/2648/stat : 2648 (java) R 2645 2627 32652 0 -1 64 8659 0 1 0 1809 5 0 0 25 0 9 0 1993784614 670654464 10522 996147200 134512640 134550740 4294955808 18446744073709551615 4126735234 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2649] ppid=2645 vsize=654936 CPUtime=0.04
/proc/2646/task/2649/stat : 2649 (java) S 2645 2627 32652 0 -1 64 1619 0 0 0 4 0 0 0 16 0 9 0 1993784615 670654464 10522 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2650] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2650/stat : 2650 (java) S 2645 2627 32652 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1993784616 670654464 10522 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2651] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2651/stat : 2651 (java) S 2645 2627 32652 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1993784616 670654464 10522 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2652] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2652/stat : 2652 (java) S 2645 2627 32652 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1993784618 670654464 10522 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2653] ppid=2645 vsize=654936 CPUtime=0.2
/proc/2646/task/2653/stat : 2653 (java) S 2645 2627 32652 0 -1 64 392 0 0 0 20 0 0 0 16 0 9 0 1993784618 670654464 10522 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2654] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2654/stat : 2654 (java) S 2645 2627 32652 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1993784618 670654464 10522 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2655] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2655/stat : 2655 (java) S 2645 2627 32652 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1993784618 670654464 10522 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2647] ppid=2645 vsize=7044 CPUtime=0
/proc/2647/stat : 2647 (translate) S 2645 2627 32652 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1993784613 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 264907751506 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/2647/statm: 1761 213 182 1 0 41 0
[pid=2635/tid=2636] ppid=2627 vsize=197432 CPUtime=4.69
/proc/2635/task/2636/stat : 2636 (java) S 2627 2627 32652 0 -1 64 3972 0 1 0 463 6 0 0 25 0 10 0 1993784012 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2635/tid=2637] ppid=2627 vsize=197432 CPUtime=1.06
/proc/2635/task/2637/stat : 2637 (java) S 2627 2627 32652 0 -1 64 8581 0 0 0 96 10 0 0 16 0 10 0 1993784013 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2638] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2638/stat : 2638 (java) S 2627 2627 32652 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993784013 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2639] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2639/stat : 2639 (java) S 2627 2627 32652 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993784013 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2640] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2640/stat : 2640 (java) S 2627 2627 32652 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1993784015 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2641] ppid=2627 vsize=197432 CPUtime=0.2
/proc/2635/task/2641/stat : 2641 (java) S 2627 2627 32652 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1993784015 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2642] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2642/stat : 2642 (java) S 2627 2627 32652 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993784015 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2643] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2643/stat : 2643 (java) S 2627 2627 32652 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 1993784015 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2644] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2644/stat : 2644 (java) S 2627 2627 32652 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1993784613 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.89
Current children cumulated vsize (KiB) 870128
[startup+26.7025 s]
/proc/loadavg: 1.98 2.00 2.05 3/102 2655
/proc/meminfo: memFree=1633552/2055920 swapFree=4117464/4192956
[pid=2627] ppid=2625 vsize=5360 CPUtime=1.5
/proc/2627/stat : 2627 (hydra) S 2625 2627 32652 0 -1 4194304 375 1370 0 0 0 0 149 1 20 0 1 0 1993783860 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2627/statm: 1340 238 196 169 0 51 0
[pid=2635] ppid=2627 vsize=197432 CPUtime=5.99
/proc/2635/stat : 2635 (java) S 2627 2627 32652 0 -1 0 14013 0 1 0 581 18 0 0 18 0 10 0 1993784011 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2635/statm: 49358 9526 2543 9 0 43941 0
[pid=2645] ppid=2635 vsize=5356 CPUtime=0
/proc/2645/stat : 2645 (abscon) S 2635 2627 32652 0 -1 4194304 302 288 0 0 0 0 0 0 16 0 1 0 1993784613 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 264907580228 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/2645/statm: 1339 235 194 169 0 50 0
[pid=2646] ppid=2645 vsize=654936 CPUtime=18.78
/proc/2646/stat : 2646 (java) S 2645 2627 32652 0 -1 0 11303 0 1 0 1871 7 0 0 18 0 9 0 1993784613 670654464 10611 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2646/statm: 163734 10611 2610 9 0 158262 0
[pid=2646/tid=2648] ppid=2645 vsize=654936 CPUtime=18.51
/proc/2646/task/2648/stat : 2648 (java) S 2645 2627 32652 0 -1 64 8748 0 1 0 1846 5 0 0 25 0 9 0 1993784614 670654464 10611 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2649] ppid=2645 vsize=654936 CPUtime=0.04
/proc/2646/task/2649/stat : 2649 (java) S 2645 2627 32652 0 -1 64 1619 0 0 0 4 0 0 0 16 0 9 0 1993784615 670654464 10611 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2650] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2650/stat : 2650 (java) S 2645 2627 32652 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1993784616 670654464 10611 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2651] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2651/stat : 2651 (java) S 2645 2627 32652 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1993784616 670654464 10611 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2652] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2652/stat : 2652 (java) S 2645 2627 32652 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1993784618 670654464 10611 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2653] ppid=2645 vsize=654936 CPUtime=0.2
/proc/2646/task/2653/stat : 2653 (java) S 2645 2627 32652 0 -1 64 393 0 0 0 20 0 0 0 16 0 9 0 1993784618 670654464 10611 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2654] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2654/stat : 2654 (java) S 2645 2627 32652 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1993784618 670654464 10611 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2646/tid=2655] ppid=2645 vsize=654936 CPUtime=0
/proc/2646/task/2655/stat : 2655 (java) S 2645 2627 32652 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1993784618 670654464 10611 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2635/tid=2636] ppid=2627 vsize=197432 CPUtime=4.69
/proc/2635/task/2636/stat : 2636 (java) S 2627 2627 32652 0 -1 64 3975 0 1 0 463 6 0 0 16 0 10 0 1993784012 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=2635/tid=2637] ppid=2627 vsize=197432 CPUtime=1.06
/proc/2635/task/2637/stat : 2637 (java) S 2627 2627 32652 0 -1 64 8581 0 0 0 96 10 0 0 16 0 10 0 1993784013 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2638] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2638/stat : 2638 (java) S 2627 2627 32652 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993784013 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2639] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2639/stat : 2639 (java) S 2627 2627 32652 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1993784013 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2640] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2640/stat : 2640 (java) S 2627 2627 32652 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1993784015 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2641] ppid=2627 vsize=197432 CPUtime=0.2
/proc/2635/task/2641/stat : 2641 (java) S 2627 2627 32652 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1993784015 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2642] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2642/stat : 2642 (java) S 2627 2627 32652 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993784015 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2643] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2643/stat : 2643 (java) S 2627 2627 32652 0 -1 64 15 0 0 0 0 0 0 0 15 0 10 0 1993784015 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2635/tid=2644] ppid=2627 vsize=197432 CPUtime=0
/proc/2635/task/2644/stat : 2644 (java) S 2627 2627 32652 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1993784613 202170368 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.27
Current children cumulated vsize (KiB) 863084
Child status: 0
Real time (s): 26.7545
CPU time (s): 26.322
CPU user time (s): 26.026
CPU system time (s): 0.295955
CPU usage (%): 98.3834
Max. virtual memory (cumulated for all children) (KiB): 870128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.026
system time used= 0.295955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27780
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= 11085
involuntary context switches= 12763
runsolver used 0.081987 second user time and 0.239963 second system time
The end