Trace number 2080514

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.09 1806.24

General information on the benchmark

Namecsp/queensKnights/
normalized-queensKnights-50-5-mul.xml
MD5SUM16fcc8b8bde2aa10417fc00ae864011c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4.18836
Satisfiable
(Un)Satisfiability was proved
Number of variables55
Number of constraints1485
Maximum constraint arity2
Maximum domain size2500
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1485
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.18/0.20	c Seed is 1111286566
0.18/0.20	c Constructing HOME/instance-2080514-1247717811.xml 
0.18/0.20	c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V16,V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V29,V30,V31,V32,V33,V34,V35,V36,V37,V38,V39,V40,V41,V42,V43,V44,V45,V46,V47,V48,V49,V0)
0.18/0.20	c  with 6791 constraints
0.18/0.20	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-2080514-1247717811/watcher-2080514-1247717811 -o /tmp/evaluation-result-2080514-1247717811/solver-2080514-1247717811 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1111286566 HOME/instance-2080514-1247717811.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.95 2.05 2.02 4/73 13880
/proc/meminfo: memFree=1422568/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=5356 CPUtime=0
/proc/13880/stat : 13880 (pcssolve) R 13878 13880 12576 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 58845760 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 251601152671 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13880/statm: 1339 241 200 169 0 50 0
[pid=13881] ppid=13880 vsize=5356 CPUtime=0
/proc/13881/stat : 13881 (pcssolve) R 13880 13880 12576 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 58845760 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 251601152671 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13881/statm: 1339 241 200 169 0 50 0

[startup+0.127061 s]
/proc/loadavg: 1.95 2.05 2.02 4/73 13880
/proc/meminfo: memFree=1422568/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=7104 CPUtime=0.1
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 1620 657 0 0 10 0 0 0 18 0 1 0 58845760 7274496 1077 996147200 134512640 135215973 4294956304 18446744073709551615 11746420 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 1776 1077 410 171 0 701 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7104

[startup+0.201068 s]
/proc/loadavg: 1.95 2.05 2.02 4/73 13880
/proc/meminfo: memFree=1422568/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=8748 CPUtime=0.18
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 2113 657 0 0 17 1 0 0 18 0 1 0 58845760 8957952 1399 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 2187 1399 421 171 0 1112 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8748

[startup+0.301078 s]
/proc/loadavg: 1.95 2.05 2.02 4/73 13880
/proc/meminfo: memFree=1422568/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=10768 CPUtime=0.28
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 2752 657 0 0 27 1 0 0 19 0 1 0 58845760 11026432 1829 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 2692 1829 421 171 0 1617 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10768

[startup+0.701121 s]
/proc/loadavg: 1.95 2.05 2.02 4/73 13880
/proc/meminfo: memFree=1422568/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=15996 CPUtime=0.68
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 4362 657 0 0 66 2 0 0 23 0 1 0 58845760 16379904 3022 996147200 134512640 135215973 4294956304 18446744073709551615 134974415 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 3999 3022 421 171 0 2924 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15996

[startup+1.50121 s]
/proc/loadavg: 1.95 2.05 2.02 3/74 13885
/proc/meminfo: memFree=1400864/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=28804 CPUtime=1.47
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 7908 657 0 0 144 3 0 0 25 0 1 0 58845760 29495296 5735 996147200 134512640 135215973 4294956304 18446744073709551615 134592108 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 7201 5735 423 171 0 6126 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 28804

[startup+3.10139 s]
/proc/loadavg: 1.95 2.05 2.02 3/74 13885
/proc/meminfo: memFree=1400224/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=28804 CPUtime=3.06
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 7917 657 0 0 303 3 0 0 25 0 1 0 58845760 29495296 5744 996147200 134512640 135215973 4294956304 18446744073709551615 4158960004 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 7201 5744 423 171 0 6126 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 28804

[startup+6.30274 s]
/proc/loadavg: 1.95 2.05 2.02 3/74 13885
/proc/meminfo: memFree=1398432/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=29576 CPUtime=6.26
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 8119 657 0 0 622 4 0 0 25 0 1 0 58845760 30285824 5881 996147200 134512640 135215973 4294956304 18446744073709551615 4158960075 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 7394 5881 423 171 0 6319 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 29576

