0.00/0.00 c cpHydra_k_10 version 0.0
10.23/10.44 c CASE TO CLASSIFY:
10.23/10.44 c Case: 0
10.23/10.44 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.298000 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.936600 | c 14 > 12.749500 | c 11 > 4.321930 | c 12 > 13.481300 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.23/10.45 c choco : 1801.0
10.23/10.45 c mistral : 1801.0
10.23/10.45 c abscon : 1801.0
10.23/10.45 c
10.23/10.45 c
10.33/10.53 c List of same ones: 10
10.33/10.53 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-13_ext.xml
10.33/10.53 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.376900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.847200 | c 14 > 12.758000 | c 11 > 4.321930 | c 12 > 13.525400 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.33/10.54 c choco : 1801.0
10.33/10.54 c mistral : 0.394939
10.33/10.54 c abscon : 54.6227
10.33/10.54 c
10.33/10.54 c
10.33/10.54 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-15_ext.xml
10.33/10.54 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.235400 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 12.017500 | c 14 > 12.640000 | c 11 > 4.321930 | c 12 > 13.456800 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.33/10.55 c choco : 1801.0
10.33/10.55 c mistral : 0.400938
10.33/10.55 c abscon : 23.1755
10.33/10.55 c
10.33/10.55 c
10.33/10.55 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-17_ext.xml
10.33/10.55 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.168900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.906000 | c 14 > 12.528900 | c 11 > 4.321930 | c 12 > 13.384000 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.33/10.56 c choco : 1801.0
10.33/10.56 c mistral : 0.372942
10.33/10.56 c abscon : 17.1624
10.33/10.56 c
10.33/10.56 c
10.33/10.56 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-5_ext.xml
10.33/10.56 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.266900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.746800 | c 14 > 12.757400 | c 11 > 4.321930 | c 12 > 13.701400 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.33/10.57 c choco : 1801.0
10.33/10.57 c mistral : 0.364944
10.33/10.57 c abscon : 238.94
10.33/10.57 c
10.33/10.57 c
10.33/10.57 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-19_ext.xml
10.33/10.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.154200 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.865400 | c 14 > 12.509500 | c 11 > 4.321930 | c 12 > 13.544000 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.33/10.58 c choco : 1801.0
10.33/10.58 c mistral : 0.39294
10.33/10.58 c abscon : 110.339
10.33/10.58 c
10.33/10.58 c
10.33/10.58 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-11_ext.xml
10.33/10.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.033000 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.993700 | c 14 > 12.472200 | c 11 > 4.321930 | c 12 > 13.306700 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.33/10.59 c choco : 1801.0
10.33/10.59 c mistral : 0.378941
10.33/10.59 c abscon : 108.028
10.33/10.59 c
10.33/10.59 c
10.33/10.59 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-1_ext.xml
10.33/10.59 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.985200 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.789600 | c 14 > 12.374200 | c 11 > 4.321930 | c 12 > 13.244200 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.33/10.60 c choco : 1801.0
10.33/10.60 c mistral : 0.395938
10.33/10.60 c abscon : 283.768
10.33/10.60 c
10.33/10.60 c
10.33/10.60 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-7_ext.xml
10.33/10.60 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.026400 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 12.432000 | c 14 > 12.470400 | c 11 > 4.321930 | c 12 > 13.399000 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.41/10.61 c choco : 1801.0
10.41/10.61 c mistral : 0.400938
10.41/10.61 c abscon : 22.6236
10.41/10.61 c
10.41/10.61 c
10.41/10.61 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-3_ext.xml
10.41/10.61 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.980300 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.568500 | c 14 > 12.435100 | c 11 > 4.321930 | c 12 > 13.097600 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.41/10.61 c choco : 1801.0
10.41/10.61 c mistral : 0.381941
10.41/10.61 c abscon : 114.395
10.41/10.61 c
10.41/10.61 c
10.41/10.61 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-9_ext.xml
10.41/10.61 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.071500 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.387400 | c 14 > 12.391200 | c 11 > 4.321930 | c 12 > 13.208400 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.41/10.62 c choco : 1801.0
10.41/10.62 c mistral : 0.376941
10.41/10.62 c abscon : 120.175
10.41/10.62 c
10.41/10.62 c
10.60/10.83 c Length: 10
10.60/10.83 c 0.12741518747778877 0.15183566774641477 0.2751996002904052 0.29239984610119085 0.2954304825166152 0.4252832703034503 0.5626005154636805 0.6354980881167146 0.6946250427388851 0.7455039838927756
10.60/10.83 c
10.60/10.83 c 1.0 0.9619920191741429 0.8070380174785593 0.7893113889101068 0.7862683875260075 0.674801194710605 0.5868261472449701 0.5488406412911275 0.5214624985365268 0.5
10.60/10.84 c
10.60/10.84 c solver 0
10.60/10.84 c before 0.0 seconds: {} 0
10.60/10.84 c before 18.0 seconds: {2} 807
10.60/10.84 c before 36.0 seconds: {1, 2, 7} 2317
10.60/10.84 c before 72.0 seconds: {0, 1, 2, 7} 3317
10.60/10.84 c before 126.0 seconds: {0, 1, 2, 4, 5, 7, 8, 9} 5800
10.60/10.84 c before 252.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9} 6589
10.60/10.84 c before 288.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7176
10.60/10.84 c
10.60/10.84 c solver 1
10.60/10.84 c before 0.0 seconds: {} 0
10.60/10.84 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7176
10.60/10.84 c
10.60/10.84 c solver 2
10.60/10.84 c before 0.0 seconds: {} 0
10.60/10.84 c
10.60/10.84 cTotal time: 17
10.60/10.84 c 306.0 seconds unused
10.60/10.84 c 0 c 0 c 10
10.60/10.84 c 0 c 0 c 10
10.60/10.84 c 0 c 0 c 0
10.60/10.84 c is solver0 dominated by:
10.60/10.84 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: false) (0 is equally as fast as 1: false) (0 < 1: false)
10.60/10.84 c is dominated? true
10.60/10.84 c
10.60/10.84 c is solver1 dominated by:
10.60/10.84 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: true) (1 is equally as fast as 0: false) (1 < 0: true)
10.60/10.84 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
10.60/10.84 c is dominated? false
10.60/10.84 c
10.60/10.84 c is solver2 dominated by:
10.60/10.84 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
10.60/10.84 c is dominated? true
10.60/10.84 c
10.60/10.84 c Number of non-dominated solvers: 1
10.60/10.84 c remove dominated solvers
10.60/10.84 c solver 1 is not dominated by another solver
10.60/10.84 c solver 2 is dominated by another solver
10.60/10.84 c solver 0 is dominated by another solver
10.60/10.84 c
10.60/10.84 c solver 0: 0.0
10.60/10.84 c
10.60/10.84 c solver 1: 18.0
10.60/10.84 c
10.60/10.84 c+ 1/1 of 99
10.60/10.84 c
10.60/10.84 c solver 2: 0.0
10.60/10.84 c do not run abscon
10.60/10.85 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7176
10.60/10.85 c do not run choco
10.60/10.85 c Starting solver: HOME/cpHydra_k_10/solver/mistral
10.60/10.85 c On Instance: HOME/instance-1084869-1215232229.xml
10.60/10.85 c Running for: 1800 seconds
27.62/28.08 c mistral-prime version 1.313
27.62/28.08 s SATISFIABLE
27.62/28.08 v 0 4 1 0 2 1 0 1 0 2 2 4 2 4 2 2 1 4 3 0
27.62/28.08 d CHECKS 3043786
27.62/28.08 d ASSIGNMENTS 64016
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084869-1215232229/watcher-1084869-1215232229 -o /tmp/evaluation-result-1084869-1215232229/solver-1084869-1215232229 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1084869-1215232229.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.09 2.06 2.00 4/73 2555
/proc/meminfo: memFree=1418584/2055920 swapFree=4179464/4192956
[pid=2555] ppid=2553 vsize=5360 CPUtime=0
/proc/2555/stat : 2555 (hydra) S 2553 2555 1212 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 2002197961 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2555/statm: 1340 236 195 169 0 51 0
[pid=2557] ppid=2555 vsize=5360 CPUtime=0
/proc/2557/stat : 2557 (hydra) R 2555 2555 1212 0 -1 4194368 21 0 0 0 0 0 0 0 22 0 1 0 2002197962 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 214919740600 0 0 4096 0 0 0 0 17 1 0 0
/proc/2557/statm: 1340 239 198 169 0 51 0
[startup+0.0861171 s]
/proc/loadavg: 2.09 2.06 2.00 4/73 2555
/proc/meminfo: memFree=1418584/2055920 swapFree=4179464/4192956
[pid=2555] ppid=2553 vsize=5360 CPUtime=0
/proc/2555/stat : 2555 (hydra) S 2553 2555 1212 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002197961 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2555/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101113 s]
/proc/loadavg: 2.09 2.06 2.00 4/73 2555
/proc/meminfo: memFree=1418584/2055920 swapFree=4179464/4192956
[pid=2555] ppid=2553 vsize=5360 CPUtime=0
/proc/2555/stat : 2555 (hydra) S 2553 2555 1212 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002197961 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2555/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301147 s]
/proc/loadavg: 2.09 2.06 2.00 4/73 2555
/proc/meminfo: memFree=1418584/2055920 swapFree=4179464/4192956
[pid=2555] ppid=2553 vsize=5360 CPUtime=0
/proc/2555/stat : 2555 (hydra) S 2553 2555 1212 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002197961 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2555/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701202 s]
/proc/loadavg: 2.09 2.06 2.00 4/73 2555
/proc/meminfo: memFree=1418584/2055920 swapFree=4179464/4192956
[pid=2555] ppid=2553 vsize=5360 CPUtime=0
/proc/2555/stat : 2555 (hydra) S 2553 2555 1212 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002197961 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2555/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50131 s]
/proc/loadavg: 2.09 2.06 2.00 3/75 2559
/proc/meminfo: memFree=1397832/2055920 swapFree=4179464/4192956
[pid=2555] ppid=2553 vsize=5360 CPUtime=0
/proc/2555/stat : 2555 (hydra) S 2553 2555 1212 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002197961 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2555/statm: 1340 236 195 169 0 51 0
[pid=2559] ppid=2555 vsize=34816 CPUtime=1.47
/proc/2559/stat : 2559 (xsolve) R 2555 2555 1212 0 -1 4194304 8018 0 0 0 142 5 0 0 25 0 1 0 2002197962 35651584 7977 996147200 134512640 135239763 4294956176 18446744073709551615 134670247 0 0 4096 0 0 0 0 17 1 0 0
/proc/2559/statm: 8704 7977 355 177 0 7607 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 40176
[startup+3.10152 s]
/proc/loadavg: 2.08 2.06 2.00 3/75 2559
/proc/meminfo: memFree=1375176/2055920 swapFree=4179464/4192956
[pid=2555] ppid=2553 vsize=5360 CPUtime=0
/proc/2555/stat : 2555 (hydra) S 2553 2555 1212 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002197961 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2555/statm: 1340 236 195 169 0 51 0
[pid=2559] ppid=2555 vsize=66268 CPUtime=3.03
/proc/2559/stat : 2559 (xsolve) R 2555 2555 1212 0 -1 4194304 15927 0 0 0 292 11 0 0 25 0 1 0 2002197962 67858432 15886 996147200 134512640 135239763 4294956176 18446744073709551615 134820025 0 0 4096 0 0 0 0 17 1 0 0
/proc/2559/statm: 16567 15886 411 177 0 15470 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 71628
[startup+6.30297 s]
/proc/loadavg: 2.08 2.06 2.00 3/83 2571
/proc/meminfo: memFree=1410568/2055920 swapFree=4179464/4192956
[pid=2555] ppid=2553 vsize=5360 CPUtime=4.59
/proc/2555/stat : 2555 (hydra) S 2553 2555 1212 0 -1 4194304 375 16526 0 0 0 0 444 15 19 0 1 0 2002197961 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2555/statm: 1340 238 196 169 0 51 0
[pid=2563] ppid=2555 vsize=196984 CPUtime=1.6
/proc/2563/stat : 2563 (java) S 2555 2555 1212 0 -1 0 6472 0 1 0 153 7 0 0 18 0 9 0 2002198429 201711616 5441 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2563/statm: 49246 5441 2540 9 0 43829 0
[pid=2563/tid=2564] ppid=2555 vsize=196984 CPUtime=1.2
/proc/2563/task/2564/stat : 2564 (java) R 2555 2555 1212 0 -1 64 2791 0 1 0 118 2 0 0 25 0 9 0 2002198430 201711616 5441 996147200 134512640 134550740 4294955968 18446744073709551615 4126443014 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2565] ppid=2555 vsize=196984 CPUtime=0.2
/proc/2563/task/2565/stat : 2565 (java) S 2555 2555 1212 0 -1 64 2346 0 0 0 18 2 0 0 16 0 9 0 2002198432 201711616 5441 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2566] ppid=2555 vsize=196984 CPUtime=0
/proc/2563/task/2566/stat : 2566 (java) S 2555 2555 1212 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002198432 201711616 5441 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2567] ppid=2555 vsize=196984 CPUtime=0
/proc/2563/task/2567/stat : 2567 (java) S 2555 2555 1212 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002198432 201711616 5441 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2568] ppid=2555 vsize=196984 CPUtime=0
/proc/2563/task/2568/stat : 2568 (java) S 2555 2555 1212 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002198434 201711616 5441 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2569] ppid=2555 vsize=196984 CPUtime=0.15
/proc/2563/task/2569/stat : 2569 (java) S 2555 2555 1212 0 -1 64 610 0 0 0 15 0 0 0 16 0 9 0 2002198434 201711616 5441 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2570] ppid=2555 vsize=196984 CPUtime=0
/proc/2563/task/2570/stat : 2570 (java) S 2555 2555 1212 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002198434 201711616 5441 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2571] ppid=2555 vsize=196984 CPUtime=0
/proc/2563/task/2571/stat : 2571 (java) S 2555 2555 1212 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002198434 201711616 5441 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) 202344
[startup+12.7028 s]
/proc/loadavg: 2.15 2.07 2.01 3/86 2574
/proc/meminfo: memFree=1367728/2055920 swapFree=4179464/4192956
[pid=2555] ppid=2553 vsize=5360 CPUtime=4.59
/proc/2555/stat : 2555 (hydra) S 2553 2555 1212 0 -1 4194304 375 16526 0 0 0 0 444 15 19 0 1 0 2002197961 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2555/statm: 1340 238 196 169 0 51 0
[pid=2563] ppid=2555 vsize=197416 CPUtime=6.06
/proc/2563/stat : 2563 (java) S 2555 2555 1212 0 -1 0 13871 0 1 0 584 22 0 0 18 0 10 0 2002198429 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2563/statm: 49354 9389 2543 9 0 43937 0
[pid=2573] ppid=2563 vsize=5356 CPUtime=0
/proc/2573/stat : 2573 (mistral) S 2563 2555 1212 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 2002199046 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 214919865156 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2573/statm: 1339 236 196 169 0 50 0
[pid=2574] ppid=2573 vsize=40844 CPUtime=1.8
/proc/2574/stat : 2574 (xsolve) R 2573 2555 1212 0 -1 4194304 9507 0 0 0 174 6 0 0 25 0 1 0 2002199047 41824256 9471 996147200 134512640 135239763 4294955952 18446744073709551615 134573960 0 4 0 0 0 0 0 17 1 0 0
/proc/2574/statm: 10211 9471 353 177 0 9114 0
[pid=2563/tid=2564] ppid=2555 vsize=197416 CPUtime=4.67
/proc/2563/task/2564/stat : 2564 (java) S 2555 2555 1212 0 -1 64 3856 0 1 0 460 7 0 0 23 0 10 0 2002198430 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2563/tid=2565] ppid=2555 vsize=197416 CPUtime=1.14
/proc/2563/task/2565/stat : 2565 (java) S 2555 2555 1212 0 -1 64 8569 0 0 0 101 13 0 0 16 0 10 0 2002198432 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2566] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2566/stat : 2566 (java) S 2555 2555 1212 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002198432 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2567] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2567/stat : 2567 (java) S 2555 2555 1212 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002198432 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2568] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2568/stat : 2568 (java) S 2555 2555 1212 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002198434 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2569] ppid=2555 vsize=197416 CPUtime=0.22
/proc/2563/task/2569/stat : 2569 (java) S 2555 2555 1212 0 -1 64 642 0 0 0 21 1 0 0 16 0 10 0 2002198434 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2570] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2570/stat : 2570 (java) S 2555 2555 1212 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002198434 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2571] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2571/stat : 2571 (java) S 2555 2555 1212 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2002198434 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2572] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2572/stat : 2572 (java) S 2555 2555 1212 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 2002199046 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 248976
[startup+25.5015 s]
/proc/loadavg: 2.12 2.07 2.01 3/86 2574
/proc/meminfo: memFree=1328240/2055920 swapFree=4179464/4192956
[pid=2555] ppid=2553 vsize=5360 CPUtime=4.59
/proc/2555/stat : 2555 (hydra) S 2553 2555 1212 0 -1 4194304 375 16526 0 0 0 0 444 15 19 0 1 0 2002197961 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2555/statm: 1340 238 196 169 0 51 0
[pid=2563] ppid=2555 vsize=197416 CPUtime=6.06
/proc/2563/stat : 2563 (java) S 2555 2555 1212 0 -1 0 13877 0 1 0 584 22 0 0 18 0 10 0 2002198429 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2563/statm: 49354 9389 2543 9 0 43937 0
[pid=2573] ppid=2563 vsize=5356 CPUtime=0
/proc/2573/stat : 2573 (mistral) S 2563 2555 1212 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 2002199046 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 214919865156 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2573/statm: 1339 236 196 169 0 50 0
[pid=2574] ppid=2573 vsize=66268 CPUtime=14.49
/proc/2574/stat : 2574 (xsolve) R 2573 2555 1212 0 -1 4194304 15904 0 0 0 1439 10 0 0 25 0 1 0 2002199047 67858432 15868 996147200 134512640 135239763 4294955952 18446744073709551615 134820115 0 4 0 0 0 0 0 17 1 0 0
/proc/2574/statm: 16567 15868 393 177 0 15470 0
[pid=2563/tid=2564] ppid=2555 vsize=197416 CPUtime=4.67
/proc/2563/task/2564/stat : 2564 (java) S 2555 2555 1212 0 -1 64 3856 0 1 0 460 7 0 0 23 0 10 0 2002198430 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2563/tid=2565] ppid=2555 vsize=197416 CPUtime=1.14
/proc/2563/task/2565/stat : 2565 (java) S 2555 2555 1212 0 -1 64 8569 0 0 0 101 13 0 0 16 0 10 0 2002198432 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2566] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2566/stat : 2566 (java) S 2555 2555 1212 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002198432 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2567] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2567/stat : 2567 (java) S 2555 2555 1212 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002198432 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2568] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2568/stat : 2568 (java) S 2555 2555 1212 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002198434 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2569] ppid=2555 vsize=197416 CPUtime=0.22
/proc/2563/task/2569/stat : 2569 (java) S 2555 2555 1212 0 -1 64 642 0 0 0 21 1 0 0 16 0 10 0 2002198434 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2570] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2570/stat : 2570 (java) S 2555 2555 1212 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002198434 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2571] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2571/stat : 2571 (java) S 2555 2555 1212 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2002198434 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2572] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2572/stat : 2572 (java) S 2555 2555 1212 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 2002199046 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 274400
Solver just ended. Dumping a history of the last processes samples
[startup+27.1028 s]
/proc/loadavg: 2.11 2.07 2.01 3/86 2574
/proc/meminfo: memFree=1328240/2055920 swapFree=4179464/4192956
[pid=2555] ppid=2553 vsize=5360 CPUtime=4.59
/proc/2555/stat : 2555 (hydra) S 2553 2555 1212 0 -1 4194304 375 16526 0 0 0 0 444 15 19 0 1 0 2002197961 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2555/statm: 1340 238 196 169 0 51 0
[pid=2563] ppid=2555 vsize=197416 CPUtime=6.06
/proc/2563/stat : 2563 (java) S 2555 2555 1212 0 -1 0 13877 0 1 0 584 22 0 0 18 0 10 0 2002198429 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2563/statm: 49354 9389 2543 9 0 43937 0
[pid=2573] ppid=2563 vsize=5356 CPUtime=0
/proc/2573/stat : 2573 (mistral) S 2563 2555 1212 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 2002199046 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 214919865156 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2573/statm: 1339 236 196 169 0 50 0
[pid=2574] ppid=2573 vsize=66268 CPUtime=16.08
/proc/2574/stat : 2574 (xsolve) R 2573 2555 1212 0 -1 4194304 15904 0 0 0 1598 10 0 0 25 0 1 0 2002199047 67858432 15868 996147200 134512640 135239763 4294955952 18446744073709551615 135095144 0 4 0 0 0 0 0 17 1 0 0
/proc/2574/statm: 16567 15868 393 177 0 15470 0
[pid=2563/tid=2564] ppid=2555 vsize=197416 CPUtime=4.67
/proc/2563/task/2564/stat : 2564 (java) S 2555 2555 1212 0 -1 64 3856 0 1 0 460 7 0 0 23 0 10 0 2002198430 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2563/tid=2565] ppid=2555 vsize=197416 CPUtime=1.14
/proc/2563/task/2565/stat : 2565 (java) S 2555 2555 1212 0 -1 64 8569 0 0 0 101 13 0 0 16 0 10 0 2002198432 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2566] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2566/stat : 2566 (java) S 2555 2555 1212 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002198432 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2567] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2567/stat : 2567 (java) S 2555 2555 1212 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002198432 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2568] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2568/stat : 2568 (java) S 2555 2555 1212 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002198434 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2569] ppid=2555 vsize=197416 CPUtime=0.22
/proc/2563/task/2569/stat : 2569 (java) S 2555 2555 1212 0 -1 64 642 0 0 0 21 1 0 0 16 0 10 0 2002198434 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2570] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2570/stat : 2570 (java) S 2555 2555 1212 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002198434 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2571] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2571/stat : 2571 (java) S 2555 2555 1212 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2002198434 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2572] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2572/stat : 2572 (java) S 2555 2555 1212 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 2002199046 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.73
Current children cumulated vsize (KiB) 274400
[startup+27.9029 s]
/proc/loadavg: 2.11 2.07 2.01 3/86 2574
/proc/meminfo: memFree=1328240/2055920 swapFree=4179464/4192956
[pid=2555] ppid=2553 vsize=5360 CPUtime=4.59
/proc/2555/stat : 2555 (hydra) S 2553 2555 1212 0 -1 4194304 375 16526 0 0 0 0 444 15 19 0 1 0 2002197961 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2555/statm: 1340 238 196 169 0 51 0
[pid=2563] ppid=2555 vsize=197416 CPUtime=6.06
/proc/2563/stat : 2563 (java) S 2555 2555 1212 0 -1 0 13877 0 1 0 584 22 0 0 18 0 10 0 2002198429 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2563/statm: 49354 9389 2543 9 0 43937 0
[pid=2573] ppid=2563 vsize=5356 CPUtime=0
/proc/2573/stat : 2573 (mistral) S 2563 2555 1212 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 2002199046 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 214919865156 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2573/statm: 1339 236 196 169 0 50 0
[pid=2574] ppid=2573 vsize=66268 CPUtime=16.87
/proc/2574/stat : 2574 (xsolve) R 2573 2555 1212 0 -1 4194304 15904 0 0 0 1677 10 0 0 25 0 1 0 2002199047 67858432 15868 996147200 134512640 135239763 4294955952 18446744073709551615 135013649 0 4 0 0 0 0 0 17 1 0 0
/proc/2574/statm: 16567 15868 393 177 0 15470 0
[pid=2563/tid=2564] ppid=2555 vsize=197416 CPUtime=4.67
/proc/2563/task/2564/stat : 2564 (java) S 2555 2555 1212 0 -1 64 3856 0 1 0 460 7 0 0 23 0 10 0 2002198430 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2563/tid=2565] ppid=2555 vsize=197416 CPUtime=1.14
/proc/2563/task/2565/stat : 2565 (java) S 2555 2555 1212 0 -1 64 8569 0 0 0 101 13 0 0 16 0 10 0 2002198432 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2566] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2566/stat : 2566 (java) S 2555 2555 1212 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002198432 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2567] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2567/stat : 2567 (java) S 2555 2555 1212 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002198432 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2568] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2568/stat : 2568 (java) S 2555 2555 1212 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002198434 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2569] ppid=2555 vsize=197416 CPUtime=0.22
/proc/2563/task/2569/stat : 2569 (java) S 2555 2555 1212 0 -1 64 642 0 0 0 21 1 0 0 16 0 10 0 2002198434 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2570] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2570/stat : 2570 (java) S 2555 2555 1212 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002198434 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2571] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2571/stat : 2571 (java) S 2555 2555 1212 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2002198434 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2572] ppid=2555 vsize=197416 CPUtime=0
/proc/2563/task/2572/stat : 2572 (java) S 2555 2555 1212 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 2002199046 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 27.52
Current children cumulated vsize (KiB) 274400
[startup+28.1029 s]
/proc/loadavg: 2.11 2.07 2.01 3/86 2574
/proc/meminfo: memFree=1328240/2055920 swapFree=4179464/4192956
[pid=2555] ppid=2553 vsize=5360 CPUtime=4.59
/proc/2555/stat : 2555 (hydra) S 2553 2555 1212 0 -1 4194304 375 16526 0 0 0 0 444 15 19 0 1 0 2002197961 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2555/statm: 1340 238 196 169 0 51 0
[pid=2563] ppid=2555 vsize=197416 CPUtime=23.11
/proc/2563/stat : 2563 (java) S 2555 2555 1212 0 -1 0 13947 16220 1 0 584 22 1694 11 18 0 9 0 2002198429 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2563/statm: 49354 9391 2544 9 0 43937 0
[pid=2563/tid=2564] ppid=2555 vsize=197416 CPUtime=21.73
/proc/2563/task/2564/stat : 2564 (java) S 2555 2555 1212 0 -1 64 3903 16220 1 0 461 7 1694 11 16 0 9 0 2002198430 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2565] ppid=2555 vsize=197416 CPUtime=18.19
/proc/2563/task/2565/stat : 2565 (java) S 2555 2555 1212 0 -1 64 8581 16220 0 0 101 13 1694 11 16 0 9 0 2002198432 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2566] ppid=2555 vsize=197416 CPUtime=17.05
/proc/2563/task/2566/stat : 2566 (java) S 2555 2555 1212 0 -1 64 11 16220 0 0 0 0 1694 11 16 0 9 0 2002198432 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2567] ppid=2555 vsize=197416 CPUtime=17.05
/proc/2563/task/2567/stat : 2567 (java) S 2555 2555 1212 0 -1 64 5 16220 0 0 0 0 1694 11 16 0 9 0 2002198432 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2568] ppid=2555 vsize=197416 CPUtime=17.05
/proc/2563/task/2568/stat : 2568 (java) S 2555 2555 1212 0 -1 64 0 16220 0 0 0 0 1694 11 18 0 9 0 2002198434 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2569] ppid=2555 vsize=197416 CPUtime=17.27
/proc/2563/task/2569/stat : 2569 (java) S 2555 2555 1212 0 -1 64 642 16220 0 0 21 1 1694 11 16 0 9 0 2002198434 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2570] ppid=2555 vsize=197416 CPUtime=17.05
/proc/2563/task/2570/stat : 2570 (java) S 2555 2555 1212 0 -1 64 1 16220 0 0 0 0 1694 11 19 0 9 0 2002198434 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2563/tid=2571] ppid=2555 vsize=197416 CPUtime=17.05
/proc/2563/task/2571/stat : 2571 (java) S 2555 2555 1212 0 -1 64 13 16220 0 0 0 0 1694 11 15 0 9 0 2002198434 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 27.7
Current children cumulated vsize (KiB) 202776
Child status: 0
Real time (s): 28.1182
CPU time (s): 27.7528
CPU user time (s): 27.2449
CPU system time (s): 0.507922
CPU usage (%): 98.7003
Max. virtual memory (cumulated for all children) (KiB): 274400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.2449
system time used= 0.507922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47104
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9788
involuntary context switches= 11742
runsolver used 0.06099 second user time and 0.122981 second system time
The end
Begin job on node10 at 2008-07-05 06:30:31
IDJOB=1084869
IDBENCH=57586
IDSOLVER=365
FILE ID=node10/1084869-1215232229
PBS_JOBID= 7881869
Free space on /tmp= 66412 MiB
SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-3_ext.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084869-1215232229/watcher-1084869-1215232229 -o /tmp/evaluation-result-1084869-1215232229/solver-1084869-1215232229 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1084869-1215232229.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 8f0b2a49e1135ea84dc0e5c626ff8a69
RANDOM SEED=1647725674
node10.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.229
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 : 5914.62
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.229
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: 1419000 kB
Buffers: 58632 kB
Cached: 343256 kB
SwapCached: 7540 kB
Active: 372972 kB
Inactive: 202212 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1419000 kB
SwapTotal: 4192956 kB
SwapFree: 4179464 kB
Dirty: 46636 kB
Writeback: 0 kB
Mapped: 179808 kB
Slab: 46320 kB
Committed_AS: 3587832 kB
PageTables: 2332 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= 66388 MiB
End job on node10 at 2008-07-05 06:30:59