Trace number 2065819

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? 1296.02 1296.91

DiagnosticValue
ASSIGNMENTS1000000

General information on the benchmark

Namecsp/ramsey3/
normalized-ramsey-17-3.xml
MD5SUM10e52fb937aba3eef4652d1b52d5e1e7
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 variables136
Number of constraints680
Maximum constraint arity3
Maximum domain size3
Number of constraints which are defined in extension0
Number of constraints which are defined in intension680
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c small-domain mode
0.18/0.21	c Seed is 1065791153
0.18/0.21	c Constructing HOME/instance-2065819-1247703954.xml  with 6800 constraints
0.18/0.21	c Solving 1000001 backtracks 25 restarts
1296.00/1296.91	s UNKNOWN
1296.00/1296.91	c Too many backtracks
1296.00/1296.91	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-2065819-1247703954/watcher-2065819-1247703954 -o /tmp/evaluation-result-2065819-1247703954/solver-2065819-1247703954 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1065791153 HOME/instance-2065819-1247703954.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.71 2.53 2.16 4/82 12172
/proc/meminfo: memFree=1315024/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=5356 CPUtime=0
/proc/12172/stat : 12172 (pcssolve) R 12170 12172 11281 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 57462832 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 244671113887 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12172/statm: 1339 241 200 169 0 50 0
[pid=12173] ppid=12172 vsize=5356 CPUtime=0
/proc/12173/stat : 12173 (pcssolve) R 12172 12172 11281 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 57462832 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 244671114535 0 0 4096 0 0 0 0 17 1 0 0
/proc/12173/statm: 1339 243 202 169 0 50 0
[pid=12174] ppid=12172 vsize=5356 CPUtime=0
/proc/12174/stat : 12174 (pcssolve) R 12172 12172 11281 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 57462832 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 244671113887 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12174/statm: 1339 241 200 169 0 50 0

[startup+0.0542299 s]
/proc/loadavg: 2.71 2.53 2.16 4/82 12172
/proc/meminfo: memFree=1315024/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=5320 CPUtime=0.03
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 989 822 0 0 3 0 0 0 18 0 1 0 57462832 5447680 598 996147200 134512640 135095119 4294956304 18446744073709551615 10882694 0 0 4096 0 0 0 0 17 1 0 0
/proc/12172/statm: 1330 598 374 142 0 284 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5320

[startup+0.101235 s]
/proc/loadavg: 2.71 2.53 2.16 4/82 12172
/proc/meminfo: memFree=1315024/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=5920 CPUtime=0.08
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 1228 822 0 0 8 0 0 0 18 0 1 0 57462832 6062080 804 996147200 134512640 135095119 4294956304 18446744073709551615 134556892 0 0 4096 0 0 0 0 17 1 0 0
/proc/12172/statm: 1480 804 387 142 0 434 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5920

[startup+0.301252 s]
/proc/loadavg: 2.71 2.53 2.16 4/82 12172
/proc/meminfo: memFree=1315024/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=6044 CPUtime=0.28
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 1257 822 0 0 28 0 0 0 19 0 1 0 57462832 6189056 833 996147200 134512640 135095119 4294956304 18446744073709551615 134590379 0 0 4096 0 0 0 0 17 1 0 0
/proc/12172/statm: 1511 833 387 142 0 465 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6044

[startup+0.701292 s]
/proc/loadavg: 2.71 2.53 2.16 4/82 12172
/proc/meminfo: memFree=1315024/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=6156 CPUtime=0.68
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 1281 822 0 0 68 0 0 0 23 0 1 0 57462832 6303744 857 996147200 134512640 135095119 4294956304 18446744073709551615 134616992 0 0 4096 0 0 0 0 17 1 0 0
/proc/12172/statm: 1539 857 387 142 0 493 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6156