[startup+12.7015 s]
/proc/loadavg: 1.95 2.05 2.02 3/74 13885
/proc/meminfo: memFree=1397344/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=29688 CPUtime=12.63
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 8135 657 0 0 1259 4 0 0 25 0 1 0 58845760 30400512 5897 996147200 134512640 135215973 4294956304 18446744073709551615 134597296 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 7422 5897 423 171 0 6347 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 29688

[startup+25.5019 s]
/proc/loadavg: 1.96 2.04 2.02 3/74 13885
/proc/meminfo: memFree=1394016/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=29688 CPUtime=25.38
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 8154 657 0 0 2534 4 0 0 25 0 1 0 58845760 30400512 5916 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 7422 5916 423 171 0 6347 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 29688

[startup+51.1017 s]
/proc/loadavg: 1.98 2.04 2.02 3/74 13885
/proc/meminfo: memFree=1386080/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=33356 CPUtime=50.87
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 9109 657 0 0 5083 4 0 0 25 0 1 0 58845760 34156544 6871 996147200 134512640 135215973 4294956304 18446744073709551615 4158961376 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 8339 6871 423 171 0 7264 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 33356

[startup+102.301 s]
/proc/loadavg: 1.99 2.03 2.01 3/74 13885
/proc/meminfo: memFree=1373536/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=36620 CPUtime=101.88
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 10163 657 0 0 10183 5 0 0 25 0 1 0 58845760 37498880 7601 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 9155 7601 423 171 0 8080 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 36620

[startup+162.301 s]
/proc/loadavg: 1.99 2.02 2.01 3/74 13885
/proc/meminfo: memFree=1358368/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=36864 CPUtime=161.63
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 10254 657 0 0 16158 5 0 0 25 0 1 0 58845760 37748736 7692 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 9216 7692 423 171 0 8141 0
Current children cumulated CPU time (s) 161.63
Current children cumulated vsize (KiB) 36864

[startup+222.307 s]
/proc/loadavg: 1.99 2.02 2.00 3/74 13885
/proc/meminfo: memFree=1349024/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=37792 CPUtime=221.4
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 10519 657 0 0 22134 6 0 0 25 0 1 0 58845760 38699008 7957 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 9448 7957 423 171 0 8373 0
Current children cumulated CPU time (s) 221.4
Current children cumulated vsize (KiB) 37792

[startup+282.302 s]
/proc/loadavg: 1.99 2.01 2.00 3/74 13885
/proc/meminfo: memFree=1337056/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=42268 CPUtime=281.14
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 11760 657 0 0 28108 6 0 0 25 0 1 0 58845760 43282432 8908 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 10567 8908 423 171 0 9492 0
Current children cumulated CPU time (s) 281.14
Current children cumulated vsize (KiB) 42268

[startup+342.301 s]
/proc/loadavg: 1.99 2.01 2.00 3/74 13885
/proc/meminfo: memFree=1324128/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=46364 CPUtime=340.91
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 12876 657 0 0 34084 7 0 0 25 0 1 0 58845760 47476736 10024 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 11591 10024 423 171 0 10516 0
Current children cumulated CPU time (s) 340.91
Current children cumulated vsize (KiB) 46364

