Trace number 2068887

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
pcs 0.3.2? (MO) 806.698 814.353

General information on the benchmark

Namecsp/tdsp/
normalized-C3-2-31.xml
MD5SUMdaf792f61fdf819c51bec95a5a233a29
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark6.26605
Satisfiable
(Un)Satisfiability was proved
Number of variables89
Number of constraints464
Maximum constraint arity6
Maximum domain size61
Number of constraints which are defined in extension0
Number of constraints which are defined in intension464
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.00/0.02	c Seed is 204990365
0.00/0.02	c Constructing HOME/instance-2068887-1247707366.xml  with 11194 constraints
0.07/0.13	c Solving

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2068887-1247707366/watcher-2068887-1247707366 -o /tmp/evaluation-result-2068887-1247707366/solver-2068887-1247707366 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 204990365 HOME/instance-2068887-1247707366.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.88 2.05 2.22 4/72 14631
/proc/meminfo: memFree=1232872/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=5356 CPUtime=0
/proc/14631/stat : 14631 (pcssolve) R 14629 14631 12936 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 57803003 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 238487661215 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14631/statm: 1339 241 200 169 0 50 0
[pid=14632] ppid=14631 vsize=3676 CPUtime=0
/proc/14632/stat : 14632 (fgrep) R 14631 14631 12936 0 -1 4194304 136 0 0 0 0 0 0 0 22 0 1 0 57803003 3764224 103 996147200 4194304 4274172 548682068976 18446744073709551615 238487830002 0 0 4096 0 0 0 0 17 1 0 0
/proc/14632/statm: 919 103 84 19 0 43 0
[pid=14633] ppid=14631 vsize=5356 CPUtime=0
/proc/14633/stat : 14633 (pcssolve) R 14631 14631 12936 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 57803003 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 238487661215 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14633/statm: 1339 241 200 169 0 50 0

[startup+0.044017 s]
/proc/loadavg: 1.88 2.05 2.22 4/72 14631
/proc/meminfo: memFree=1232872/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=5336 CPUtime=0.02
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 968 657 0 0 2 0 0 0 23 0 1 0 57803003 5464064 599 996147200 134512640 135215973 4294956304 18446744073709551615 2936484 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 1334 599 389 171 0 259 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5336

[startup+0.102033 s]
/proc/loadavg: 1.88 2.05 2.22 4/72 14631
/proc/meminfo: memFree=1232872/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=7188 CPUtime=0.07
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 1534 657 0 0 7 0 0 0 23 0 1 0 57803003 7360512 1035 996147200 134512640 135215973 4294956304 18446744073709551615 4159787816 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 1797 1035 389 171 0 722 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7188

[startup+0.302066 s]
/proc/loadavg: 1.88 2.05 2.22 4/72 14631
/proc/meminfo: memFree=1232872/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=12672 CPUtime=0.28
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 3339 657 0 0 26 2 0 0 25 0 1 0 57803003 12976128 2236 996147200 134512640 135215973 4294956304 18446744073709551615 134902700 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 3168 2236 406 171 0 2093 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12672

[startup+0.70215 s]
/proc/loadavg: 1.88 2.05 2.22 4/72 14631
/proc/meminfo: memFree=1232872/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=15360 CPUtime=0.67
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 4244 657 0 0 65 2 0 0 25 0 1 0 57803003 15728640 2724 996147200 134512640 135215973 4294956304 18446744073709551615 134960189 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 3840 2724 410 171 0 2765 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 15360

[startup+1.5013 s]
/proc/loadavg: 1.88 2.05 2.22 3/73 14636
/proc/meminfo: memFree=1223328/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=15648 CPUtime=1.46
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 4320 657 0 0 144 2 0 0 25 0 1 0 57803003 16023552 2800 996147200 134512640 135215973 4294956304 18446744073709551615 134591235 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 3912 2800 410 171 0 2837 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 15648

[startup+3.10161 s]
/proc/loadavg: 1.88 2.05 2.22 3/73 14636
/proc/meminfo: memFree=1222688/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=16320 CPUtime=3.05
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 4493 657 0 0 303 2 0 0 25 0 1 0 57803003 16711680 2973 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 4080 2973 410 171 0 3005 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 16320

[startup+6.30123 s]
/proc/loadavg: 1.89 2.05 2.22 3/73 14636
/proc/meminfo: memFree=1220768/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=18384 CPUtime=6.22
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 5022 657 0 0 619 3 0 0 25 0 1 0 57803003 18825216 3502 996147200 134512640 135215973 4294956304 18446744073709551615 134600026 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 4596 3502 410 171 0 3521 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 18384

