Trace number 1056192

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
MDG-probe 2008-06-27SAT 381.094 381.829

DiagnosticValue
ASSIGNMENTS283
CHECKS8146680

General information on the benchmark

Namecsp/largeQueens/
normalized-queens-300.xml
MD5SUMc7d57b0262fde2b45e9a562f45f9d3ca
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.9213
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints44850
Maximum constraint arity2
Maximum domain size300
Number of constraints which are defined in extension0
Number of constraints which are defined in intension44850
Global constraints used (with number of constraints)

Solver Data (download as text)

0.18/0.20	c mistral-prime version 1.313
0.18/0.20	c 
0.18/0.20	c Parsing xml file
0.18/0.20	c          domains...............     0	(1 domains)
0.18/0.20	c          variables.............     0	(300 variables)
0.18/0.20	c          predicates............     0	(1 predicates)
0.18/0.20	c          constraints...........  1.83	(44850 constraints)
1.78/1.85	c Parsing time:   1.83
1.78/1.85	c
1.78/1.85	c Building model
2.47/2.54	c         1 AllDifferent constraints infered
2.57/2.64	c         0 constants
2.57/2.64	c         0 Boolean variables    (+0)
2.57/2.64	c         0 range variables      (+0)
2.57/2.64	c         0 domain (b) variables (+0)
2.57/2.64	c       300 domain (l) variables (+0)
2.57/2.64	c     44850 constraints          (+1)
2.57/2.64	c         0 values 
2.57/2.64	c Building time:   0.78
2.57/2.64	c
2.57/2.64	c Solving instance
2.57/2.64	c          heuristic = dom/wdeg
2.57/2.64	c          Randomized probing iteration = 100
2.57/2.64	c          probing limit = 30
2.57/2.64	c          level based weights = no
2.57/2.64	c          impact probing = no
2.57/2.64	c          restart policy = No restart
2.57/2.64	c          probing .378.38
380.86/381.66	c          Probing Nodes   283
380.86/381.66	c Solving time: 378.38
380.86/381.66	c
380.86/381.66	s SATISFIABLE
380.86/381.66	v 11 248 256 175 31 57 206 95 237 184 247 49 204 189 154 200 26 172 285 227 217 140 174 221 298 281 214 170 186 12 255 286 236 65 116 201 23 21 287 1 44 169 105 82 284 224 10 254 156 52 171 235 92 42 29 91 41 43 78 158 141 144 58 14 126 115 222 151 38 250 177 68 60 103 242 48 110 40 76 128 73 190 83 272 209 7 102 77 112 146 267 300 239 99 117 47 67 251 51 259 3 127 297 18 54 205 233 101 62 155 234 293 185 270 113 241 138 261 125 36 262 181 35 118 98 162 220 178 24 244 132 149 157 265 245 34 59 296 299 249 288 32 87 90 16 111 199 202 94 246 252 215 238 219 2 69 203 292 280 89 46 122 191 28 229 271 134 5 257 6 9 179 276 61 25 192 176 253 145 240 85 193 71 268 282 218 195 107 104 294 291 210 197 148 264 226 168 225 213 39 121 75 136 109 173 263 164 135 279 223 159 88 188 123 194 274 63 96 13 260 114 45 165 290 15 167 295 80 152 147 79 196 129 278 64 133 228 53 17 230 20 182 143 119 86 120 4 37 84 55 93 180 208 153 289 27 19 183 166 56 124 72 283 97 277 131 243 108 216 207 139 211 231 8 66 232 50 70 137 160 130 33 81 161 266 187 100 142 269 22 163 106 150 212 198 273 275 74 258 30
380.86/381.66	d CHECKS 8146679
380.86/381.66	d ASSIGNMENTS 283

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056192-1215062273/watcher-1056192-1215062273 -o /tmp/evaluation-result-1056192-1215062273/solver-1056192-1215062273 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1056192-1215062273.xml -v 1 -rs 1476650758 -probe 1 -ph 0 -heu dom/wdeg -res no 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 4046
/proc/meminfo: memFree=1619256/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=820 CPUtime=0
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 39 0 0 0 0 0 0 0 19 0 1 0 1535902346 839680 25 996147200 134512640 135239859 4294956144 18446744073709551615 9696036 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 205 25 19 177 0 3 0

