Trace number 2058690

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs 0.3.2? (TO) 1800.1 1816.22

General information on the benchmark

Namecsp/rand-2-26/
normalized-rand-26-26-325-155-53021_ext.xml
MD5SUM7106feca84657f34d6cb166bf13cd802
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark123.31
Satisfiable
(Un)Satisfiability was proved
Number of variables26
Number of constraints325
Maximum constraint arity2
Maximum domain size26
Number of constraints which are defined in extension325
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c small-domain mode
0.00/0.02	c Seed is 648931359
0.00/0.02	c Constructing HOME/instance-2058690-1247694287.xml  with 8438 constraints
0.07/0.14	c Solving

Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2058690-1247694287/watcher-2058690-1247694287 -o /tmp/evaluation-result-2058690-1247694287/solver-2058690-1247694287 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 648931359 HOME/instance-2058690-1247694287.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.25 0.36 0.12 4/72 8677
/proc/meminfo: memFree=1046512/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=5356 CPUtime=0
/proc/8677/stat : 8677 (pcssolve) R 8675 8677 8500 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 56492782 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 266890439327 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/8677/statm: 1339 241 200 169 0 50 0
[pid=8678] ppid=8677 vsize=5356 CPUtime=0
/proc/8678/stat : 8678 (pcssolve) R 8677 8677 8500 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 56492782 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 266890439975 0 0 4096 0 0 0 0 17 1 0 0
/proc/8678/statm: 1339 243 202 169 0 50 0
[pid=8679] ppid=8677 vsize=5356 CPUtime=0
/proc/8679/stat : 8679 (pcssolve) R 8677 8677 8500 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 56492783 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 266890439327 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/8679/statm: 1339 241 200 169 0 50 0

[startup+0.0871221 s]
/proc/loadavg: 1.25 0.36 0.12 4/72 8677
/proc/meminfo: memFree=1046512/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=5432 CPUtime=0.06
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 1064 822 0 0 6 0 0 0 24 0 1 0 56492782 5562368 673 996147200 134512640 135095119 4294956304 18446744073709551615 134554987 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 1358 673 364 142 0 312 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5432

[startup+0.101081 s]
/proc/loadavg: 1.25 0.36 0.12 4/72 8677
/proc/meminfo: memFree=1046512/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=5696 CPUtime=0.07
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 1121 822 0 0 7 0 0 0 24 0 1 0 56492782 5832704 730 996147200 134512640 135095119 4294956304 18446744073709551615 9039400 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 1424 730 364 142 0 378 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5696

[startup+0.301108 s]
/proc/loadavg: 1.25 0.36 0.12 4/72 8677
/proc/meminfo: memFree=1046512/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=7496 CPUtime=0.26
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 1615 822 0 0 26 0 0 0 25 0 1 0 56492782 7675904 1126 996147200 134512640 135095119 4294956304 18446744073709551615 134615564 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 1874 1126 378 142 0 828 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 7496

[startup+0.70115 s]
/proc/loadavg: 1.25 0.36 0.12 4/72 8677
/proc/meminfo: memFree=1046512/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=7496 CPUtime=0.66
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 1624 822 0 0 66 0 0 0 25 0 1 0 56492782 7675904 1135 996147200 134512640 135095119 4294956304 18446744073709551615 134617071 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 1874 1135 378 142 0 828 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 7496

[startup+1.50124 s]
/proc/loadavg: 1.25 0.36 0.12 3/73 8683
/proc/meminfo: memFree=1043040/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=7496 CPUtime=1.46
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 1642 822 0 0 146 0 0 0 25 0 1 0 56492782 7675904 1153 996147200 134512640 135095119 4294956304 18446744073709551615 134616910 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 1874 1153 378 142 0 828 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 7496

[startup+3.10142 s]
/proc/loadavg: 1.25 0.36 0.12 3/73 8683
/proc/meminfo: memFree=1042656/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=8524 CPUtime=3.05
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 1814 822 0 0 305 0 0 0 25 0 1 0 56492782 8728576 1325 996147200 134512640 135095119 4294956304 18446744073709551615 134554989 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 2131 1325 378 142 0 1085 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 8524

[startup+6.30277 s]
/proc/loadavg: 1.31 0.39 0.13 3/73 8683
/proc/meminfo: memFree=1040544/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=9432 CPUtime=6.23
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 2187 822 0 0 622 1 0 0 25 0 1 0 56492782 9658368 1569 996147200 134512640 135095119 4294956304 18446744073709551615 134617019 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 2358 1569 378 142 0 1312 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 9432