[startup+12.7015 s]
/proc/loadavg: 1.90 2.05 2.22 3/73 14636
/proc/meminfo: memFree=1214112/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=24904 CPUtime=12.56
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 6669 657 0 0 1252 4 0 0 25 0 1 0 57803003 25501696 5149 996147200 134512640 135215973 4294956304 18446744073709551615 134600167 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 6226 5149 410 171 0 5151 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 24904

[startup+25.5029 s]
/proc/loadavg: 1.92 2.05 2.22 3/73 14636
/proc/meminfo: memFree=1203936/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=35148 CPUtime=25.24
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 9266 657 0 0 2519 5 0 0 25 0 1 0 57803003 35991552 7617 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 8787 7617 410 171 0 7712 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 35148

[startup+51.1029 s]
/proc/loadavg: 1.95 2.04 2.21 3/73 14636
/proc/meminfo: memFree=1166496/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=72952 CPUtime=50.59
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 18960 657 0 0 5048 11 0 0 25 0 1 0 57803003 74702848 16827 996147200 134512640 135215973 4294956304 18446744073709551615 4158960638 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 18238 16827 410 171 0 17163 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 72952

[startup+102.307 s]
/proc/loadavg: 1.98 2.03 2.19 3/73 14636
/proc/meminfo: memFree=1116256/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=120960 CPUtime=101.32
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 31138 657 0 0 10114 18 0 0 25 0 1 0 57803003 123863040 29005 996147200 134512640 135215973 4294956304 18446744073709551615 2928481 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 30240 29005 410 171 0 29165 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 120960

[startup+162.301 s]
/proc/loadavg: 1.99 2.03 2.18 3/73 14636
/proc/meminfo: memFree=1045728/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=190264 CPUtime=160.75
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 48650 657 0 0 16048 27 0 0 25 0 1 0 57803003 194830336 46004 996147200 134512640 135215973 4294956304 18446744073709551615 134592259 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 47566 46004 410 171 0 46491 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 190264

[startup+222.301 s]
/proc/loadavg: 1.99 2.02 2.17 3/73 14636
/proc/meminfo: memFree=963616/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=270384 CPUtime=220.2
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 68921 657 0 0 21980 40 0 0 25 0 1 0 57803003 276873216 66275 996147200 134512640 135215973 4294956304 18446744073709551615 134553754 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 67596 66275 410 171 0 66521 0
Current children cumulated CPU time (s) 220.2
Current children cumulated vsize (KiB) 270384

[startup+282.302 s]
/proc/loadavg: 1.99 2.01 2.16 3/73 14636
/proc/meminfo: memFree=894624/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=341424 CPUtime=279.64
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 86977 657 0 0 27914 50 0 0 25 0 1 0 57803003 349618176 83306 996147200 134512640 135215973 4294956304 18446744073709551615 135096327 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 85356 83306 410 171 0 84281 0
Current children cumulated CPU time (s) 279.64
Current children cumulated vsize (KiB) 341424

[startup+342.301 s]
/proc/loadavg: 1.99 2.01 2.14 3/73 14636
/proc/meminfo: memFree=829600/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=404724 CPUtime=339.07
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 103070 657 0 0 33849 58 0 0 25 0 1 0 57803003 414437376 99399 996147200 134512640 135215973 4294956304 18446744073709551615 134982832 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 101181 99399 410 171 0 100106 0
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (KiB) 404724

[startup+402.303 s]
/proc/loadavg: 1.99 2.00 2.13 3/73 14636
/proc/meminfo: memFree=767648/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=465540 CPUtime=398.51
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 118423 657 0 0 39784 67 0 0 25 0 1 0 57803003 476712960 114752 996147200 134512640 135215973 4294956304 18446744073709551615 134583364 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 116385 114752 410 171 0 115310 0
Current children cumulated CPU time (s) 398.51
Current children cumulated vsize (KiB) 465540

[startup+462.302 s]
/proc/loadavg: 1.99 2.00 2.12 3/73 14636
/proc/meminfo: memFree=700256/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=531672 CPUtime=457.95
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 135332 657 0 0 45717 78 0 0 25 0 1 0 57803003 544432128 131404 996147200 134512640 135215973 4294956304 18446744073709551615 4158960258 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 132918 131404 410 171 0 131843 0
Current children cumulated CPU time (s) 457.95
Current children cumulated vsize (KiB) 531672