[startup+1.50138 s]
/proc/loadavg: 2.71 2.53 2.16 4/83 12178
/proc/meminfo: memFree=1310408/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=6660 CPUtime=1.47
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 1411 822 0 0 147 0 0 0 25 0 1 0 57462832 6819840 922 996147200 134512640 135095119 4294956304 18446744073709551615 134842108 0 0 4096 0 0 0 0 17 1 0 0
/proc/12172/statm: 1665 922 387 142 0 619 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6660

[startup+3.10155 s]
/proc/loadavg: 2.71 2.53 2.16 3/83 12178
/proc/meminfo: memFree=1312264/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=6996 CPUtime=3.06
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 1539 822 0 0 306 0 0 0 25 0 1 0 57462832 7163904 1050 996147200 134512640 135095119 4294956304 18446744073709551615 134882865 0 0 4096 0 0 0 0 17 1 0 0
/proc/12172/statm: 1749 1050 387 142 0 703 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 6996

[startup+6.30189 s]
/proc/loadavg: 2.66 2.52 2.16 4/83 12178
/proc/meminfo: memFree=1310856/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=8332 CPUtime=6.24
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 1925 822 0 0 624 0 0 0 25 0 1 0 57462832 8531968 1307 996147200 134512640 135095119 4294956304 18446744073709551615 10624766 0 0 4096 0 0 0 0 17 1 0 0
/proc/12172/statm: 2083 1307 387 142 0 1037 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 8332

[startup+12.7016 s]
/proc/loadavg: 2.60 2.51 2.15 3/83 12178
/proc/meminfo: memFree=1309128/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=10012 CPUtime=12.61
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 2436 822 0 0 1260 1 0 0 25 0 1 0 57462832 10252288 1818 996147200 134512640 135095119 4294956304 18446744073709551615 134556889 0 0 4096 0 0 0 0 17 1 0 0
/proc/12172/statm: 2503 1818 387 142 0 1457 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 10012

[startup+25.5019 s]
/proc/loadavg: 2.69 2.54 2.17 4/83 12178
/proc/meminfo: memFree=1293448/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=26572 CPUtime=25.35
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 6912 822 0 0 2530 5 0 0 25 0 1 0 57462832 27209728 5426 996147200 134512640 135095119 4294956304 18446744073709551615 134642723 0 0 4096 0 0 0 0 17 1 0 0
/proc/12172/statm: 6643 5426 387 142 0 5597 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 26572

[startup+51.1016 s]
/proc/loadavg: 2.60 2.53 2.17 4/83 12178
/proc/meminfo: memFree=1279880/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=38320 CPUtime=50.83
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 10260 822 0 0 5074 9 0 0 25 0 1 0 57462832 39239680 8774 996147200 134512640 135095119 4294956304 18446744073709551615 134642865 0 0 4096 0 0 0 0 17 1 0 0
/proc/12172/statm: 9580 8774 387 142 0 8534 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 38320

[startup+102.307 s]
/proc/loadavg: 2.48 2.52 2.19 3/73 12211
/proc/meminfo: memFree=1325080/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=69356 CPUtime=101.88
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 18668 822 0 0 10172 16 0 0 25 0 1 0 57462832 71020544 16157 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 17339 16157 387 142 0 16293 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 69356

[startup+162.301 s]
/proc/loadavg: 2.17 2.42 2.17 3/73 12327
/proc/meminfo: memFree=1236504/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=147824 CPUtime=161.85
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 39326 822 0 0 16153 32 0 0 25 0 1 0 57462832 151371776 33867 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 36956 33867 387 142 0 35910 0
Current children cumulated CPU time (s) 161.85
Current children cumulated vsize (KiB) 147824

[startup+222.301 s]
/proc/loadavg: 2.06 2.34 2.16 3/73 12327
/proc/meminfo: memFree=1190040/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=147824 CPUtime=221.83
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 39891 822 0 0 22150 33 0 0 25 0 1 0 57462832 151371776 34432 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 36956 34432 387 142 0 35910 0
Current children cumulated CPU time (s) 221.83
Current children cumulated vsize (KiB) 147824