[startup+12.7015 s]
/proc/loadavg: 1.37 0.41 0.14 3/73 8683
/proc/meminfo: memFree=1036584/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=11648 CPUtime=12.57
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 3014 822 0 0 1255 2 0 0 25 0 1 0 56492782 11927552 2139 996147200 134512640 135095119 4294956304 18446744073709551615 134589504 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 2912 2139 378 142 0 1866 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 11648

[startup+25.5019 s]
/proc/loadavg: 1.51 0.49 0.17 3/73 8683
/proc/meminfo: memFree=1030632/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=16696 CPUtime=25.26
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 4647 822 0 0 2523 3 0 0 25 0 1 0 56492782 17096704 2969 996147200 134512640 135095119 4294956304 18446744073709551615 134617201 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 4174 2969 378 142 0 3128 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 16696

[startup+51.1017 s]
/proc/loadavg: 1.67 0.61 0.22 3/73 8683
/proc/meminfo: memFree=1021288/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=23280 CPUtime=50.64
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 6791 822 0 0 5059 5 0 0 25 0 1 0 56492782 23838720 4088 996147200 134512640 135095119 4294956304 18446744073709551615 134617072 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 5820 4088 378 142 0 4774 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 23280

[startup+102.306 s]
/proc/loadavg: 1.86 0.82 0.31 3/73 8683
/proc/meminfo: memFree=1009576/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=29140 CPUtime=101.37
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 8959 822 0 0 10130 7 0 0 25 0 1 0 56492782 29839360 5743 996147200 134512640 135095119 4294956304 18446744073709551615 134589539 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 7285 5743 378 142 0 6239 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 29140

[startup+162.302 s]
/proc/loadavg: 1.95 1.03 0.41 3/73 8683
/proc/meminfo: memFree=998184/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=32276 CPUtime=160.82
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 10391 822 0 0 16073 9 0 0 25 0 1 0 56492782 33050624 7175 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 8069 7175 378 142 0 7023 0
Current children cumulated CPU time (s) 160.82
Current children cumulated vsize (KiB) 32276

[startup+222.302 s]
/proc/loadavg: 1.98 1.21 0.51 3/73 8683
/proc/meminfo: memFree=984168/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=43216 CPUtime=220.27
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 13644 822 0 0 22015 12 0 0 25 0 1 0 56492782 44253184 8379 996147200 134512640 135095119 4294956304 18446744073709551615 9041531 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 10804 8379 378 142 0 9758 0
Current children cumulated CPU time (s) 220.27
Current children cumulated vsize (KiB) 43216

[startup+282.301 s]
/proc/loadavg: 1.99 1.35 0.60 3/73 8683
/proc/meminfo: memFree=974568/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=53248 CPUtime=279.72
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 16604 822 0 0 27958 14 0 0 25 0 1 0 56492782 54525952 10314 996147200 134512640 135095119 4294956304 18446744073709551615 134643008 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 13312 10314 378 142 0 12266 0
Current children cumulated CPU time (s) 279.72
Current children cumulated vsize (KiB) 53248

[startup+342.302 s]
/proc/loadavg: 1.99 1.46 0.68 3/73 8683
/proc/meminfo: memFree=970408/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=53248 CPUtime=339.18
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 17022 822 0 0 33902 16 0 0 25 0 1 0 56492782 54525952 10732 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 13312 10732 378 142 0 12266 0
Current children cumulated CPU time (s) 339.18
Current children cumulated vsize (KiB) 53248

[startup+402.302 s]
/proc/loadavg: 1.99 1.56 0.76 3/73 8683
/proc/meminfo: memFree=964200/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=54428 CPUtime=398.64
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 17716 822 0 0 39847 17 0 0 25 0 1 0 56492782 55734272 11426 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 13607 11426 378 142 0 12561 0
Current children cumulated CPU time (s) 398.64
Current children cumulated vsize (KiB) 54428

[startup+462.301 s]
/proc/loadavg: 1.99 1.64 0.84 3/73 8685
/proc/meminfo: memFree=957480/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=56260 CPUtime=458.11
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 18530 822 0 0 45792 19 0 0 25 0 1 0 56492782 57610240 12240 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 14065 12240 378 142 0 13019 0
Current children cumulated CPU time (s) 458.11
Current children cumulated vsize (KiB) 56260

[startup+522.302 s]
/proc/loadavg: 1.99 1.70 0.91 3/73 8685
/proc/meminfo: memFree=951272/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=57960 CPUtime=517.57
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 19303 822 0 0 51736 21 0 0 25 0 1 0 56492782 59351040 13013 996147200 134512640 135095119 4294956304 18446744073709551615 134642864 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 14490 13013 378 142 0 13444 0
Current children cumulated CPU time (s) 517.57
Current children cumulated vsize (KiB) 57960

