Trace number 2058921

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.2UNSAT 1268.48 1270.34

DiagnosticValue
ASSIGNMENTS878163

General information on the benchmark

Namecsp/QCP-20/
normalized-qcp-20-187-10_ext.xml
MD5SUMc75cabce312ab26d4e77e41ad2ea09be
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark10.0465
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints5540
Maximum constraint arity2
Maximum domain size20
Number of constraints which are defined in extension5540
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c small-domain mode
0.17/0.21	c Seed is 2083806569
0.17/0.21	c Constructing HOME/instance-2058921-1247694362.xml  with 35294 constraints
0.17/0.21	c Solving 878163 backtracks 25 restarts
1268.42/1270.33	s UNSATISFIABLE
1268.42/1270.33	d ASSIGNMENTS 878163

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2058921-1247694362/watcher-2058921-1247694362 -o /tmp/evaluation-result-2058921-1247694362/solver-2058921-1247694362 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2083806569 HOME/instance-2058921-1247694362.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.74 0.67 0.24 4/72 13305
/proc/meminfo: memFree=1329312/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=5356 CPUtime=0
/proc/13305/stat : 13305 (pcssolve) R 13303 13305 13096 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 56503038 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 240472615583 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13305/statm: 1339 241 200 169 0 50 0
[pid=13306] ppid=13305 vsize=3676 CPUtime=0
/proc/13306/stat : 13306 (fgrep) R 13305 13305 13096 0 -1 4194304 136 0 0 0 0 0 0 0 22 0 1 0 56503038 3764224 103 996147200 4194304 4274172 548682068976 18446744073709551615 240472784370 0 0 4096 0 0 0 0 17 1 0 0
/proc/13306/statm: 919 103 84 19 0 43 0
[pid=13307] ppid=13305 vsize=5356 CPUtime=0
/proc/13307/stat : 13307 (pcssolve) R 13305 13305 13096 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 56503038 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 240472615583 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13307/statm: 1339 241 200 169 0 50 0

[startup+0.101528 s]
/proc/loadavg: 1.74 0.67 0.24 4/72 13305
/proc/meminfo: memFree=1329312/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=7300 CPUtime=0.07
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 1665 824 0 0 7 0 0 0 18 0 1 0 56503038 7475200 1047 996147200 134512640 135095119 4294956304 18446744073709551615 134710460 0 0 4096 0 0 0 0 17 1 0 0
/proc/13305/statm: 1825 1047 367 142 0 779 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7300

[startup+0.201533 s]
/proc/loadavg: 1.74 0.67 0.24 4/72 13305
/proc/meminfo: memFree=1329312/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=10304 CPUtime=0.17
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 2533 824 0 0 17 0 0 0 18 0 1 0 56503038 10551296 1625 996147200 134512640 135095119 4294956304 18446744073709551615 134577756 0 0 4096 0 0 0 0 17 1 0 0
/proc/13305/statm: 2576 1625 378 142 0 1530 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10304

[startup+0.301543 s]
/proc/loadavg: 1.74 0.67 0.24 4/72 13305
/proc/meminfo: memFree=1329312/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=10304 CPUtime=0.27
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 2551 824 0 0 27 0 0 0 19 0 1 0 56503038 10551296 1643 996147200 134512640 135095119 4294956304 18446744073709551615 134615460 0 0 4096 0 0 0 0 17 1 0 0
/proc/13305/statm: 2576 1643 378 142 0 1530 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10304

[startup+0.701578 s]
/proc/loadavg: 1.74 0.67 0.24 4/72 13305
/proc/meminfo: memFree=1329312/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=10468 CPUtime=0.66
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 2588 824 0 0 66 0 0 0 23 0 1 0 56503038 10719232 1680 996147200 134512640 135095119 4294956304 18446744073709551615 134642881 0 0 4096 0 0 0 0 17 1 0 0
/proc/13305/statm: 2617 1680 378 142 0 1571 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 10468

