Trace number 2065841

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-restart 0.3.2? 1318.74 1323.37

DiagnosticValue
ASSIGNMENTS1000000

General information on the benchmark

Namecsp/ramsey3/
normalized-ramsey-18-3.xml
MD5SUM14ec6612041bf1bae6341e725eab1bfc
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables153
Number of constraints816
Maximum constraint arity3
Maximum domain size3
Number of constraints which are defined in extension0
Number of constraints which are defined in intension816
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c small-domain mode
0.15/0.23	c Seed is 382164856
0.15/0.23	c Constructing HOME/instance-2065841-1247704016.xml  with 8160 constraints
0.15/0.23	c Solving 1000001 backtracks 25 restarts
1318.67/1323.36	s UNKNOWN
1318.67/1323.36	c Too many backtracks
1318.67/1323.36	d ASSIGNMENTS 1000001

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: UNKNOWN

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2065841-1247704016/watcher-2065841-1247704016 -o /tmp/evaluation-result-2065841-1247704016/solver-2065841-1247704016 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 382164856 HOME/instance-2065841-1247704016.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: 2.88 2.58 2.23 4/82 9718
/proc/meminfo: memFree=768136/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=5356 CPUtime=0
/proc/9718/stat : 9718 (pcssolve) R 9716 9718 8871 0 -1 4194304 265 0 0 0 0 0 0 0 23 0 1 0 57466275 5484544 233 996147200 4194304 4889804 548682068800 18446744073709551615 4318898 0 0 4100 65536 0 0 0 17 1 0 0
/proc/9718/statm: 1339 233 194 169 0 50 0

[startup+0.0163081 s]
/proc/loadavg: 2.88 2.58 2.23 4/82 9718
/proc/meminfo: memFree=768136/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=5356 CPUtime=0
/proc/9718/stat : 9718 (pcssolve) R 9716 9718 8871 0 -1 4194304 339 317 0 0 0 0 0 0 25 0 1 0 57466275 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240907772740 0 65536 4100 65538 0 0 0 17 1 0 0
/proc/9718/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101323 s]
/proc/loadavg: 2.88 2.58 2.23 4/82 9718
/proc/meminfo: memFree=768136/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=5524 CPUtime=0.05
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 1099 822 0 0 5 0 0 0 18 0 1 0 57466275 5656576 675 996147200 134512640 135095119 4294956304 18446744073709551615 4159346061 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 1381 675 374 142 0 335 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5524

[startup+0.30134 s]
/proc/loadavg: 2.88 2.58 2.23 4/82 9718
/proc/meminfo: memFree=768136/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=6556 CPUtime=0.25
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 1402 822 0 0 25 0 0 0 19 0 1 0 57466275 6713344 913 996147200 134512640 135095119 4294956304 18446744073709551615 134578956 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 1639 913 387 142 0 593 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 6556

[startup+0.70138 s]
/proc/loadavg: 2.88 2.58 2.23 4/82 9718
/proc/meminfo: memFree=768136/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=6736 CPUtime=0.64
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 1419 822 0 0 64 0 0 0 23 0 1 0 57466275 6897664 930 996147200 134512640 135095119 4294956304 18446744073709551615 9129671 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 1684 930 387 142 0 638 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 6736

[startup+1.50146 s]
/proc/loadavg: 2.88 2.58 2.23 3/83 9724
/proc/meminfo: memFree=765696/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=6844 CPUtime=1.43
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 1472 822 0 0 143 0 0 0 25 0 1 0 57466275 7008256 983 996147200 134512640 135095119 4294956304 18446744073709551615 134617072 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 1711 983 387 142 0 665 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 6844

[startup+3.10162 s]
/proc/loadavg: 2.81 2.57 2.23 3/83 9724
/proc/meminfo: memFree=765312/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=7168 CPUtime=3.02
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 1580 822 0 0 302 0 0 0 25 0 1 0 57466275 7340032 1091 996147200 134512640 135095119 4294956304 18446744073709551615 134617003 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 1792 1091 387 142 0 746 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 7168

