Trace number 2092064

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 1776.33 1782.85

DiagnosticValue
ASSIGNMENTS51084

General information on the benchmark

Namecsp/tightness0.8/
normalized-rand-2-40-80-103-800-89_ext.xml
MD5SUM6d50a6376f2df2b00b9f167298e5a6db
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 benchmark6.08408
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints103
Maximum constraint arity2
Maximum domain size80
Number of constraints which are defined in extension103
Number of constraints which are defined in intension0
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.17/0.20	c Seed is 1823003536
0.17/0.20	c Constructing HOME/instance-2092064-1247733668.xml  with 103 constraints
0.27/0.38	c Solving 51084 backtracks 18 restarts
1776.27/1782.80	s UNSATISFIABLE
1776.27/1782.80	d ASSIGNMENTS 51084

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-2092064-1247733668/watcher-2092064-1247733668 -o /tmp/evaluation-result-2092064-1247733668/solver-2092064-1247733668 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1823003536 HOME/instance-2092064-1247733668.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.07 2.02 2.00 4/72 15933
/proc/meminfo: memFree=1558816/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=5256 CPUtime=0
/proc/15933/stat : 15933 (pcssolve) R 15931 15933 14354 0 -1 4194304 60 0 0 0 0 0 0 0 20 0 1 0 60432968 5382144 45 996147200 4194304 4889804 548682068800 18446744073709551615 221778082896 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 1314 45 34 169 0 13 0

[startup+0.081405 s]
/proc/loadavg: 2.07 2.02 2.00 4/72 15933
/proc/meminfo: memFree=1558816/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=5164 CPUtime=0.06
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 905 656 0 0 6 0 0 0 18 0 1 0 60432968 5287936 536 996147200 134512640 135215973 4294956304 18446744073709551615 135039071 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 1291 536 383 171 0 216 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5164

[startup+0.102238 s]
/proc/loadavg: 2.07 2.02 2.00 4/72 15933
/proc/meminfo: memFree=1558816/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=5432 CPUtime=0.08
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 941 656 0 0 8 0 0 0 18 0 1 0 60432968 5562368 572 996147200 134512640 135215973 4294956304 18446744073709551615 135039437 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 1358 572 383 171 0 283 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5432

[startup+0.301252 s]
/proc/loadavg: 2.07 2.02 2.00 4/72 15933
/proc/meminfo: memFree=1558816/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=7620 CPUtime=0.27
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 1277 656 0 0 27 0 0 0 19 0 1 0 60432968 7802880 908 996147200 134512640 135215973 4294956304 18446744073709551615 135038921 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 1905 908 383 171 0 830 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7620

[startup+0.701279 s]
/proc/loadavg: 2.07 2.02 2.00 4/72 15933
/proc/meminfo: memFree=1558816/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=8848 CPUtime=0.67
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 1552 656 0 0 67 0 0 0 23 0 1 0 60432968 9060352 1183 996147200 134512640 135215973 4294956304 18446744073709551615 135020335 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 2212 1183 402 171 0 1137 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 8848