[startup+0.109105 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 4046
/proc/meminfo: memFree=1619256/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=5916 CPUtime=0.09
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 795 0 0 0 9 0 0 0 18 0 1 0 1535902346 6057984 761 996147200 134512640 135239859 4294956144 18446744073709551615 4159782615 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 1479 761 393 177 0 382 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5916

[startup+0.201113 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 4046
/proc/meminfo: memFree=1619256/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=6988 CPUtime=0.18
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 1067 0 0 0 18 0 0 0 18 0 1 0 1535902346 7155712 1033 996147200 134512640 135239859 4294956144 18446744073709551615 134597390 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 1747 1033 393 177 0 650 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6988

[startup+0.301126 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 4046
/proc/meminfo: memFree=1619256/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=8144 CPUtime=0.28
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 1361 0 0 0 28 0 0 0 19 0 1 0 1535902346 8339456 1327 996147200 134512640 135239859 4294956144 18446744073709551615 134683271 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 2036 1327 393 177 0 939 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8144

[startup+0.701162 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 4046
/proc/meminfo: memFree=1619256/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=12928 CPUtime=0.68
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 2546 0 0 0 67 1 0 0 23 0 1 0 1535902346 13238272 2446 996147200 134512640 135239859 4294956144 18446744073709551615 134622425 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 3232 2446 393 177 0 2135 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12928

[startup+1.50124 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 4047
/proc/meminfo: memFree=1606576/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=21876 CPUtime=1.48
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 4879 0 0 0 145 3 0 0 25 0 1 0 1535902346 22401024 4616 996147200 134512640 135239859 4294956144 18446744073709551615 4158656412 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 5469 4616 393 177 0 4372 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21876

[startup+3.10139 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 4047
/proc/meminfo: memFree=1598000/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=46416 CPUtime=3.07
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11281 0 0 0 300 7 0 0 25 0 1 0 1535902346 47529984 10678 996147200 134512640 135239859 4294956144 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 11604 10678 429 177 0 10507 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 46416

[startup+6.30171 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 4047
/proc/meminfo: memFree=1577968/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=46416 CPUtime=6.26
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11281 0 0 0 619 7 0 0 25 0 1 0 1535902346 47529984 10678 996147200 134512640 135239859 4294956144 18446744073709551615 134534752 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 11604 10678 429 177 0 10507 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 46416

[startup+12.7014 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 4047
/proc/meminfo: memFree=1577840/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=46416 CPUtime=12.63
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11286 0 0 0 1256 7 0 0 25 0 1 0 1535902346 47529984 10683 996147200 134512640 135239859 4294956144 18446744073709551615 135096428 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 11604 10683 431 177 0 10507 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 46416

[startup+25.5016 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 4047
/proc/meminfo: memFree=1577840/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=46548 CPUtime=25.38
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11292 0 0 0 2531 7 0 0 25 0 1 0 1535902346 47665152 10689 996147200 134512640 135239859 4294956144 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 11637 10689 431 177 0 10540 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 46548

[startup+51.1012 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 4047
/proc/meminfo: memFree=1577840/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=46548 CPUtime=50.87
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11299 0 0 0 5080 7 0 0 25 0 1 0 1535902346 47665152 10696 996147200 134512640 135239859 4294956144 18446744073709551615 135096317 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 11637 10696 431 177 0 10540 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 46548

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 4047
/proc/meminfo: memFree=1577648/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=46548 CPUtime=101.87
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11314 0 0 0 10180 7 0 0 25 0 1 0 1535902346 47665152 10711 996147200 134512640 135239859 4294956144 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 11637 10711 431 177 0 10540 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 46548

[startup+162.301 s]
/proc/loadavg: 1.95 1.98 1.99 3/73 4137
/proc/meminfo: memFree=1679368/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=46680 CPUtime=161.75
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11343 0 0 0 16166 9 0 0 25 0 1 0 1535902346 47800320 10740 996147200 134512640 135239859 4294956144 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11670 10740 431 177 0 10573 0
Current children cumulated CPU time (s) 161.75
Current children cumulated vsize (KiB) 46680

[startup+222.305 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 4137
/proc/meminfo: memFree=1679368/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=46940 CPUtime=221.7
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11406 0 0 0 22161 9 0 0 25 0 1 0 1535902346 48066560 10770 996147200 134512640 135239859 4294956144 18446744073709551615 134535328 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11735 10770 431 177 0 10638 0
Current children cumulated CPU time (s) 221.7
Current children cumulated vsize (KiB) 46940

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 4176
/proc/meminfo: memFree=1603328/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=47072 CPUtime=281.63
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11457 0 0 0 28153 10 0 0 25 0 1 0 1535902346 48201728 10821 996147200 134512640 135239859 4294956144 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11768 10821 431 177 0 10671 0
Current children cumulated CPU time (s) 281.63
Current children cumulated vsize (KiB) 47072

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 4176
/proc/meminfo: memFree=1603008/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=47072 CPUtime=341.58
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11481 0 0 0 34148 10 0 0 25 0 1 0 1535902346 48201728 10845 996147200 134512640 135239859 4294956144 18446744073709551615 135096400 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11768 10845 431 177 0 10671 0
Current children cumulated CPU time (s) 341.58
Current children cumulated vsize (KiB) 47072

Solver just ended. Dumping a history of the last processes samples

[startup+358.402 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 4176
/proc/meminfo: memFree=1602816/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=47460 CPUtime=357.67
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11570 0 0 0 35757 10 0 0 25 0 1 0 1535902346 48599040 10869 996147200 134512640 135239859 4294956144 18446744073709551615 134532191 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11865 10869 431 177 0 10768 0
Current children cumulated CPU time (s) 357.67
Current children cumulated vsize (KiB) 47460

[startup+371.201 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 4176
/proc/meminfo: memFree=1602624/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=47724 CPUtime=370.46
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11637 0 0 0 37035 11 0 0 25 0 1 0 1535902346 48869376 10936 996147200 134512640 135239859 4294956144 18446744073709551615 134534768 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11931 10936 431 177 0 10834 0
Current children cumulated CPU time (s) 370.46
Current children cumulated vsize (KiB) 47724

[startup+377.602 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 4176
/proc/meminfo: memFree=1602624/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=47724 CPUtime=376.86
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11643 0 0 0 37675 11 0 0 25 0 1 0 1535902346 48869376 10942 996147200 134512640 135239859 4294956144 18446744073709551615 134538928 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11931 10942 431 177 0 10834 0
Current children cumulated CPU time (s) 376.86
Current children cumulated vsize (KiB) 47724

[startup+379.202 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 4176
/proc/meminfo: memFree=1602624/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=47724 CPUtime=378.46
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11645 0 0 0 37835 11 0 0 25 0 1 0 1535902346 48869376 10944 996147200 134512640 135239859 4294956144 18446744073709551615 134538902 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11931 10944 431 177 0 10834 0
Current children cumulated CPU time (s) 378.46
Current children cumulated vsize (KiB) 47724

[startup+380.801 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 4176
/proc/meminfo: memFree=1602624/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=47724 CPUtime=380.06
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11648 0 0 0 37995 11 0 0 25 0 1 0 1535902346 48869376 10947 996147200 134512640 135239859 4294956144 18446744073709551615 134535328 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11931 10947 431 177 0 10834 0
Current children cumulated CPU time (s) 380.06
Current children cumulated vsize (KiB) 47724

[startup+381.601 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 4176
/proc/meminfo: memFree=1602624/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=47724 CPUtime=380.86
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11651 0 0 0 38075 11 0 0 25 0 1 0 1535902346 48869376 10950 996147200 134512640 135239859 4294956144 18446744073709551615 135096400 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11931 10950 431 177 0 10834 0
Current children cumulated CPU time (s) 380.86
Current children cumulated vsize (KiB) 47724

[startup+381.806 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 4176
/proc/meminfo: memFree=1602560/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=26928 CPUtime=381.06
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11665 0 0 0 38095 11 0 0 25 0 1 0 1535902346 27574272 5887 996147200 134512640 135239859 4294956144 18446744073709551615 10125436 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 6732 5887 442 177 0 5635 0
Current children cumulated CPU time (s) 381.06
Current children cumulated vsize (KiB) 26928

Child status: 0
Real time (s): 381.829
CPU time (s): 381.094
CPU user time (s): 380.977
CPU system time (s): 0.116982
CPU usage (%): 99.8075
Max. virtual memory (cumulated for all children) (KiB): 47724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 380.977
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11666
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 2439

runsolver used 0.396939 second user time and 1.03484 second system time

The end

Launcher Data (download as text)

Begin job on node12 at 2008-07-03 07:17:53
IDJOB=1056192
IDBENCH=57403
IDSOLVER=342
FILE ID=node12/1056192-1215062273
PBS_JOBID= 7875150
Free space on /tmp= 66536 MiB

SOLVER NAME= MDG-probe 2008-06-27
BENCH NAME= CPAI08/csp/largeQueens/normalized-queens-300.xml
COMMAND LINE= HOME/xsolve BENCHNAME -v 1 -rs RANDOMSEED -probe 1 -ph 0 -heu dom/wdeg -res no
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056192-1215062273/watcher-1056192-1215062273 -o /tmp/evaluation-result-1056192-1215062273/solver-1056192-1215062273 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/xsolve HOME/instance-1056192-1215062273.xml -v 1 -rs 1476650758 -probe 1 -ph 0 -heu dom/wdeg -res no

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= c7d57b0262fde2b45e9a562f45f9d3ca
RANDOM SEED=1476650758

node12.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.236
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.236
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:       1619736 kB
Buffers:         26232 kB
Cached:         143900 kB
SwapCached:      64468 kB
Active:         282480 kB
Inactive:        89496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1619736 kB
SwapTotal:     4192956 kB
SwapFree:      4122584 kB
Dirty:            6828 kB
Writeback:           0 kB
Mapped:         218048 kB
Slab:            49100 kB
Committed_AS:  2996944 kB
PageTables:       2240 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= 66532 MiB
End job on node12 at 2008-07-03 07:24:15