[startup+1.50165 s]
/proc/loadavg: 1.74 0.67 0.24 3/73 13311
/proc/meminfo: memFree=1323352/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=10856 CPUtime=1.46
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 2722 824 0 0 146 0 0 0 25 0 1 0 56503038 11116544 1781 996147200 134512640 135095119 4294956304 18446744073709551615 134555089 0 0 4096 0 0 0 0 17 1 0 0
/proc/13305/statm: 2714 1781 378 142 0 1668 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10856

[startup+3.1028 s]
/proc/loadavg: 1.74 0.67 0.24 3/73 13311
/proc/meminfo: memFree=1321944/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=11880 CPUtime=3.05
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 3095 824 0 0 304 1 0 0 25 0 1 0 56503038 12165120 2089 996147200 134512640 135095119 4294956304 18446744073709551615 134636916 0 0 4096 0 0 0 0 17 1 0 0
/proc/13305/statm: 2970 2089 378 142 0 1924 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 11880

[startup+6.30109 s]
/proc/loadavg: 1.76 0.69 0.25 3/73 13311
/proc/meminfo: memFree=1317528/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=14184 CPUtime=6.22
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 3871 824 0 0 620 2 0 0 25 0 1 0 56503038 14524416 2736 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13305/statm: 3546 2736 378 142 0 2500 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 14184

[startup+12.7027 s]
/proc/loadavg: 1.78 0.71 0.26 3/73 13311
/proc/meminfo: memFree=1309528/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=18408 CPUtime=12.55
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 5252 824 0 0 1252 3 0 0 25 0 1 0 56503038 18849792 3860 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/13305/statm: 4602 3860 378 142 0 3556 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 18408

[startup+25.5018 s]
/proc/loadavg: 1.83 0.78 0.29 3/73 13311
/proc/meminfo: memFree=1294552/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=28608 CPUtime=25.23
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 8379 824 0 0 2517 6 0 0 25 0 1 0 56503038 29294592 5896 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/13305/statm: 7152 5896 378 142 0 6106 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 28608

[startup+51.1012 s]
/proc/loadavg: 1.88 0.87 0.33 3/73 13311
/proc/meminfo: memFree=1265560/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=44608 CPUtime=50.6
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 13493 824 0 0 5049 11 0 0 25 0 1 0 56503038 45678592 9985 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13305/statm: 11152 9985 378 142 0 10106 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 44608

[startup+102.302 s]
/proc/loadavg: 1.95 1.04 0.42 3/73 13311
/proc/meminfo: memFree=1197848/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=77972 CPUtime=101.32
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 23749 824 0 0 10111 21 0 0 25 0 1 0 56503038 79843328 17038 996147200 134512640 135095119 4294956304 18446744073709551615 134615500 0 0 4096 0 0 0 0 17 1 0 0
/proc/13305/statm: 19493 17038 378 142 0 18447 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 77972

[startup+162.301 s]
/proc/loadavg: 1.98 1.21 0.51 3/73 13343
/proc/meminfo: memFree=1296536/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=116376 CPUtime=160.82
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 35173 824 0 0 16052 30 0 0 25 0 1 0 56503038 119169024 24365 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 29094 24365 378 142 0 28048 0
Current children cumulated CPU time (s) 160.82
Current children cumulated vsize (KiB) 116376

[startup+222.307 s]
/proc/loadavg: 1.99 1.36 0.60 3/73 13343
/proc/meminfo: memFree=1227096/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=162116 CPUtime=220.8
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 48163 824 0 0 22041 39 0 0 25 0 1 0 56503038 166006784 35306 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 40529 35306 378 142 0 39483 0
Current children cumulated CPU time (s) 220.8
Current children cumulated vsize (KiB) 162116

[startup+282.301 s]
/proc/loadavg: 1.99 1.47 0.69 3/73 13343
/proc/meminfo: memFree=1196824/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=165316 CPUtime=280.78
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 50562 824 0 0 28035 43 0 0 25 0 1 0 56503038 169283584 37705 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 41329 37705 378 142 0 40283 0
Current children cumulated CPU time (s) 280.78
Current children cumulated vsize (KiB) 165316

[startup+342.302 s]
/proc/loadavg: 1.99 1.56 0.77 3/73 13345
/proc/meminfo: memFree=1135512/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=184648 CPUtime=340.76
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 56861 824 0 0 34024 52 0 0 25 0 1 0 56503038 189079552 44004 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 46162 44004 378 142 0 45116 0
Current children cumulated CPU time (s) 340.76
Current children cumulated vsize (KiB) 184648

