0.00/0.00 c cpHydra_k_10 version 0.0
7.29/7.41 c CASE TO CLASSIFY:
7.29/7.41 c Case: 0
7.29/7.42 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.445700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.597840 | c 14 > 13.447100 | c 11 > 7.357550 | c 12 > 10.268600 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.259700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.292320 | c 31 > -1.000000 | c 4 > 7.357550 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.29/7.43 c choco : 1801.0
7.29/7.43 c mistral : 1801.0
7.29/7.43 c abscon : 1801.0
7.29/7.43 c
7.29/7.43 c
7.39/7.50 c List of same ones: 10
7.39/7.50 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-0_ext.xml
7.39/7.50 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.669500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.482750 | c 14 > 12.969600 | c 11 > 7.366320 | c 12 > 9.963750 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.277300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.333160 | c 31 > -1.000000 | c 4 > 7.366320 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.51 c choco : 5.75
7.39/7.51 c mistral : 3.82342
7.39/7.51 c abscon : 4.02439
7.39/7.51 c
7.39/7.51 c
7.39/7.51 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-4_ext.xml
7.39/7.51 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.448200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.026000 | c 14 > 12.641100 | c 11 > 7.357550 | c 12 > 10.169500 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.258600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.285400 | c 31 > -1.000000 | c 4 > 7.357550 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.52 c choco : 3.46
7.39/7.52 c mistral : 0.866867
7.39/7.52 c abscon : 2.79157
7.39/7.52 c
7.39/7.52 c
7.39/7.52 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-8_ext.xml
7.39/7.52 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.339600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.710560 | c 14 > 12.598100 | c 11 > 7.375040 | c 12 > 10.069300 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.292300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.379380 | c 31 > -1.000000 | c 4 > 7.375040 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.53 c choco : 4.36
7.39/7.53 c mistral : 5.2462
7.39/7.53 c abscon : 3.13152
7.39/7.53 c
7.39/7.53 c
7.39/7.53 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-2_ext.xml
7.39/7.53 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.360300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.688240 | c 14 > 12.720700 | c 11 > 7.375040 | c 12 > 9.720130 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.294600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.394460 | c 31 > -1.000000 | c 4 > 7.375040 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.54 c choco : 3.51
7.39/7.54 c mistral : 194.737
7.39/7.54 c abscon : 98.2651
7.39/7.54 c
7.39/7.54 c
7.39/7.54 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-7_ext.xml
7.39/7.54 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.560400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.527600 | c 14 > 12.829100 | c 11 > 7.366320 | c 12 > 10.625800 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.277300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.317410 | c 31 > -1.000000 | c 4 > 7.366320 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.55 c choco : 3.32
7.39/7.55 c mistral : 4.6143
7.39/7.55 c abscon : 17.1644
7.39/7.55 c
7.39/7.55 c
7.39/7.55 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-1_ext.xml
7.39/7.55 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.385400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.526330 | c 14 > 12.502600 | c 11 > 7.366320 | c 12 > 9.828910 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.276100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.296920 | c 31 > -1.000000 | c 4 > 7.366320 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.56 c choco : 3.07
7.39/7.56 c mistral : 12.918
7.39/7.56 c abscon : 9.75252
7.39/7.56 c
7.39/7.56 c
7.39/7.56 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-9_ext.xml
7.39/7.56 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.483000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.065500 | c 14 > 12.740000 | c 11 > 7.539160 | c 12 > 9.816720 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.633900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.665340 | c 31 > -1.000000 | c 4 > 7.539160 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.57 c choco : 6.82
7.39/7.57 c mistral : 35.2046
7.39/7.57 c abscon : 43.8483
7.39/7.57 c
7.39/7.57 c
7.39/7.57 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-9_ext.xml
7.39/7.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.436000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.204200 | c 14 > 12.550000 | c 11 > 7.357550 | c 12 > 10.531900 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.259700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.236010 | c 31 > -1.000000 | c 4 > 7.357550 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.58 c choco : 2.8
7.39/7.58 c mistral : 2.81857
7.39/7.58 c abscon : 3.75643
7.39/7.58 c
7.39/7.58 c
7.39/7.58 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-4_ext.xml
7.39/7.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.441700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.901420 | c 14 > 12.433600 | c 11 > 7.539160 | c 12 > 10.068900 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.634800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.638440 | c 31 > -1.000000 | c 4 > 7.539160 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.58 c choco : 42.96
7.39/7.58 c mistral : 1800.02
7.39/7.58 c abscon : 1800.1
7.39/7.58 c
7.39/7.58 c
7.39/7.58 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-5_ext.xml
7.39/7.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.348600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.328700 | c 14 > 12.777300 | c 11 > 7.546890 | c 12 > 10.061000 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.645700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.726220 | c 31 > -1.000000 | c 4 > 7.546890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.59 c choco : 6.84
7.39/7.59 c mistral : 193.235
7.39/7.59 c abscon : 52.387
7.39/7.59 c
7.39/7.59 c
7.57/7.79 c Length: 10
7.57/7.79 c 0.9689186818304206 1.3556670468813494 1.4163115837272513 1.4237289105373958 1.4692918979903196 1.4883552203691153 1.4904172877083777 1.5048098403785104 1.587522989408341 1.6324845076447108
7.57/7.79 c
7.57/7.79 c 1.0 0.6317784064858378 0.5972911587646621 0.5933297866417013 0.5701035895220061 0.5609167367786385 0.5599407155159758 0.5532218616135163 0.5175333666981526 0.5
7.57/7.79 c
7.57/7.79 c solver 0
7.57/7.79 c before 0.0 seconds: {} 0
7.57/7.79 c before 18.0 seconds: {0, 1, 2, 4, 5, 7} 3913
7.57/7.79 c before 54.0 seconds: {0, 1, 2, 4, 5, 6, 7, 9} 4973
7.57/7.79 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 5566
7.57/7.79 c
7.57/7.79 c solver 1
7.57/7.79 c before 0.0 seconds: {} 0
7.57/7.79 c before 18.0 seconds: {0, 1, 2, 4, 5, 7} 3913
7.57/7.79 c before 36.0 seconds: {0, 1, 2, 4, 5, 6, 7} 4473
7.57/7.79 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 5566
7.57/7.79 c
7.57/7.79 c solver 2
7.57/7.79 c before 0.0 seconds: {} 0
7.57/7.79 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 5566
7.57/7.79 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6084
7.57/7.79 c
7.57/7.79 cTotal time: 20
7.57/7.79 c 360.0 seconds unused
7.57/7.79 c 0 c 0 c 0
7.57/7.79 c 0 c 0 c 0
7.57/7.79 c 1 c 1 c 0
7.57/7.79 c is solver0 dominated by:
7.57/7.79 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.57/7.79 c solver 2 (0 solves instances that 2 can't: false) (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.57/7.79 c is dominated? true
7.57/7.79 c
7.57/7.79 c is solver1 dominated by:
7.57/7.79 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.57/7.79 c is dominated? true
7.57/7.79 c
7.57/7.79 c is solver2 dominated by:
7.57/7.79 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.57/7.79 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: true) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
7.57/7.79 c is dominated? false
7.57/7.79 c
7.57/7.79 c Number of non-dominated solvers: 1
7.57/7.79 c remove dominated solvers
7.57/7.79 c solver 2 is not dominated by another solver
7.57/7.79 c solver 1 is dominated by another solver
7.57/7.79 c solver 0 is dominated by another solver
7.57/7.80 c
7.57/7.80 c solver 0: 0.0
7.57/7.80 c
7.57/7.80 c solver 1: 0.0
7.57/7.80 c
7.57/7.80 c solver 2: 54.0
7.57/7.80 c
7.57/7.80 c+ 3/3 of 97
7.66/7.80 c do not run abscon
7.66/7.80 c do not run mistral
7.66/7.80 c run choco for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6084
7.66/7.80 c Starting solver: HOME/cpHydra_k_10/solver/choco
7.66/7.80 c On Instance: HOME/instance-1045482-1215022033.xml
7.66/7.80 c Running for: 1800 seconds
10.30/10.58 s SATISFIABLE
10.30/10.58 v 12 11 8 15 6 2 10 19 9 0 7 14 5 1 18 13 3 16 17 4 8 4 7 14 17 12 18 9 19 16 0 10 1 15 13 11 5 3 2 6 2 18 3 4 0 9 16 13 10 17 12 6 15 8 7 1 19 5 14 11 11 14 18 17 3 10 7 1 13 4 15 0 2 9 16 19 12 8 6 5 18 3 12 5 15 0 8 6 14 10 13 17 4 2 9 16 7 19 11 1 17 6 0 3 4 14 19 8 2 13 1 16 10 12 11 5 18 15 9 7 13 15 5 16 8 11 12 4 0 2 17 18 6 3 14 9 10 7 1 19 1 13 10 6 14 5 9 18 3 8 16 2 0 7 12 15 4 11 19 17 15 16 1 9 18 19 0 5 4 7 6 12 17 14 8 10 11 13 3 2 9 1 19 12 11 7 2 0 6 15 3 5 18 13 4 17 14 10 16 8 19 0 15 8 10 18 17 14 11 12 9 3 7 4 1 2 16 6 5 13 3 19 11 2 13 6 5 10 15 1 18 4 9 16 0 12 8 17 7 14 0 10 16 19 1 8 14 17 5 9 4 7 11 18 3 6 15 2 13 12 7 5 4 1 9 17 13 12 16 6 19 15 8 11 2 3 0 14 10 18 5 8 17 7 16 1 4 3 18 11 2 13 19 6 10 14 9 12 0 15 14 17 9 10 2 13 15 16 7 18 11 8 12 19 5 0 6 1 4 3 6 12 2 11 5 16 3 15 1 19 8 9 14 0 17 7 13 4 18 10 10 7 13 18 12 3 1 11 8 14 5 19 16 17 6 4 2 0 15 9 16 2 6 13 19 4 11 7 12 5 14 1 3 10 15 18 17 9 8 0 4 9 14 0 7 15 6 2 17 3 10 11 13 5 19 8 1 18 12 16
10.30/10.58 d ASSIGNMENTS 66
10.30/10.58 c SAT 2648 TIME 66 NDS 660 PARSTIME 333 BUILDPB 1655 RES null RESTART 1 HEURISTIC
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1045482-1215022033/watcher-1045482-1215022033 -o /tmp/evaluation-result-1045482-1215022033/solver-1045482-1215022033 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1045482-1215022033.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.00 2.02 1.91 4/80 988
/proc/meminfo: memFree=1769288/2055920 swapFree=4180416/4192956
[pid=988] ppid=986 vsize=18572 CPUtime=0
/proc/988/stat : 988 (runsolver) R 986 988 32713 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1981175227 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 235371293991 0 0 4096 24578 0 0 0 17 1 0 0
/proc/988/statm: 4643 292 257 25 0 2626 0
[startup+0.098042 s]
/proc/loadavg: 2.00 2.02 1.91 4/80 988
/proc/meminfo: memFree=1769288/2055920 swapFree=4180416/4192956
[pid=988] ppid=986 vsize=5360 CPUtime=0
/proc/988/stat : 988 (hydra) S 986 988 32713 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981175227 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/988/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101036 s]
/proc/loadavg: 2.00 2.02 1.91 4/80 988
/proc/meminfo: memFree=1769288/2055920 swapFree=4180416/4192956
[pid=988] ppid=986 vsize=5360 CPUtime=0
/proc/988/stat : 988 (hydra) S 986 988 32713 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981175227 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/988/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.30107 s]
/proc/loadavg: 2.00 2.02 1.91 4/80 988
/proc/meminfo: memFree=1769288/2055920 swapFree=4180416/4192956
[pid=988] ppid=986 vsize=5360 CPUtime=0
/proc/988/stat : 988 (hydra) S 986 988 32713 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981175227 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/988/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701137 s]
/proc/loadavg: 2.00 2.02 1.91 4/80 988
/proc/meminfo: memFree=1769288/2055920 swapFree=4180416/4192956
[pid=988] ppid=986 vsize=5360 CPUtime=0
/proc/988/stat : 988 (hydra) S 986 988 32713 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981175227 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/988/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50127 s]
/proc/loadavg: 2.00 2.02 1.91 3/82 992
/proc/meminfo: memFree=1766712/2055920 swapFree=4180416/4192956
[pid=988] ppid=986 vsize=5360 CPUtime=0
/proc/988/stat : 988 (hydra) S 986 988 32713 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981175227 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/988/statm: 1340 236 195 169 0 51 0
[pid=992] ppid=988 vsize=6728 CPUtime=1.47
/proc/992/stat : 992 (xsolve) R 988 988 32713 0 -1 4194304 1031 0 0 0 146 1 0 0 25 0 1 0 1981175228 6889472 990 996147200 134512640 135239763 4294956176 18446744073709551615 134821584 0 0 4096 0 0 0 0 17 1 0 0
/proc/992/statm: 1682 990 423 177 0 585 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12088
[startup+3.10255 s]
/proc/loadavg: 2.00 2.02 1.91 4/90 1004
/proc/meminfo: memFree=1762104/2055920 swapFree=4180416/4192956
[pid=988] ppid=986 vsize=5360 CPUtime=1.57
/proc/988/stat : 988 (hydra) S 986 988 32713 0 -1 4194304 375 1627 0 0 0 0 155 2 19 0 1 0 1981175227 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/988/statm: 1340 238 196 169 0 51 0
[pid=996] ppid=988 vsize=196996 CPUtime=1.48
/proc/996/stat : 996 (java) S 988 988 32713 0 -1 0 5079 0 1 0 144 4 0 0 18 0 9 0 1981175386 201723904 4257 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/996/statm: 49249 4257 1678 9 0 43832 0
[pid=996/tid=997] ppid=988 vsize=196996 CPUtime=1.18
/proc/996/task/997/stat : 997 (java) R 988 988 32713 0 -1 64 2748 0 1 0 116 2 0 0 25 0 9 0 1981175387 201723904 4257 996147200 134512640 134550740 4294955968 18446744073709551615 4126592287 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=998] ppid=988 vsize=196996 CPUtime=0.13
/proc/996/task/998/stat : 998 (java) S 988 988 32713 0 -1 64 990 0 0 0 12 1 0 0 16 0 9 0 1981175388 201723904 4257 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=999] ppid=988 vsize=196996 CPUtime=0
/proc/996/task/999/stat : 999 (java) S 988 988 32713 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981175389 201723904 4257 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1000] ppid=988 vsize=196996 CPUtime=0
/proc/996/task/1000/stat : 1000 (java) S 988 988 32713 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1981175389 201723904 4257 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1001] ppid=988 vsize=196996 CPUtime=0
/proc/996/task/1001/stat : 1001 (java) S 988 988 32713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981175391 201723904 4257 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1002] ppid=988 vsize=196996 CPUtime=0.15
/proc/996/task/1002/stat : 1002 (java) S 988 988 32713 0 -1 64 617 0 0 0 15 0 0 0 16 0 9 0 1981175391 201723904 4257 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1003] ppid=988 vsize=196996 CPUtime=0
/proc/996/task/1003/stat : 1003 (java) S 988 988 32713 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1981175391 201723904 4257 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1004] ppid=988 vsize=196996 CPUtime=0
/proc/996/task/1004/stat : 1004 (java) S 988 988 32713 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981175391 201723904 4257 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 202356
[startup+6.3021 s]
/proc/loadavg: 2.08 2.03 1.91 3/90 1004
/proc/meminfo: memFree=1749176/2055920 swapFree=4180416/4192956
[pid=988] ppid=986 vsize=5360 CPUtime=1.57
/proc/988/stat : 988 (hydra) S 986 988 32713 0 -1 4194304 375 1627 0 0 0 0 155 2 19 0 1 0 1981175227 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/988/statm: 1340 238 196 169 0 51 0
[pid=996] ppid=988 vsize=197108 CPUtime=4.63
/proc/996/stat : 996 (java) S 988 988 32713 0 -1 0 9912 0 1 0 450 13 0 0 18 0 9 0 1981175386 201838592 8217 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/996/statm: 49277 8217 2540 9 0 43860 0
[pid=996/tid=997] ppid=988 vsize=197108 CPUtime=3.7
/proc/996/task/997/stat : 997 (java) R 988 988 32713 0 -1 64 3537 0 1 0 365 5 0 0 25 0 9 0 1981175387 201838592 8217 996147200 134512640 134550740 4294955968 18446744073709551615 4126519551 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=998] ppid=988 vsize=197108 CPUtime=0.74
/proc/996/task/998/stat : 998 (java) S 988 988 32713 0 -1 64 5018 0 0 0 67 7 0 0 16 0 9 0 1981175388 201838592 8217 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=999] ppid=988 vsize=197108 CPUtime=0
/proc/996/task/999/stat : 999 (java) S 988 988 32713 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981175389 201838592 8217 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1000] ppid=988 vsize=197108 CPUtime=0
/proc/996/task/1000/stat : 1000 (java) S 988 988 32713 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981175389 201838592 8217 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1001] ppid=988 vsize=197108 CPUtime=0
/proc/996/task/1001/stat : 1001 (java) S 988 988 32713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981175391 201838592 8217 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1002] ppid=988 vsize=197108 CPUtime=0.17
/proc/996/task/1002/stat : 1002 (java) S 988 988 32713 0 -1 64 633 0 0 0 17 0 0 0 16 0 9 0 1981175391 201838592 8217 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1003] ppid=988 vsize=197108 CPUtime=0
/proc/996/task/1003/stat : 1003 (java) S 988 988 32713 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1981175391 201838592 8217 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1004] ppid=988 vsize=197108 CPUtime=0
/proc/996/task/1004/stat : 1004 (java) S 988 988 32713 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981175391 201838592 8217 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) 202468
Solver just ended. Dumping a history of the last processes samples
[startup+7.90237 s]
/proc/loadavg: 2.08 2.03 1.91 4/90 1004
/proc/meminfo: memFree=1741304/2055920 swapFree=4180416/4192956
[pid=988] ppid=986 vsize=5360 CPUtime=1.57
/proc/988/stat : 988 (hydra) S 986 988 32713 0 -1 4194304 375 1627 0 0 0 0 155 2 19 0 1 0 1981175227 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/988/statm: 1340 238 196 169 0 51 0
[pid=996] ppid=988 vsize=197432 CPUtime=6.1
/proc/996/stat : 996 (java) S 988 988 32713 0 -1 0 13839 0 1 0 593 17 0 0 18 0 10 0 1981175386 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/996/statm: 49358 9393 2543 9 0 43941 0
[pid=996/tid=997] ppid=988 vsize=197432 CPUtime=4.77
/proc/996/task/997/stat : 997 (java) S 988 988 32713 0 -1 64 3856 0 1 0 471 6 0 0 25 0 10 0 1981175387 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=996/tid=998] ppid=988 vsize=197432 CPUtime=1.09
/proc/996/task/998/stat : 998 (java) S 988 988 32713 0 -1 64 8533 0 0 0 100 9 0 0 16 0 10 0 1981175388 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=999] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/999/stat : 999 (java) S 988 988 32713 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981175389 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1000] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/1000/stat : 1000 (java) S 988 988 32713 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1981175389 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1001] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/1001/stat : 1001 (java) S 988 988 32713 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981175391 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1002] ppid=988 vsize=197432 CPUtime=0.21
/proc/996/task/1002/stat : 1002 (java) S 988 988 32713 0 -1 64 649 0 0 0 21 0 0 0 16 0 10 0 1981175391 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1003] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/1003/stat : 1003 (java) S 988 988 32713 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1981175391 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1004] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/1004/stat : 1004 (java) S 988 988 32713 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1981175391 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (KiB) 202792
[startup+9.50264 s]
/proc/loadavg: 2.08 2.03 1.91 4/101 1015
/proc/meminfo: memFree=1721056/2055920 swapFree=4180416/4192956
[pid=988] ppid=986 vsize=5360 CPUtime=1.57
/proc/988/stat : 988 (hydra) S 986 988 32713 0 -1 4194304 375 1627 0 0 0 0 155 2 19 0 1 0 1981175227 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/988/statm: 1340 238 196 169 0 51 0
[pid=996] ppid=988 vsize=197432 CPUtime=6.1
/proc/996/stat : 996 (java) S 988 988 32713 0 -1 0 13873 0 1 0 593 17 0 0 18 0 10 0 1981175386 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/996/statm: 49358 9393 2543 9 0 43941 0
[pid=1006] ppid=996 vsize=5356 CPUtime=0
/proc/1006/stat : 1006 (choco) S 996 988 32713 0 -1 4194304 295 0 0 0 0 0 0 0 25 0 1 0 1981176007 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 235371291460 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/1006/statm: 1339 238 197 169 0 50 0
[pid=1007] ppid=1006 vsize=655616 CPUtime=1.65
/proc/1007/stat : 1007 (java) S 1006 988 32713 0 -1 0 14974 0 1 0 158 7 0 0 18 0 9 0 1981176008 671350784 14562 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1007/statm: 163904 14562 1910 9 0 158433 0
[pid=1007/tid=1008] ppid=1006 vsize=655616 CPUtime=1.32
/proc/1007/task/1008/stat : 1008 (java) R 1006 988 32713 0 -1 64 12062 0 1 0 126 6 0 0 25 0 9 0 1981176009 671350784 14562 996147200 134512640 134550740 4294955936 18446744073709551615 4126988185 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1009] ppid=1006 vsize=655616 CPUtime=0.04
/proc/1007/task/1009/stat : 1009 (java) S 1006 988 32713 0 -1 64 1744 0 0 0 4 0 0 0 16 0 9 0 1981176010 671350784 14562 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1010] ppid=1006 vsize=655616 CPUtime=0
/proc/1007/task/1010/stat : 1010 (java) S 1006 988 32713 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1981176010 671350784 14562 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1011] ppid=1006 vsize=655616 CPUtime=0
/proc/1007/task/1011/stat : 1011 (java) S 1006 988 32713 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981176010 671350784 14562 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1012] ppid=1006 vsize=655616 CPUtime=0
/proc/1007/task/1012/stat : 1012 (java) S 1006 988 32713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981176012 671350784 14562 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1013] ppid=1006 vsize=655616 CPUtime=0.27
/proc/1007/task/1013/stat : 1013 (java) S 1006 988 32713 0 -1 64 621 0 0 0 27 0 0 0 15 0 9 0 1981176012 671350784 14562 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1014] ppid=1006 vsize=655616 CPUtime=0
/proc/1007/task/1014/stat : 1014 (java) S 1006 988 32713 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1981176012 671350784 14562 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1015] ppid=1006 vsize=655616 CPUtime=0
/proc/1007/task/1015/stat : 1015 (java) S 1006 988 32713 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981176012 671350784 14562 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=997] ppid=988 vsize=197432 CPUtime=4.77
/proc/996/task/997/stat : 997 (java) S 988 988 32713 0 -1 64 3856 0 1 0 471 6 0 0 25 0 10 0 1981175387 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=996/tid=998] ppid=988 vsize=197432 CPUtime=1.09
/proc/996/task/998/stat : 998 (java) S 988 988 32713 0 -1 64 8567 0 0 0 100 9 0 0 16 0 10 0 1981175388 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=999] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/999/stat : 999 (java) S 988 988 32713 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981175389 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1000] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/1000/stat : 1000 (java) S 988 988 32713 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1981175389 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1001] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/1001/stat : 1001 (java) S 988 988 32713 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981175391 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1002] ppid=988 vsize=197432 CPUtime=0.21
/proc/996/task/1002/stat : 1002 (java) S 988 988 32713 0 -1 64 649 0 0 0 21 0 0 0 16 0 10 0 1981175391 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1003] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/1003/stat : 1003 (java) S 988 988 32713 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1981175391 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1004] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/1004/stat : 1004 (java) S 988 988 32713 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1981175391 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1005] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/1005/stat : 1005 (java) S 988 988 32713 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1981176007 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.32
Current children cumulated vsize (KiB) 863764
[startup+10.3028 s]
/proc/loadavg: 2.07 2.03 1.91 3/101 1015
/proc/meminfo: memFree=1685408/2055920 swapFree=4180416/4192956
[pid=988] ppid=986 vsize=5360 CPUtime=1.57
/proc/988/stat : 988 (hydra) S 986 988 32713 0 -1 4194304 375 1627 0 0 0 0 155 2 19 0 1 0 1981175227 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/988/statm: 1340 238 196 169 0 51 0
[pid=996] ppid=988 vsize=197432 CPUtime=6.1
/proc/996/stat : 996 (java) S 988 988 32713 0 -1 0 13873 0 1 0 593 17 0 0 18 0 10 0 1981175386 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/996/statm: 49358 9393 2543 9 0 43941 0
[pid=1006] ppid=996 vsize=5356 CPUtime=0
/proc/1006/stat : 1006 (choco) S 996 988 32713 0 -1 4194304 295 0 0 0 0 0 0 0 25 0 1 0 1981176007 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 235371291460 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/1006/statm: 1339 238 197 169 0 50 0
[pid=1007] ppid=1006 vsize=655616 CPUtime=2.44
/proc/1007/stat : 1007 (java) S 1006 988 32713 0 -1 0 16061 0 1 0 236 8 0 0 18 0 9 0 1981176008 671350784 15647 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1007/statm: 163904 15647 1910 9 0 158433 0
[pid=1007/tid=1008] ppid=1006 vsize=655616 CPUtime=2.06
/proc/1007/task/1008/stat : 1008 (java) R 1006 988 32713 0 -1 64 12064 0 1 0 200 6 0 0 25 0 9 0 1981176009 671350784 15647 996147200 134512640 134550740 4294955936 18446744073709551615 4126996092 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1009] ppid=1006 vsize=655616 CPUtime=0.07
/proc/1007/task/1009/stat : 1009 (java) S 1006 988 32713 0 -1 64 2824 0 0 0 6 1 0 0 16 0 9 0 1981176010 671350784 15647 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1010] ppid=1006 vsize=655616 CPUtime=0
/proc/1007/task/1010/stat : 1010 (java) S 1006 988 32713 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1981176010 671350784 15647 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1011] ppid=1006 vsize=655616 CPUtime=0
/proc/1007/task/1011/stat : 1011 (java) S 1006 988 32713 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981176010 671350784 15647 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1012] ppid=1006 vsize=655616 CPUtime=0
/proc/1007/task/1012/stat : 1012 (java) S 1006 988 32713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981176012 671350784 15647 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1013] ppid=1006 vsize=655616 CPUtime=0.28
/proc/1007/task/1013/stat : 1013 (java) S 1006 988 32713 0 -1 64 626 0 0 0 28 0 0 0 15 0 9 0 1981176012 671350784 15647 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1014] ppid=1006 vsize=655616 CPUtime=0
/proc/1007/task/1014/stat : 1014 (java) S 1006 988 32713 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1981176012 671350784 15647 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1015] ppid=1006 vsize=655616 CPUtime=0
/proc/1007/task/1015/stat : 1015 (java) S 1006 988 32713 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981176012 671350784 15647 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=997] ppid=988 vsize=197432 CPUtime=4.77
/proc/996/task/997/stat : 997 (java) S 988 988 32713 0 -1 64 3856 0 1 0 471 6 0 0 25 0 10 0 1981175387 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=996/tid=998] ppid=988 vsize=197432 CPUtime=1.09
/proc/996/task/998/stat : 998 (java) S 988 988 32713 0 -1 64 8567 0 0 0 100 9 0 0 16 0 10 0 1981175388 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=999] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/999/stat : 999 (java) S 988 988 32713 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981175389 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1000] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/1000/stat : 1000 (java) S 988 988 32713 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1981175389 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1001] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/1001/stat : 1001 (java) S 988 988 32713 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981175391 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1002] ppid=988 vsize=197432 CPUtime=0.21
/proc/996/task/1002/stat : 1002 (java) S 988 988 32713 0 -1 64 649 0 0 0 21 0 0 0 16 0 10 0 1981175391 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1003] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/1003/stat : 1003 (java) S 988 988 32713 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1981175391 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1004] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/1004/stat : 1004 (java) S 988 988 32713 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1981175391 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1005] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/1005/stat : 1005 (java) S 988 988 32713 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1981176007 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.11
Current children cumulated vsize (KiB) 863764
[startup+10.5028 s]
/proc/loadavg: 2.07 2.03 1.91 3/101 1015
/proc/meminfo: memFree=1685408/2055920 swapFree=4180416/4192956
[pid=988] ppid=986 vsize=5360 CPUtime=1.57
/proc/988/stat : 988 (hydra) S 986 988 32713 0 -1 4194304 375 1627 0 0 0 0 155 2 19 0 1 0 1981175227 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/988/statm: 1340 238 196 169 0 51 0
[pid=996] ppid=988 vsize=197432 CPUtime=6.1
/proc/996/stat : 996 (java) S 988 988 32713 0 -1 0 13873 0 1 0 593 17 0 0 18 0 10 0 1981175386 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/996/statm: 49358 9393 2543 9 0 43941 0
[pid=1006] ppid=996 vsize=5356 CPUtime=0
/proc/1006/stat : 1006 (choco) S 996 988 32713 0 -1 4194304 295 0 0 0 0 0 0 0 25 0 1 0 1981176007 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 235371291460 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/1006/statm: 1339 238 197 169 0 50 0
[pid=1007] ppid=1006 vsize=655616 CPUtime=2.63
/proc/1007/stat : 1007 (java) S 1006 988 32713 0 -1 0 16062 0 1 0 255 8 0 0 18 0 9 0 1981176008 671350784 15648 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1007/statm: 163904 15648 1910 9 0 158433 0
[pid=1007/tid=1008] ppid=1006 vsize=655616 CPUtime=2.25
/proc/1007/task/1008/stat : 1008 (java) R 1006 988 32713 0 -1 64 12064 0 1 0 219 6 0 0 25 0 9 0 1981176009 671350784 15648 996147200 134512640 134550740 4294955936 18446744073709551615 4126982500 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1009] ppid=1006 vsize=655616 CPUtime=0.07
/proc/1007/task/1009/stat : 1009 (java) S 1006 988 32713 0 -1 64 2824 0 0 0 6 1 0 0 16 0 9 0 1981176010 671350784 15648 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1010] ppid=1006 vsize=655616 CPUtime=0
/proc/1007/task/1010/stat : 1010 (java) S 1006 988 32713 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1981176010 671350784 15648 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1011] ppid=1006 vsize=655616 CPUtime=0
/proc/1007/task/1011/stat : 1011 (java) S 1006 988 32713 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981176010 671350784 15648 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1012] ppid=1006 vsize=655616 CPUtime=0
/proc/1007/task/1012/stat : 1012 (java) S 1006 988 32713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981176012 671350784 15648 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1013] ppid=1006 vsize=655616 CPUtime=0.28
/proc/1007/task/1013/stat : 1013 (java) S 1006 988 32713 0 -1 64 627 0 0 0 28 0 0 0 15 0 9 0 1981176012 671350784 15648 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1014] ppid=1006 vsize=655616 CPUtime=0
/proc/1007/task/1014/stat : 1014 (java) S 1006 988 32713 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1981176012 671350784 15648 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1007/tid=1015] ppid=1006 vsize=655616 CPUtime=0
/proc/1007/task/1015/stat : 1015 (java) S 1006 988 32713 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981176012 671350784 15648 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=997] ppid=988 vsize=197432 CPUtime=4.77
/proc/996/task/997/stat : 997 (java) S 988 988 32713 0 -1 64 3856 0 1 0 471 6 0 0 25 0 10 0 1981175387 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=996/tid=998] ppid=988 vsize=197432 CPUtime=1.09
/proc/996/task/998/stat : 998 (java) S 988 988 32713 0 -1 64 8567 0 0 0 100 9 0 0 16 0 10 0 1981175388 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=999] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/999/stat : 999 (java) S 988 988 32713 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981175389 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1000] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/1000/stat : 1000 (java) S 988 988 32713 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1981175389 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1001] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/1001/stat : 1001 (java) S 988 988 32713 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981175391 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1002] ppid=988 vsize=197432 CPUtime=0.21
/proc/996/task/1002/stat : 1002 (java) S 988 988 32713 0 -1 64 649 0 0 0 21 0 0 0 16 0 10 0 1981175391 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1003] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/1003/stat : 1003 (java) S 988 988 32713 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1981175391 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1004] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/1004/stat : 1004 (java) S 988 988 32713 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1981175391 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=996/tid=1005] ppid=988 vsize=197432 CPUtime=0
/proc/996/task/1005/stat : 1005 (java) S 988 988 32713 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1981176007 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.3
Current children cumulated vsize (KiB) 863764
Child status: 0
Real time (s): 10.5946
CPU time (s): 10.4044
CPU user time (s): 10.0945
CPU system time (s): 0.309952
CPU usage (%): 98.205
Max. virtual memory (cumulated for all children) (KiB): 863764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0945
system time used= 0.309952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32367
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= 10153
involuntary context switches= 11704
runsolver used 0.018997 second user time and 0.079987 second system time
The end