Trace number 1093847

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 364.084 365.765

DiagnosticValue
ASSIGNMENTS361
CHECKS13342200

General information on the benchmark

Namecsp/queens/
normalized-queens-180.xml
MD5SUMc14abf4d20a38dc3ddd30b1ce4c8122e
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.4924
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of constraints16110
Maximum constraint arity2
Maximum domain size180
Number of constraints which are defined in extension0
Number of constraints which are defined in intension16110
Global constraints used (with number of constraints)

Solver Data (download as text)

0.18/0.22	c mistral-prime version 1.313
0.18/0.22	c 
0.18/0.22	c Parsing xml file
0.18/0.22	c          domains...............     0	(1 domains)
0.18/0.22	c          variables.............     0	(180 variables)
0.18/0.22	c          predicates............     0	(1 predicates)
0.18/0.22	c          constraints...........  0.69	(16110 constraints)
0.68/0.70	c Parsing time:   0.69
0.68/0.70	c
0.68/0.70	c Building model
0.68/0.76	c         1 AllDifferent constraints infered
0.98/1.09	c         0 constants
0.98/1.09	c         0 Boolean variables    (+0)
0.98/1.09	c         0 range variables      (+0)
0.98/1.09	c       180 domain (b) variables (+32220)
0.98/1.09	c         0 domain (l) variables (+0)
0.98/1.09	c     16110 constraints          (+32221)
0.98/1.09	c         0 values 
0.98/1.09	c Building time:   0.38
0.98/1.09	c
0.98/1.09	c Solving instance
0.98/1.09	c          heuristic = dom/wdeg
0.98/1.09	c          Randomized probing iteration = 100
0.98/1.09	c          probing limit = 30
0.98/1.09	c          level based weights = no
0.98/1.09	c          impact probing = no
0.98/1.09	c          restart policy = No restart
0.98/1.09	c          probing .362.66
363.61/365.36	c          Probing Nodes   361
363.61/365.36	c Solving time: 362.66
363.61/365.36	c
363.61/365.36	s SATISFIABLE
363.61/365.36	v 42 134 149 127 158 126 70 99 21 103 61 59 28 65 162 155 23 20 174 31 7 112 16 125 4 114 36 45 39 62 139 10 34 74 108 180 24 83 145 44 17 49 80 121 33 35 15 53 119 109 48 86 1 11 117 69 47 40 30 159 113 142 54 138 25 137 93 146 89 164 98 153 57 19 22 131 156 55 78 175 150 171 169 12 9 154 148 38 92 111 71 120 118 136 87 179 64 94 147 3 26 97 161 76 172 58 60 102 163 133 77 85 96 143 123 135 79 167 165 75 157 122 56 5 168 124 160 66 37 144 105 43 6 115 151 101 8 176 52 50 46 14 173 166 68 177 81 91 51 82 73 170 128 178 72 110 88 104 100 13 130 27 84 90 129 95 152 18 29 106 141 107 32 132 67 2 140 63 116 41
363.61/365.36	d CHECKS 13342216
363.61/365.36	d ASSIGNMENTS 361

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-1093847-1215278284/watcher-1093847-1215278284 -o /tmp/evaluation-result-1093847-1215278284/solver-1093847-1215278284 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1093847-1215278284.xml -v 1 -rs 1084744675 -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: 1.92 1.98 1.99 4/73 14624
/proc/meminfo: memFree=1721496/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=18572 CPUtime=0
/proc/14624/stat : 14624 (runsolver) R 14622 14624 12090 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1012233009 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 206381313319 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14624/statm: 4643 292 257 25 0 2626 0