[startup+582.301 s]
/proc/loadavg: 1.99 1.75 0.97 3/73 8685
/proc/meminfo: memFree=945192/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=59656 CPUtime=577.04
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 20048 822 0 0 57681 23 0 0 25 0 1 0 56492782 61087744 13758 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 14914 13758 378 142 0 13868 0
Current children cumulated CPU time (s) 577.04
Current children cumulated vsize (KiB) 59656

[startup+642.302 s]
/proc/loadavg: 1.99 1.79 1.03 3/73 8685
/proc/meminfo: memFree=939304/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=77604 CPUtime=636.5

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

[startup+822.302 s]
/proc/loadavg: 1.99 1.88 1.20 3/73 8685
/proc/meminfo: memFree=923496/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=82040 CPUtime=814.86
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 26793 822 0 0 81456 30 0 0 25 0 1 0 56492782 84008960 16406 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 20510 16406 378 142 0 19464 0
Current children cumulated CPU time (s) 814.86
Current children cumulated vsize (KiB) 82040

[startup+882.302 s]
/proc/loadavg: 1.99 1.90 1.24 3/73 8685
/proc/meminfo: memFree=907752/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=83360 CPUtime=874.31
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 27419 822 0 0 87400 31 0 0 25 0 1 0 56492782 85360640 17032 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 20840 17032 378 142 0 19794 0
Current children cumulated CPU time (s) 874.31
Current children cumulated vsize (KiB) 83360

[startup+942.301 s]
/proc/loadavg: 1.99 1.91 1.29 3/73 8685
/proc/meminfo: memFree=893096/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=104084 CPUtime=933.76
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 32874 822 0 0 93342 34 0 0 25 0 1 0 56492782 106582016 20438 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 26021 20438 378 142 0 24975 0
Current children cumulated CPU time (s) 933.76
Current children cumulated vsize (KiB) 104084

[startup+1002.3 s]
/proc/loadavg: 1.99 1.93 1.33 3/73 8691
/proc/meminfo: memFree=890856/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=104084 CPUtime=993.19
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 33132 822 0 0 99284 35 0 0 25 0 1 0 56492782 106582016 20696 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 26021 20696 378 142 0 24975 0
Current children cumulated CPU time (s) 993.19
Current children cumulated vsize (KiB) 104084

[startup+1062.3 s]
/proc/loadavg: 1.99 1.94 1.37 3/73 8691
/proc/meminfo: memFree=889000/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=104084 CPUtime=1052.63
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 33384 822 0 0 105228 35 0 0 25 0 1 0 56492782 106582016 20948 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 26021 20948 378 142 0 24975 0
Current children cumulated CPU time (s) 1052.63
Current children cumulated vsize (KiB) 104084

[startup+1122.3 s]
/proc/loadavg: 1.99 1.95 1.40 3/73 8691
/proc/meminfo: memFree=886952/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=104084 CPUtime=1112.08
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 33629 822 0 0 111172 36 0 0 25 0 1 0 56492782 106582016 21193 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 26021 21193 378 142 0 24975 0
Current children cumulated CPU time (s) 1112.08
Current children cumulated vsize (KiB) 104084

[startup+1182.3 s]
/proc/loadavg: 1.99 1.95 1.44 3/73 8691
/proc/meminfo: memFree=884968/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=104084 CPUtime=1171.54
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 33870 822 0 0 117117 37 0 0 25 0 1 0 56492782 106582016 21434 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 26021 21434 378 142 0 24975 0
Current children cumulated CPU time (s) 1171.54
Current children cumulated vsize (KiB) 104084

[startup+1242.3 s]
/proc/loadavg: 1.99 1.96 1.47 3/73 8691
/proc/meminfo: memFree=883048/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=104084 CPUtime=1230.99
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 34103 822 0 0 123061 38 0 0 25 0 1 0 56492782 106582016 21667 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 26021 21667 378 142 0 24975 0
Current children cumulated CPU time (s) 1230.99
Current children cumulated vsize (KiB) 104084

[startup+1302.3 s]
/proc/loadavg: 1.99 1.96 1.50 3/73 8691
/proc/meminfo: memFree=880936/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=104084 CPUtime=1290.46
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 34337 822 0 0 129008 38 0 0 25 0 1 0 56492782 106582016 21901 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 26021 21901 378 142 0 24975 0
Current children cumulated CPU time (s) 1290.46
Current children cumulated vsize (KiB) 104084