[startup+1.50133 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 15938
/proc/meminfo: memFree=1555480/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=8848 CPUtime=1.46
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 1564 656 0 0 146 0 0 0 25 0 1 0 60432968 9060352 1195 996147200 134512640 135215973 4294956304 18446744073709551615 4158960014 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 2212 1195 402 171 0 1137 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8848

[startup+3.10143 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 15938
/proc/meminfo: memFree=1555160/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=8848 CPUtime=3.05
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 1590 656 0 0 305 0 0 0 25 0 1 0 60432968 9060352 1221 996147200 134512640 135215973 4294956304 18446744073709551615 134583360 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 2212 1221 402 171 0 1137 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 8848

[startup+6.30163 s]
/proc/loadavg: 2.06 2.02 2.00 3/73 15938
/proc/meminfo: memFree=1554712/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=8848 CPUtime=6.23
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 1680 656 0 0 622 1 0 0 25 0 1 0 60432968 9060352 1311 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 2212 1311 402 171 0 1137 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 8848

[startup+12.701 s]
/proc/loadavg: 2.06 2.02 2.00 3/73 15938
/proc/meminfo: memFree=1553688/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=8980 CPUtime=12.58
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 1824 656 0 0 1257 1 0 0 25 0 1 0 60432968 9195520 1455 996147200 134512640 135215973 4294956304 18446744073709551615 4158960169 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 2245 1455 402 171 0 1170 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 8980

[startup+25.5018 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 15938
/proc/meminfo: memFree=1536920/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=10612 CPUtime=25.26
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 2342 656 0 0 2525 1 0 0 25 0 1 0 60432968 10866688 1940 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 2653 1940 402 171 0 1578 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 10612

[startup+51.1014 s]
/proc/loadavg: 2.03 2.01 2.00 3/73 15938
/proc/meminfo: memFree=1532376/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=14692 CPUtime=50.64
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 3426 656 0 0 5062 2 0 0 25 0 1 0 60432968 15044608 2959 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 3673 2959 402 171 0 2598 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 14692

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 15938
/proc/meminfo: memFree=1522264/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=23780 CPUtime=101.38
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 5775 656 0 0 10135 3 0 0 25 0 1 0 60432968 24350720 5179 996147200 134512640 135215973 4294956304 18446744073709551615 134589774 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 5945 5179 402 171 0 4870 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 23780

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15938
/proc/meminfo: memFree=1510680/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=34060 CPUtime=160.83
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 8455 656 0 0 16078 5 0 0 25 0 1 0 60432968 34877440 7826 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 8515 7826 402 171 0 7440 0
Current children cumulated CPU time (s) 160.83
Current children cumulated vsize (KiB) 34060

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15938
/proc/meminfo: memFree=1499992/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=44456 CPUtime=220.28
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 11127 656 0 0 22021 7 0 0 25 0 1 0 60432968 45522944 10241 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 11114 10241 402 171 0 10039 0
Current children cumulated CPU time (s) 220.28
Current children cumulated vsize (KiB) 44456

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15938
/proc/meminfo: memFree=1489112/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=54072 CPUtime=279.73
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 13651 656 0 0 27964 9 0 0 25 0 1 0 60432968 55369728 12700 996147200 134512640 135215973 4294956304 18446744073709551615 135020397 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 13518 12700 402 171 0 12443 0
Current children cumulated CPU time (s) 279.73
Current children cumulated vsize (KiB) 54072

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15938
/proc/meminfo: memFree=1479128/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=62648 CPUtime=339.17
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 15871 656 0 0 33906 11 0 0 25 0 1 0 60432968 64151552 14920 996147200 134512640 135215973 4294956304 18446744073709551615 134600204 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 15662 14920 402 171 0 14587 0
Current children cumulated CPU time (s) 339.17
Current children cumulated vsize (KiB) 62648

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15938
/proc/meminfo: memFree=1468568/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=73804 CPUtime=398.62
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 18765 656 0 0 39848 14 0 0 25 0 1 0 60432968 75575296 17301 996147200 134512640 135215973 4294956304 18446744073709551615 134590083 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 18451 17301 402 171 0 17376 0
Current children cumulated CPU time (s) 398.62
Current children cumulated vsize (KiB) 73804

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15938
/proc/meminfo: memFree=1458520/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=82380 CPUtime=458.07
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 20997 656 0 0 45792 15 0 0 25 0 1 0 60432968 84357120 19533 996147200 134512640 135215973 4294956304 18446744073709551615 4158960724 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 20595 19533 402 171 0 19520 0
Current children cumulated CPU time (s) 458.07
Current children cumulated vsize (KiB) 82380

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15938
/proc/meminfo: memFree=1447384/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=92396 CPUtime=517.52
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 23617 656 0 0 51734 18 0 0 25 0 1 0 60432968 94613504 22024 996147200 134512640 135215973 4294956304 18446744073709551615 135020335 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 23099 22024 402 171 0 22024 0
Current children cumulated CPU time (s) 517.52
Current children cumulated vsize (KiB) 92396

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15938
/proc/meminfo: memFree=1437720/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=100976 CPUtime=576.96
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 25825 656 0 0 57677 19 0 0 25 0 1 0 60432968 103399424 24232 996147200 134512640 135215973 4294956304 18446744073709551615 134523348 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 25244 24232 402 171 0 24169 0
Current children cumulated CPU time (s) 576.96
Current children cumulated vsize (KiB) 100976

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15940
/proc/meminfo: memFree=1427352/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=108632 CPUtime=636.41
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 27837 656 0 0 63620 21 0 0 25 0 1 0 60432968 111239168 26244 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/15933/statm: 27158 26244 402 171 0 26083 0
Current children cumulated CPU time (s) 636.41
Current children cumulated vsize (KiB) 108632

[startup+702.301 s]

################
# More data... #
################

/proc/meminfo: memFree=1504904/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=141104 CPUtime=816.04
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 36245 656 0 0 81570 34 0 0 25 0 1 0 60432968 144490496 33627 996147200 134512640 135215973 4294956304 18446744073709551615 134587860 0 0 4096 0 0 0 0 17 0 0 0
/proc/15933/statm: 35276 33627 402 171 0 34201 0
Current children cumulated CPU time (s) 816.04
Current children cumulated vsize (KiB) 141104

[startup+882.301 s]
/proc/loadavg: 1.03 1.50 1.79 2/65 16325
/proc/meminfo: memFree=1496992/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=149552 CPUtime=876
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 38466 656 0 0 87563 37 0 0 25 0 1 0 60432968 153141248 35848 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/15933/statm: 37388 35848 402 171 0 36313 0
Current children cumulated CPU time (s) 876
Current children cumulated vsize (KiB) 149552

[startup+942.301 s]
/proc/loadavg: 1.01 1.40 1.74 2/65 16325
/proc/meminfo: memFree=1487392/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=158924 CPUtime=935.99
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 40910 656 0 0 93559 40 0 0 25 0 1 0 60432968 162738176 38292 996147200 134512640 135215973 4294956304 18446744073709551615 134590083 0 0 4096 0 0 0 0 17 0 0 0
/proc/15933/statm: 39731 38292 402 171 0 38656 0
Current children cumulated CPU time (s) 935.99
Current children cumulated vsize (KiB) 158924

[startup+1002.3 s]
/proc/loadavg: 1.00 1.33 1.69 2/65 16325
/proc/meminfo: memFree=1477856/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=168024 CPUtime=995.97
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 43279 656 0 0 99556 41 0 0 25 0 1 0 60432968 172056576 40661 996147200 134512640 135215973 4294956304 18446744073709551615 134590128 0 0 4096 0 0 0 0 17 0 0 0
/proc/15933/statm: 42006 40661 402 171 0 40931 0
Current children cumulated CPU time (s) 995.97
Current children cumulated vsize (KiB) 168024

[startup+1062.3 s]
/proc/loadavg: 1.00 1.26 1.64 2/65 16325
/proc/meminfo: memFree=1469344/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=176332 CPUtime=1055.94
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 45441 656 0 0 105551 43 0 0 25 0 1 0 60432968 180563968 42823 996147200 134512640 135215973 4294956304 18446744073709551615 4158960089 0 0 4096 0 0 0 0 17 0 0 0
/proc/15933/statm: 44083 42823 402 171 0 43008 0
Current children cumulated CPU time (s) 1055.94
Current children cumulated vsize (KiB) 176332

[startup+1122.3 s]
/proc/loadavg: 1.00 1.21 1.60 2/65 16325
/proc/meminfo: memFree=1459104/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=187124 CPUtime=1115.93
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 48237 656 0 0 111548 45 0 0 25 0 1 0 60432968 191614976 45362 996147200 134512640 135215973 4294956304 18446744073709551615 135020397 0 0 4096 0 0 0 0 17 0 0 0
/proc/15933/statm: 46781 45362 402 171 0 45706 0
Current children cumulated CPU time (s) 1115.93
Current children cumulated vsize (KiB) 187124

[startup+1182.3 s]
/proc/loadavg: 1.00 1.17 1.56 2/65 16325
/proc/meminfo: memFree=1450656/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=195308 CPUtime=1175.91
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 50355 656 0 0 117544 47 0 0 25 0 1 0 60432968 199995392 47480 996147200 134512640 135215973 4294956304 18446744073709551615 134583459 0 0 4096 0 0 0 0 17 0 0 0
/proc/15933/statm: 48827 47480 402 171 0 47752 0
Current children cumulated CPU time (s) 1175.91
Current children cumulated vsize (KiB) 195308

[startup+1242.3 s]
/proc/loadavg: 1.00 1.14 1.52 2/65 16331
/proc/meminfo: memFree=1441824/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=203612 CPUtime=1235.9
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 52507 656 0 0 123541 49 0 0 25 0 1 0 60432968 208498688 49632 996147200 134512640 135215973 4294956304 18446744073709551615 134583194 0 0 4096 0 0 0 0 17 0 0 0
/proc/15933/statm: 50903 49632 402 171 0 49828 0
Current children cumulated CPU time (s) 1235.9
Current children cumulated vsize (KiB) 203612

[startup+1302.3 s]
/proc/loadavg: 1.04 1.12 1.49 2/65 16331
/proc/meminfo: memFree=1433056/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=211928 CPUtime=1295.89
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 54680 656 0 0 129538 51 0 0 25 0 1 0 60432968 217014272 51805 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/15933/statm: 52982 51805 402 171 0 51907 0
Current children cumulated CPU time (s) 1295.89
Current children cumulated vsize (KiB) 211928

[startup+1362.3 s]
/proc/loadavg: 1.02 1.10 1.46 2/65 16331
/proc/meminfo: memFree=1425184/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=219452 CPUtime=1355.87
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 56662 656 0 0 135534 53 0 0 25 0 1 0 60432968 224718848 53787 996147200 134512640 135215973 4294956304 18446744073709551615 134597390 0 0 4096 0 0 0 0 17 0 0 0
/proc/15933/statm: 54863 53787 402 171 0 53788 0
Current children cumulated CPU time (s) 1355.87
Current children cumulated vsize (KiB) 219452

[startup+1422.31 s]
/proc/loadavg: 1.00 1.08 1.43 2/65 16331
/proc/meminfo: memFree=1416288/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=228020 CPUtime=1415.86
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 58884 656 0 0 141531 55 0 0 25 0 1 0 60432968 233492480 56009 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/15933/statm: 57005 56009 402 171 0 55930 0
Current children cumulated CPU time (s) 1415.86
Current children cumulated vsize (KiB) 228020

[startup+1482.3 s]
/proc/loadavg: 1.00 1.06 1.40 2/65 16331
/proc/meminfo: memFree=1408224/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=235804 CPUtime=1475.84
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 60906 656 0 0 147527 57 0 0 25 0 1 0 60432968 241463296 58031 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/15933/statm: 58951 58031 402 171 0 57876 0
Current children cumulated CPU time (s) 1475.84
Current children cumulated vsize (KiB) 235804

[startup+1542.3 s]
/proc/loadavg: 1.00 1.05 1.37 2/65 16331
/proc/meminfo: memFree=1399840/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=251912 CPUtime=1535.82
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 65029 656 0 0 153522 60 0 0 25 0 1 0 60432968 257957888 60105 996147200 134512640 135215973 4294956304 18446744073709551615 134583213 0 0 4096 0 0 0 0 17 0 0 0
/proc/15933/statm: 62978 60105 402 171 0 61903 0
Current children cumulated CPU time (s) 1535.82
Current children cumulated vsize (KiB) 251912

[startup+1602.3 s]
/proc/loadavg: 1.00 1.04 1.34 2/65 16331
/proc/meminfo: memFree=1391840/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=259700 CPUtime=1595.81
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 67054 656 0 0 159520 61 0 0 25 0 1 0 60432968 265932800 62130 996147200 134512640 135215973 4294956304 18446744073709551615 4158960221 0 0 4096 0 0 0 0 17 0 0 0
/proc/15933/statm: 64925 62130 402 171 0 63850 0
Current children cumulated CPU time (s) 1595.81
Current children cumulated vsize (KiB) 259700

[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 1.32 2/65 16331
/proc/meminfo: memFree=1383456/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=267620 CPUtime=1655.79
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 69116 656 0 0 165516 63 0 0 25 0 1 0 60432968 274042880 64192 996147200 134512640 135215973 4294956304 18446744073709551615 134588716 0 0 4096 0 0 0 0 17 0 0 0
/proc/15933/statm: 66905 64192 402 171 0 65830 0
Current children cumulated CPU time (s) 1655.79
Current children cumulated vsize (KiB) 267620

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.30 2/65 16331
/proc/meminfo: memFree=1375392/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=275408 CPUtime=1715.78
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 71138 656 0 0 171514 64 0 0 25 0 1 0 60432968 282017792 66214 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/15933/statm: 68852 66214 402 171 0 67777 0
Current children cumulated CPU time (s) 1715.78
Current children cumulated vsize (KiB) 275408

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.27 2/65 16331
/proc/meminfo: memFree=1367136/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=281144 CPUtime=1775.77
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 73168 656 0 0 177511 66 0 0 25 0 1 0 60432968 287891456 67844 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/15933/statm: 70286 67844 402 171 0 69211 0
Current children cumulated CPU time (s) 1775.77
Current children cumulated vsize (KiB) 281144

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

[startup+1782.7 s]
/proc/loadavg: 1.00 1.02 1.27 2/65 16331
/proc/meminfo: memFree=1367136/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=281144 CPUtime=1776.17
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 73168 656 0 0 177551 66 0 0 25 0 1 0 60432968 287891456 67844 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/15933/statm: 70286 67844 402 171 0 69211 0
Current children cumulated CPU time (s) 1776.17
Current children cumulated vsize (KiB) 281144

[startup+1782.8 s]
/proc/loadavg: 1.00 1.02 1.27 2/65 16331
/proc/meminfo: memFree=1367136/2055920 swapFree=4191900/4192956
[pid=15933] ppid=15931 vsize=281144 CPUtime=1776.27
/proc/15933/stat : 15933 (pcs.big) R 15931 15933 14354 0 -1 4194304 73168 656 0 0 177561 66 0 0 25 0 1 0 60432968 287891456 67844 996147200 134512640 135215973 4294956304 18446744073709551615 4558972 0 0 4096 0 0 0 0 17 0 0 0
/proc/15933/statm: 70286 67844 402 171 0 69211 0
Current children cumulated CPU time (s) 1776.27
Current children cumulated vsize (KiB) 281144

Child status: 0
Real time (s): 1782.85
CPU time (s): 1776.33
CPU user time (s): 1775.62
CPU system time (s): 0.711891
CPU usage (%): 99.6345
Max. virtual memory (cumulated for all children) (KiB): 283196

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

runsolver used 1.88071 second user time and 5.12822 second system time

The end

Launcher Data 

Begin job on node29 at 2009-07-16 10:41:08
IDJOB=2092064
IDBENCH=60243
IDSOLVER=733
FILE ID=node29/2092064-1247733668
PBS_JOBID= 9521529
Free space on /tmp= 66320 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/tightness0.8/normalized-rand-2-40-80-103-800-89_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2092064-1247733668/watcher-2092064-1247733668 -o /tmp/evaluation-result-2092064-1247733668/solver-2092064-1247733668 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1823003536 HOME/instance-2092064-1247733668.xml

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

MD5SUM BENCH= 6d50a6376f2df2b00b9f167298e5a6db
RANDOM SEED=1823003536

node29.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.225
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.225
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:       1559296 kB
Buffers:         75660 kB
Cached:         261432 kB
SwapCached:        392 kB
Active:         173268 kB
Inactive:       256632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1559296 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2488 kB
Writeback:           0 kB
Mapped:         103556 kB
Slab:            51952 kB
Committed_AS:   709700 kB
PageTables:       2036 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= 66320 MiB
End job on node29 at 2009-07-16 11:10:51