[startup+6.30295 s]
/proc/loadavg: 2.81 2.57 2.23 3/83 9724
/proc/meminfo: memFree=764032/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=8400 CPUtime=6.2
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 1950 822 0 0 619 1 0 0 25 0 1 0 57466275 8601600 1332 996147200 134512640 135095119 4294956304 18446744073709551615 134839528 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 2100 1332 387 142 0 1054 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 8400

[startup+12.7016 s]
/proc/loadavg: 2.68 2.55 2.23 3/83 9724
/proc/meminfo: memFree=762624/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=9804 CPUtime=12.53
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 2384 822 0 0 1252 1 0 0 25 0 1 0 57466275 10039296 1766 996147200 134512640 135095119 4294956304 18446744073709551615 134556889 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 2451 1766 387 142 0 1405 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 9804

[startup+25.5019 s]
/proc/loadavg: 2.58 2.53 2.22 3/83 9724
/proc/meminfo: memFree=755008/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=17948 CPUtime=25.21
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 4693 822 0 0 2518 3 0 0 25 0 1 0 57466275 18378752 3752 996147200 134512640 135095119 4294956304 18446744073709551615 134642964 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 4487 3752 387 142 0 3441 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 17948

[startup+51.1015 s]
/proc/loadavg: 2.38 2.49 2.22 3/83 9724
/proc/meminfo: memFree=739520/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=34080 CPUtime=50.57
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 9129 822 0 0 5050 7 0 0 25 0 1 0 57466275 34897920 7675 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 8520 7675 387 142 0 7474 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 34080

[startup+102.307 s]
/proc/loadavg: 2.15 2.40 2.20 3/83 9724
/proc/meminfo: memFree=708608/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=65684 CPUtime=101.29
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 17841 822 0 0 10116 13 0 0 25 0 1 0 57466275 67260416 15297 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 16421 15297 387 142 0 15375 0
Current children cumulated CPU time (s) 101.29
Current children cumulated vsize (KiB) 65684

[startup+162.302 s]
/proc/loadavg: 2.06 2.33 2.19 3/73 9756
/proc/meminfo: memFree=1334480/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=117564 CPUtime=160.91
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 31373 822 0 0 16069 22 0 0 25 0 1 0 57466275 120385536 26780 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/9718/statm: 29391 26780 387 142 0 28345 0
Current children cumulated CPU time (s) 160.91
Current children cumulated vsize (KiB) 117564

[startup+222.302 s]
/proc/loadavg: 2.02 2.26 2.17 3/73 9756
/proc/meminfo: memFree=1273104/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=117564 CPUtime=220.89
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 31819 822 0 0 22066 23 0 0 25 0 1 0 57466275 120385536 27226 996147200 134512640 135095119 4294956304 18446744073709551615 134642730 0 0 4096 0 0 0 0 17 0 0 0
/proc/9718/statm: 29391 27226 387 142 0 28345 0
Current children cumulated CPU time (s) 220.89
Current children cumulated vsize (KiB) 117564

[startup+282.302 s]
/proc/loadavg: 2.00 2.22 2.16 3/73 9756
/proc/meminfo: memFree=1188752/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=137868 CPUtime=280.87
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 37324 822 0 0 28058 29 0 0 25 0 1 0 57466275 141176832 32731 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9718/statm: 34467 32731 387 142 0 33421 0
Current children cumulated CPU time (s) 280.87
Current children cumulated vsize (KiB) 137868

[startup+342.302 s]
/proc/loadavg: 2.00 2.17 2.15 3/73 9756
/proc/meminfo: memFree=1105040/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=155148 CPUtime=340.85
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 42021 822 0 0 34051 34 0 0 25 0 1 0 57466275 158871552 37428 996147200 134512640 135095119 4294956304 18446744073709551615 134589657 0 0 4096 0 0 0 0 17 0 0 0
/proc/9718/statm: 38787 37428 387 142 0 37741 0
Current children cumulated CPU time (s) 340.85
Current children cumulated vsize (KiB) 155148