[startup+402.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1312992/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=51052 CPUtime=400.67
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 14079 657 0 0 40059 8 0 0 25 0 1 0 58845760 52277248 11227 996147200 134512640 135215973 4294956304 18446744073709551615 134902564 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 12763 11227 423 171 0 11688 0
Current children cumulated CPU time (s) 400.67
Current children cumulated vsize (KiB) 51052

[startup+462.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1306848/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=53512 CPUtime=460.43
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 14793 657 0 0 46035 8 0 0 25 0 1 0 58845760 54796288 11428 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 13378 11428 423 171 0 12303 0
Current children cumulated CPU time (s) 460.43
Current children cumulated vsize (KiB) 53512

[startup+522.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1298144/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=55796 CPUtime=520.18
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 15396 657 0 0 52009 9 0 0 25 0 1 0 58845760 57135104 12031 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 13949 12031 423 171 0 12874 0
Current children cumulated CPU time (s) 520.18
Current children cumulated vsize (KiB) 55796

[startup+582.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1288288/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=59880 CPUtime=579.94
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 16444 657 0 0 57984 10 0 0 25 0 1 0 58845760 61317120 13046 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 14970 13046 423 171 0 13895 0
Current children cumulated CPU time (s) 579.94
Current children cumulated vsize (KiB) 59880

[startup+642.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1269664/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=69476 CPUtime=639.7
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 18865 657 0 0 63959 11 0 0 25 0 1 0 58845760 71143424 15467 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 17369 15467 423 171 0 16294 0
Current children cumulated CPU time (s) 639.7

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

[startup+882.306 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1184352/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=118432 CPUtime=878.74
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 31206 657 0 0 87857 17 0 0 25 0 1 0 58845760 121274368 27743 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 29608 27743 423 171 0 28533 0
Current children cumulated CPU time (s) 878.74
Current children cumulated vsize (KiB) 118432

[startup+942.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1172768/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=120048 CPUtime=938.49
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 31603 657 0 0 93831 18 0 0 25 0 1 0 58845760 122929152 28140 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 30012 28140 423 171 0 28937 0
Current children cumulated CPU time (s) 938.49
Current children cumulated vsize (KiB) 120048

[startup+1002.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1158496/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=124916 CPUtime=998.25
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 32841 657 0 0 99807 18 0 0 25 0 1 0 58845760 127913984 29378 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 31229 29378 423 171 0 30154 0
Current children cumulated CPU time (s) 998.25
Current children cumulated vsize (KiB) 124916

[startup+1062.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1143584/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=129668 CPUtime=1058.01
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 34056 657 0 0 105782 19 0 0 25 0 1 0 58845760 132780032 30593 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 32417 30593 423 171 0 31342 0
Current children cumulated CPU time (s) 1058.01
Current children cumulated vsize (KiB) 129668

[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1126880/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=136784 CPUtime=1117.77
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 35864 657 0 0 111757 20 0 0 25 0 1 0 58845760 140066816 32272 996147200 134512640 135215973 4294956304 18446744073709551615 134599837 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 34196 32272 423 171 0 33121 0
Current children cumulated CPU time (s) 1117.77
Current children cumulated vsize (KiB) 136784

[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1106528/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=147440 CPUtime=1177.53
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 38526 657 0 0 117731 22 0 0 25 0 1 0 58845760 150978560 34934 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 36860 34934 423 171 0 35785 0
Current children cumulated CPU time (s) 1177.53
Current children cumulated vsize (KiB) 147440

[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1096352/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=147552 CPUtime=1237.29
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 38549 657 0 0 123707 22 0 0 25 0 1 0 58845760 151093248 34957 996147200 134512640 135215973 4294956304 18446744073709551615 134533031 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 36888 34957 423 171 0 35813 0
Current children cumulated CPU time (s) 1237.29
Current children cumulated vsize (KiB) 147552

[startup+1302.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1083808/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=149848 CPUtime=1297.05
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 39124 657 0 0 129682 23 0 0 25 0 1 0 58845760 153444352 35532 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 37462 35532 423 171 0 36387 0
Current children cumulated CPU time (s) 1297.05
Current children cumulated vsize (KiB) 149848

[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13885
/proc/meminfo: memFree=1068320/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=155044 CPUtime=1356.81
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 40430 657 0 0 135657 24 0 0 25 0 1 0 58845760 158765056 36838 996147200 134512640 135215973 4294956304 18446744073709551615 134532667 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 38761 36838 423 171 0 37686 0
Current children cumulated CPU time (s) 1356.81
Current children cumulated vsize (KiB) 155044

[startup+1422.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 13948
/proc/meminfo: memFree=1347104/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=160076 CPUtime=1416.51
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 41684 657 0 0 141626 25 0 0 25 0 1 0 58845760 163917824 38092 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 40019 38092 423 171 0 38944 0
Current children cumulated CPU time (s) 1416.51
Current children cumulated vsize (KiB) 160076

[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/83 13987
/proc/meminfo: memFree=1330520/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=160300 CPUtime=1476.26
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 41743 657 0 0 147601 25 0 0 25 0 1 0 58845760 164147200 38151 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 40075 38151 423 171 0 39000 0
Current children cumulated CPU time (s) 1476.26
Current children cumulated vsize (KiB) 160300

[startup+1542.31 s]
/proc/loadavg: 2.05 2.02 2.00 3/83 13989
/proc/meminfo: memFree=1224328/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=160416 CPUtime=1536.24
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 41887 657 0 0 153599 25 0 0 25 0 1 0 58845760 164265984 38295 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 40104 38295 423 171 0 39029 0
Current children cumulated CPU time (s) 1536.24
Current children cumulated vsize (KiB) 160416

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/83 13989
/proc/meminfo: memFree=1189064/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=170780 CPUtime=1596.22
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 44563 657 0 0 159595 27 0 0 25 0 1 0 58845760 174878720 40714 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 42695 40714 423 171 0 41620 0
Current children cumulated CPU time (s) 1596.22
Current children cumulated vsize (KiB) 170780

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 13989
/proc/meminfo: memFree=1189000/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=170900 CPUtime=1656.2
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 44587 657 0 0 165593 27 0 0 25 0 1 0 58845760 175001600 40738 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 42725 40738 423 171 0 41650 0
Current children cumulated CPU time (s) 1656.2
Current children cumulated vsize (KiB) 170900

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 13989
/proc/meminfo: memFree=1187144/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=172728 CPUtime=1716.17
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 45050 657 0 0 171590 27 0 0 25 0 1 0 58845760 176873472 41201 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 43182 41201 423 171 0 42107 0
Current children cumulated CPU time (s) 1716.17
Current children cumulated vsize (KiB) 172728

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 13989
/proc/meminfo: memFree=1187016/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=172728 CPUtime=1776.15
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 45061 657 0 0 177588 27 0 0 25 0 1 0 58845760 176873472 41212 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 43182 41212 423 171 0 42107 0
Current children cumulated CPU time (s) 1776.15
Current children cumulated vsize (KiB) 172728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 13989
/proc/meminfo: memFree=1186824/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=172976 CPUtime=1800.05
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 45114 657 0 0 179977 28 0 0 25 0 1 0 58845760 177127424 41265 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 43244 41265 423 171 0 42169 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 172976

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

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

[startup+1806.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 13989
/proc/meminfo: memFree=1186824/2055920 swapFree=4192812/4192956
[pid=13880] ppid=13878 vsize=172976 CPUtime=1800.05
/proc/13880/stat : 13880 (pcs.big) R 13878 13880 12576 0 -1 4194304 45114 657 0 0 179977 28 0 0 25 0 1 0 58845760 177127424 41265 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 0 0 0
/proc/13880/statm: 43244 41265 423 171 0 42169 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 172976

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1806.24
CPU time (s): 1800.09
CPU user time (s): 1799.78
CPU system time (s): 0.313952
CPU usage (%): 99.6599
Max. virtual memory (cumulated for all children) (KiB): 172976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.313952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45771
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= 13
involuntary context switches= 21730

runsolver used 1.75573 second user time and 4.85126 second system time

The end

Launcher Data 

Begin job on node91 at 2009-07-16 06:16:51
IDJOB=2080514
IDBENCH=57101
IDSOLVER=733
FILE ID=node91/2080514-1247717811
PBS_JOBID= 9521455
Free space on /tmp= 66200 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/queensKnights/normalized-queensKnights-50-5-mul.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080514-1247717811/watcher-2080514-1247717811 -o /tmp/evaluation-result-2080514-1247717811/solver-2080514-1247717811 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1111286566 HOME/instance-2080514-1247717811.xml

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

MD5SUM BENCH= 16fcc8b8bde2aa10417fc00ae864011c
RANDOM SEED=1111286566

node91.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.241
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.241
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1422984 kB
Buffers:         69480 kB
Cached:         378572 kB
SwapCached:          0 kB
Active:         154588 kB
Inactive:       409364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1422984 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1952 kB
Writeback:           0 kB
Mapped:         127304 kB
Slab:            54124 kB
Committed_AS:   680452 kB
PageTables:       1892 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66196 MiB
End job on node91 at 2009-07-16 06:47:00