0.00/0.00 c cpHydra_k_10 version 0.0
7.00/7.10 c CASE TO CLASSIFY:
7.00/7.10 c Case: 0
7.00/7.10 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.088000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 15.089500 | c 14 > 17.589400 | c 11 > 5.906890 | c 12 > 16.825600 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.321930 | c 1 > 5.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.906890 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.11 c choco : 1801.0
7.00/7.11 c mistral : 1801.0
7.00/7.11 c abscon : 1801.0
7.00/7.11 c
7.00/7.11 c
7.00/7.19 c List of same ones: 10
7.00/7.19 c /home/eomahony/cpZilla/CSP/dimacs/pret/pret-60-40_ext.xml
7.00/7.19 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.859000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 14.846800 | c 14 > 17.488100 | c 11 > 5.906890 | c 12 > 16.664100 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.321930 | c 1 > 5.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.906890 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.19 c choco : 1801.0
7.00/7.19 c mistral : 22.91
7.00/7.19 c abscon : 1.38079
7.00/7.19 c
7.00/7.19 c
7.00/7.19 c /home/eomahony/cpZilla/CSP/dimacs/pret/pret-60-60_ext.xml
7.00/7.19 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.899700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 15.144500 | c 14 > 17.429700 | c 11 > 5.906890 | c 12 > 16.488500 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.321930 | c 1 > 5.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.906890 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.20 c choco : 1801.0
7.09/7.20 c mistral : 17.6
7.09/7.20 c abscon : 0.981849
7.09/7.20 c
7.09/7.20 c
7.09/7.20 c /home/eomahony/cpZilla/CSP/dimacs/pret/pret-60-25_ext.xml
7.09/7.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.920500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 15.261800 | c 14 > 17.348600 | c 11 > 5.906890 | c 12 > 16.548000 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.321930 | c 1 > 5.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.906890 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.21 c choco : 1801.0
7.09/7.21 c mistral : 17.69
7.09/7.21 c abscon : 1.2908
7.09/7.21 c
7.09/7.21 c
7.09/7.21 c /home/eomahony/cpZilla/CSP/dimacs/pret/pret-60-75_ext.xml
7.09/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.955900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 15.210900 | c 14 > 17.303900 | c 11 > 5.906890 | c 12 > 16.461100 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.321930 | c 1 > 5.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.906890 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.22 c choco : 1801.0
7.09/7.22 c mistral : 16.88
7.09/7.22 c abscon : 0.999847
7.09/7.22 c
7.09/7.22 c
7.09/7.22 c /home/eomahony/cpZilla/CSP/dimacs/dubois/dubois-20_ext.xml
7.09/7.22 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.897700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 14.676500 | c 14 > 17.506000 | c 11 > 5.906890 | c 12 > 16.503700 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.321930 | c 1 > 5.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.906890 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.23 c choco : 1801.0
7.09/7.23 c mistral : 12.3
7.09/7.23 c abscon : 0.928858
7.09/7.23 c
7.09/7.23 c
7.09/7.23 c /home/eomahony/cpZilla/CSP/dimacs/dubois/dubois-23_ext.xml
7.09/7.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.931500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 14.731900 | c 14 > 17.498800 | c 11 > 6.108520 | c 12 > 16.392400 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.523560 | c 1 > 6.108520 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.108520 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.24 c choco : 1801.0
7.09/7.24 c mistral : 96.84
7.09/7.24 c abscon : 0.968852
7.09/7.24 c
7.09/7.24 c
7.09/7.24 c /home/eomahony/cpZilla/CSP/dimacs/dubois/dubois-21_ext.xml
7.09/7.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.896800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 14.537400 | c 14 > 17.502000 | c 11 > 5.977280 | c 12 > 16.413000 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.392320 | c 1 > 5.977280 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.977280 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.25 c choco : 1801.0
7.09/7.25 c mistral : 25.71
7.09/7.25 c abscon : 5.55915
7.09/7.25 c
7.09/7.25 c
7.09/7.25 c /home/eomahony/cpZilla/CSP/dimacs/dubois/dubois-22_ext.xml
7.09/7.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.875700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 14.663100 | c 14 > 17.406600 | c 11 > 6.044390 | c 12 > 16.266900 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.459430 | c 1 > 6.044390 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.044390 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.26 c choco : 1801.0
7.09/7.26 c mistral : 51.26
7.09/7.26 c abscon : 0.98385
7.09/7.26 c
7.09/7.26 c
7.09/7.26 c /home/eomahony/cpZilla/CSP/dimacs/dubois/dubois-24_ext.xml
7.09/7.26 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.911400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 14.693000 | c 14 > 17.455200 | c 11 > 6.169930 | c 12 > 16.173900 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.584960 | c 1 > 6.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.169930 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.26 c choco : 1801.0
7.09/7.26 c mistral : 223.21
7.09/7.27 c abscon : 1.14582
7.09/7.27 c
7.09/7.27 c
7.09/7.27 c /home/eomahony/cpZilla/CSP/dimacs/dubois/dubois-26_ext.xml
7.09/7.27 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.956700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 14.821100 | c 14 > 17.463600 | c 11 > 6.285400 | c 12 > 16.197800 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.700440 | c 1 > 6.285400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.285400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.27 c choco : 1801.0
7.09/7.27 c mistral : 737.12
7.09/7.27 c abscon : 1.16482
7.09/7.27 c
7.09/7.27 c
7.27/7.47 c Length: 10
7.27/7.47 c 0.38430226384969385 0.4214527138363249 0.439078512341474 0.49654694642098485 0.5633455955272936 0.7147441763316464 0.7342127609896205 0.8050309186608938 0.9528259262320701 1.0355269240343303
7.27/7.47 c
7.27/7.47 c 1.0 0.9460316774419865 0.9224133456223554 0.8529807599528272 0.7843547704687286 0.6633868141355332 0.6504862559466711 0.6075121472870914 0.5339008450645838 0.5
7.27/7.47 c
7.27/7.47 c solver 0
7.27/7.47 c before 0.0 seconds: {} 0
7.27/7.47 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7461
7.27/7.47 c
7.27/7.47 c solver 1
7.27/7.47 c before 0.0 seconds: {} 0
7.27/7.47 c before 18.0 seconds: {1, 2, 3, 4} 3505
7.27/7.47 c before 36.0 seconds: {0, 1, 2, 3, 4, 6} 5156
7.27/7.47 c before 54.0 seconds: {0, 1, 2, 3, 4, 6, 7} 5763
7.27/7.47 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7} 6427
7.27/7.47 c before 234.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 6961
7.27/7.47 c before 738.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7461
7.27/7.47 c
7.27/7.47 c solver 2
7.27/7.47 c before 0.0 seconds: {} 0
7.27/7.47 c
7.27/7.47 cTotal time: 42
7.27/7.47 c 756.0 seconds unused
7.27/7.47 c 0 c 0 c 10
7.27/7.47 c 0 c 0 c 10
7.27/7.47 c 0 c 0 c 0
7.27/7.47 c is solver0 dominated by:
7.27/7.47 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.27/7.47 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
7.27/7.47 c is dominated? false
7.27/7.47 c
7.27/7.47 c is solver1 dominated by:
7.27/7.47 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.27/7.47 c is dominated? true
7.27/7.47 c
7.27/7.47 c is solver2 dominated by:
7.27/7.47 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.27/7.47 c is dominated? true
7.27/7.47 c
7.27/7.47 c Number of non-dominated solvers: 1
7.27/7.47 c remove dominated solvers
7.27/7.47 c solver 0 is not dominated by another solver
7.27/7.47 c solver 2 is dominated by another solver
7.27/7.47 c solver 1 is dominated by another solver
7.27/7.47 c
7.27/7.47 c solver 0: 18.0
7.27/7.47 c
7.27/7.47 c+ 1/1 of 99
7.27/7.48 c
7.27/7.48 c solver 1: 0.0
7.27/7.48 c
7.27/7.48 c solver 2: 0.0
7.27/7.48 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7461
7.27/7.48 c do not run mistral
7.27/7.48 c do not run choco
7.27/7.48 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.27/7.48 c On Instance: HOME/instance-1047110-1215039500.xml
7.27/7.48 c Running for: 1800 seconds
8.32/8.53 s UNSATISFIABLE
8.32/8.53 d ASSIGNMENTS 5996
8.32/8.53 d CHECKS 26773
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1047110-1215039500/watcher-1047110-1215039500 -o /tmp/evaluation-result-1047110-1215039500/solver-1047110-1215039500 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1047110-1215039500.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: 0.57 0.13 0.04 4/72 27710
/proc/meminfo: memFree=1782472/2055920 swapFree=4181476/4192956
[pid=27710] ppid=27708 vsize=18572 CPUtime=0
/proc/27710/stat : 27710 (runsolver) R 27708 27710 27547 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1982919610 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 271638392103 0 0 4096 24578 0 0 0 17 1 0 0
/proc/27710/statm: 4643 292 257 25 0 2626 0
[startup+0.072768 s]
/proc/loadavg: 0.57 0.13 0.04 4/72 27710
/proc/meminfo: memFree=1782472/2055920 swapFree=4181476/4192956
[pid=27710] ppid=27708 vsize=5360 CPUtime=0
/proc/27710/stat : 27710 (hydra) S 27708 27710 27547 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1982919610 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27710/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101771 s]
/proc/loadavg: 0.57 0.13 0.04 4/72 27710
/proc/meminfo: memFree=1782472/2055920 swapFree=4181476/4192956
[pid=27710] ppid=27708 vsize=5360 CPUtime=0
/proc/27710/stat : 27710 (hydra) S 27708 27710 27547 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1982919610 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27710/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301806 s]
/proc/loadavg: 0.57 0.13 0.04 4/72 27710
/proc/meminfo: memFree=1782472/2055920 swapFree=4181476/4192956
[pid=27710] ppid=27708 vsize=5360 CPUtime=0
/proc/27710/stat : 27710 (hydra) S 27708 27710 27547 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1982919610 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27710/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701879 s]
/proc/loadavg: 0.57 0.13 0.04 4/72 27710
/proc/meminfo: memFree=1782472/2055920 swapFree=4181476/4192956
[pid=27710] ppid=27708 vsize=5360 CPUtime=0
/proc/27710/stat : 27710 (hydra) S 27708 27710 27547 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1982919610 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27710/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50203 s]
/proc/loadavg: 0.68 0.16 0.05 3/74 27714
/proc/meminfo: memFree=1781880/2055920 swapFree=4181476/4192956
[pid=27710] ppid=27708 vsize=5360 CPUtime=1.46
/proc/27710/stat : 27710 (hydra) S 27708 27710 27547 0 -1 4194304 375 1115 0 0 0 0 129 17 19 0 1 0 1982919610 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27710/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 5360
[startup+3.10232 s]
/proc/loadavg: 0.68 0.16 0.05 3/82 27726
/proc/meminfo: memFree=1773368/2055920 swapFree=4181476/4192956
[pid=27710] ppid=27708 vsize=5360 CPUtime=1.46
/proc/27710/stat : 27710 (hydra) S 27708 27710 27547 0 -1 4194304 375 1115 0 0 0 0 129 17 19 0 1 0 1982919610 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27710/statm: 1340 238 196 169 0 51 0
[pid=27718] ppid=27710 vsize=196984 CPUtime=1.58
/proc/27718/stat : 27718 (java) S 27710 27710 27547 0 -1 0 6476 0 1 0 153 5 0 0 18 0 9 0 1982919758 201711616 5443 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27718/statm: 49246 5443 2540 9 0 43829 0
[pid=27718/tid=27719] ppid=27710 vsize=196984 CPUtime=1.18
/proc/27718/task/27719/stat : 27719 (java) R 27710 27710 27547 0 -1 64 2793 0 1 0 117 1 0 0 25 0 9 0 1982919759 201711616 5443 996147200 134512640 134550740 4294955968 18446744073709551615 4126448428 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27720] ppid=27710 vsize=196984 CPUtime=0.22
/proc/27718/task/27720/stat : 27720 (java) S 27710 27710 27547 0 -1 64 2349 0 0 0 20 2 0 0 16 0 9 0 1982919760 201711616 5443 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27721] ppid=27710 vsize=196984 CPUtime=0
/proc/27718/task/27721/stat : 27721 (java) S 27710 27710 27547 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1982919761 201711616 5443 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27722] ppid=27710 vsize=196984 CPUtime=0
/proc/27718/task/27722/stat : 27722 (java) S 27710 27710 27547 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1982919761 201711616 5443 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27723] ppid=27710 vsize=196984 CPUtime=0
/proc/27718/task/27723/stat : 27723 (java) S 27710 27710 27547 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1982919763 201711616 5443 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27724] ppid=27710 vsize=196984 CPUtime=0.15
/proc/27718/task/27724/stat : 27724 (java) S 27710 27710 27547 0 -1 64 610 0 0 0 15 0 0 0 16 0 9 0 1982919763 201711616 5443 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27725] ppid=27710 vsize=196984 CPUtime=0
/proc/27718/task/27725/stat : 27725 (java) S 27710 27710 27547 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1982919763 201711616 5443 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27726] ppid=27710 vsize=196984 CPUtime=0
/proc/27718/task/27726/stat : 27726 (java) S 27710 27710 27547 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1982919763 201711616 5443 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 202344
[startup+6.30289 s]
/proc/loadavg: 0.79 0.19 0.06 3/82 27726
/proc/meminfo: memFree=1761208/2055920 swapFree=4181476/4192956
[pid=27710] ppid=27708 vsize=5360 CPUtime=1.46
/proc/27710/stat : 27710 (hydra) S 27708 27710 27547 0 -1 4194304 375 1115 0 0 0 0 129 17 19 0 1 0 1982919610 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27710/statm: 1340 238 196 169 0 51 0
[pid=27718] ppid=27710 vsize=197092 CPUtime=4.74
/proc/27718/stat : 27718 (java) S 27710 27710 27547 0 -1 0 10232 0 1 0 461 13 0 0 18 0 9 0 1982919758 201822208 8483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27718/statm: 49273 8483 2540 9 0 43856 0
[pid=27718/tid=27719] ppid=27710 vsize=197092 CPUtime=3.74
/proc/27718/task/27719/stat : 27719 (java) R 27710 27710 27547 0 -1 64 3589 0 1 0 370 4 0 0 25 0 9 0 1982919759 201822208 8483 996147200 134512640 134550740 4294955968 18446744073709551615 4126439368 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27720] ppid=27710 vsize=197092 CPUtime=0.79
/proc/27718/task/27720/stat : 27720 (java) S 27710 27710 27547 0 -1 64 5293 0 0 0 72 7 0 0 16 0 9 0 1982919760 201822208 8483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27721] ppid=27710 vsize=197092 CPUtime=0
/proc/27718/task/27721/stat : 27721 (java) S 27710 27710 27547 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1982919761 201822208 8483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27722] ppid=27710 vsize=197092 CPUtime=0
/proc/27718/task/27722/stat : 27722 (java) S 27710 27710 27547 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1982919761 201822208 8483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27723] ppid=27710 vsize=197092 CPUtime=0
/proc/27718/task/27723/stat : 27723 (java) S 27710 27710 27547 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1982919763 201822208 8483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27724] ppid=27710 vsize=197092 CPUtime=0.17
/proc/27718/task/27724/stat : 27724 (java) S 27710 27710 27547 0 -1 64 626 0 0 0 17 0 0 0 16 0 9 0 1982919763 201822208 8483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27725] ppid=27710 vsize=197092 CPUtime=0
/proc/27718/task/27725/stat : 27725 (java) S 27710 27710 27547 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1982919763 201822208 8483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27726] ppid=27710 vsize=197092 CPUtime=0
/proc/27718/task/27726/stat : 27726 (java) S 27710 27710 27547 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1982919763 201822208 8483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202452
Solver just ended. Dumping a history of the last processes samples
[startup+7.90217 s]
/proc/loadavg: 0.79 0.19 0.06 3/94 27738
/proc/meminfo: memFree=1747672/2055920 swapFree=4181476/4192956
[pid=27710] ppid=27708 vsize=5360 CPUtime=1.46
/proc/27710/stat : 27710 (hydra) S 27708 27710 27547 0 -1 4194304 375 1115 0 0 0 0 129 17 19 0 1 0 1982919610 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27710/statm: 1340 238 196 169 0 51 0
[pid=27718] ppid=27710 vsize=197416 CPUtime=5.89
/proc/27718/stat : 27718 (java) S 27710 27710 27547 0 -1 0 13832 0 1 0 572 17 0 0 18 0 10 0 1982919758 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27718/statm: 49354 9388 2543 9 0 43937 0
[pid=27728] ppid=27718 vsize=5356 CPUtime=0
/proc/27728/stat : 27728 (abscon) S 27718 27710 27547 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1982920358 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/27728/statm: 1339 235 194 169 0 50 0
[pid=27729] ppid=27728 vsize=654712 CPUtime=0.39
/proc/27729/stat : 27729 (java) S 27728 27710 27547 0 -1 0 6888 0 1 0 35 4 0 0 18 0 9 0 1982920359 670425088 6394 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27729/statm: 163679 6394 1986 9 0 158207 0
[pid=27729/tid=27731] ppid=27728 vsize=654712 CPUtime=0.34
/proc/27729/task/27731/stat : 27731 (java) R 27728 27710 27547 0 -1 64 6056 0 1 0 30 4 0 0 25 0 9 0 1982920360 670425088 6394 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27732] ppid=27728 vsize=654712 CPUtime=0
/proc/27729/task/27732/stat : 27732 (java) S 27728 27710 27547 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 1982920361 670425088 6394 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27733] ppid=27728 vsize=654712 CPUtime=0
/proc/27729/task/27733/stat : 27733 (java) S 27728 27710 27547 0 -1 64 9 0 0 0 0 0 0 0 22 0 9 0 1982920361 670425088 6394 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27734] ppid=27728 vsize=654712 CPUtime=0
/proc/27729/task/27734/stat : 27734 (java) S 27728 27710 27547 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 1982920361 670425088 6394 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27735] ppid=27728 vsize=654712 CPUtime=0
/proc/27729/task/27735/stat : 27735 (java) S 27728 27710 27547 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1982920363 670425088 6394 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27736] ppid=27728 vsize=654712 CPUtime=0.05
/proc/27729/task/27736/stat : 27736 (java) S 27728 27710 27547 0 -1 64 288 0 0 0 5 0 0 0 16 0 9 0 1982920363 670425088 6394 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27737] ppid=27728 vsize=654712 CPUtime=0
/proc/27729/task/27737/stat : 27737 (java) S 27728 27710 27547 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1982920363 670425088 6394 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27738] ppid=27728 vsize=654712 CPUtime=0
/proc/27729/task/27738/stat : 27738 (java) S 27728 27710 27547 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1982920363 670425088 6394 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27730] ppid=27728 vsize=7044 CPUtime=0
/proc/27730/stat : 27730 (translate) S 27728 27710 27547 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1982920359 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 271638560850 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/27730/statm: 1761 213 182 1 0 41 0
[pid=27718/tid=27719] ppid=27710 vsize=197416 CPUtime=4.56
/proc/27718/task/27719/stat : 27719 (java) S 27710 27710 27547 0 -1 64 3854 0 1 0 451 5 0 0 25 0 10 0 1982919759 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=27718/tid=27720] ppid=27710 vsize=197416 CPUtime=1.09
/proc/27718/task/27720/stat : 27720 (java) S 27710 27710 27547 0 -1 64 8537 0 0 0 100 9 0 0 16 0 10 0 1982919760 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27721] ppid=27710 vsize=197416 CPUtime=0
/proc/27718/task/27721/stat : 27721 (java) S 27710 27710 27547 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1982919761 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27722] ppid=27710 vsize=197416 CPUtime=0
/proc/27718/task/27722/stat : 27722 (java) S 27710 27710 27547 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1982919761 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27723] ppid=27710 vsize=197416 CPUtime=0
/proc/27718/task/27723/stat : 27723 (java) S 27710 27710 27547 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1982919763 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27724] ppid=27710 vsize=197416 CPUtime=0.2
/proc/27718/task/27724/stat : 27724 (java) S 27710 27710 27547 0 -1 64 642 0 0 0 20 0 0 0 16 0 10 0 1982919763 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27725] ppid=27710 vsize=197416 CPUtime=0
/proc/27718/task/27725/stat : 27725 (java) S 27710 27710 27547 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1982919763 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27726] ppid=27710 vsize=197416 CPUtime=0
/proc/27718/task/27726/stat : 27726 (java) S 27710 27710 27547 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1982919763 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27727] ppid=27710 vsize=197416 CPUtime=0
/proc/27718/task/27727/stat : 27727 (java) S 27710 27710 27547 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1982920358 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 869888
[startup+8.30225 s]
/proc/loadavg: 0.79 0.19 0.06 3/94 27738
/proc/meminfo: memFree=1747672/2055920 swapFree=4181476/4192956
[pid=27710] ppid=27708 vsize=5360 CPUtime=1.46
/proc/27710/stat : 27710 (hydra) S 27708 27710 27547 0 -1 4194304 375 1115 0 0 0 0 129 17 19 0 1 0 1982919610 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27710/statm: 1340 238 196 169 0 51 0
[pid=27718] ppid=27710 vsize=197416 CPUtime=5.89
/proc/27718/stat : 27718 (java) S 27710 27710 27547 0 -1 0 13832 0 1 0 572 17 0 0 18 0 10 0 1982919758 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27718/statm: 49354 9388 2543 9 0 43937 0
[pid=27728] ppid=27718 vsize=5356 CPUtime=0
/proc/27728/stat : 27728 (abscon) S 27718 27710 27547 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1982920358 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/27728/statm: 1339 235 194 169 0 50 0
[pid=27729] ppid=27728 vsize=654808 CPUtime=0.8
/proc/27729/stat : 27729 (java) S 27728 27710 27547 0 -1 0 10737 0 1 0 73 7 0 0 18 0 9 0 1982920359 670523392 10055 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27729/statm: 163702 10055 2609 9 0 158230 0
[pid=27729/tid=27731] ppid=27728 vsize=654808 CPUtime=0.61
/proc/27729/task/27731/stat : 27731 (java) R 27728 27710 27547 0 -1 64 8702 0 1 0 55 6 0 0 25 0 9 0 1982920360 670523392 10055 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27732] ppid=27728 vsize=654808 CPUtime=0.03
/proc/27729/task/27732/stat : 27732 (java) S 27728 27710 27547 0 -1 64 1134 0 0 0 3 0 0 0 16 0 9 0 1982920361 670523392 10055 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27733] ppid=27728 vsize=654808 CPUtime=0
/proc/27729/task/27733/stat : 27733 (java) S 27728 27710 27547 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1982920361 670523392 10055 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27734] ppid=27728 vsize=654808 CPUtime=0
/proc/27729/task/27734/stat : 27734 (java) S 27728 27710 27547 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1982920361 670523392 10055 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27735] ppid=27728 vsize=654808 CPUtime=0
/proc/27729/task/27735/stat : 27735 (java) S 27728 27710 27547 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1982920363 670523392 10055 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27736] ppid=27728 vsize=654808 CPUtime=0.14
/proc/27729/task/27736/stat : 27736 (java) R 27728 27710 27547 0 -1 64 357 0 0 0 14 0 0 0 16 0 9 0 1982920363 670523392 10055 996147200 134512640 134550740 4294955808 18446744073709551615 102130553 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27737] ppid=27728 vsize=654808 CPUtime=0
/proc/27729/task/27737/stat : 27737 (java) S 27728 27710 27547 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1982920363 670523392 10055 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27738] ppid=27728 vsize=654808 CPUtime=0
/proc/27729/task/27738/stat : 27738 (java) S 27728 27710 27547 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1982920363 670523392 10055 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27730] ppid=27728 vsize=7044 CPUtime=0
/proc/27730/stat : 27730 (translate) S 27728 27710 27547 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1982920359 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 271638560850 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/27730/statm: 1761 213 182 1 0 41 0
[pid=27718/tid=27719] ppid=27710 vsize=197416 CPUtime=4.56
/proc/27718/task/27719/stat : 27719 (java) S 27710 27710 27547 0 -1 64 3854 0 1 0 451 5 0 0 25 0 10 0 1982919759 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=27718/tid=27720] ppid=27710 vsize=197416 CPUtime=1.09
/proc/27718/task/27720/stat : 27720 (java) S 27710 27710 27547 0 -1 64 8537 0 0 0 100 9 0 0 16 0 10 0 1982919760 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27721] ppid=27710 vsize=197416 CPUtime=0
/proc/27718/task/27721/stat : 27721 (java) S 27710 27710 27547 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1982919761 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27722] ppid=27710 vsize=197416 CPUtime=0
/proc/27718/task/27722/stat : 27722 (java) S 27710 27710 27547 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1982919761 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27723] ppid=27710 vsize=197416 CPUtime=0
/proc/27718/task/27723/stat : 27723 (java) S 27710 27710 27547 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1982919763 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27724] ppid=27710 vsize=197416 CPUtime=0.2
/proc/27718/task/27724/stat : 27724 (java) S 27710 27710 27547 0 -1 64 642 0 0 0 20 0 0 0 16 0 10 0 1982919763 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27725] ppid=27710 vsize=197416 CPUtime=0
/proc/27718/task/27725/stat : 27725 (java) S 27710 27710 27547 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1982919763 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27726] ppid=27710 vsize=197416 CPUtime=0
/proc/27718/task/27726/stat : 27726 (java) S 27710 27710 27547 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1982919763 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27727] ppid=27710 vsize=197416 CPUtime=0
/proc/27718/task/27727/stat : 27727 (java) S 27710 27710 27547 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1982920358 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.15
Current children cumulated vsize (KiB) 869984
[startup+8.50229 s]
/proc/loadavg: 0.79 0.19 0.06 3/94 27738
/proc/meminfo: memFree=1747672/2055920 swapFree=4181476/4192956
[pid=27710] ppid=27708 vsize=5360 CPUtime=1.46
/proc/27710/stat : 27710 (hydra) S 27708 27710 27547 0 -1 4194304 375 1115 0 0 0 0 129 17 19 0 1 0 1982919610 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27710/statm: 1340 238 196 169 0 51 0
[pid=27718] ppid=27710 vsize=197416 CPUtime=5.89
/proc/27718/stat : 27718 (java) S 27710 27710 27547 0 -1 0 13870 0 1 0 572 17 0 0 18 0 10 0 1982919758 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27718/statm: 49354 9388 2543 9 0 43937 0
[pid=27728] ppid=27718 vsize=5356 CPUtime=0
/proc/27728/stat : 27728 (abscon) S 27718 27710 27547 0 -1 4194304 303 288 0 0 0 0 0 0 16 0 1 0 1982920358 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/27728/statm: 1339 235 194 169 0 50 0
[pid=27729] ppid=27728 vsize=654808 CPUtime=0.97
/proc/27729/stat : 27729 (java) S 27728 27710 27547 0 -1 0 10954 0 1 0 90 7 0 0 18 0 9 0 1982920359 670523392 10271 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27729/statm: 163702 10271 2609 9 0 158230 0
[pid=27729/tid=27731] ppid=27728 vsize=654808 CPUtime=0.76
/proc/27729/task/27731/stat : 27731 (java) S 27728 27710 27547 0 -1 64 8912 0 1 0 70 6 0 0 25 0 9 0 1982920360 670523392 10271 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27732] ppid=27728 vsize=654808 CPUtime=0.03
/proc/27729/task/27732/stat : 27732 (java) S 27728 27710 27547 0 -1 64 1134 0 0 0 3 0 0 0 16 0 9 0 1982920361 670523392 10271 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27733] ppid=27728 vsize=654808 CPUtime=0
/proc/27729/task/27733/stat : 27733 (java) S 27728 27710 27547 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1982920361 670523392 10271 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27734] ppid=27728 vsize=654808 CPUtime=0
/proc/27729/task/27734/stat : 27734 (java) S 27728 27710 27547 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1982920361 670523392 10271 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27735] ppid=27728 vsize=654808 CPUtime=0
/proc/27729/task/27735/stat : 27735 (java) S 27728 27710 27547 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1982920363 670523392 10271 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27736] ppid=27728 vsize=654808 CPUtime=0.15
/proc/27729/task/27736/stat : 27736 (java) S 27728 27710 27547 0 -1 64 364 0 0 0 15 0 0 0 15 0 9 0 1982920363 670523392 10271 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27737] ppid=27728 vsize=654808 CPUtime=0
/proc/27729/task/27737/stat : 27737 (java) S 27728 27710 27547 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1982920363 670523392 10271 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27729/tid=27738] ppid=27728 vsize=654808 CPUtime=0
/proc/27729/task/27738/stat : 27738 (java) S 27728 27710 27547 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1982920363 670523392 10271 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27718/tid=27719] ppid=27710 vsize=197416 CPUtime=4.56
/proc/27718/task/27719/stat : 27719 (java) S 27710 27710 27547 0 -1 64 3858 0 1 0 451 5 0 0 16 0 10 0 1982919759 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=27718/tid=27720] ppid=27710 vsize=197416 CPUtime=1.09
/proc/27718/task/27720/stat : 27720 (java) S 27710 27710 27547 0 -1 64 8571 0 0 0 100 9 0 0 16 0 10 0 1982919760 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27721] ppid=27710 vsize=197416 CPUtime=0
/proc/27718/task/27721/stat : 27721 (java) S 27710 27710 27547 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1982919761 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27722] ppid=27710 vsize=197416 CPUtime=0
/proc/27718/task/27722/stat : 27722 (java) S 27710 27710 27547 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1982919761 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27723] ppid=27710 vsize=197416 CPUtime=0
/proc/27718/task/27723/stat : 27723 (java) S 27710 27710 27547 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1982919763 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27724] ppid=27710 vsize=197416 CPUtime=0.2
/proc/27718/task/27724/stat : 27724 (java) S 27710 27710 27547 0 -1 64 642 0 0 0 20 0 0 0 16 0 10 0 1982919763 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27725] ppid=27710 vsize=197416 CPUtime=0
/proc/27718/task/27725/stat : 27725 (java) S 27710 27710 27547 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1982919763 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27726] ppid=27710 vsize=197416 CPUtime=0
/proc/27718/task/27726/stat : 27726 (java) S 27710 27710 27547 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1982919763 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27718/tid=27727] ppid=27710 vsize=197416 CPUtime=0
/proc/27718/task/27727/stat : 27727 (java) S 27710 27710 27547 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1982920358 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.32
Current children cumulated vsize (KiB) 862940
Child status: 0
Real time (s): 8.58101
CPU time (s): 8.37173
CPU user time (s): 7.92579
CPU system time (s): 0.445932
CPU usage (%): 97.561
Max. virtual memory (cumulated for all children) (KiB): 869984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.92579
system time used= 0.445932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27024
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= 10579
involuntary context switches= 12010
runsolver used 0.025996 second user time and 0.058991 second system time
The end