[startup+402.302 s]
/proc/loadavg: 2.00 2.14 2.14 3/73 9756
/proc/meminfo: memFree=1020752/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=173184 CPUtime=400.83
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 46933 822 0 0 40043 40 0 0 25 0 1 0 57466275 177340416 42340 996147200 134512640 135095119 4294956304 18446744073709551615 134642589 0 0 4096 0 0 0 0 17 0 0 0
/proc/9718/statm: 43296 42340 387 142 0 42250 0
Current children cumulated CPU time (s) 400.83
Current children cumulated vsize (KiB) 173184

[startup+462.302 s]
/proc/loadavg: 2.00 2.11 2.13 3/73 9756
/proc/meminfo: memFree=872208/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=269464 CPUtime=460.81
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 71329 822 0 0 46029 52 0 0 25 0 1 0 57466275 275931136 62639 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/9718/statm: 67366 62639 387 142 0 66320 0
Current children cumulated CPU time (s) 460.81
Current children cumulated vsize (KiB) 269464

[startup+522.302 s]
/proc/loadavg: 2.00 2.09 2.11 3/73 9756
/proc/meminfo: memFree=806032/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=269464 CPUtime=520.78
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 71577 822 0 0 52026 52 0 0 25 0 1 0 57466275 275931136 62887 996147200 134512640 135095119 4294956304 18446744073709551615 9355615 0 0 4096 0 0 0 0 17 0 0 0
/proc/9718/statm: 67366 62887 387 142 0 66320 0
Current children cumulated CPU time (s) 520.78
Current children cumulated vsize (KiB) 269464

[startup+582.302 s]
/proc/loadavg: 2.00 2.07 2.10 3/73 9756
/proc/meminfo: memFree=742864/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=269464 CPUtime=580.76
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 71805 822 0 0 58024 52 0 0 25 0 1 0 57466275 275931136 63115 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/9718/statm: 67366 63115 387 142 0 66320 0
Current children cumulated CPU time (s) 580.76
Current children cumulated vsize (KiB) 269464

[startup+642.302 s]
/proc/loadavg: 2.00 2.05 2.09 3/73 9756
/proc/meminfo: memFree=683216/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=269464 CPUtime=640.74
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 72085 822 0 0 64021 53 0 0 25 0 1 0 57466275 275931136 63395 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/9718/statm: 67366 63395 387 142 0 66320 0
Current children cumulated CPU time (s) 640.74
Current children cumulated vsize (KiB) 269464

[startup+702.302 s]
/proc/loadavg: 2.00 2.04 2.08 3/73 9756
/proc/meminfo: memFree=625936/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=269464 CPUtime=700.72
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 72513 822 0 0 70018 54 0 0 25 0 1 0 57466275 275931136 63823 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9718/statm: 67366 63823 387 142 0 66320 0
Current children cumulated CPU time (s) 700.72
Current children cumulated vsize (KiB) 269464

[startup+762.307 s]
/proc/loadavg: 2.00 2.03 2.08 3/73 9756
/proc/meminfo: memFree=559440/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=270112 CPUtime=760.7
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 73040 822 0 0 76015 55 0 0 25 0 1 0 57466275 276594688 64350 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/9718/statm: 67528 64350 387 142 0 66482 0
Current children cumulated CPU time (s) 760.7
Current children cumulated vsize (KiB) 270112

[startup+822.302 s]
/proc/loadavg: 2.00 2.02 2.07 3/73 9756
/proc/meminfo: memFree=489104/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=281344 CPUtime=820.68
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 76129 822 0 0 82009 59 0 0 25 0 1 0 57466275 288096256 67439 996147200 134512640 135095119 4294956304 18446744073709551615 134617043 0 0 4096 0 0 0 0 17 0 0 0
/proc/9718/statm: 70336 67439 387 142 0 69290 0
Current children cumulated CPU time (s) 820.68
Current children cumulated vsize (KiB) 281344