[startup+522.301 s]
/proc/loadavg: 1.99 2.00 2.11 3/73 14636
/proc/meminfo: memFree=638816/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=582240 CPUtime=517.38
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 148157 657 0 0 51652 86 0 0 25 0 1 0 57803003 596213760 144229 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 145560 144229 410 171 0 144485 0
Current children cumulated CPU time (s) 517.38
Current children cumulated vsize (KiB) 582240

[startup+582.302 s]
/proc/loadavg: 1.99 2.00 2.10 3/73 14636
/proc/meminfo: memFree=589920/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=629956 CPUtime=576.82
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 160229 657 0 0 57589 93 0 0 25 0 1 0 57803003 645074944 156301 996147200 134512640 135215973 4294956304 18446744073709551615 134902665 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 157489 156301 410 171 0 156414 0
Current children cumulated CPU time (s) 576.82
Current children cumulated vsize (KiB) 629956

[startup+642.301 s]
/proc/loadavg: 1.99 2.00 2.09 3/73 14636
/proc/meminfo: memFree=502368/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=724376 CPUtime=636.25
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 184019 657 0 0 63522 103 0 0 25 0 1 0 57803003 741761024 178042 996147200 134512640 135215973 4294956304 18446744073709551615 134600387 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 181094 178042 410 171 0 180019 0
Current children cumulated CPU time (s) 636.25
Current children cumulated vsize (KiB) 724376

[startup+702.302 s]
/proc/loadavg: 1.99 2.00 2.08 3/73 14636
/proc/meminfo: memFree=424160/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=801896 CPUtime=695.69
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 203623 657 0 0 69455 114 0 0 25 0 1 0 57803003 821141504 197646 996147200 134512640 135215973 4294956304 18446744073709551615 134627168 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 200474 197646 410 171 0 199399 0
Current children cumulated CPU time (s) 695.69
Current children cumulated vsize (KiB) 801896

[startup+762.307 s]
/proc/loadavg: 1.99 2.00 2.08 3/73 14636
/proc/meminfo: memFree=354848/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=869160 CPUtime=755.13
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 220622 657 0 0 75391 122 0 0 25 0 1 0 57803003 890019840 214645 996147200 134512640 135215973 4294956304 18446744073709551615 134590027 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 217290 214645 410 171 0 216215 0
Current children cumulated CPU time (s) 755.13
Current children cumulated vsize (KiB) 869160



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+814.202 s]
/proc/loadavg: 1.99 2.00 2.07 3/73 14636
/proc/meminfo: memFree=299232/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=921684 CPUtime=806.54
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4194304 233898 657 0 0 80524 130 0 0 25 0 1 0 57803003 943804416 227921 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 230421 227921 410 171 0 229346 0
Current children cumulated CPU time (s) 806.54
Current children cumulated vsize (KiB) 921684

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+814.307 s]
/proc/loadavg: 1.99 2.00 2.07 3/73 14636
/proc/meminfo: memFree=299232/2055920 swapFree=4192812/4192956
[pid=14631] ppid=14629 vsize=0 CPUtime=806.64
/proc/14631/stat : 14631 (pcs.big) R 14629 14631 12936 0 -1 4195332 233898 657 0 0 80524 140 0 0 25 0 1 0 57803003 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 806.64
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 814.353
CPU time (s): 806.698
CPU user time (s): 805.242
CPU system time (s): 1.45678
CPU usage (%): 99.06
Max. virtual memory (cumulated for all children) (KiB): 921684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 805.242
system time used= 1.45678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234555
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= 19
involuntary context switches= 17727

runsolver used 1.01684 second user time and 2.69859 second system time

The end

Launcher Data 

Begin job on node23 at 2009-07-16 03:22:46
IDJOB=2068887
IDBENCH=54952
IDSOLVER=733
FILE ID=node23/2068887-1247707366
PBS_JOBID= 9521262
Free space on /tmp= 66392 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/tdsp/normalized-C3-2-31.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2068887-1247707366/watcher-2068887-1247707366 -o /tmp/evaluation-result-2068887-1247707366/solver-2068887-1247707366 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 204990365 HOME/instance-2068887-1247707366.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= daf792f61fdf819c51bec95a5a233a29
RANDOM SEED=204990365

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.277
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.277
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:       1233352 kB
Buffers:         71956 kB
Cached:         361272 kB
SwapCached:          0 kB
Active:         343784 kB
Inactive:       399024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1233352 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1836 kB
Writeback:           0 kB
Mapped:         321028 kB
Slab:            64228 kB
Committed_AS:   798180 kB
PageTables:       2508 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66388 MiB
End job on node23 at 2009-07-16 03:36:22