[startup+282.302 s]
/proc/loadavg: 2.02 2.28 2.15 3/73 12327
/proc/meminfo: memFree=1169112/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=162048 CPUtime=281.8
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 43996 822 0 0 28143 37 0 0 25 0 1 0 57462832 165937152 38537 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 40512 38537 387 142 0 39466 0
Current children cumulated CPU time (s) 281.8
Current children cumulated vsize (KiB) 162048

[startup+342.302 s]
/proc/loadavg: 2.02 2.22 2.14 3/73 12549
/proc/meminfo: memFree=1150040/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=180636 CPUtime=341.77
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 49014 822 0 0 34131 46 0 0 25 0 1 0 57462832 184971264 43555 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 45159 43555 387 142 0 44113 0
Current children cumulated CPU time (s) 341.77
Current children cumulated vsize (KiB) 180636

[startup+402.301 s]
/proc/loadavg: 2.05 2.19 2.13 3/73 12549
/proc/meminfo: memFree=1039448/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=201804 CPUtime=401.74
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 54681 822 0 0 40122 52 0 0 25 0 1 0 57462832 206647296 49222 996147200 134512640 135095119 4294956304 18446744073709551615 134554985 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 50451 49222 387 142 0 49405 0
Current children cumulated CPU time (s) 401.74
Current children cumulated vsize (KiB) 201804

[startup+462.302 s]
/proc/loadavg: 2.06 2.17 2.12 3/73 12549
/proc/meminfo: memFree=868760/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=299096 CPUtime=461.72
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 79230 822 0 0 46109 63 0 0 25 0 1 0 57462832 306274304 69674 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 74774 69674 387 142 0 73728 0
Current children cumulated CPU time (s) 461.72
Current children cumulated vsize (KiB) 299096

[startup+522.302 s]
/proc/loadavg: 2.06 2.15 2.12 3/73 12549
/proc/meminfo: memFree=772568/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=299096 CPUtime=521.69
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 79526 822 0 0 52106 63 0 0 25 0 1 0 57462832 306274304 69970 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 74774 69970 387 142 0 73728 0
Current children cumulated CPU time (s) 521.69
Current children cumulated vsize (KiB) 299096

[startup+582.301 s]
/proc/loadavg: 2.13 2.15 2.12 3/73 12549
/proc/meminfo: memFree=693912/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=299096 CPUtime=581.68
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 79794 822 0 0 58104 64 0 0 25 0 1 0 57462832 306274304 70238 996147200 134512640 135095119 4294956304 18446744073709551615 134642725 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 74774 70238 387 142 0 73728 0
Current children cumulated CPU time (s) 581.68
Current children cumulated vsize (KiB) 299096

[startup+642.301 s]
/proc/loadavg: 2.23 2.18 2.13 3/73 12549
/proc/meminfo: memFree=618136/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=299096 CPUtime=641.66
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 80307 822 0 0 64101 65 0 0 25 0 1 0 57462832 306274304 70751 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 74774 70751 387 142 0 73728 0
Current children cumulated CPU time (s) 641.66
Current children cumulated vsize (KiB) 299096

[startup+702.302 s]
/proc/loadavg: 2.11 2.16 2.12 3/73 12549
/proc/meminfo: memFree=532632/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=294996 CPUtime=701.62
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 80704 822 0 0 70097 65 0 0 25 0 1 0 57462832 302075904 70123 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 73749 70123 387 142 0 72703 0
Current children cumulated CPU time (s) 701.62
Current children cumulated vsize (KiB) 294996

[startup+762.307 s]
/proc/loadavg: 2.04 2.13 2.11 3/73 12549
/proc/meminfo: memFree=439704/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=296560 CPUtime=761.61
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 81324 822 0 0 76095 66 0 0 25 0 1 0 57462832 303677440 70743 996147200 134512640 135095119 4294956304 18446744073709551615 134840815 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 74140 70743 387 142 0 73094 0
Current children cumulated CPU time (s) 761.61
Current children cumulated vsize (KiB) 296560