[startup+882.302 s]
/proc/loadavg: 2.00 2.02 2.07 3/73 9756
/proc/meminfo: memFree=411600/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=292360 CPUtime=880.66
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 79121 822 0 0 88004 62 0 0 25 0 1 0 57466275 299376640 70431 996147200 134512640 135095119 4294956304 18446744073709551615 134642723 0 0 4096 0 0 0 0 17 0 0 0
/proc/9718/statm: 73090 70431 387 142 0 72044 0
Current children cumulated CPU time (s) 880.66
Current children cumulated vsize (KiB) 292360

[startup+942.302 s]
/proc/loadavg: 2.00 2.01 2.06 3/73 9756
/proc/meminfo: memFree=342160/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=302836 CPUtime=940.64
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 82002 822 0 0 93999 65 0 0 25 0 1 0 57466275 310104064 73312 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9718/statm: 75709 73312 387 142 0 74663 0
Current children cumulated CPU time (s) 940.64
Current children cumulated vsize (KiB) 302836

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/73 9756
/proc/meminfo: memFree=269264/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=314392 CPUtime=1000.61
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 85221 822 0 0 99993 68 0 0 25 0 1 0 57466275 321937408 76531 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/9718/statm: 78598 76531 387 142 0 77552 0
Current children cumulated CPU time (s) 1000.61
Current children cumulated vsize (KiB) 314392

[startup+1062.3 s]
/proc/loadavg: 2.17 2.05 2.07 3/83 9797
/proc/meminfo: memFree=388168/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=327564 CPUtime=1060.12
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 88306 822 0 0 105939 73 0 0 25 0 1 0 57466275 335425536 79616 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 81891 79616 387 142 0 80845 0
Current children cumulated CPU time (s) 1060.12
Current children cumulated vsize (KiB) 327564

[startup+1122.3 s]
/proc/loadavg: 2.06 2.04 2.06 3/82 9798
/proc/meminfo: memFree=443272/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=338476 CPUtime=1119.55
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 91220 822 0 0 111878 77 0 0 25 0 1 0 57466275 346599424 82530 996147200 134512640 135095119 4294956304 18446744073709551615 134840800 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 84619 82530 387 142 0 83573 0
Current children cumulated CPU time (s) 1119.55
Current children cumulated vsize (KiB) 338476