[startup+402.302 s]
/proc/loadavg: 1.99 1.64 0.84 3/73 13345
/proc/meminfo: memFree=1106904/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=236360 CPUtime=400.74
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 71211 824 0 0 40009 65 0 0 25 0 1 0 56503038 242032640 50161 996147200 134512640 135095119 4294956304 18446744073709551615 134641889 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 59090 50161 378 142 0 58044 0
Current children cumulated CPU time (s) 400.74
Current children cumulated vsize (KiB) 236360

[startup+462.301 s]
/proc/loadavg: 1.99 1.70 0.91 3/73 13345
/proc/meminfo: memFree=1067352/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=254792 CPUtime=460.71
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 77167 824 0 0 45999 72 0 0 25 0 1 0 56503038 260907008 56117 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 63698 56117 378 142 0 62652 0
Current children cumulated CPU time (s) 460.71
Current children cumulated vsize (KiB) 254792

[startup+522.302 s]
/proc/loadavg: 1.99 1.75 0.98 3/73 13345
/proc/meminfo: memFree=1026712/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=273096 CPUtime=520.69
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 83060 824 0 0 51989 80 0 0 25 0 1 0 56503038 279650304 62010 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 68274 62010 378 142 0 67228 0
Current children cumulated CPU time (s) 520.69
Current children cumulated vsize (KiB) 273096

[startup+582.301 s]
/proc/loadavg: 1.99 1.80 1.04 3/73 13345
/proc/meminfo: memFree=926616/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=368772 CPUtime=580.67
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 107790 824 0 0 57976 91 0 0 25 0 1 0 56503038 377622528 82643 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 92193 82643 378 142 0 91147 0
Current children cumulated CPU time (s) 580.67
Current children cumulated vsize (KiB) 368772

[startup+642.302 s]
/proc/loadavg: 1.99 1.83 1.10 3/73 13345
/proc/meminfo: memFree=907032/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=368772 CPUtime=640.65
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 108656 824 0 0 63973 92 0 0 25 0 1 0 56503038 377622528 83509 996147200 134512640 135095119 4294956304 18446744073709551615 7946591 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 92193 83509 378 142 0 91147 0
Current children cumulated CPU time (s) 640.65
Current children cumulated vsize (KiB) 368772

[startup+702.301 s]
/proc/loadavg: 1.99 1.86 1.15 3/73 13345
/proc/meminfo: memFree=886744/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=368772 CPUtime=700.63
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 109559 824 0 0 69970 93 0 0 25 0 1 0 56503038 377622528 84412 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 92193 84412 378 142 0 91147 0
Current children cumulated CPU time (s) 700.63
Current children cumulated vsize (KiB) 368772

[startup+762.302 s]
/proc/loadavg: 1.99 1.88 1.20 3/73 13345
/proc/meminfo: memFree=866264/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=368772 CPUtime=760.61
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 110693 824 0 0 75967 94 0 0 25 0 1 0 56503038 377622528 85546 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 92193 85546 378 142 0 91147 0
Current children cumulated CPU time (s) 760.61
Current children cumulated vsize (KiB) 368772

[startup+822.302 s]
/proc/loadavg: 1.99 1.90 1.25 3/73 13345
/proc/meminfo: memFree=793496/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=368772 CPUtime=820.58
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 111841 824 0 0 81962 96 0 0 25 0 1 0 56503038 377622528 86694 996147200 134512640 135095119 4294956304 18446744073709551615 134615606 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 92193 86694 378 142 0 91147 0
Current children cumulated CPU time (s) 820.58
Current children cumulated vsize (KiB) 368772

[startup+882.306 s]
/proc/loadavg: 1.99 1.92 1.29 3/73 13345
/proc/meminfo: memFree=778008/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=377220 CPUtime=880.57
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 115090 824 0 0 87957 100 0 0 25 0 1 0 56503038 386273280 89943 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 94305 89943 378 142 0 93259 0
Current children cumulated CPU time (s) 880.57
Current children cumulated vsize (KiB) 377220

