0.00/0.00 c cpHydra_k_10 version 0.0
9.76/9.99 c CASE TO CLASSIFY:
9.76/9.99 c Case: 0
9.76/9.99 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.769900 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 7.228820 | c 12 > 8.224000 | c 21 > 12.247400 | c 20 > 100.000000 | c 22 > 12.247400 | 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 > 7.228820 | c 2 > -1.000000 | c 10 > 15.033000 | 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 > 22.261800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 14.448000 | c
9.86/10.00 c choco : 1801.0
9.86/10.00 c mistral : 1801.0
9.86/10.00 c abscon : 1801.0
9.86/10.00 c
9.86/10.00 c
9.86/10.08 c List of same ones: 10
9.86/10.08 c /home/eomahony/cpZilla/CSP/queens/queens-150.xml
9.86/10.08 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.177900 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 7.228820 | c 12 > 8.224000 | c 21 > 12.247400 | c 20 > 100.000000 | c 22 > 12.247400 | 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 > 7.228820 | c 2 > -1.000000 | c 10 > 15.033000 | 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 > 22.261800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 14.448000 | c
9.86/10.09 c choco : 415.93
9.86/10.09 c mistral : 1.06284
9.86/10.09 c abscon : 4.79627
9.86/10.09 c
9.86/10.09 c
9.86/10.09 c /home/eomahony/cpZilla/CSP/queens/queens-120.xml
9.86/10.09 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.123700 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 6.906890 | c 12 > 7.900870 | c 21 > 10.954500 | c 20 > 100.000000 | c 22 > 10.954500 | 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 > 6.906890 | c 2 > -1.000000 | c 10 > 14.386700 | 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 > 21.293600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 13.801700 | c
9.86/10.10 c choco : 68.96
9.86/10.10 c mistral : 0.603907
9.86/10.10 c abscon : 2.94855
9.86/10.10 c
9.86/10.10 c
9.86/10.10 c /home/eomahony/cpZilla/CSP/queens/queens-180.xml
9.95/10.10 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.769200 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 7.491850 | c 12 > 8.487840 | c 21 > 13.416400 | c 20 > 100.000000 | c 22 > 13.416400 | 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 > 7.491850 | c 2 > -1.000000 | c 10 > 15.560700 | 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 > 23.052500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 14.975700 | c
9.95/10.11 c choco : 1801.0
9.95/10.11 c mistral : 4.35734
9.95/10.11 c abscon : 6.98994
9.95/10.11 c
9.95/10.11 c
9.95/10.11 c /home/eomahony/cpZilla/CSP/queens/queens-200.xml
9.95/10.11 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.588500 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 7.643860 | c 12 > 8.640240 | c 21 > 14.142100 | c 20 > 100.000000 | c 22 > 14.142100 | 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 > 7.643860 | c 2 > -1.000000 | c 10 > 15.865500 | 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 > 23.509300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 15.280500 | c
9.95/10.12 c choco : 73.34
9.95/10.12 c mistral : 2.26565
9.95/10.12 c abscon : 16.9784
9.95/10.12 c
9.95/10.12 c
9.95/10.12 c /home/eomahony/cpZilla/CSP/queens/queens-100.xml
9.95/10.12 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.598100 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 4.785820 | c 14 > 0.000000 | c 11 > 12.302100 | c 12 > 2.298890 | c 21 > 10.000000 | c 20 > 100.000000 | c 22 > 10.000000 | 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 > 6.643860 | c 2 > -1.000000 | c 10 > 13.858300 | 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 > 20.502100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 13.273200 | c
9.95/10.13 c choco : 12.53
9.95/10.13 c mistral : 0.575912
9.95/10.13 c abscon : 2.12968
9.95/10.13 c
9.95/10.13 c
9.95/10.13 c /home/eomahony/cpZilla/CSP/queens/queens-80.xml
9.95/10.13 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.098800 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 4.615820 | c 14 > 2.000000 | c 11 > 11.661800 | c 12 > 2.293150 | c 21 > 8.944270 | c 20 > 100.000000 | c 22 > 8.944270 | 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 > 6.321930 | c 2 > -1.000000 | c 10 > 13.210800 | 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 > 19.532800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 12.625700 | c
9.95/10.14 c choco : 8.63
9.95/10.14 c mistral : 0.248962
9.95/10.14 c abscon : 1.83272
9.95/10.14 c
9.95/10.14 c
9.95/10.14 c /home/eomahony/cpZilla/CSP/queens/queens-50.xml
9.95/10.14 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.313500 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 3.411010 | c 14 > 5.614710 | c 11 > 11.287700 | c 12 > 0.995086 | c 21 > 7.071070 | c 20 > 100.000000 | c 22 > 7.071070 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 11.843900 | 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 > 17.487800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.258600 | c
9.95/10.14 c choco : 5.01
9.95/10.14 c mistral : 0.107983
9.95/10.14 c abscon : 1.16682
9.95/10.14 c
9.95/10.14 c
9.95/10.14 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-2.xml
9.95/10.14 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 49.732400 | c 16 > 2.000000 | c 13 > 7.214320 | c 14 > -1.000000 | c 11 > 7.643860 | c 12 > 8.445010 | c 21 > 10.000000 | c 20 > 100.000000 | c 22 > 10.000000 | 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 > 7.643860 | c 2 > -1.000000 | c 10 > 15.449600 | 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 > 22.083800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 14.858200 | c
9.95/10.15 c choco : 54.22
9.95/10.15 c mistral : 1.98
9.95/10.15 c abscon : 10.99
9.95/10.15 c
9.95/10.15 c
9.95/10.15 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-4.xml
9.95/10.15 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 49.777200 | c 16 > 2.000000 | c 13 > 7.479780 | c 14 > -1.000000 | c 11 > 7.906890 | c 12 > 8.709080 | c 21 > 10.954500 | c 20 > 100.000000 | c 22 > 10.954500 | 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 > 7.906890 | c 2 > -1.000000 | c 10 > 15.977000 | 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 > 22.875900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 15.386700 | c
9.95/10.16 c choco : 64.11
9.95/10.16 c mistral : 2.74
9.95/10.16 c abscon : 13.53
9.95/10.16 c
9.95/10.16 c
9.95/10.16 c /home/eomahony/cpZilla/CSP/queens/queens-30.xml
9.95/10.16 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.989300 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 3.702650 | c 14 > 7.044390 | c 11 > 9.813780 | c 12 > 1.506460 | c 21 > 5.477230 | c 20 > 100.000000 | c 22 > 5.477230 | 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 > 4.906890 | c 2 > -1.000000 | c 10 > 10.350900 | 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 > 15.257800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 9.764870 | c
9.95/10.17 c choco : 2.85
9.95/10.17 c mistral : 0.044992
9.95/10.17 c abscon : 0.928858
9.95/10.17 c
9.95/10.17 c
9.95/10.17 c Length: 10
9.95/10.17 c 1.5920000000000005 2.4176982290393494 2.8506218036421447 3.9240824444448137 10.566491268368134 11.498013701557326 15.28268277978039 18.08604124112571 18.09125502762592 18.16846089511712
9.95/10.17 c
9.95/10.17 c 1.0 0.9525519665032156 0.9294299990137022 0.8766651453491159 0.6487609850722692 0.6259407833888272 0.5476717946419585 0.5012461203892803 0.501167108032847 0.5
9.95/10.18 c
9.95/10.18 c solver 0
9.95/10.18 c before 0.0 seconds: {} 0
9.95/10.18 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7083
9.95/10.18 c
9.95/10.18 c solver 1
9.95/10.18 c before 0.0 seconds: {} 0
9.95/10.18 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7083
9.95/10.18 c
9.95/10.18 c solver 2
9.95/10.18 c before 0.0 seconds: {} 0
9.95/10.18 c before 18.0 seconds: {4, 5, 6, 9} 2322
9.95/10.18 c before 72.0 seconds: {1, 4, 5, 6, 7, 8, 9} 4277
9.95/10.18 c before 90.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9} 5154
9.95/10.18 c before 432.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9} 6154
9.95/10.18 c
9.95/10.18 cTotal time: 26
9.95/10.18 c 468.0 seconds unused
9.95/10.18 c 0 c 0 c 1
9.95/10.18 c 0 c 0 c 1
9.95/10.18 c 0 c 0 c 0
9.95/10.18 c is solver0 dominated by:
9.95/10.18 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: true) (0 < 1: false)
9.95/10.18 c is dominated? true
9.95/10.18 c
9.95/10.18 c is solver1 dominated by:
9.95/10.18 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: true) (1 < 0: true)
9.95/10.18 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: true) (1 is equally as fast as 2: false) (1 < 2: false)
9.95/10.18 c is dominated? false
9.95/10.18 c
9.95/10.18 c is solver2 dominated by:
9.95/10.18 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: false) (2 is equally as fast as 0: false) (2 < 0: true)
9.95/10.18 c is dominated? true
9.95/10.18 c
9.95/10.18 c Number of non-dominated solvers: 1
9.95/10.18 c remove dominated solvers
9.95/10.18 c solver 1 is not dominated by another solver
9.95/10.18 c solver 2 is dominated by another solver
9.95/10.18 c solver 0 is dominated by another solver
9.95/10.18 c
9.95/10.18 c solver 0: 0.0
9.95/10.18 c
9.95/10.18 c solver 1: 18.0
9.95/10.18 c
9.95/10.18 c+ 1/1 of 99
9.95/10.18 c
9.95/10.18 c solver 2: 0.0
9.95/10.19 c do not run abscon
9.95/10.19 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7083
9.95/10.19 c do not run choco
9.95/10.19 c Starting solver: HOME/cpHydra_k_10/solver/mistral
9.95/10.19 c On Instance: HOME/instance-1093884-1215278469.xml
9.95/10.19 c Running for: 1800 seconds
163.33/163.88 c mistral-prime version 1.313
163.33/163.88 s SATISFIABLE
163.33/163.88 v 31 28 25 35 33 106 18 27 139 17 104 102 109 23 119 110 103 107 130 20 22 38 101 26 40 105 24 123 113 100 97 91 125 11 98 85 21 99 29 147 88 114 134 36 126 37 121 146 120 32 16 132 122 129 95 30 117 82 136 87 94 74 14 39 78 61 131 86 15 49 96 19 90 116 142 112 115 92 118 138 79 127 70 60 7 137 133 144 5 140 44 6 150 12 43 66 10 34 77 41 4 2 63 89 3 143 141 9 72 68 46 67 51 45 58 56 83 47 42 62 80 93 73 81 111 13 108 52 149 84 76 128 53 55 50 135 8 75 65 148 71 145 48 124 1 57 64 54 59 69
163.33/163.88 d CHECKS 8583922
163.33/163.88 d ASSIGNMENTS 440
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093884-1215278469/watcher-1093884-1215278469 -o /tmp/evaluation-result-1093884-1215278469/solver-1093884-1215278469 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1093884-1215278469.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.15 2.04 2.01 4/84 28831
/proc/meminfo: memFree=1503664/2055920 swapFree=4180004/4192956
[pid=28831] ppid=28829 vsize=18572 CPUtime=0
/proc/28831/stat : 28831 (runsolver) R 28829 28831 27519 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2006821061 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 238487661863 0 0 4096 24578 0 0 0 17 1 0 0
/proc/28831/statm: 4643 292 257 25 0 2626 0
[startup+0.057979 s]
/proc/loadavg: 2.15 2.04 2.01 4/84 28831
/proc/meminfo: memFree=1503664/2055920 swapFree=4180004/4192956
[pid=28831] ppid=28829 vsize=5360 CPUtime=0
/proc/28831/stat : 28831 (hydra) S 28829 28831 27519 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2006821061 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28831/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101982 s]
/proc/loadavg: 2.15 2.04 2.01 4/84 28831
/proc/meminfo: memFree=1503664/2055920 swapFree=4180004/4192956
[pid=28831] ppid=28829 vsize=5360 CPUtime=0
/proc/28831/stat : 28831 (hydra) S 28829 28831 27519 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2006821061 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28831/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302007 s]
/proc/loadavg: 2.15 2.04 2.01 4/84 28831
/proc/meminfo: memFree=1503664/2055920 swapFree=4180004/4192956
[pid=28831] ppid=28829 vsize=5360 CPUtime=0
/proc/28831/stat : 28831 (hydra) S 28829 28831 27519 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2006821061 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28831/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.70106 s]
/proc/loadavg: 2.15 2.04 2.01 4/84 28831
/proc/meminfo: memFree=1503664/2055920 swapFree=4180004/4192956
[pid=28831] ppid=28829 vsize=5360 CPUtime=0
/proc/28831/stat : 28831 (hydra) S 28829 28831 27519 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2006821061 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28831/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50114 s]
/proc/loadavg: 2.15 2.04 2.01 3/86 28835
/proc/meminfo: memFree=1418016/2055920 swapFree=4180004/4192956
[pid=28831] ppid=28829 vsize=5360 CPUtime=0
/proc/28831/stat : 28831 (hydra) S 28829 28831 27519 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2006821061 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28831/statm: 1340 236 195 169 0 51 0
[pid=28835] ppid=28831 vsize=90024 CPUtime=1.47
/proc/28835/stat : 28835 (xsolve) R 28831 28831 27519 0 -1 4194304 21916 0 0 0 138 9 0 0 25 0 1 0 2006821062 92184576 21605 996147200 134512640 135239763 4294956176 18446744073709551615 135020231 0 0 4096 0 0 0 0 17 1 0 0
/proc/28835/statm: 22506 21605 433 177 0 21409 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 95384
[startup+3.10132 s]
/proc/loadavg: 2.15 2.04 2.01 3/86 28835
/proc/meminfo: memFree=1417376/2055920 swapFree=4180004/4192956
[pid=28831] ppid=28829 vsize=5360 CPUtime=0
/proc/28831/stat : 28831 (hydra) S 28829 28831 27519 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2006821061 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28831/statm: 1340 236 195 169 0 51 0
[pid=28835] ppid=28831 vsize=90288 CPUtime=3.05
/proc/28835/stat : 28835 (xsolve) R 28831 28831 27519 0 -1 4194304 22006 0 0 0 296 9 0 0 25 0 1 0 2006821062 92454912 21695 996147200 134512640 135239763 4294956176 18446744073709551615 135016492 0 0 4096 0 0 0 0 17 1 0 0
/proc/28835/statm: 22572 21695 435 177 0 21475 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 95648
[startup+6.30169 s]
/proc/loadavg: 2.30 2.07 2.02 3/94 28847
/proc/meminfo: memFree=1490592/2055920 swapFree=4180004/4192956
[pid=28831] ppid=28829 vsize=5360 CPUtime=3.86
/proc/28831/stat : 28831 (hydra) S 28829 28831 27519 0 -1 4194304 375 22603 0 0 0 0 375 11 19 0 1 0 2006821061 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28831/statm: 1340 238 196 169 0 51 0
[pid=28839] ppid=28831 vsize=197000 CPUtime=2.33
/proc/28839/stat : 28839 (java) S 28831 28831 27519 0 -1 0 7131 0 1 0 227 6 0 0 21 0 9 0 2006821453 201728000 5963 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28839/statm: 49250 5963 2540 9 0 43833 0
[pid=28839/tid=28840] ppid=28831 vsize=197000 CPUtime=1.87
/proc/28839/task/28840/stat : 28840 (java) R 28831 28831 27519 0 -1 64 2930 0 1 0 185 2 0 0 25 0 9 0 2006821454 201728000 5963 996147200 134512640 134550740 4294955968 18446744073709551615 4126482747 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28841] ppid=28831 vsize=197000 CPUtime=0.28
/proc/28839/task/28841/stat : 28841 (java) S 28831 28831 27519 0 -1 64 2862 0 0 0 25 3 0 0 16 0 9 0 2006821455 201728000 5963 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28842] ppid=28831 vsize=197000 CPUtime=0
/proc/28839/task/28842/stat : 28842 (java) S 28831 28831 27519 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2006821455 201728000 5963 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28843] ppid=28831 vsize=197000 CPUtime=0
/proc/28839/task/28843/stat : 28843 (java) S 28831 28831 27519 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006821455 201728000 5963 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28844] ppid=28831 vsize=197000 CPUtime=0
/proc/28839/task/28844/stat : 28844 (java) S 28831 28831 27519 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2006821457 201728000 5963 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28845] ppid=28831 vsize=197000 CPUtime=0.15
/proc/28839/task/28845/stat : 28845 (java) S 28831 28831 27519 0 -1 64 615 0 0 0 15 0 0 0 16 0 9 0 2006821457 201728000 5963 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28846] ppid=28831 vsize=197000 CPUtime=0
/proc/28839/task/28846/stat : 28846 (java) S 28831 28831 27519 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2006821457 201728000 5963 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28847] ppid=28831 vsize=197000 CPUtime=0
/proc/28839/task/28847/stat : 28847 (java) S 28831 28831 27519 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2006821457 201728000 5963 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) 202360
[startup+12.7024 s]
/proc/loadavg: 2.35 2.08 2.02 3/97 28850
/proc/meminfo: memFree=1385672/2055920 swapFree=4180004/4192956
[pid=28831] ppid=28829 vsize=5360 CPUtime=3.86
/proc/28831/stat : 28831 (hydra) S 28829 28831 27519 0 -1 4194304 375 22603 0 0 0 0 375 11 19 0 1 0 2006821061 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28831/statm: 1340 238 196 169 0 51 0
[pid=28839] ppid=28831 vsize=197432 CPUtime=6.16
/proc/28839/stat : 28839 (java) S 28831 28831 27519 0 -1 0 13942 0 1 0 601 15 0 0 21 0 10 0 2006821453 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28839/statm: 49358 9474 2543 9 0 43941 0
[pid=28849] ppid=28839 vsize=5356 CPUtime=0
/proc/28849/stat : 28849 (mistral) S 28839 28831 27519 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2006822080 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28849/statm: 1339 236 196 169 0 50 0
[pid=28850] ppid=28849 vsize=90024 CPUtime=2.48
/proc/28850/stat : 28850 (xsolve) R 28849 28831 27519 0 -1 4194304 21893 0 0 0 239 9 0 0 25 0 1 0 2006822081 92184576 21587 996147200 134512640 135239763 4294955952 18446744073709551615 135015264 0 4 0 0 0 0 0 17 0 0 0
/proc/28850/statm: 22506 21587 415 177 0 21409 0
[pid=28839/tid=28840] ppid=28831 vsize=197432 CPUtime=4.85
/proc/28839/task/28840/stat : 28840 (java) S 28831 28831 27519 0 -1 64 3970 0 1 0 481 4 0 0 16 0 10 0 2006821454 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=28839/tid=28841] ppid=28831 vsize=197432 CPUtime=1.07
/proc/28839/task/28841/stat : 28841 (java) S 28831 28831 27519 0 -1 64 8526 0 0 0 98 9 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28842] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28842/stat : 28842 (java) S 28831 28831 27519 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28843] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28843/stat : 28843 (java) S 28831 28831 27519 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28844] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28844/stat : 28844 (java) S 28831 28831 27519 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28845] ppid=28831 vsize=197432 CPUtime=0.2
/proc/28839/task/28845/stat : 28845 (java) S 28831 28831 27519 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28846] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28846/stat : 28846 (java) S 28831 28831 27519 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28847] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28847/stat : 28847 (java) S 28831 28831 27519 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28848] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28848/stat : 28848 (java) S 28831 28831 27519 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2006822080 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 298172
[startup+25.5029 s]
/proc/loadavg: 2.27 2.08 2.02 3/97 28850
/proc/meminfo: memFree=1375432/2055920 swapFree=4180004/4192956
[pid=28831] ppid=28829 vsize=5360 CPUtime=3.86
/proc/28831/stat : 28831 (hydra) S 28829 28831 27519 0 -1 4194304 375 22603 0 0 0 0 375 11 19 0 1 0 2006821061 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28831/statm: 1340 238 196 169 0 51 0
[pid=28839] ppid=28831 vsize=197432 CPUtime=6.16
/proc/28839/stat : 28839 (java) S 28831 28831 27519 0 -1 0 13949 0 1 0 601 15 0 0 21 0 10 0 2006821453 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28839/statm: 49358 9474 2543 9 0 43941 0
[pid=28849] ppid=28839 vsize=5356 CPUtime=0
/proc/28849/stat : 28849 (mistral) S 28839 28831 27519 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2006822080 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28849/statm: 1339 236 196 169 0 50 0
[pid=28850] ppid=28849 vsize=92428 CPUtime=15.28
/proc/28850/stat : 28850 (xsolve) R 28849 28831 27519 0 -1 4194304 22974 0 0 0 1518 10 0 0 25 0 1 0 2006822081 94646272 22184 996147200 134512640 135239763 4294955952 18446744073709551615 135020383 0 4 0 0 0 0 0 17 0 0 0
/proc/28850/statm: 23107 22184 418 177 0 22010 0
[pid=28839/tid=28840] ppid=28831 vsize=197432 CPUtime=4.85
/proc/28839/task/28840/stat : 28840 (java) S 28831 28831 27519 0 -1 64 3970 0 1 0 481 4 0 0 16 0 10 0 2006821454 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=28839/tid=28841] ppid=28831 vsize=197432 CPUtime=1.07
/proc/28839/task/28841/stat : 28841 (java) S 28831 28831 27519 0 -1 64 8526 0 0 0 98 9 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28842] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28842/stat : 28842 (java) S 28831 28831 27519 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28843] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28843/stat : 28843 (java) S 28831 28831 27519 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28844] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28844/stat : 28844 (java) S 28831 28831 27519 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28845] ppid=28831 vsize=197432 CPUtime=0.2
/proc/28839/task/28845/stat : 28845 (java) S 28831 28831 27519 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28846] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28846/stat : 28846 (java) S 28831 28831 27519 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28847] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28847/stat : 28847 (java) S 28831 28831 27519 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28848] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28848/stat : 28848 (java) S 28831 28831 27519 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2006822080 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 300576
[startup+51.1028 s]
/proc/loadavg: 2.18 2.07 2.02 3/97 28850
/proc/meminfo: memFree=1350088/2055920 swapFree=4180004/4192956
[pid=28831] ppid=28829 vsize=5360 CPUtime=3.86
/proc/28831/stat : 28831 (hydra) S 28829 28831 27519 0 -1 4194304 375 22603 0 0 0 0 375 11 19 0 1 0 2006821061 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28831/statm: 1340 238 196 169 0 51 0
[pid=28839] ppid=28831 vsize=197432 CPUtime=6.16
/proc/28839/stat : 28839 (java) S 28831 28831 27519 0 -1 0 13949 0 1 0 601 15 0 0 21 0 10 0 2006821453 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28839/statm: 49358 9474 2543 9 0 43941 0
[pid=28849] ppid=28839 vsize=5356 CPUtime=0
/proc/28849/stat : 28849 (mistral) S 28839 28831 27519 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2006822080 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28849/statm: 1339 236 196 169 0 50 0
[pid=28850] ppid=28849 vsize=106096 CPUtime=40.85
/proc/28850/stat : 28850 (xsolve) R 28849 28831 27519 0 -1 4194304 27348 0 0 0 4073 12 0 0 25 0 1 0 2006822081 108642304 25020 996147200 134512640 135239763 4294955952 18446744073709551615 135020419 0 4 0 0 0 0 0 17 0 0 0
/proc/28850/statm: 26524 25020 418 177 0 25427 0
[pid=28839/tid=28840] ppid=28831 vsize=197432 CPUtime=4.85
/proc/28839/task/28840/stat : 28840 (java) S 28831 28831 27519 0 -1 64 3970 0 1 0 481 4 0 0 16 0 10 0 2006821454 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=28839/tid=28841] ppid=28831 vsize=197432 CPUtime=1.07
/proc/28839/task/28841/stat : 28841 (java) S 28831 28831 27519 0 -1 64 8526 0 0 0 98 9 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28842] ppid=28831 vsize=197432 CPUtime=0
################
# More data... #
################
/proc/28849/statm: 1339 236 196 169 0 50 0
[pid=28850] ppid=28849 vsize=137784 CPUtime=151.81
/proc/28850/stat : 28850 (xsolve) R 28849 28831 27519 0 -1 4194304 37782 0 0 0 15159 22 0 0 25 0 1 0 2006822081 141090816 33405 996147200 134512640 135239763 4294955952 18446744073709551615 135020176 0 4 0 0 0 0 0 17 0 0 0
/proc/28850/statm: 34446 33405 418 177 0 33349 0
[pid=28839/tid=28840] ppid=28831 vsize=197432 CPUtime=4.85
/proc/28839/task/28840/stat : 28840 (java) S 28831 28831 27519 0 -1 64 3970 0 1 0 481 4 0 0 16 0 10 0 2006821454 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=28839/tid=28841] ppid=28831 vsize=197432 CPUtime=1.07
/proc/28839/task/28841/stat : 28841 (java) S 28831 28831 27519 0 -1 64 8526 0 0 0 98 9 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28842] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28842/stat : 28842 (java) S 28831 28831 27519 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28843] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28843/stat : 28843 (java) S 28831 28831 27519 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28844] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28844/stat : 28844 (java) S 28831 28831 27519 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28845] ppid=28831 vsize=197432 CPUtime=0.2
/proc/28839/task/28845/stat : 28845 (java) S 28831 28831 27519 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28846] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28846/stat : 28846 (java) S 28831 28831 27519 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28847] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28847/stat : 28847 (java) S 28831 28831 27519 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28848] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28848/stat : 28848 (java) S 28831 28831 27519 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2006822080 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.83
Current children cumulated vsize (KiB) 345932
Solver just ended. Dumping a history of the last processes samples
[startup+163.103 s]
/proc/loadavg: 2.12 2.08 2.02 3/94 29027
/proc/meminfo: memFree=1526240/2055920 swapFree=4180004/4192956
[pid=28831] ppid=28829 vsize=5360 CPUtime=3.86
/proc/28831/stat : 28831 (hydra) S 28829 28831 27519 0 -1 4194304 375 22603 0 0 0 0 375 11 19 0 1 0 2006821061 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28831/statm: 1340 238 196 169 0 51 0
[pid=28839] ppid=28831 vsize=197432 CPUtime=6.16
/proc/28839/stat : 28839 (java) S 28831 28831 27519 0 -1 0 13949 0 1 0 601 15 0 0 21 0 10 0 2006821453 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28839/statm: 49358 9474 2543 9 0 43941 0
[pid=28849] ppid=28839 vsize=5356 CPUtime=0
/proc/28849/stat : 28849 (mistral) S 28839 28831 27519 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2006822080 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28849/statm: 1339 236 196 169 0 50 0
[pid=28850] ppid=28849 vsize=138444 CPUtime=152.61
/proc/28850/stat : 28850 (xsolve) R 28849 28831 27519 0 -1 4194304 37949 0 0 0 15239 22 0 0 25 0 1 0 2006822081 141766656 33572 996147200 134512640 135239763 4294955952 18446744073709551615 135071050 0 4 0 0 0 0 0 17 0 0 0
/proc/28850/statm: 34611 33572 418 177 0 33514 0
[pid=28839/tid=28840] ppid=28831 vsize=197432 CPUtime=4.85
/proc/28839/task/28840/stat : 28840 (java) S 28831 28831 27519 0 -1 64 3970 0 1 0 481 4 0 0 16 0 10 0 2006821454 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=28839/tid=28841] ppid=28831 vsize=197432 CPUtime=1.07
/proc/28839/task/28841/stat : 28841 (java) S 28831 28831 27519 0 -1 64 8526 0 0 0 98 9 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28842] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28842/stat : 28842 (java) S 28831 28831 27519 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28843] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28843/stat : 28843 (java) S 28831 28831 27519 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28844] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28844/stat : 28844 (java) S 28831 28831 27519 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28845] ppid=28831 vsize=197432 CPUtime=0.2
/proc/28839/task/28845/stat : 28845 (java) S 28831 28831 27519 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28846] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28846/stat : 28846 (java) S 28831 28831 27519 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28847] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28847/stat : 28847 (java) S 28831 28831 27519 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28848] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28848/stat : 28848 (java) S 28831 28831 27519 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2006822080 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.63
Current children cumulated vsize (KiB) 346592
[startup+163.503 s]
/proc/loadavg: 2.12 2.08 2.02 3/94 29027
/proc/meminfo: memFree=1526240/2055920 swapFree=4180004/4192956
[pid=28831] ppid=28829 vsize=5360 CPUtime=3.86
/proc/28831/stat : 28831 (hydra) S 28829 28831 27519 0 -1 4194304 375 22603 0 0 0 0 375 11 19 0 1 0 2006821061 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28831/statm: 1340 238 196 169 0 51 0
[pid=28839] ppid=28831 vsize=197432 CPUtime=6.16
/proc/28839/stat : 28839 (java) S 28831 28831 27519 0 -1 0 13949 0 1 0 601 15 0 0 21 0 10 0 2006821453 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28839/statm: 49358 9474 2543 9 0 43941 0
[pid=28849] ppid=28839 vsize=5356 CPUtime=0
/proc/28849/stat : 28849 (mistral) S 28839 28831 27519 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2006822080 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28849/statm: 1339 236 196 169 0 50 0
[pid=28850] ppid=28849 vsize=138708 CPUtime=153.01
/proc/28850/stat : 28850 (xsolve) R 28849 28831 27519 0 -1 4194304 38090 0 0 0 15279 22 0 0 25 0 1 0 2006822081 142036992 33713 996147200 134512640 135239763 4294955952 18446744073709551615 135042207 0 4 0 0 0 0 0 17 0 0 0
/proc/28850/statm: 34677 33713 418 177 0 33580 0
[pid=28839/tid=28840] ppid=28831 vsize=197432 CPUtime=4.85
/proc/28839/task/28840/stat : 28840 (java) S 28831 28831 27519 0 -1 64 3970 0 1 0 481 4 0 0 16 0 10 0 2006821454 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=28839/tid=28841] ppid=28831 vsize=197432 CPUtime=1.07
/proc/28839/task/28841/stat : 28841 (java) S 28831 28831 27519 0 -1 64 8526 0 0 0 98 9 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28842] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28842/stat : 28842 (java) S 28831 28831 27519 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28843] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28843/stat : 28843 (java) S 28831 28831 27519 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28844] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28844/stat : 28844 (java) S 28831 28831 27519 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28845] ppid=28831 vsize=197432 CPUtime=0.2
/proc/28839/task/28845/stat : 28845 (java) S 28831 28831 27519 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28846] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28846/stat : 28846 (java) S 28831 28831 27519 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28847] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28847/stat : 28847 (java) S 28831 28831 27519 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28848] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28848/stat : 28848 (java) S 28831 28831 27519 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2006822080 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 163.03
Current children cumulated vsize (KiB) 346856
[startup+163.703 s]
/proc/loadavg: 2.12 2.08 2.02 3/94 29027
/proc/meminfo: memFree=1526240/2055920 swapFree=4180004/4192956
[pid=28831] ppid=28829 vsize=5360 CPUtime=3.86
/proc/28831/stat : 28831 (hydra) S 28829 28831 27519 0 -1 4194304 375 22603 0 0 0 0 375 11 19 0 1 0 2006821061 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28831/statm: 1340 238 196 169 0 51 0
[pid=28839] ppid=28831 vsize=197432 CPUtime=6.16
/proc/28839/stat : 28839 (java) S 28831 28831 27519 0 -1 0 13951 0 1 0 601 15 0 0 21 0 10 0 2006821453 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28839/statm: 49358 9474 2543 9 0 43941 0
[pid=28849] ppid=28839 vsize=5356 CPUtime=0
/proc/28849/stat : 28849 (mistral) S 28839 28831 27519 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2006822080 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28849/statm: 1339 236 196 169 0 50 0
[pid=28850] ppid=28849 vsize=138972 CPUtime=153.21
/proc/28850/stat : 28850 (xsolve) R 28849 28831 27519 0 -1 4194304 38191 0 0 0 15299 22 0 0 25 0 1 0 2006822081 142307328 33814 996147200 134512640 135239763 4294955952 18446744073709551615 2926101 0 4 0 0 0 0 0 17 0 0 0
/proc/28850/statm: 34743 33814 425 177 0 33646 0
[pid=28839/tid=28840] ppid=28831 vsize=197432 CPUtime=4.85
/proc/28839/task/28840/stat : 28840 (java) S 28831 28831 27519 0 -1 64 3972 0 1 0 481 4 0 0 16 0 10 0 2006821454 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=28839/tid=28841] ppid=28831 vsize=197432 CPUtime=1.07
/proc/28839/task/28841/stat : 28841 (java) S 28831 28831 27519 0 -1 64 8526 0 0 0 98 9 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28842] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28842/stat : 28842 (java) S 28831 28831 27519 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28843] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28843/stat : 28843 (java) S 28831 28831 27519 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28844] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28844/stat : 28844 (java) S 28831 28831 27519 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28845] ppid=28831 vsize=197432 CPUtime=0.2
/proc/28839/task/28845/stat : 28845 (java) S 28831 28831 27519 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28846] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28846/stat : 28846 (java) S 28831 28831 27519 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28847] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28847/stat : 28847 (java) S 28831 28831 27519 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28848] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28848/stat : 28848 (java) S 28831 28831 27519 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2006822080 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 163.23
Current children cumulated vsize (KiB) 347120
[startup+163.803 s]
/proc/loadavg: 2.12 2.08 2.02 3/94 29027
/proc/meminfo: memFree=1524768/2055920 swapFree=4180004/4192956
[pid=28831] ppid=28829 vsize=5360 CPUtime=3.86
/proc/28831/stat : 28831 (hydra) S 28829 28831 27519 0 -1 4194304 375 22603 0 0 0 0 375 11 19 0 1 0 2006821061 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28831/statm: 1340 238 196 169 0 51 0
[pid=28839] ppid=28831 vsize=197432 CPUtime=6.16
/proc/28839/stat : 28839 (java) S 28831 28831 27519 0 -1 0 13951 0 1 0 601 15 0 0 21 0 10 0 2006821453 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28839/statm: 49358 9474 2543 9 0 43941 0
[pid=28849] ppid=28839 vsize=5356 CPUtime=0
/proc/28849/stat : 28849 (mistral) S 28839 28831 27519 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2006822080 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28849/statm: 1339 236 196 169 0 50 0
[pid=28850] ppid=28849 vsize=138972 CPUtime=153.31
/proc/28850/stat : 28850 (xsolve) R 28849 28831 27519 0 -1 4194304 38191 0 0 0 15309 22 0 0 25 0 1 0 2006822081 142307328 33814 996147200 134512640 135239763 4294955952 18446744073709551615 2926101 0 4 0 0 0 0 0 17 0 0 0
/proc/28850/statm: 34743 33814 425 177 0 33646 0
[pid=28839/tid=28840] ppid=28831 vsize=197432 CPUtime=4.85
/proc/28839/task/28840/stat : 28840 (java) S 28831 28831 27519 0 -1 64 3972 0 1 0 481 4 0 0 16 0 10 0 2006821454 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=28839/tid=28841] ppid=28831 vsize=197432 CPUtime=1.07
/proc/28839/task/28841/stat : 28841 (java) S 28831 28831 27519 0 -1 64 8526 0 0 0 98 9 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28842] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28842/stat : 28842 (java) S 28831 28831 27519 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28843] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28843/stat : 28843 (java) S 28831 28831 27519 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2006821455 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28844] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28844/stat : 28844 (java) S 28831 28831 27519 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28845] ppid=28831 vsize=197432 CPUtime=0.2
/proc/28839/task/28845/stat : 28845 (java) S 28831 28831 27519 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28846] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28846/stat : 28846 (java) S 28831 28831 27519 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28847] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28847/stat : 28847 (java) S 28831 28831 27519 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2006821457 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28839/tid=28848] ppid=28831 vsize=197432 CPUtime=0
/proc/28839/task/28848/stat : 28848 (java) S 28831 28831 27519 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2006822080 202170368 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 163.33
Current children cumulated vsize (KiB) 347120
Child status: 0
Real time (s): 163.902
CPU time (s): 163.466
CPU user time (s): 162.928
CPU system time (s): 0.537918
CPU usage (%): 99.7343
Max. virtual memory (cumulated for all children) (KiB): 347120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 162.928
system time used= 0.537918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75538
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= 11899
involuntary context switches= 11616
runsolver used 0.202969 second user time and 0.607907 second system time
The end
Begin job on node23 at 2008-07-05 19:21:09
IDJOB=1093884
IDBENCH=58732
IDSOLVER=365
FILE ID=node23/1093884-1215278469
PBS_JOBID= 7882197
Free space on /tmp= 66516 MiB
SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/queens/normalized-queens-150.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093884-1215278469/watcher-1093884-1215278469 -o /tmp/evaluation-result-1093884-1215278469/solver-1093884-1215278469 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1093884-1215278469.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 3e1168ad51844cea85c2810ca2ef4fbf
RANDOM SEED=1156105305
node23.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.216
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.216
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: 1504144 kB
Buffers: 41320 kB
Cached: 259912 kB
SwapCached: 7012 kB
Active: 387328 kB
Inactive: 110576 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1504144 kB
SwapTotal: 4192956 kB
SwapFree: 4180004 kB
Dirty: 25988 kB
Writeback: 0 kB
Mapped: 213692 kB
Slab: 38660 kB
Committed_AS: 3696312 kB
PageTables: 2292 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 node23 at 2008-07-05 19:23:53