[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/82 9798
/proc/meminfo: memFree=432904/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=347984 CPUtime=1178.99
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 93795 822 0 0 117819 80 0 0 25 0 1 0 57466275 356335616 85105 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 86996 85105 387 142 0 85950 0
Current children cumulated CPU time (s) 1178.99
Current children cumulated vsize (KiB) 347984

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/82 9798
/proc/meminfo: memFree=423176/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=356732 CPUtime=1238.42
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 96165 822 0 0 123759 83 0 0 25 0 1 0 57466275 365293568 87475 996147200 134512640 135095119 4294956304 18446744073709551615 134588117 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 89183 87475 387 142 0 88137 0
Current children cumulated CPU time (s) 1238.42
Current children cumulated vsize (KiB) 356732

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/82 9798
/proc/meminfo: memFree=413192/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=365700 CPUtime=1297.86
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 98634 822 0 0 129701 85 0 0 25 0 1 0 57466275 374476800 89944 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 91425 89944 387 142 0 90379 0
Current children cumulated CPU time (s) 1297.86
Current children cumulated vsize (KiB) 365700

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

[startup+1305.5 s]
/proc/loadavg: 2.00 2.02 2.04 3/82 9798
/proc/meminfo: memFree=412808/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=366132 CPUtime=1301.03
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 98755 822 0 0 130018 85 0 0 25 0 1 0 57466275 374919168 90065 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 91533 90065 387 142 0 90487 0
Current children cumulated CPU time (s) 1301.03
Current children cumulated vsize (KiB) 366132

[startup+1311.9 s]
/proc/loadavg: 2.00 2.01 2.04 3/82 9798
/proc/meminfo: memFree=411784/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=367104 CPUtime=1307.38
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 99011 822 0 0 130652 86 0 0 25 0 1 0 57466275 375914496 90321 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 91776 90321 387 142 0 90730 0
Current children cumulated CPU time (s) 1307.38
Current children cumulated vsize (KiB) 367104

[startup+1318.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/82 9798
/proc/meminfo: memFree=410824/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=367860 CPUtime=1313.71
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 99233 822 0 0 131285 86 0 0 25 0 1 0 57466275 376688640 90543 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 91965 90543 387 142 0 90919 0
Current children cumulated CPU time (s) 1313.71
Current children cumulated vsize (KiB) 367860

[startup+1321.5 s]
/proc/loadavg: 2.00 2.01 2.04 3/82 9798
/proc/meminfo: memFree=410376/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=368292 CPUtime=1316.88
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 99347 822 0 0 131601 87 0 0 25 0 1 0 57466275 377131008 90657 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 92073 90657 387 142 0 91027 0
Current children cumulated CPU time (s) 1316.88
Current children cumulated vsize (KiB) 368292

[startup+1322.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/82 9798
/proc/meminfo: memFree=410248/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=368400 CPUtime=1317.67
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 99372 822 0 0 131680 87 0 0 25 0 1 0 57466275 377241600 90682 996147200 134512640 135095119 4294956304 18446744073709551615 134587131 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 92100 90682 387 142 0 91054 0
Current children cumulated CPU time (s) 1317.67
Current children cumulated vsize (KiB) 368400

[startup+1323.1 s]
/proc/loadavg: 2.00 2.01 2.04 3/82 9798
/proc/meminfo: memFree=410248/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=335628 CPUtime=1318.47
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 99372 822 0 0 131760 87 0 0 25 0 1 0 57466275 343683072 82805 996147200 134512640 135095119 4294956304 18446744073709551615 9352768 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 83907 82805 387 142 0 82861 0
Current children cumulated CPU time (s) 1318.47
Current children cumulated vsize (KiB) 335628

[startup+1323.31 s]
/proc/loadavg: 2.00 2.01 2.04 3/82 9798
/proc/meminfo: memFree=441544/2055920 swapFree=4192812/4192956
[pid=9718] ppid=9716 vsize=335628 CPUtime=1318.67
/proc/9718/stat : 9718 (pcs.small) R 9716 9718 8871 0 -1 4194304 99372 822 0 0 131780 87 0 0 25 0 1 0 57466275 343683072 82805 996147200 134512640 135095119 4294956304 18446744073709551615 9351312 0 0 4096 0 0 0 0 17 1 0 0
/proc/9718/statm: 83907 82805 387 142 0 82861 0
Current children cumulated CPU time (s) 1318.67
Current children cumulated vsize (KiB) 335628

Child status: 0
Real time (s): 1323.37
CPU time (s): 1318.74
CPU user time (s): 1317.81
CPU system time (s): 0.936857
CPU usage (%): 99.6505
Max. virtual memory (cumulated for all children) (KiB): 368400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1317.81
system time used= 0.936857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100196
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= 33
involuntary context switches= 15536

runsolver used 1.86372 second user time and 4.14837 second system time

The end

Launcher Data 

Begin job on node36 at 2009-07-16 02:26:56
IDJOB=2065841
IDBENCH=54434
IDSOLVER=734
FILE ID=node36/2065841-1247704016
PBS_JOBID= 9521238
Free space on /tmp= 66312 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/ramsey3/normalized-ramsey-18-3.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2065841-1247704016/watcher-2065841-1247704016 -o /tmp/evaluation-result-2065841-1247704016/solver-2065841-1247704016 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 382164856 HOME/instance-2065841-1247704016.xml

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

MD5SUM BENCH= 14ec6612041bf1bae6341e725eab1bfc
RANDOM SEED=382164856

node36.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.238
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.238
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:        768808 kB
Buffers:         60084 kB
Cached:         447876 kB
SwapCached:          0 kB
Active:         734196 kB
Inactive:       482392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        768808 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1836 kB
Writeback:           0 kB
Mapped:         729128 kB
Slab:            54304 kB
Committed_AS:  1338796 kB
PageTables:       3136 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= 66308 MiB
End job on node36 at 2009-07-16 02:48:59