[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.53 3/73 8691
/proc/meminfo: memFree=878312/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=104084 CPUtime=1349.91
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 34568 822 0 0 134952 39 0 0 25 0 1 0 56492782 106582016 22132 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 26021 22132 378 142 0 24975 0
Current children cumulated CPU time (s) 1349.91
Current children cumulated vsize (KiB) 104084

[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.56 3/73 8691
/proc/meminfo: memFree=875432/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=104216 CPUtime=1409.37
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 34816 822 0 0 140897 40 0 0 25 0 1 0 56492782 106717184 22380 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 26054 22380 378 142 0 25008 0
Current children cumulated CPU time (s) 1409.37
Current children cumulated vsize (KiB) 104216

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.58 3/73 8691
/proc/meminfo: memFree=871720/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=105128 CPUtime=1468.84
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 35267 822 0 0 146843 41 0 0 25 0 1 0 56492782 107651072 22831 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 26282 22831 378 142 0 25236 0
Current children cumulated CPU time (s) 1468.84
Current children cumulated vsize (KiB) 105128

[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.60 3/73 8691
/proc/meminfo: memFree=867624/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=106172 CPUtime=1528.31
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 35743 822 0 0 152789 42 0 0 25 0 1 0 56492782 108720128 23307 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 26543 23307 378 142 0 25497 0
Current children cumulated CPU time (s) 1528.31
Current children cumulated vsize (KiB) 106172

[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.63 3/73 8691
/proc/meminfo: memFree=863848/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=107208 CPUtime=1587.78
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 36205 822 0 0 158735 43 0 0 25 0 1 0 56492782 109780992 23769 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 26802 23769 378 142 0 25756 0
Current children cumulated CPU time (s) 1587.78
Current children cumulated vsize (KiB) 107208

[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.65 3/73 8691
/proc/meminfo: memFree=860008/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=108384 CPUtime=1647.24
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 36697 822 0 0 164680 44 0 0 25 0 1 0 56492782 110985216 24261 996147200 134512640 135095119 4294956304 18446744073709551615 134589589 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 27096 24261 378 142 0 26050 0
Current children cumulated CPU time (s) 1647.24
Current children cumulated vsize (KiB) 108384

[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.66 3/73 8691
/proc/meminfo: memFree=856104/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=109440 CPUtime=1706.72
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 37171 822 0 0 170626 46 0 0 25 0 1 0 56492782 112066560 24735 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/8677/statm: 27360 24735 378 142 0 26314 0
Current children cumulated CPU time (s) 1706.72
Current children cumulated vsize (KiB) 109440

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.68 2/71 8692
/proc/meminfo: memFree=955256/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=110488 CPUtime=1766.17
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 37649 822 0 0 176570 47 0 0 25 0 1 0 56492782 113139712 25213 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/8677/statm: 27622 25213 378 142 0 26576 0
Current children cumulated CPU time (s) 1766.17
Current children cumulated vsize (KiB) 110488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.2 s]
/proc/loadavg: 1.89 1.94 1.68 3/73 8916
/proc/meminfo: memFree=950120/2055920 swapFree=4192812/4192956
[pid=8677] ppid=8675 vsize=111016 CPUtime=1800.06
/proc/8677/stat : 8677 (pcs.small) R 8675 8677 8500 0 -1 4194304 37925 822 0 0 179958 48 0 0 25 0 1 0 56492782 113680384 25489 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/8677/statm: 27754 25489 378 142 0 26708 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 111016

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1816.22
CPU time (s): 1800.1
CPU user time (s): 1799.59
CPU system time (s): 0.510922
CPU usage (%): 99.1125
Max. virtual memory (cumulated for all children) (KiB): 111016

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

runsolver used 2.66859 second user time and 5.2792 second system time

The end

Launcher Data 

Begin job on node38 at 2009-07-15 23:44:47
IDJOB=2058690
IDBENCH=53514
IDSOLVER=733
FILE ID=node38/2058690-1247694287
PBS_JOBID= 9521234
Free space on /tmp= 66228 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-2-26/normalized-rand-26-26-325-155-53021_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2058690-1247694287/watcher-2058690-1247694287 -o /tmp/evaluation-result-2058690-1247694287/solver-2058690-1247694287 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 648931359 HOME/instance-2058690-1247694287.xml

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

MD5SUM BENCH= 7106feca84657f34d6cb166bf13cd802
RANDOM SEED=648931359

node38.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.229
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.229
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:       1046992 kB
Buffers:         92216 kB
Cached:         792600 kB
SwapCached:          0 kB
Active:         371588 kB
Inactive:       538408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1046992 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4280 kB
Writeback:           0 kB
Mapped:          36648 kB
Slab:            84280 kB
Committed_AS:   523212 kB
PageTables:       1840 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= 66228 MiB
End job on node38 at 2009-07-16 00:15:05