[startup+942.302 s]
/proc/loadavg: 1.99 1.93 1.33 3/73 13351
/proc/meminfo: memFree=755160/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=393220 CPUtime=940.54
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 120201 824 0 0 93946 108 0 0 25 0 1 0 56503038 402657280 95054 996147200 134512640 135095119 4294956304 18446744073709551615 134582115 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 98305 95054 378 142 0 97259 0
Current children cumulated CPU time (s) 940.54
Current children cumulated vsize (KiB) 393220

[startup+1002.3 s]
/proc/loadavg: 1.99 1.94 1.37 3/73 13351
/proc/meminfo: memFree=732056/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=474500 CPUtime=1000.52
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 141625 824 0 0 99930 122 0 0 25 0 1 0 56503038 485888000 100093 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 118625 100093 378 142 0 117579 0
Current children cumulated CPU time (s) 1000.52
Current children cumulated vsize (KiB) 474500

[startup+1062.3 s]
/proc/loadavg: 2.11 1.98 1.42 3/73 13351
/proc/meminfo: memFree=709592/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=490248 CPUtime=1060.49
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 146593 824 0 0 105921 128 0 0 25 0 1 0 56503038 502013952 105061 996147200 134512640 135095119 4294956304 18446744073709551615 134839495 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 122562 105061 378 142 0 121516 0
Current children cumulated CPU time (s) 1060.49
Current children cumulated vsize (KiB) 490248

[startup+1122.3 s]
/proc/loadavg: 2.11 2.00 1.46 3/73 13351
/proc/meminfo: memFree=687064/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=505608 CPUtime=1120.48
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 151472 824 0 0 111912 136 0 0 25 0 1 0 56503038 517742592 109940 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 126402 109940 378 142 0 125356 0
Current children cumulated CPU time (s) 1120.48
Current children cumulated vsize (KiB) 505608

[startup+1182.3 s]
/proc/loadavg: 2.16 2.03 1.50 3/73 13351
/proc/meminfo: memFree=659352/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=520968 CPUtime=1180.45
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 156349 824 0 0 117903 142 0 0 25 0 1 0 56503038 533471232 114817 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 130242 114817 378 142 0 129196 0
Current children cumulated CPU time (s) 1180.45
Current children cumulated vsize (KiB) 520968

[startup+1242.3 s]
/proc/loadavg: 2.09 2.03 1.53 3/73 13351
/proc/meminfo: memFree=626712/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=535692 CPUtime=1240.44
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 161084 824 0 0 123897 147 0 0 25 0 1 0 56503038 548548608 119552 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 133923 119552 378 142 0 132877 0
Current children cumulated CPU time (s) 1240.44
Current children cumulated vsize (KiB) 535692

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

[startup+1254.4 s]
/proc/loadavg: 2.08 2.03 1.54 3/73 13351
/proc/meminfo: memFree=620312/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=538640 CPUtime=1252.53
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 162020 824 0 0 125105 148 0 0 25 0 1 0 56503038 551567360 120488 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 134660 120488 378 142 0 133614 0
Current children cumulated CPU time (s) 1252.53
Current children cumulated vsize (KiB) 538640

[startup+1260.8 s]
/proc/loadavg: 2.06 2.03 1.54 3/73 13351
/proc/meminfo: memFree=616600/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=540304 CPUtime=1258.92
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 162536 824 0 0 125744 148 0 0 25 0 1 0 56503038 553271296 121004 996147200 134512640 135095119 4294956304 18446744073709551615 7947899 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 135076 121004 378 142 0 134030 0
Current children cumulated CPU time (s) 1258.92
Current children cumulated vsize (KiB) 540304

[startup+1267.2 s]
/proc/loadavg: 2.06 2.03 1.54 3/73 13351
/proc/meminfo: memFree=613272/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=541840 CPUtime=1265.33
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 163031 824 0 0 126384 149 0 0 25 0 1 0 56503038 554844160 121499 996147200 134512640 135095119 4294956304 18446744073709551615 134589509 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 135460 121499 378 142 0 134414 0
Current children cumulated CPU time (s) 1265.33
Current children cumulated vsize (KiB) 541840