[startup+822.301 s]
/proc/loadavg: 2.01 2.10 2.10 3/73 12549
/proc/meminfo: memFree=335192/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=307200 CPUtime=821.58
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 84223 822 0 0 82088 70 0 0 25 0 1 0 57462832 314572800 73642 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 76800 73642 387 142 0 75754 0
Current children cumulated CPU time (s) 821.58
Current children cumulated vsize (KiB) 307200

[startup+882.302 s]
/proc/loadavg: 2.00 2.08 2.09 3/73 12549
/proc/meminfo: memFree=224600/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=319176 CPUtime=881.56
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 87443 822 0 0 88083 73 0 0 25 0 1 0 57462832 326836224 76862 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 79794 76862 387 142 0 78748 0
Current children cumulated CPU time (s) 881.56
Current children cumulated vsize (KiB) 319176

[startup+942.302 s]
/proc/loadavg: 2.00 2.06 2.08 3/83 12591
/proc/meminfo: memFree=1061760/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=339480 CPUtime=941.54
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 90925 822 0 0 94078 76 0 0 25 0 1 0 57462832 347627520 80344 996147200 134512640 135095119 4294956304 18446744073709551615 134848933 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 84870 80344 387 142 0 83824 0
Current children cumulated CPU time (s) 941.54
Current children cumulated vsize (KiB) 339480

[startup+1002.3 s]
/proc/loadavg: 2.00 2.05 2.08 3/83 12591
/proc/meminfo: memFree=1045568/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=354148 CPUtime=1001.51
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 94882 822 0 0 100070 81 0 0 25 0 1 0 57462832 362647552 84301 996147200 134512640 135095119 4294956304 18446744073709551615 134615500 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 88537 84301 387 142 0 87491 0
Current children cumulated CPU time (s) 1001.51
Current children cumulated vsize (KiB) 354148