[startup+0.101924 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 14624
/proc/meminfo: memFree=1721496/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=6936 CPUtime=0.08
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 1076 0 0 0 8 0 0 0 18 0 1 0 1012233009 7102464 1042 996147200 134512640 135239859 4294956144 18446744073709551615 10970747 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 1734 1042 394 177 0 637 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6936

[startup+0.20193 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 14624
/proc/meminfo: memFree=1721496/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=9560 CPUtime=0.18
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 1722 0 0 0 18 0 0 0 18 0 1 0 1012233009 9789440 1688 996147200 134512640 135239859 4294956144 18446744073709551615 10970747 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 2390 1688 394 177 0 1293 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 9560

[startup+0.30194 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 14624
/proc/meminfo: memFree=1721496/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=12308 CPUtime=0.28
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 2435 0 0 0 27 1 0 0 19 0 1 0 1012233009 12603392 2335 996147200 134512640 135239859 4294956144 18446744073709551615 10970747 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 3077 2336 394 177 0 1980 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12308

[startup+0.701982 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 14624
/proc/meminfo: memFree=1721496/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=22340 CPUtime=0.68
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 5063 0 0 0 65 3 0 0 23 0 1 0 1012233009 22876160 4833 996147200 134512640 135239859 4294956144 18446744073709551615 10970747 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 5618 4834 394 177 0 4521 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22340

[startup+1.50106 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 14625
/proc/meminfo: memFree=1585680/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=140536 CPUtime=1.47
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 34644 0 0 0 131 16 0 0 25 0 1 0 1012233009 143908864 34301 996147200 134512640 135239859 4294956144 18446744073709551615 135096351 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 35134 34301 439 177 0 34037 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 140536

[startup+3.10123 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 14625
/proc/meminfo: memFree=1585680/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=140536 CPUtime=3.07
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 34644 0 0 0 291 16 0 0 25 0 1 0 1012233009 143908864 34301 996147200 134512640 135239859 4294956144 18446744073709551615 135015387 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 35134 34301 439 177 0 34037 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 140536

[startup+6.30156 s]
/proc/loadavg: 1.93 1.98 1.99 3/74 14625
/proc/meminfo: memFree=1585168/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=140932 CPUtime=6.26
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 34771 0 0 0 610 16 0 0 25 0 1 0 1012233009 144314368 34428 996147200 134512640 135239859 4294956144 18446744073709551615 135095233 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 35233 34428 440 177 0 34136 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 140932

[startup+12.7012 s]
/proc/loadavg: 1.93 1.98 1.99 3/74 14625
/proc/meminfo: memFree=1584208/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=142072 CPUtime=12.62
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 35203 0 0 0 1246 16 0 0 25 0 1 0 1012233009 145481728 34633 996147200 134512640 135239859 4294956144 18446744073709551615 135020515 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 35518 34633 440 177 0 34421 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 142072

[startup+25.5016 s]
/proc/loadavg: 1.95 1.98 1.99 3/74 14625
/proc/meminfo: memFree=1582992/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=143096 CPUtime=25.37
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 35770 0 0 0 2520 17 0 0 25 0 1 0 1012233009 146530304 34943 996147200 134512640 135239859 4294956144 18446744073709551615 135020309 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 35774 34943 440 177 0 34677 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 143096

[startup+51.1012 s]
/proc/loadavg: 1.96 1.98 1.99 3/74 14625
/proc/meminfo: memFree=1579984/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=149240 CPUtime=50.85
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 38059 0 0 0 5067 18 0 0 25 0 1 0 1012233009 152821760 35694 996147200 134512640 135239859 4294956144 18446744073709551615 135020515 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 37310 35694 440 177 0 36213 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 149240

[startup+102.302 s]
/proc/loadavg: 1.98 1.98 1.99 3/74 14625
/proc/meminfo: memFree=1563664/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=167464 CPUtime=101.82
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 44158 0 0 0 10161 21 0 0 25 0 1 0 1012233009 171483136 39744 996147200 134512640 135239859 4294956144 18446744073709551615 135020325 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 41866 39744 440 177 0 40769 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 167464

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 14625
/proc/meminfo: memFree=1528976/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=209060 CPUtime=161.54
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 56963 0 0 0 16129 25 0 0 25 0 1 0 1012233009 214077440 48452 996147200 134512640 135239859 4294956144 18446744073709551615 10970747 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 52265 48452 440 177 0 51168 0
Current children cumulated CPU time (s) 161.54
Current children cumulated vsize (KiB) 209060

[startup+222.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 14625
/proc/meminfo: memFree=1506384/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=222524 CPUtime=221.27
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 62473 0 0 0 22098 29 0 0 25 0 1 0 1012233009 227864576 53962 996147200 134512640 135239859 4294956144 18446744073709551615 135020323 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 55631 53962 440 177 0 54534 0
Current children cumulated CPU time (s) 221.27
Current children cumulated vsize (KiB) 222524

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 14625
/proc/meminfo: memFree=1506384/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=222524 CPUtime=281
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 62473 0 0 0 28070 30 0 0 25 0 1 0 1012233009 227864576 53962 996147200 134512640 135239859 4294956144 18446744073709551615 135016645 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 55631 53962 440 177 0 54534 0
Current children cumulated CPU time (s) 281
Current children cumulated vsize (KiB) 222524

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 14625
/proc/meminfo: memFree=1505040/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=224108 CPUtime=340.72
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 62855 0 0 0 34042 30 0 0 25 0 1 0 1012233009 229486592 54344 996147200 134512640 135239859 4294956144 18446744073709551615 135020559 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 56027 54344 440 177 0 54930 0
Current children cumulated CPU time (s) 340.72
Current children cumulated vsize (KiB) 224108

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

[startup+345.603 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 14625
/proc/meminfo: memFree=1504656/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=224372 CPUtime=344
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 62937 0 0 0 34370 30 0 0 25 0 1 0 1012233009 229756928 54426 996147200 134512640 135239859 4294956144 18446744073709551615 135020597 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 56093 54426 440 177 0 54996 0
Current children cumulated CPU time (s) 344
Current children cumulated vsize (KiB) 224372

[startup+358.401 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 14625
/proc/meminfo: memFree=1502800/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=226352 CPUtime=356.74
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 63439 0 0 0 35643 31 0 0 25 0 1 0 1012233009 231784448 54928 996147200 134512640 135239859 4294956144 18446744073709551615 135072098 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 56588 54928 440 177 0 55491 0
Current children cumulated CPU time (s) 356.74
Current children cumulated vsize (KiB) 226352

[startup+361.601 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 14625
/proc/meminfo: memFree=1501776/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=227408 CPUtime=359.93
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 63707 0 0 0 35962 31 0 0 25 0 1 0 1012233009 232865792 55196 996147200 134512640 135239859 4294956144 18446744073709551615 134804668 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 56852 55196 440 177 0 55755 0
Current children cumulated CPU time (s) 359.93
Current children cumulated vsize (KiB) 227408

[startup+363.203 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 14625
/proc/meminfo: memFree=1501072/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=228068 CPUtime=361.52
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 63862 0 0 0 36121 31 0 0 25 0 1 0 1012233009 233541632 55351 996147200 134512640 135239859 4294956144 18446744073709551615 135016063 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 57017 55351 440 177 0 55920 0
Current children cumulated CPU time (s) 361.52
Current children cumulated vsize (KiB) 228068

[startup+364.802 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 14625
/proc/meminfo: memFree=1500560/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=228992 CPUtime=363.12
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 64225 0 0 0 36280 32 0 0 25 0 1 0 1012233009 234487808 55714 996147200 134512640 135239859 4294956144 18446744073709551615 135067266 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 57248 55714 440 177 0 56151 0
Current children cumulated CPU time (s) 363.12
Current children cumulated vsize (KiB) 228992

[startup+365.202 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 14625
/proc/meminfo: memFree=1498256/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=229652 CPUtime=363.52
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 64537 0 0 0 36320 32 0 0 25 0 1 0 1012233009 235163648 56026 996147200 134512640 135239859 4294956144 18446744073709551615 135016195 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 57413 56026 440 177 0 56316 0
Current children cumulated CPU time (s) 363.52
Current children cumulated vsize (KiB) 229652

[startup+365.602 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 14625
/proc/meminfo: memFree=1498256/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=229916 CPUtime=363.91
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 64646 0 0 0 36359 32 0 0 25 0 1 0 1012233009 235433984 56135 996147200 134512640 135239859 4294956144 18446744073709551615 10966530 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 57479 56135 443 177 0 56382 0
Current children cumulated CPU time (s) 363.91
Current children cumulated vsize (KiB) 229916

[startup+365.702 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 14625
/proc/meminfo: memFree=1498256/2055920 swapFree=4180884/4192956
[pid=14624] ppid=14622 vsize=25064 CPUtime=364.01
/proc/14624/stat : 14624 (xsolve) R 14622 14624 12090 0 -1 4194304 64652 0 0 0 36366 35 0 0 25 0 1 0 1012233009 25665536 5539 996147200 134512640 135239859 4294956144 18446744073709551615 10968572 0 0 4096 0 0 0 0 17 1 0 0
/proc/14624/statm: 6266 5539 449 177 0 5169 0
Current children cumulated CPU time (s) 364.01
Current children cumulated vsize (KiB) 25064

Child status: 0
Real time (s): 365.765
CPU time (s): 364.084
CPU user time (s): 363.721
CPU system time (s): 0.362944
CPU usage (%): 99.5402
Max. virtual memory (cumulated for all children) (KiB): 229916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 363.721
system time used= 0.362944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64655
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= 4690

runsolver used 0.331949 second user time and 1.00585 second system time

The end

Launcher Data (download as text)

Begin job on node2 at 2008-07-05 19:18:04
IDJOB=1093847
IDBENCH=58731
IDSOLVER=342
FILE ID=node2/1093847-1215278284
PBS_JOBID= 7882201
Free space on /tmp= 66484 MiB

SOLVER NAME= MDG-probe 2008-06-27
BENCH NAME= CPAI08/csp/queens/normalized-queens-180.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-1093847-1215278284/watcher-1093847-1215278284 -o /tmp/evaluation-result-1093847-1215278284/solver-1093847-1215278284 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/xsolve HOME/instance-1093847-1215278284.xml -v 1 -rs 1084744675 -probe 1 -ph 0 -heu dom/wdeg -res no

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= c14abf4d20a38dc3ddd30b1ce4c8122e
RANDOM SEED=1084744675

node2.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:       1721976 kB
Buffers:         45836 kB
Cached:         218352 kB
SwapCached:       5908 kB
Active:         194056 kB
Inactive:        81896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1721976 kB
SwapTotal:     4192956 kB
SwapFree:      4180884 kB
Dirty:            3004 kB
Writeback:           0 kB
Mapped:          19256 kB
Slab:            42980 kB
Committed_AS:  1665272 kB
PageTables:       2008 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264992 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66480 MiB
End job on node2 at 2008-07-05 19:24:10