[startup+1268.8 s]
/proc/loadavg: 2.06 2.03 1.54 3/73 13351
/proc/meminfo: memFree=612696/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=542224 CPUtime=1266.92
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 163152 824 0 0 126543 149 0 0 25 0 1 0 56503038 555237376 121620 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 135556 121620 378 142 0 134510 0
Current children cumulated CPU time (s) 1266.92
Current children cumulated vsize (KiB) 542224

[startup+1269.6 s]
/proc/loadavg: 2.05 2.03 1.55 3/73 13351
/proc/meminfo: memFree=640600/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=509452 CPUtime=1267.73
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 163172 824 0 0 126623 150 0 0 25 0 1 0 56503038 521678848 114503 996147200 134512640 135095119 4294956304 18446744073709551615 7944107 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 127363 114503 378 142 0 126317 0
Current children cumulated CPU time (s) 1267.73
Current children cumulated vsize (KiB) 509452

[startup+1270 s]
/proc/loadavg: 2.05 2.03 1.55 3/73 13351
/proc/meminfo: memFree=640600/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=509452 CPUtime=1268.13
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 163172 824 0 0 126663 150 0 0 25 0 1 0 56503038 521678848 114503 996147200 134512640 135095119 4294956304 18446744073709551615 7942268 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 127363 114503 378 142 0 126317 0
Current children cumulated CPU time (s) 1268.13
Current children cumulated vsize (KiB) 509452

[startup+1270.2 s]
/proc/loadavg: 2.05 2.03 1.55 3/73 13351
/proc/meminfo: memFree=640600/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=509452 CPUtime=1268.33
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 163172 824 0 0 126683 150 0 0 25 0 1 0 56503038 521678848 114503 996147200 134512640 135095119 4294956304 18446744073709551615 7942296 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 127363 114503 378 142 0 126317 0
Current children cumulated CPU time (s) 1268.33
Current children cumulated vsize (KiB) 509452

[startup+1270.3 s]
/proc/loadavg: 2.05 2.03 1.55 3/73 13351
/proc/meminfo: memFree=640600/2055920 swapFree=4191900/4192956
[pid=13305] ppid=13303 vsize=509452 CPUtime=1268.42
/proc/13305/stat : 13305 (pcs.small) R 13303 13305 13096 0 -1 4194304 163172 824 0 0 126689 153 0 0 25 0 1 0 56503038 521678848 107335 996147200 134512640 135095119 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/13305/statm: 127363 107335 49241 142 0 126317 0
Current children cumulated CPU time (s) 1268.42
Current children cumulated vsize (KiB) 509452

Child status: 0
Real time (s): 1270.34
CPU time (s): 1268.48
CPU user time (s): 1266.9
CPU system time (s): 1.57676
CPU usage (%): 99.8537
Max. virtual memory (cumulated for all children) (KiB): 542224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1266.9
system time used= 1.57676
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163999
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= 21
involuntary context switches= 7076

runsolver used 2.09168 second user time and 3.68244 second system time

The end

Launcher Data 

Begin job on node15 at 2009-07-15 23:46:02
IDJOB=2058921
IDBENCH=53535
IDSOLVER=733
FILE ID=node15/2058921-1247694362
PBS_JOBID= 9521278
Free space on /tmp= 66304 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/QCP-20/normalized-qcp-20-187-10_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2058921-1247694362/watcher-2058921-1247694362 -o /tmp/evaluation-result-2058921-1247694362/solver-2058921-1247694362 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2083806569 HOME/instance-2058921-1247694362.xml

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

MD5SUM BENCH= c75cabce312ab26d4e77e41ad2ea09be
RANDOM SEED=2083806569

node15.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.220
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.220
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:       1329792 kB
Buffers:         76152 kB
Cached:         490892 kB
SwapCached:        416 kB
Active:         252864 kB
Inactive:       406096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1329792 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2120 kB
Writeback:           0 kB
Mapped:         102592 kB
Slab:            52364 kB
Committed_AS:   892076 kB
PageTables:       2016 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= 66304 MiB
End job on node15 at 2009-07-16 00:07:12