[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/83 12591
/proc/meminfo: memFree=1028544/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=369824 CPUtime=1061.48
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 99169 822 0 0 106063 85 0 0 25 0 1 0 57462832 378699776 88588 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 92456 88588 387 142 0 91410 0
Current children cumulated CPU time (s) 1061.48
Current children cumulated vsize (KiB) 369824

[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/83 12591
/proc/meminfo: memFree=1009920/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=386624 CPUtime=1121.47
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 103776 822 0 0 112057 90 0 0 25 0 1 0 57462832 395902976 93195 996147200 134512640 135095119 4294956304 18446744073709551615 134617038 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 96656 93195 387 142 0 95610 0
Current children cumulated CPU time (s) 1121.47
Current children cumulated vsize (KiB) 386624

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/83 12591
/proc/meminfo: memFree=996096/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=399500 CPUtime=1181.44
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 107257 822 0 0 118049 95 0 0 25 0 1 0 57462832 409088000 96676 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 99875 96676 387 142 0 98829 0
Current children cumulated CPU time (s) 1181.44
Current children cumulated vsize (KiB) 399500

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/83 12591
/proc/meminfo: memFree=981384/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=413160 CPUtime=1241.41
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 110891 822 0 0 124042 99 0 0 25 0 1 0 57462832 423075840 100310 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 103290 100310 387 142 0 102244 0
Current children cumulated CPU time (s) 1241.41
Current children cumulated vsize (KiB) 413160

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

[startup+1254.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/83 12591
/proc/meminfo: memFree=978312/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=416072 CPUtime=1253.41
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 111655 822 0 0 125241 100 0 0 25 0 1 0 57462832 426057728 101074 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 104018 101074 387 142 0 102972 0
Current children cumulated CPU time (s) 1253.41
Current children cumulated vsize (KiB) 416072

[startup+1279.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/83 12591
/proc/meminfo: memFree=971912/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=422120 CPUtime=1279
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 113267 822 0 0 127799 101 0 0 25 0 1 0 57462832 432250880 102686 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 105530 102686 387 142 0 104484 0
Current children cumulated CPU time (s) 1279
Current children cumulated vsize (KiB) 422120

[startup+1286.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/83 12591
/proc/meminfo: memFree=970376/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=423576 CPUtime=1285.4
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 113648 822 0 0 128438 102 0 0 25 0 1 0 57462832 433741824 103067 996147200 134512640 135095119 4294956304 18446744073709551615 134642691 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 105894 103067 387 142 0 104848 0
Current children cumulated CPU time (s) 1285.4
Current children cumulated vsize (KiB) 423576

[startup+1292.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/83 12591
/proc/meminfo: memFree=968776/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=425032 CPUtime=1291.8
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 114037 822 0 0 129078 102 0 0 25 0 1 0 57462832 435232768 103456 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 106258 103456 387 142 0 105212 0
Current children cumulated CPU time (s) 1291.8
Current children cumulated vsize (KiB) 425032

[startup+1294.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/83 12591
/proc/meminfo: memFree=968456/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=425368 CPUtime=1293.39
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 114133 822 0 0 129237 102 0 0 25 0 1 0 57462832 435576832 103552 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 106342 103552 387 142 0 105296 0
Current children cumulated CPU time (s) 1293.39
Current children cumulated vsize (KiB) 425368

[startup+1295.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/83 12591
/proc/meminfo: memFree=967944/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=425704 CPUtime=1294.99
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 114219 822 0 0 129397 102 0 0 25 0 1 0 57462832 435920896 103638 996147200 134512640 135095119 4294956304 18446744073709551615 134587131 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 106426 103638 387 142 0 105380 0
Current children cumulated CPU time (s) 1294.99
Current children cumulated vsize (KiB) 425704

[startup+1296.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/83 12591
/proc/meminfo: memFree=967944/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=392932 CPUtime=1295.8
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 114219 822 0 0 129477 103 0 0 25 0 1 0 57462832 402362368 95772 996147200 134512640 135095119 4294956304 18446744073709551615 134595289 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 98233 95772 387 142 0 97187 0
Current children cumulated CPU time (s) 1295.8
Current children cumulated vsize (KiB) 392932

[startup+1296.91 s]
/proc/loadavg: 2.00 2.01 2.05 4/83 12591
/proc/meminfo: memFree=999240/2055920 swapFree=4192812/4192956
[pid=12172] ppid=12170 vsize=95272 CPUtime=1296
/proc/12172/stat : 12172 (pcs.small) R 12170 12172 11281 0 -1 4194304 114219 822 0 0 129492 108 0 0 25 0 1 0 57462832 97558528 21117 996147200 134512640 135095119 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/12172/statm: 23818 21117 15216 142 0 22772 0
Current children cumulated CPU time (s) 1296
Current children cumulated vsize (KiB) 95272

Child status: 0
Real time (s): 1296.91
CPU time (s): 1296.02
CPU user time (s): 1294.93
CPU system time (s): 1.09483
CPU usage (%): 99.9314
Max. virtual memory (cumulated for all children) (KiB): 425704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1294.93
system time used= 1.09483
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115043
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= 22
involuntary context switches= 7395

runsolver used 1.79273 second user time and 3.87841 second system time

The end

Launcher Data 

Begin job on node7 at 2009-07-16 02:25:54
IDJOB=2065819
IDBENCH=54432
IDSOLVER=734
FILE ID=node7/2065819-1247703954
PBS_JOBID= 9521294
Free space on /tmp= 66112 MiB

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

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

MD5SUM BENCH= 10e52fb937aba3eef4652d1b52d5e1e7
RANDOM SEED=1065791153

node7.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.231
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.231
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:       1315504 kB
Buffers:         78264 kB
Cached:         482328 kB
SwapCached:          0 kB
Active:         274204 kB
Inactive:       386664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1315504 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2044 kB
Writeback:           0 kB
Mapped:         120688 kB
Slab:            64700 kB
Committed_AS:   641108 kB
PageTables:       2084 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= 66116 MiB
End job on node7 at 2009-07-16 02:47:31