| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cpHydra k_40 | SAT | 170.211 | 170.522 |
| Diagnostic | Value |
|---|---|
| ASSIGNMENTS | 5327440 |
| CHECKS | 27265700 |
| Name | csp/pseudoGLB/ normalized-t2001-13queen13-1110977464.xml |
| MD5SUM | 545616d183b6024cdf1a16b74b2f17e6 |
| Bench Category | GLOBAL (global constraints) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 2.31165 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 169 |
| Number of constraints | 101 |
| Maximum constraint arity | 169 |
| Maximum domain size | 2 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 0 |
| Global constraints used (with number of constraints) | weightedsum(101) |
0.00/0.00 c cpHydra_k_40 version 0.0
1.45/1.51 HOME/cpHydra_k_40/hydra: line 6: 30409 Segmentation fault (core dumped) ${HOME}/cpHydra_k_40/src/mistral/bin/xsolve $1 -fe 1 -t 2 2>${cpHydraHome}/temp_case1 >${cpHydraHome}/temp_sol
7.18/7.31 c CASE TO CLASSIFY:
7.18/7.31 c Case: 0
7.18/7.32 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 18.709300 | c 34 > -1.000000 | c 16 > 169.000000 | c 13 > 13.137300 | c 14 > 12.352300 | c 11 > 8.076820 | c 12 > 13.632300 | 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 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.658210 | c 1 > 7.400880 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > 6.658210 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.753220 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.33 c choco : 1801.0
7.18/7.33 c mistral : 1801.0
7.18/7.33 c abscon : 1801.0
7.18/7.33 c
7.18/7.33 c
7.27/7.40 c List of same ones: 40
7.27/7.40 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-10_glb.xml
7.27/7.40 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.696000 | c 34 > -1.000000 | c 16 > 100.000000 | c 13 > 12.108300 | c 14 > 14.463800 | c 11 > 6.643860 | c 12 > 14.945800 | c 21 > 10.000000 | c 20 > 0.000000 | c 22 > 10.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 4.347830 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 12.279900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 95.652200 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.287700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.41 c choco : 1801.0
7.27/7.41 c mistral : 197.92
7.27/7.41 c abscon : 1801.0
7.27/7.41 c
7.27/7.41 c
7.27/7.41 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-9_glb.xml
7.27/7.41 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 16.832600 | c 34 > -1.000000 | c 16 > 81.000000 | c 13 > 7.189530 | c 14 > 10.327600 | c 11 > 6.339850 | c 12 > 9.808860 | c 21 > 9.000000 | c 20 > 0.000000 | c 22 > 9.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 4.761900 | c 3 > 6.339850 | c 2 > -1.000000 | c 10 > 11.671100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 95.238100 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.679700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.42 c choco : 12.89
7.27/7.42 c mistral : 7.43
7.27/7.42 c abscon : 1801.0
7.27/7.42 c
7.27/7.42 c
7.27/7.42 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-8_glb.xml
7.27/7.42 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.914200 | c 34 > -1.000000 | c 16 > 64.000000 | c 13 > 12.258500 | c 14 > 14.563600 | c 11 > 6.000000 | c 12 > 14.663600 | c 21 > 8.000000 | c 20 > 0.000000 | c 22 > 8.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 5.263160 | c 3 > 6.000000 | c 2 > -1.000000 | c 10 > 10.990800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 94.736800 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.000000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.43 c choco : 30.19
7.27/7.43 c mistral : 1.82
7.27/7.43 c abscon : 1801.0
7.27/7.43 c
7.27/7.43 c
7.27/7.43 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-7_glb.xml
7.27/7.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 21.029600 | c 34 > -1.000000 | c 16 > 49.000000 | c 13 > 13.116600 | c 14 > 14.704700 | c 11 > 5.614710 | c 12 > 14.754600 | c 21 > 7.000000 | c 20 > 0.000000 | c 22 > 7.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 5.882350 | c 3 > 5.614710 | c 2 > -1.000000 | c 10 > 10.220400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 94.117600 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.229400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.44 c choco : 8.91
7.27/7.44 c mistral : 0.14
7.27/7.44 c abscon : 62.66
7.27/7.44 c
7.27/7.44 c
7.27/7.44 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-6_glb.xml
7.27/7.44 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 21.180100 | c 34 > -1.000000 | c 16 > 36.000000 | c 13 > 13.913900 | c 14 > 15.471700 | c 11 > 5.169930 | c 12 > 15.410800 | c 21 > 6.000000 | c 20 > 0.000000 | c 22 > 6.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 6.666670 | c 3 > 5.169930 | c 2 > -1.000000 | c 10 > 9.333160 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 93.333300 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.339900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.45 c choco : 3.57
7.27/7.45 c mistral : 0.47
7.27/7.45 c abscon : 35.91
7.27/7.45 c
7.27/7.45 c
7.27/7.45 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-5_glb.xml
7.27/7.45 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 17.453500 | c 34 > -1.000000 | c 16 > 25.000000 | c 13 > 8.763490 | c 14 > 11.124100 | c 11 > 4.643860 | c 12 > 10.603400 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 7.692310 | c 3 > 4.643860 | c 2 > -1.000000 | c 10 > 8.290020 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 92.307700 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.287710 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.46 c choco : 8.05
7.27/7.46 c mistral : 0.17
7.27/7.46 c abscon : 3.99
7.27/7.46 c
7.27/7.46 c
7.27/7.46 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-4_glb.xml
7.27/7.46 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 10.576500 | c 34 > -1.000000 | c 16 > 16.000000 | c 13 > 3.038030 | c 14 > 4.459430 | c 11 > 4.000000 | c 12 > 3.774790 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 9.090910 | c 3 > 4.000000 | c 2 > -1.000000 | c 10 > 7.033420 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 90.909100 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.000000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.47 c choco : 1.16
7.27/7.47 c mistral : 0.02
7.27/7.47 c abscon : 1.71
7.27/7.47 c
7.27/7.47 c
7.27/7.47 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-7-210-60-2-10_glb.xml
7.27/7.47 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.120480 | c 33 > 60.000000 | c 15 > 19.466200 | c 34 > 20.000000 | c 16 > 210.000000 | c 13 > 14.040200 | c 14 > 12.696100 | c 11 > 12.521600 | c 12 > 12.045800 | c 21 > 1.414210 | c 20 > 94.879500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.182400 | c 1 > 12.521600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.521600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.47 c choco : 1801.0
7.27/7.47 c mistral : 4.54
7.27/7.47 c abscon : 1801.0
7.27/7.47 c
7.27/7.47 c
7.27/7.47 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-3_glb.xml
7.27/7.47 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 8.005620 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 2.660960 | c 14 > 3.000000 | c 11 > 3.169930 | c 12 > 3.502500 | c 21 > 3.000000 | c 20 > 0.000000 | c 22 > 3.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 11.111100 | c 3 > 3.169930 | c 2 > -1.000000 | c 10 > 5.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 88.888900 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 6.339850 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.48 c choco : 1.13
7.27/7.48 c mistral : 0.02
7.27/7.48 c abscon : 1.49
7.27/7.48 c
7.27/7.48 c
7.27/7.48 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-100-50-3-20_glb.xml
7.27/7.48 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.464530 | c 33 > 60.000000 | c 15 > 20.218500 | c 34 > 20.000000 | c 16 > 100.000000 | c 13 > 13.204400 | c 14 > 12.708000 | c 11 > 11.036200 | c 12 > 11.253500 | c 21 > 1.414210 | c 20 > 92.535500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.662700 | c 1 > 11.036200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.036200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.49 c choco : 1801.0
7.27/7.49 c mistral : 0.25
7.27/7.49 c abscon : 1801.0
7.27/7.49 c
7.27/7.49 c
7.27/7.49 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-98-42-3-14_glb.xml
7.27/7.49 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.769230 | c 33 > 60.000000 | c 15 > 20.189000 | c 34 > 20.000000 | c 16 > 98.000000 | c 13 > 11.267000 | c 14 > 13.952600 | c 11 > 11.422100 | c 12 > 9.350030 | c 21 > 1.414210 | c 20 > 94.230800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.092800 | c 1 > 11.422100 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.422100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.50 c choco : 1801.0
7.35/7.50 c mistral : 11.66
7.35/7.50 c abscon : 16.56
7.35/7.50 c
7.35/7.50 c
7.35/7.50 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-98-49-4-21_glb.xml
7.35/7.50 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 4.656010 | c 33 > 60.000000 | c 15 > 19.889800 | c 34 > 20.000000 | c 16 > 98.000000 | c 13 > 14.236200 | c 14 > 13.363900 | c 11 > 11.784600 | c 12 > 12.139700 | c 21 > 1.414210 | c 20 > 95.344000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.490900 | c 1 > 11.784600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.784600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.52 c choco : 1801.0
7.35/7.52 c mistral : 16.49
7.35/7.52 c abscon : 1801.0
7.35/7.52 c
7.35/7.52 c
7.35/7.52 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-90-45-3-18_glb.xml
7.35/7.52 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.597540 | c 33 > 60.000000 | c 15 > 21.043400 | c 34 > 20.000000 | c 16 > 90.000000 | c 13 > 13.730600 | c 14 > 13.581800 | c 11 > 10.884200 | c 12 > 12.360000 | c 21 > 1.414210 | c 20 > 92.402500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.512700 | c 1 > 10.884200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.884200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.52 c choco : 1801.0
7.35/7.52 c mistral : 64.09
7.35/7.53 c abscon : 1801.0
7.35/7.53 c
7.35/7.53 c
7.35/7.53 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-91-39-3-13_glb.xml
7.35/7.53 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.862070 | c 33 > 60.000000 | c 15 > 20.445600 | c 34 > 20.000000 | c 16 > 91.000000 | c 13 > 11.211100 | c 14 > 14.129000 | c 11 > 11.315100 | c 12 > 9.331050 | c 21 > 1.414210 | c 20 > 94.137900 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.987300 | c 1 > 11.315100 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.315100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.53 c choco : 1801.0
7.35/7.53 c mistral : 0.54
7.35/7.53 c abscon : 14.27
7.35/7.53 c
7.35/7.53 c
7.35/7.53 c /home/ehebrard/new_instances/competition_5c/data5/bibd10-11/bibd-10-90-27-3-6_glb.xml
7.35/7.53 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 3.456500 | c 33 > 60.000000 | c 15 > 19.917700 | c 34 > 20.000000 | c 16 > 90.000000 | c 13 > 15.060300 | c 14 > 13.684400 | c 11 > 12.273200 | c 12 > 12.697100 | c 21 > 1.414210 | c 20 > 96.543500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.034500 | c 1 > 12.273200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.273200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.54 c choco : 1801.0
7.35/7.54 c mistral : 1.7
7.35/7.54 c abscon : 1801.0
7.35/7.54 c
7.35/7.54 c
7.35/7.54 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-80-40-3-16_glb.xml
7.35/7.54 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.763260 | c 33 > 60.000000 | c 15 > 20.669300 | c 34 > 20.000000 | c 16 > 80.000000 | c 13 > 14.163300 | c 14 > 13.801900 | c 11 > 10.714200 | c 12 > 12.382000 | c 21 > 1.414210 | c 20 > 92.236700 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.345400 | c 1 > 10.714200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.714200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.74 c choco : 1801.0
7.53/7.74 c mistral : 0.2
7.53/7.74 c abscon : 1801.0
7.53/7.74 c
7.53/7.74 c
7.53/7.74 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-84-36-3-12_glb.xml
7.53/7.74 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.970150 | c 33 > 60.000000 | c 15 > 20.445100 | c 34 > 20.000000 | c 16 > 84.000000 | c 13 > 10.967300 | c 14 > 13.729000 | c 11 > 11.199700 | c 12 > 9.361060 | c 21 > 1.414210 | c 20 > 94.029900 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.873400 | c 1 > 11.199700 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.199700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.74 c choco : 1801.0
7.53/7.74 c mistral : 1801.0
7.53/7.74 c abscon : 13.53
7.53/7.74 c
7.53/7.74 c
7.53/7.74 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-77-33-3-11_glb.xml
7.53/7.74 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 6.097560 | c 33 > 60.000000 | c 15 > 20.860800 | c 34 > 20.000000 | c 16 > 77.000000 | c 13 > 11.902600 | c 14 > 14.472400 | c 11 > 11.074100 | c 12 > 10.069800 | c 21 > 1.414210 | c 20 > 93.902400 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.749900 | c 1 > 11.074100 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.074100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.76 c choco : 1801.0
7.53/7.76 c mistral : 1.6
7.53/7.76 c abscon : 11.26
7.53/7.76 c
7.53/7.76 c
7.53/7.76 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ws97-5.xml
7.53/7.76 c 19 > 58.459200 | c 35 > 31.284000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 35.075500 | c 15 > 19.950800 | c 34 > 48.836900 | c 16 > 134.000000 | c 13 > 4.497660 | c 14 > 10.391200 | c 11 > 11.696100 | c 12 > 2.707310 | c 21 > 1.411090 | c 20 > 41.540800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.857600 | c 1 > 9.812180 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.700400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.912900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.76 c choco : 1801.0
7.53/7.76 c mistral : 0.71
7.53/7.76 c abscon : 1800.1
7.53/7.76 c
7.53/7.76 c
7.53/7.76 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_9.xml
7.53/7.76 c 19 > 22.291000 | c 35 > 18.888900 | c 17 > 0.000000 | c 18 > 55.418000 | c 33 > 30.000000 | c 15 > 17.986200 | c 34 > 23.333300 | c 16 > 83.000000 | c 13 > 7.425030 | c 14 > 6.475730 | c 11 > 8.558420 | c 12 > 6.436070 | c 21 > 4.751650 | c 20 > 22.291000 | c 22 > 8.544000 | c 23 > 96.939600 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 10.055900 | c 3 > 7.761550 | c 2 > 6.459430 | c 10 > 9.663560 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.037400 | c 31 > 89.944100 | c 4 > 6.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.77 c choco : 19.11
7.53/7.77 c mistral : 25.16
7.53/7.77 c abscon : 28.99
7.53/7.77 c
7.53/7.77 c
7.53/7.77 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_9.xml
7.53/7.77 c 19 > 22.291000 | c 35 > 18.888900 | c 17 > 0.000000 | c 18 > 55.418000 | c 33 > 30.000000 | c 15 > 17.948800 | c 34 > 23.333300 | c 16 > 83.000000 | c 13 > 7.038620 | c 14 > 6.303780 | c 11 > 8.558420 | c 12 > 6.049780 | c 21 > 4.751650 | c 20 > 22.291000 | c 22 > 8.544000 | c 23 > 96.939600 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 10.055900 | c 3 > 7.761550 | c 2 > 6.459430 | c 10 > 9.663560 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.037400 | c 31 > 89.944100 | c 4 > 6.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.78 c choco : 16.41
7.53/7.78 c mistral : 4.2
7.53/7.78 c abscon : 20.23
7.53/7.78 c
7.53/7.78 c
7.53/7.78 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-70-35-3-14_glb.xml
7.53/7.78 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.975460 | c 33 > 60.000000 | c 15 > 21.159200 | c 34 > 20.000000 | c 16 > 70.000000 | c 13 > 14.354800 | c 14 > 14.459000 | c 11 > 10.521600 | c 12 > 13.063400 | c 21 > 1.414210 | c 20 > 92.024500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.156100 | c 1 > 10.521600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.521600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.78 c choco : 1801.0
7.53/7.78 c mistral : 1.73
7.53/7.78 c abscon : 1801.0
7.53/7.78 c
7.53/7.78 c
7.53/7.78 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-16-80-15-3-2_glb.xml
7.53/7.78 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 2.200490 | c 33 > 60.000000 | c 15 > 17.365100 | c 34 > 20.000000 | c 16 > 80.000000 | c 13 > 13.481000 | c 14 > 10.774000 | c 11 > 13.409400 | c 12 > 10.451800 | c 21 > 1.414210 | c 20 > 97.799500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.260900 | c 1 > 13.409400 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 14.409400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.79 c choco : 1801.0
7.53/7.79 c mistral : 1801.0
7.53/7.79 c abscon : 0.63
7.53/7.79 c
7.53/7.79 c
7.53/7.79 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-70-30-3-10_glb.xml
7.53/7.79 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 60.000000 | c 15 > 20.902600 | c 34 > 20.000000 | c 16 > 70.000000 | c 13 > 11.685600 | c 14 > 14.416700 | c 11 > 10.936600 | c 12 > 9.908070 | c 21 > 1.414210 | c 20 > 93.750000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.614700 | c 1 > 10.936600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.936600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.80 c choco : 1801.0
7.61/7.80 c mistral : 11.53
7.61/7.80 c abscon : 10.67
7.61/7.80 c
7.61/7.80 c
7.61/7.80 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml
7.61/7.80 c 19 > 39.091900 | c 35 > 43.768600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 39.854300 | c 15 > 19.496800 | c 34 > 53.144200 | c 16 > 160.000000 | c 13 > 3.581130 | c 14 > 10.985800 | c 11 > 12.007400 | c 12 > 3.551250 | c 21 > 1.397820 | c 20 > 60.908100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.649000 | c 1 > 12.007400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.517500 | c 6 > 6.954200 | c 32 > -1.000000 | c 5 > 18.803500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.81 c choco : 24.35
7.61/7.81 c mistral : 3.62
7.61/7.81 c abscon : 12.2411
7.61/7.81 c
7.61/7.81 c
7.61/7.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/ex5-pi.xml
7.61/7.81 c 19 > 0.000000 | c 35 > 26.343200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.089900 | c 34 > 26.343200 | c 16 > 146.000000 | c 13 > 3.630320 | c 14 > 8.791160 | c 11 > 11.247300 | c 12 > 4.063740 | c 21 > 1.410180 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.280800 | c 1 > 11.247300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.280800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.356000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.81 c choco : 10.89
7.61/7.81 c mistral : 4.98
7.61/7.81 c abscon : 7.27989
7.61/7.81 c
7.61/7.81 c
7.61/7.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml
7.61/7.81 c 19 > 0.000000 | c 35 > 32.220000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.767400 | c 34 > 32.220000 | c 16 > 166.000000 | c 13 > 2.574380 | c 14 > 9.920350 | c 11 > 12.191100 | c 12 > 2.458080 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.620300 | c 1 > 12.191100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.620300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.826000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.82 c choco : 16.5
7.61/7.82 c mistral : 4.84
7.61/7.82 c abscon : 6.63899
7.61/7.82 c
7.61/7.82 c
7.61/7.82 c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-72-24-3-6_glb.xml
7.61/7.82 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 4.318940 | c 33 > 60.000000 | c 15 > 20.877800 | c 34 > 20.000000 | c 16 > 72.000000 | c 13 > 15.759400 | c 14 > 14.282600 | c 11 > 11.661800 | c 12 > 13.426100 | c 21 > 1.414210 | c 20 > 95.681100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.403500 | c 1 > 11.661800 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.661800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.83 c choco : 1801.0
7.61/7.83 c mistral : 3.07
7.61/7.83 c abscon : 1801.0
7.61/7.83 c
7.61/7.83 c
7.61/7.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50a.xml
7.61/7.83 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.779300 | c 34 > 0.000000 | c 16 > 120.000000 | c 13 > 8.497930 | c 14 > 10.999300 | c 11 > 11.494900 | c 12 > 5.398850 | c 21 > 1.331250 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.683000 | c 1 > 10.118900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.683000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.671300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.83 c choco : 3.95
7.61/7.83 c mistral : 1.4
7.61/7.83 c abscon : 385.752
7.61/7.83 c
7.61/7.83 c
7.61/7.83 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-70-35-4-15_glb.xml
7.61/7.83 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.130690 | c 33 > 60.000000 | c 15 > 20.273800 | c 34 > 20.000000 | c 16 > 70.000000 | c 13 > 12.698900 | c 14 > 13.022900 | c 11 > 11.299200 | c 12 > 10.515100 | c 21 > 1.414210 | c 20 > 94.869300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.012600 | c 1 > 11.299200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.299200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.84 c choco : 1801.0
7.61/7.84 c mistral : 2.44
7.61/7.84 c abscon : 1801.0
7.61/7.84 c
7.61/7.84 c
7.61/7.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc105.xml
7.61/7.84 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.666100 | c 34 > 0.000000 | c 16 > 120.000000 | c 13 > 12.584100 | c 14 > 12.282800 | c 11 > 11.418900 | c 12 > 8.622250 | c 21 > 1.373350 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.085700 | c 1 > 11.418900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.085700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 30.206500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.84 c choco : 24.54
7.61/7.84 c mistral : 2.61
7.61/7.84 c abscon : 1239.19
7.61/7.84 c
7.61/7.84 c
7.61/7.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50b.xml
7.61/7.84 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.558200 | c 34 > 0.000000 | c 16 > 120.000000 | c 13 > 0.606331 | c 14 > 9.525520 | c 11 > 11.422600 | c 12 > 0.996843 | c 21 > 1.326020 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.574600 | c 1 > 10.092800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.574600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.560300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.85 c choco : 3.78
7.61/7.85 c mistral : 1.05
7.61/7.85 c abscon : 1800.08
7.61/7.85 c
7.61/7.85 c
7.61/7.85 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc205.xml
7.61/7.85 c 19 > 0.000000 | c 35 > 2.033900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.406780 | c 15 > 19.897300 | c 34 > 3.661020 | c 16 > 120.000000 | c 13 > 7.464060 | c 14 > 10.204600 | c 11 > 12.481800 | c 12 > 3.376420 | c 21 > 1.392570 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.190400 | c 1 > 12.481800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.190400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 31.926500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.85 c choco : 15.99
7.61/7.85 c mistral : 52.33
7.61/7.85 c abscon : 1800.11
7.61/7.85 c
7.61/7.85 c
7.61/7.85 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-37-37.xml
7.61/7.85 c 19 > 0.000000 | c 35 > 29.996200 | c 17 > 0.000000 | c 18 > 20.042000 | c 33 > 0.000000 | c 15 > 19.566800 | c 34 > 39.988700 | c 16 > 37.000000 | c 13 > 5.571470 | c 14 > 7.768180 | c 11 > 11.418900 | c 12 > 3.305980 | c 21 > 2.234270 | c 20 > 79.958000 | c 22 > 11.489100 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 6.169930 | c 10 > 14.956500 | c 1 > 11.379400 | c 0 > -1.000000 | c 30 > 99.700600 | c 7 > 11.811400 | c 6 > 14.640200 | c 32 > 0.299401 | c 5 > 18.619500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.86 c choco : 21.79
7.61/7.86 c mistral : 1801.0
7.61/7.86 c abscon : 1801.0
7.61/7.86 c
7.61/7.86 c
7.61/7.86 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-36-36.xml
7.61/7.86 c 19 > 0.000000 | c 35 > 29.996000 | c 17 > 0.000000 | c 18 > 20.044400 | c 33 > 0.000000 | c 15 > 19.716100 | c 34 > 39.988100 | c 16 > 36.000000 | c 13 > 5.535640 | c 14 > 7.876520 | c 11 > 11.339900 | c 12 > 3.293490 | c 21 > 2.225000 | c 20 > 79.955600 | c 22 > 11.269400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 6.129280 | c 10 > 14.861700 | c 1 > 11.299200 | c 0 > -1.000000 | c 30 > 99.683500 | c 7 > 11.733000 | c 6 > 14.541600 | c 32 > 0.316456 | c 5 > 18.490400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.87 c choco : 21.51
7.61/7.87 c mistral : 1801.0
7.61/7.87 c abscon : 1801.0
7.61/7.87 c
7.61/7.87 c
7.61/7.87 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-60-30-3-12_glb.xml
7.61/7.87 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 8.256880 | c 33 > 60.000000 | c 15 > 20.985500 | c 34 > 20.000000 | c 16 > 60.000000 | c 13 > 13.027000 | c 14 > 14.700000 | c 11 > 10.299200 | c 12 > 11.970200 | c 21 > 1.414210 | c 20 > 91.743100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.938110 | c 1 > 10.299200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.299200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.87 c choco : 1801.0
7.61/7.87 c mistral : 1.03
7.61/7.87 c abscon : 1801.0
7.61/7.87 c
7.61/7.87 c
7.61/7.87 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-63-27-3-9_glb.xml
7.61/7.88 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 6.435640 | c 33 > 60.000000 | c 15 > 21.279400 | c 34 > 20.000000 | c 16 > 63.000000 | c 13 > 12.359700 | c 14 > 14.844100 | c 11 > 10.784600 | c 12 > 10.556100 | c 21 > 1.414210 | c 20 > 93.564400 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.465600 | c 1 > 10.784600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.784600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.88 c choco : 1801.0
7.61/7.88 c mistral : 0.27
7.61/7.88 c abscon : 9.51
7.61/7.88 c
7.61/7.88 c
7.61/7.88 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-35-35.xml
7.61/7.88 c 19 > 0.000000 | c 35 > 29.995800 | c 17 > 0.000000 | c 18 > 20.047000 | c 33 > 0.000000 | c 15 > 19.771700 | c 34 > 39.987400 | c 16 > 35.000000 | c 13 > 5.498790 | c 14 > 7.643860 | c 11 > 11.258600 | c 12 > 3.280590 | c 21 > 2.215160 | c 20 > 79.953000 | c 22 > 11.045400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 6.087460 | c 10 > 14.763600 | c 1 > 11.216700 | c 0 > -1.000000 | c 30 > 99.665000 | c 7 > 11.652400 | c 6 > 14.439300 | c 32 > 0.335008 | c 5 > 18.357000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.89 c choco : 20.27
7.61/7.89 c mistral : 1801.0
7.61/7.89 c abscon : 1801.0
7.61/7.89 c
7.61/7.89 c
7.61/7.89 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_9.xml
7.61/7.89 c 19 > 0.000000 | c 35 > 27.000000 | c 17 > 0.000000 | c 18 > 55.307300 | c 33 > 54.000000 | c 15 > 18.401000 | c 34 > 27.000000 | c 16 > 83.000000 | c 13 > 5.933720 | c 14 > 6.554590 | c 11 > 7.523560 | c 12 > 5.699080 | c 21 > 5.564910 | c 20 > 44.692700 | c 22 > 9.000000 | c 23 > 95.105800 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 18.181800 | c 3 > 7.179910 | c 2 > 3.169930 | c 10 > 9.529430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.169930 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.506600 | c 31 > 81.818200 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.61/7.90 c choco : 25.56
7.61/7.90 c mistral : 0.86
7.61/7.90 c abscon : 14.29
7.61/7.90 c
7.61/7.90 c
7.61/7.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mod008.xml
7.61/7.90 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.023400 | c 34 > 0.000000 | c 16 > 231.000000 | c 13 > 0.672413 | c 14 > 8.299210 | c 11 > 9.290020 | c 12 > 1.306170 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.255000 | c 1 > 8.317410 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.255000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 28.331200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.68/7.91 c choco : 2.44
7.68/7.91 c mistral : 0.44
7.68/7.91 c abscon : 1.3238
7.68/7.91 c
7.68/7.91 c
7.68/7.91 c Length: 40
7.68/7.91 c 72.05712307158329 90.45917674166121 106.70562398988726 121.40301470294675 134.25271154884544 145.21773200596508 155.2105837476929 157.99243503516806 162.6377684186493 164.68020211027888 167.5179566850945 168.74526389564684 168.95984231631195 170.4964412678775 173.65020608846223 173.67154848942585 173.68269967131874 177.05626635144827 178.1054435654427 178.49033061884361 178.5250035228024 178.78198213485888 179.93465591941842 180.62924301880994 180.73315256506453 180.86401776739868 181.47378154096725 181.59768124393827 181.6989599525611 181.78792065453496 182.19008770753007 182.2445799688367 182.93105891583252 183.4160041180172 184.09747107720963 184.217803698328 184.35433571334036 184.78921023289064 185.071631534277 186.45353057806997
7.68/7.91 c
7.68/7.91 c 1.0 0.8614287130510411 0.7675297916279515 0.6986368709173889 0.6478006371082311 0.6099287015612808 0.5790761014365726 0.571034920526287 0.5580937276340782 0.5525876303510178 0.5451153693623275 0.5419459094056773 0.5413955526715337 0.537486867530116 0.5296387672811855 0.5295864376698223 0.5295591001063844 0.5214162597941031 0.5189346488082359 0.5180301902833282 0.5179488660855526 0.5173469258796751 0.5146640551930199 0.5130607840168588 0.5128217947719966 0.5125211248120451 0.5111247951842981 0.5108420003803563 0.5106110691915753 0.5104083971458824 0.5094941762626837 0.5093705543370354 0.5078183208891219 0.5067274757537756 0.5052024670101191 0.5049341358025118 0.504630026339861 0.5036638299118164 0.5030383304994477 0.5
7.68/7.92 c
7.68/7.92 c solver 0
7.68/7.92 c before 0.0 seconds: {} 0
7.68/7.92 c before 18.0 seconds: {5, 6, 8, 10, 13, 16, 17, 22, 23, 24, 25, 26, 36, 38, 39} 7952
7.68/7.92 c before 36.0 seconds: {4, 5, 6, 8, 10, 13, 16, 17, 19, 20, 22, 23, 24, 25, 26, 36, 38, 39} 9636
7.68/7.92 c before 72.0 seconds: {3, 4, 5, 6, 8, 10, 13, 16, 17, 19, 20, 22, 23, 24, 25, 26, 36, 38, 39} 10334
7.68/7.92 c before 396.0 seconds: {3, 4, 5, 6, 8, 10, 13, 16, 17, 19, 20, 22, 23, 24, 25, 26, 28, 36, 38, 39} 10845
7.68/7.92 c before 1242.0 seconds: {3, 4, 5, 6, 8, 10, 13, 16, 17, 19, 20, 22, 23, 24, 25, 26, 28, 30, 36, 38, 39} 11355
7.68/7.92 c
7.68/7.92 c solver 1
7.68/7.92 c before 0.0 seconds: {} 0
7.68/7.92 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 35, 36, 38, 39} 17218
7.68/7.92 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 35, 36, 38, 39} 17736
7.68/7.93 c before 54.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 38, 39} 18244
7.68/7.93 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 38, 39} 18785
7.68/7.93 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 38, 39} 19785
7.68/7.93 c
7.68/7.93 c solver 2
7.68/7.93 c before 0.0 seconds: {} 0
7.68/7.93 c before 18.0 seconds: {1, 3, 4, 5, 6, 8, 20, 25, 26, 28, 31, 32, 39} 7524
7.68/7.93 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 8, 19, 20, 24, 25, 26, 28, 30, 31, 32, 33, 34, 37, 38, 39} 11850
7.68/7.93 c
7.68/7.93 cTotal time: 82
7.68/7.93 c 1476.0 seconds unused
7.68/7.93 c 0 c 2 c 7
7.68/7.93 c 16 c 0 c 17
7.68/7.93 c 7 c 3 c 0
7.68/7.93 c is solver0 dominated by:
7.68/7.93 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.68/7.93 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: false) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
7.68/7.93 c is dominated? false
7.68/7.93 c
7.68/7.93 c is solver1 dominated by:
7.68/7.93 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.68/7.93 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.68/7.93 c is dominated? false
7.68/7.93 c
7.68/7.93 c is solver2 dominated by:
7.68/7.93 c solver 0 (2 solves instances that 0 can't: true) (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.68/7.93 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
7.68/7.93 c is dominated? false
7.68/7.93 c
7.68/7.93 c Number of non-dominated solvers: 3
7.68/7.93 c remove dominated solvers
7.68/7.93 c solver 0 is not dominated by another solver
7.68/7.93 c solver 1 is not dominated by another solver
7.68/7.93 c solver 2 is not dominated by another solver
7.68/7.93 c
7.68/7.93 c solver 0: 1242.0
7.68/7.93 c
7.68/7.93 c+ 69/82 of 18
7.68/7.93 c
7.68/7.93 c solver 1: 198.0
7.68/7.93 c
7.68/7.93 c+ 11/82 of 18
7.68/7.93 c
7.68/7.93 c solver 2: 36.0
7.68/7.93 c
7.68/7.93 c+ 2/82 of 18
7.68/7.93 c run abscon for 1512.0 seconds {3, 4, 5, 6, 8, 10, 13, 16, 17, 19, 20, 22, 23, 24, 25, 26, 28, 30, 36, 38, 39} 11355
7.68/7.93 c run mistral for 234.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 38, 39} 19785
7.68/7.93 c run choco for 36.0 seconds {1, 2, 3, 4, 5, 6, 8, 19, 20, 24, 25, 26, 28, 30, 31, 32, 33, 34, 37, 38, 39} 11850
7.68/7.93 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.68/7.93 c On Instance: HOME/instance-1069589-1215160998.xml
7.68/7.93 c Running for: 1512 seconds
170.08/170.49 s SAT
170.08/170.49 v 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0
170.08/170.49 d ASSIGNMENTS 5327443
170.08/170.49 d CHECKS 27265659
OK
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1069589-1215160998/watcher-1069589-1215160998 -o /tmp/evaluation-result-1069589-1215160998/solver-1069589-1215160998 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1069589-1215160998.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 2.03 2.00 4/82 30405 /proc/meminfo: memFree=1516656/2055920 swapFree=4180456/4192956 [pid=30405] ppid=30403 vsize=18572 CPUtime=0 /proc/30405/stat : 30405 (runsolver) R 30403 30405 29836 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1995074229 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 255236566311 0 0 4096 24578 0 0 0 17 1 0 0 /proc/30405/statm: 4643 292 257 25 0 2626 0 [startup+0.229638 s] /proc/loadavg: 2.08 2.03 2.00 4/82 30405 /proc/meminfo: memFree=1516656/2055920 swapFree=4180456/4192956 [pid=30405] ppid=30403 vsize=5360 CPUtime=0 /proc/30405/stat : 30405 (hydra) S 30403 30405 29836 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1995074229 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30405/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.302648 s] /proc/loadavg: 2.08 2.03 2.00 4/82 30405 /proc/meminfo: memFree=1516656/2055920 swapFree=4180456/4192956 [pid=30405] ppid=30403 vsize=5360 CPUtime=0 /proc/30405/stat : 30405 (hydra) S 30403 30405 29836 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1995074229 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30405/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.402666 s] /proc/loadavg: 2.08 2.03 2.00 4/82 30405 /proc/meminfo: memFree=1516656/2055920 swapFree=4180456/4192956 [pid=30405] ppid=30403 vsize=5360 CPUtime=0 /proc/30405/stat : 30405 (hydra) S 30403 30405 29836 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1995074229 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30405/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.702723 s] /proc/loadavg: 2.08 2.03 2.00 4/82 30405 /proc/meminfo: memFree=1516656/2055920 swapFree=4180456/4192956 [pid=30405] ppid=30403 vsize=5360 CPUtime=0 /proc/30405/stat : 30405 (hydra) S 30403 30405 29836 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1995074229 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30405/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50187 s] /proc/loadavg: 2.16 2.04 2.01 3/84 30409 /proc/meminfo: memFree=1515808/2055920 swapFree=4180456/4192956 [pid=30405] ppid=30403 vsize=5360 CPUtime=0 /proc/30405/stat : 30405 (hydra) S 30403 30405 29836 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1995074229 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30405/statm: 1340 236 195 169 0 51 0 [pid=30409] ppid=30405 vsize=4860 CPUtime=1.45 /proc/30409/stat : 30409 (xsolve) R 30405 30405 29836 0 -1 4194304 599 0 0 0 143 2 0 0 25 0 1 0 1995074230 4976640 558 996147200 134512640 135239763 4294956176 18446744073709551615 134796576 0 0 4096 0 0 0 0 17 1 0 0 /proc/30409/statm: 1215 558 425 177 0 118 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 10220 [startup+3.10218 s] /proc/loadavg: 2.16 2.04 2.01 3/92 30421 /proc/meminfo: memFree=1507616/2055920 swapFree=4180456/4192956 [pid=30405] ppid=30403 vsize=5364 CPUtime=1.47 /proc/30405/stat : 30405 (hydra) S 30403 30405 29836 0 -1 4194304 381 1194 0 0 0 0 145 2 20 0 1 0 1995074229 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30405/statm: 1341 242 199 169 0 52 0 [pid=30413] ppid=30405 vsize=197032 CPUtime=1.56 /proc/30413/stat : 30413 (java) S 30405 30405 29836 0 -1 0 6389 0 1 0 151 5 0 0 18 0 9 0 1995074381 201760768 5383 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30413/statm: 49258 5383 2541 9 0 43840 0 [pid=30413/tid=30414] ppid=30405 vsize=197032 CPUtime=1.18 /proc/30413/task/30414/stat : 30414 (java) R 30405 30405 29836 0 -1 64 2767 0 1 0 117 1 0 0 25 0 9 0 1995074382 201760768 5383 996147200 134512640 134550740 4294955968 18446744073709551615 7951324 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30415] ppid=30405 vsize=197032 CPUtime=0.2 /proc/30413/task/30415/stat : 30415 (java) S 30405 30405 29836 0 -1 64 2282 0 0 0 18 2 0 0 16 0 9 0 1995074383 201760768 5383 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30416] ppid=30405 vsize=197032 CPUtime=0 /proc/30413/task/30416/stat : 30416 (java) S 30405 30405 29836 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1995074383 201760768 5383 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30417] ppid=30405 vsize=197032 CPUtime=0 /proc/30413/task/30417/stat : 30417 (java) S 30405 30405 29836 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995074383 201760768 5383 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30418] ppid=30405 vsize=197032 CPUtime=0 /proc/30413/task/30418/stat : 30418 (java) S 30405 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1995074385 201760768 5383 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30419] ppid=30405 vsize=197032 CPUtime=0.14 /proc/30413/task/30419/stat : 30419 (java) S 30405 30405 29836 0 -1 64 615 0 0 0 14 0 0 0 16 0 9 0 1995074385 201760768 5383 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30420] ppid=30405 vsize=197032 CPUtime=0 /proc/30413/task/30420/stat : 30420 (java) S 30405 30405 29836 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1995074385 201760768 5383 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30421] ppid=30405 vsize=197032 CPUtime=0 /proc/30413/task/30421/stat : 30421 (java) S 30405 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995074385 201760768 5383 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 202396 [startup+6.30178 s] /proc/loadavg: 2.14 2.04 2.01 4/92 30421 /proc/meminfo: memFree=1494880/2055920 swapFree=4180456/4192956 [pid=30405] ppid=30403 vsize=5364 CPUtime=1.47 /proc/30405/stat : 30405 (hydra) S 30403 30405 29836 0 -1 4194304 381 1194 0 0 0 0 145 2 20 0 1 0 1995074229 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30405/statm: 1341 242 199 169 0 52 0 [pid=30413] ppid=30405 vsize=197032 CPUtime=4.72 /proc/30413/stat : 30413 (java) S 30405 30405 29836 0 -1 0 10023 0 1 0 461 11 0 0 18 0 9 0 1995074381 201760768 8305 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30413/statm: 49258 8305 2541 9 0 43840 0 [pid=30413/tid=30414] ppid=30405 vsize=197032 CPUtime=3.75 /proc/30413/task/30414/stat : 30414 (java) R 30405 30405 29836 0 -1 64 3559 0 1 0 372 3 0 0 25 0 9 0 1995074382 201760768 8305 996147200 134512640 134550740 4294955968 18446744073709551615 4126636446 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30415] ppid=30405 vsize=197032 CPUtime=0.78 /proc/30413/task/30415/stat : 30415 (java) S 30405 30405 29836 0 -1 64 5108 0 0 0 71 7 0 0 16 0 9 0 1995074383 201760768 8305 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30416] ppid=30405 vsize=197032 CPUtime=0 /proc/30413/task/30416/stat : 30416 (java) S 30405 30405 29836 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1995074383 201760768 8305 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30417] ppid=30405 vsize=197032 CPUtime=0 /proc/30413/task/30417/stat : 30417 (java) S 30405 30405 29836 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995074383 201760768 8305 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30418] ppid=30405 vsize=197032 CPUtime=0 /proc/30413/task/30418/stat : 30418 (java) S 30405 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1995074385 201760768 8305 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30419] ppid=30405 vsize=197032 CPUtime=0.17 /proc/30413/task/30419/stat : 30419 (java) S 30405 30405 29836 0 -1 64 631 0 0 0 17 0 0 0 16 0 9 0 1995074385 201760768 8305 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30420] ppid=30405 vsize=197032 CPUtime=0 /proc/30413/task/30420/stat : 30420 (java) S 30405 30405 29836 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1995074385 201760768 8305 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30421] ppid=30405 vsize=197032 CPUtime=0 /proc/30413/task/30421/stat : 30421 (java) S 30405 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995074385 201760768 8305 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 202396 [startup+12.703 s] /proc/loadavg: 2.13 2.04 2.01 3/104 30433 /proc/meminfo: memFree=1455160/2055920 swapFree=4180456/4192956 [pid=30405] ppid=30403 vsize=5364 CPUtime=1.47 /proc/30405/stat : 30405 (hydra) S 30403 30405 29836 0 -1 4194304 381 1194 0 0 0 0 145 2 20 0 1 0 1995074229 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30405/statm: 1341 242 199 169 0 52 0 [pid=30413] ppid=30405 vsize=197356 CPUtime=6.24 /proc/30413/stat : 30413 (java) S 30405 30405 29836 0 -1 0 13912 0 1 0 606 18 0 0 18 0 10 0 1995074381 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30413/statm: 49339 9407 2544 9 0 43921 0 [pid=30423] ppid=30413 vsize=5356 CPUtime=0 /proc/30423/stat : 30423 (abscon) S 30413 30405 29836 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1995075023 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30423/statm: 1339 237 196 169 0 50 0 [pid=30424] ppid=30423 vsize=655904 CPUtime=4.75 /proc/30424/stat : 30424 (java) S 30423 30405 29836 0 -1 0 11249 0 1 0 466 9 0 0 18 0 9 0 1995075024 671645696 10566 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/30424/statm: 163976 10566 2611 9 0 158504 0 [pid=30424/tid=30426] ppid=30423 vsize=655904 CPUtime=4.47 /proc/30424/task/30426/stat : 30426 (java) R 30423 30405 29836 0 -1 64 8885 0 1 0 441 6 0 0 25 0 9 0 1995075024 671645696 10566 996147200 134512640 134550740 4294955808 18446744073709551615 4126825605 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30427] ppid=30423 vsize=655904 CPUtime=0.03 /proc/30424/task/30427/stat : 30427 (java) S 30423 30405 29836 0 -1 64 1157 0 0 0 3 0 0 0 16 0 9 0 1995075026 671645696 10566 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30428] ppid=30423 vsize=655904 CPUtime=0 /proc/30424/task/30428/stat : 30428 (java) S 30423 30405 29836 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1995075026 671645696 10566 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30429] ppid=30423 vsize=655904 CPUtime=0 /proc/30424/task/30429/stat : 30429 (java) S 30423 30405 29836 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1995075026 671645696 10566 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30430] ppid=30423 vsize=655904 CPUtime=0 /proc/30424/task/30430/stat : 30430 (java) S 30423 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995075028 671645696 10566 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30431] ppid=30423 vsize=655904 CPUtime=0.22 /proc/30424/task/30431/stat : 30431 (java) S 30423 30405 29836 0 -1 64 661 0 0 0 21 1 0 0 17 0 9 0 1995075028 671645696 10566 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30432] ppid=30423 vsize=655904 CPUtime=0 /proc/30424/task/30432/stat : 30432 (java) S 30423 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1995075028 671645696 10566 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30433] ppid=30423 vsize=655904 CPUtime=0 /proc/30424/task/30433/stat : 30433 (java) S 30423 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995075028 671645696 10566 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30425] ppid=30423 vsize=7044 CPUtime=0 /proc/30425/stat : 30425 (translate) S 30423 30405 29836 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1995075024 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 255236735058 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/30425/statm: 1761 213 182 1 0 41 0 [pid=30413/tid=30414] ppid=30405 vsize=197356 CPUtime=4.86 /proc/30413/task/30414/stat : 30414 (java) S 30405 30405 29836 0 -1 64 3861 0 1 0 479 7 0 0 25 0 10 0 1995074382 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=30413/tid=30415] ppid=30405 vsize=197356 CPUtime=1.12 /proc/30413/task/30415/stat : 30415 (java) S 30405 30405 29836 0 -1 64 8560 0 0 0 103 9 0 0 16 0 10 0 1995074383 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30416] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30416/stat : 30416 (java) S 30405 30405 29836 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995074383 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30417] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30417/stat : 30417 (java) S 30405 30405 29836 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995074383 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30418] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30418/stat : 30418 (java) S 30405 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1995074385 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30419] ppid=30405 vsize=197356 CPUtime=0.23 /proc/30413/task/30419/stat : 30419 (java) S 30405 30405 29836 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1995074385 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30420] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30420/stat : 30420 (java) S 30405 30405 29836 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1995074385 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30421] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30421/stat : 30421 (java) S 30405 30405 29836 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1995074385 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30422] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30422/stat : 30422 (java) S 30405 30405 29836 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1995075023 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.46 Current children cumulated vsize (KiB) 871024 [startup+25.5084 s] /proc/loadavg: 2.11 2.04 2.01 3/104 30433 /proc/meminfo: memFree=1454968/2055920 swapFree=4180456/4192956 [pid=30405] ppid=30403 vsize=5364 CPUtime=1.47 /proc/30405/stat : 30405 (hydra) S 30403 30405 29836 0 -1 4194304 381 1194 0 0 0 0 145 2 20 0 1 0 1995074229 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30405/statm: 1341 242 199 169 0 52 0 [pid=30413] ppid=30405 vsize=197356 CPUtime=6.24 /proc/30413/stat : 30413 (java) S 30405 30405 29836 0 -1 0 13912 0 1 0 606 18 0 0 18 0 10 0 1995074381 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30413/statm: 49339 9407 2544 9 0 43921 0 [pid=30423] ppid=30413 vsize=5356 CPUtime=0 /proc/30423/stat : 30423 (abscon) S 30413 30405 29836 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1995075023 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30423/statm: 1339 237 196 169 0 50 0 [pid=30424] ppid=30423 vsize=655904 CPUtime=17.55 /proc/30424/stat : 30424 (java) S 30423 30405 29836 0 -1 0 11253 0 1 0 1746 9 0 0 18 0 9 0 1995075024 671645696 10570 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/30424/statm: 163976 10570 2611 9 0 158504 0 [pid=30424/tid=30426] ppid=30423 vsize=655904 CPUtime=17.27 /proc/30424/task/30426/stat : 30426 (java) R 30423 30405 29836 0 -1 64 8888 0 1 0 1721 6 0 0 25 0 9 0 1995075024 671645696 10570 996147200 134512640 134550740 4294955808 18446744073709551615 4126891530 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30427] ppid=30423 vsize=655904 CPUtime=0.03 /proc/30424/task/30427/stat : 30427 (java) S 30423 30405 29836 0 -1 64 1157 0 0 0 3 0 0 0 16 0 9 0 1995075026 671645696 10570 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30428] ppid=30423 vsize=655904 CPUtime=0 /proc/30424/task/30428/stat : 30428 (java) S 30423 30405 29836 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1995075026 671645696 10570 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/30424/task/30429/stat : 30429 (java) S 30423 30405 29836 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1995075026 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30430] ppid=30423 vsize=655904 CPUtime=0 /proc/30424/task/30430/stat : 30430 (java) S 30423 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995075028 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30431] ppid=30423 vsize=655904 CPUtime=0.22 /proc/30424/task/30431/stat : 30431 (java) S 30423 30405 29836 0 -1 64 663 0 0 0 21 1 0 0 16 0 9 0 1995075028 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30432] ppid=30423 vsize=655904 CPUtime=0 /proc/30424/task/30432/stat : 30432 (java) S 30423 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1995075028 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30433] ppid=30423 vsize=655904 CPUtime=0 /proc/30424/task/30433/stat : 30433 (java) S 30423 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995075028 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30425] ppid=30423 vsize=7044 CPUtime=0 /proc/30425/stat : 30425 (translate) S 30423 30405 29836 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1995075024 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 255236735058 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/30425/statm: 1761 213 182 1 0 41 0 [pid=30413/tid=30414] ppid=30405 vsize=197356 CPUtime=4.86 /proc/30413/task/30414/stat : 30414 (java) S 30405 30405 29836 0 -1 64 3861 0 1 0 479 7 0 0 25 0 10 0 1995074382 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=30413/tid=30415] ppid=30405 vsize=197356 CPUtime=1.12 /proc/30413/task/30415/stat : 30415 (java) S 30405 30405 29836 0 -1 64 8560 0 0 0 103 9 0 0 16 0 10 0 1995074383 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30416] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30416/stat : 30416 (java) S 30405 30405 29836 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995074383 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30417] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30417/stat : 30417 (java) S 30405 30405 29836 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995074383 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30418] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30418/stat : 30418 (java) S 30405 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1995074385 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30419] ppid=30405 vsize=197356 CPUtime=0.23 /proc/30413/task/30419/stat : 30419 (java) S 30405 30405 29836 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1995074385 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30420] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30420/stat : 30420 (java) S 30405 30405 29836 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1995074385 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30421] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30421/stat : 30421 (java) S 30405 30405 29836 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1995074385 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30422] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30422/stat : 30422 (java) S 30405 30405 29836 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1995075023 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 167.78 Current children cumulated vsize (KiB) 871024 [startup+169.702 s] /proc/loadavg: 2.01 2.02 2.00 3/104 30433 /proc/meminfo: memFree=1454776/2055920 swapFree=4180456/4192956 [pid=30405] ppid=30403 vsize=5364 CPUtime=1.47 /proc/30405/stat : 30405 (hydra) S 30403 30405 29836 0 -1 4194304 381 1194 0 0 0 0 145 2 20 0 1 0 1995074229 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30405/statm: 1341 242 199 169 0 52 0 [pid=30413] ppid=30405 vsize=197356 CPUtime=6.24 /proc/30413/stat : 30413 (java) S 30405 30405 29836 0 -1 0 13912 0 1 0 606 18 0 0 18 0 10 0 1995074381 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30413/statm: 49339 9407 2544 9 0 43921 0 [pid=30423] ppid=30413 vsize=5356 CPUtime=0 /proc/30423/stat : 30423 (abscon) S 30413 30405 29836 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1995075023 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30423/statm: 1339 237 196 169 0 50 0 [pid=30424] ppid=30423 vsize=655904 CPUtime=161.67 /proc/30424/stat : 30424 (java) S 30423 30405 29836 0 -1 0 11259 0 1 0 16158 9 0 0 18 0 9 0 1995075024 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/30424/statm: 163976 10576 2611 9 0 158504 0 [pid=30424/tid=30426] ppid=30423 vsize=655904 CPUtime=161.39 /proc/30424/task/30426/stat : 30426 (java) R 30423 30405 29836 0 -1 64 8893 0 1 0 16133 6 0 0 25 0 9 0 1995075024 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4126840083 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30427] ppid=30423 vsize=655904 CPUtime=0.03 /proc/30424/task/30427/stat : 30427 (java) S 30423 30405 29836 0 -1 64 1157 0 0 0 3 0 0 0 16 0 9 0 1995075026 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30428] ppid=30423 vsize=655904 CPUtime=0 /proc/30424/task/30428/stat : 30428 (java) S 30423 30405 29836 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1995075026 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30429] ppid=30423 vsize=655904 CPUtime=0 /proc/30424/task/30429/stat : 30429 (java) S 30423 30405 29836 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1995075026 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30430] ppid=30423 vsize=655904 CPUtime=0 /proc/30424/task/30430/stat : 30430 (java) S 30423 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995075028 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30431] ppid=30423 vsize=655904 CPUtime=0.22 /proc/30424/task/30431/stat : 30431 (java) S 30423 30405 29836 0 -1 64 663 0 0 0 21 1 0 0 16 0 9 0 1995075028 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30432] ppid=30423 vsize=655904 CPUtime=0 /proc/30424/task/30432/stat : 30432 (java) S 30423 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1995075028 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30433] ppid=30423 vsize=655904 CPUtime=0 /proc/30424/task/30433/stat : 30433 (java) S 30423 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995075028 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30425] ppid=30423 vsize=7044 CPUtime=0 /proc/30425/stat : 30425 (translate) S 30423 30405 29836 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1995075024 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 255236735058 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/30425/statm: 1761 213 182 1 0 41 0 [pid=30413/tid=30414] ppid=30405 vsize=197356 CPUtime=4.86 /proc/30413/task/30414/stat : 30414 (java) S 30405 30405 29836 0 -1 64 3861 0 1 0 479 7 0 0 25 0 10 0 1995074382 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=30413/tid=30415] ppid=30405 vsize=197356 CPUtime=1.12 /proc/30413/task/30415/stat : 30415 (java) S 30405 30405 29836 0 -1 64 8560 0 0 0 103 9 0 0 16 0 10 0 1995074383 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30416] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30416/stat : 30416 (java) S 30405 30405 29836 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995074383 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30417] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30417/stat : 30417 (java) S 30405 30405 29836 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995074383 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30418] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30418/stat : 30418 (java) S 30405 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1995074385 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30419] ppid=30405 vsize=197356 CPUtime=0.23 /proc/30413/task/30419/stat : 30419 (java) S 30405 30405 29836 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1995074385 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30420] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30420/stat : 30420 (java) S 30405 30405 29836 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1995074385 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30421] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30421/stat : 30421 (java) S 30405 30405 29836 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1995074385 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30422] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30422/stat : 30422 (java) S 30405 30405 29836 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1995075023 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 169.38 Current children cumulated vsize (KiB) 871024 [startup+170.103 s] /proc/loadavg: 2.01 2.02 2.00 3/104 30433 /proc/meminfo: memFree=1454776/2055920 swapFree=4180456/4192956 [pid=30405] ppid=30403 vsize=5364 CPUtime=1.47 /proc/30405/stat : 30405 (hydra) S 30403 30405 29836 0 -1 4194304 381 1194 0 0 0 0 145 2 20 0 1 0 1995074229 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30405/statm: 1341 242 199 169 0 52 0 [pid=30413] ppid=30405 vsize=197356 CPUtime=6.24 /proc/30413/stat : 30413 (java) S 30405 30405 29836 0 -1 0 13912 0 1 0 606 18 0 0 18 0 10 0 1995074381 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30413/statm: 49339 9407 2544 9 0 43921 0 [pid=30423] ppid=30413 vsize=5356 CPUtime=0 /proc/30423/stat : 30423 (abscon) S 30413 30405 29836 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1995075023 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30423/statm: 1339 237 196 169 0 50 0 [pid=30424] ppid=30423 vsize=655904 CPUtime=162.07 /proc/30424/stat : 30424 (java) S 30423 30405 29836 0 -1 0 11259 0 1 0 16198 9 0 0 18 0 9 0 1995075024 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/30424/statm: 163976 10576 2611 9 0 158504 0 [pid=30424/tid=30426] ppid=30423 vsize=655904 CPUtime=161.79 /proc/30424/task/30426/stat : 30426 (java) R 30423 30405 29836 0 -1 64 8893 0 1 0 16173 6 0 0 25 0 9 0 1995075024 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4126601370 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30427] ppid=30423 vsize=655904 CPUtime=0.03 /proc/30424/task/30427/stat : 30427 (java) S 30423 30405 29836 0 -1 64 1157 0 0 0 3 0 0 0 16 0 9 0 1995075026 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30428] ppid=30423 vsize=655904 CPUtime=0 /proc/30424/task/30428/stat : 30428 (java) S 30423 30405 29836 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1995075026 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30429] ppid=30423 vsize=655904 CPUtime=0 /proc/30424/task/30429/stat : 30429 (java) S 30423 30405 29836 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1995075026 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30430] ppid=30423 vsize=655904 CPUtime=0 /proc/30424/task/30430/stat : 30430 (java) S 30423 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995075028 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30431] ppid=30423 vsize=655904 CPUtime=0.22 /proc/30424/task/30431/stat : 30431 (java) S 30423 30405 29836 0 -1 64 663 0 0 0 21 1 0 0 16 0 9 0 1995075028 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30432] ppid=30423 vsize=655904 CPUtime=0 /proc/30424/task/30432/stat : 30432 (java) S 30423 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1995075028 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30424/tid=30433] ppid=30423 vsize=655904 CPUtime=0 /proc/30424/task/30433/stat : 30433 (java) S 30423 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995075028 671645696 10576 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30425] ppid=30423 vsize=7044 CPUtime=0 /proc/30425/stat : 30425 (translate) S 30423 30405 29836 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1995075024 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 255236735058 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/30425/statm: 1761 213 182 1 0 41 0 [pid=30413/tid=30414] ppid=30405 vsize=197356 CPUtime=4.86 /proc/30413/task/30414/stat : 30414 (java) S 30405 30405 29836 0 -1 64 3861 0 1 0 479 7 0 0 25 0 10 0 1995074382 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=30413/tid=30415] ppid=30405 vsize=197356 CPUtime=1.12 /proc/30413/task/30415/stat : 30415 (java) S 30405 30405 29836 0 -1 64 8560 0 0 0 103 9 0 0 16 0 10 0 1995074383 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30416] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30416/stat : 30416 (java) S 30405 30405 29836 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995074383 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30417] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30417/stat : 30417 (java) S 30405 30405 29836 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995074383 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30418] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30418/stat : 30418 (java) S 30405 30405 29836 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1995074385 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30419] ppid=30405 vsize=197356 CPUtime=0.23 /proc/30413/task/30419/stat : 30419 (java) S 30405 30405 29836 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1995074385 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30420] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30420/stat : 30420 (java) S 30405 30405 29836 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1995074385 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30421] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30421/stat : 30421 (java) S 30405 30405 29836 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1995074385 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30422] ppid=30405 vsize=197356 CPUtime=0 /proc/30413/task/30422/stat : 30422 (java) S 30405 30405 29836 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1995075023 202092544 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 169.78 Current children cumulated vsize (KiB) 871024 [startup+170.503 s] /proc/loadavg: 2.01 2.02 2.00 3/104 30433 /proc/meminfo: memFree=1454776/2055920 swapFree=4180456/4192956 [pid=30405] ppid=30403 vsize=5364 CPUtime=1.47 /proc/30405/stat : 30405 (hydra) S 30403 30405 29836 0 -1 4194304 381 1194 0 0 0 0 145 2 20 0 1 0 1995074229 5492736 242 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30405/statm: 1341 242 199 169 0 52 0 [pid=30413] ppid=30405 vsize=197356 CPUtime=168.7 /proc/30413/stat : 30413 (java) S 30405 30405 29836 0 -1 0 13978 11966 1 1 606 18 16235 11 18 0 9 0 1995074381 202092544 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30413/statm: 49339 9409 2545 9 0 43921 0 [pid=30413/tid=30414] ppid=30405 vsize=197356 CPUtime=167.32 /proc/30413/task/30414/stat : 30414 (java) S 30405 30405 29836 0 -1 64 3908 11966 1 1 479 7 16235 11 16 0 9 0 1995074382 202092544 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30413/tid=30415] ppid=30405 vsize=197356 CPUtime=163.58 /proc/30413/task/30415/stat : 30415 (java) S 30405 30405 29836 0 -1 64 8570 11966 0 1 103 9 16235 11 16 0 9 0 1995074383 202092544 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30413/tid=30416] ppid=30405 vsize=197356 CPUtime=162.46 /proc/30413/task/30416/stat : 30416 (java) S 30405 30405 29836 0 -1 64 11 11966 0 1 0 0 16235 11 16 0 9 0 1995074383 202092544 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30417] ppid=30405 vsize=197356 CPUtime=162.46 /proc/30413/task/30417/stat : 30417 (java) S 30405 30405 29836 0 -1 64 5 11966 0 1 0 0 16235 11 15 0 9 0 1995074383 202092544 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30418] ppid=30405 vsize=197356 CPUtime=162.46 /proc/30413/task/30418/stat : 30418 (java) S 30405 30405 29836 0 -1 64 1 11966 0 1 0 0 16235 11 18 0 9 0 1995074385 202092544 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30419] ppid=30405 vsize=197356 CPUtime=162.69 /proc/30413/task/30419/stat : 30419 (java) S 30405 30405 29836 0 -1 64 667 11966 0 1 23 0 16235 11 16 0 9 0 1995074385 202092544 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30420] ppid=30405 vsize=197356 CPUtime=162.46 /proc/30413/task/30420/stat : 30420 (java) S 30405 30405 29836 0 -1 64 0 11966 0 1 0 0 16235 11 19 0 9 0 1995074385 202092544 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30413/tid=30421] ppid=30405 vsize=197356 CPUtime=162.46 /proc/30413/task/30421/stat : 30421 (java) S 30405 30405 29836 0 -1 64 30 11966 0 1 0 0 16235 11 15 0 9 0 1995074385 202092544 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 170.17 Current children cumulated vsize (KiB) 202720 Child status: 0 Real time (s): 170.522 CPU time (s): 170.211 CPU user time (s): 169.874 CPU system time (s): 0.336948 CPU usage (%): 99.8174 Max. virtual memory (cumulated for all children) (KiB): 871024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 169.874 system time used= 0.336948 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27561 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= 17056 involuntary context switches= 22481 runsolver used 0.504923 second user time and 1.9997 second system time The end
Begin job on node19 at 2008-07-04 10:43:18 IDJOB=1069589 IDBENCH=55650 IDSOLVER=366 FILE ID=node19/1069589-1215160998 PBS_JOBID= 7877466 Free space on /tmp= 66536 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudoGLB/normalized-t2001-13queen13-1110977464.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1069589-1215160998/watcher-1069589-1215160998 -o /tmp/evaluation-result-1069589-1215160998/solver-1069589-1215160998 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1069589-1215160998.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 545616d183b6024cdf1a16b74b2f17e6 RANDOM SEED=1901683503 node19.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1517136 kB Buffers: 87836 kB Cached: 283092 kB SwapCached: 6540 kB Active: 339804 kB Inactive: 127920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1517136 kB SwapTotal: 4192956 kB SwapFree: 4180456 kB Dirty: 24312 kB Writeback: 0 kB Mapped: 110304 kB Slab: 55928 kB Committed_AS: 3976624 kB PageTables: 2116 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66512 MiB End job on node19 at 2008-07-04 10:46:09