Trace number 2080580

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.08 1816.43

General information on the benchmark

Namecsp/knights/
normalized-knights-50-5.xml
MD5SUM27195a20f6a7bf26022cd6427acd2a56
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 benchmark2.29965
Satisfiable
(Un)Satisfiability was proved
Number of variables5
Number of constraints10
Maximum constraint arity2
Maximum domain size2500
Number of constraints which are defined in extension0
Number of constraints which are defined in intension10
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.00/0.02	c Seed is 1331975483
0.00/0.02	c Constructing HOME/instance-2080580-1247717891.xml  with 140 constraints
0.00/0.02	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-2080580-1247717891/watcher-2080580-1247717891 -o /tmp/evaluation-result-2080580-1247717891/solver-2080580-1247717891 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1331975483 HOME/instance-2080580-1247717891.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.03 2.01 2.00 4/82 16323
/proc/meminfo: memFree=1494056/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=5356 CPUtime=0
/proc/16323/stat : 16323 (pcssolve) R 16321 16323 14306 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58480844 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 209135921823 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16323/statm: 1339 241 200 169 0 50 0
[pid=16324] ppid=16323 vsize=5356 CPUtime=0
/proc/16324/stat : 16324 (pcssolve) R 16323 16323 14306 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 58480845 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 209135922471 0 0 4096 0 0 0 0 17 1 0 0
/proc/16324/statm: 1339 243 202 169 0 50 0
[pid=16325] ppid=16323 vsize=5356 CPUtime=0
/proc/16325/stat : 16325 (pcssolve) R 16323 16323 14306 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58480845 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 209135921823 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16325/statm: 1339 241 200 169 0 50 0

[startup+0.0403941 s]
/proc/loadavg: 2.03 2.01 2.00 4/82 16323
/proc/meminfo: memFree=1494056/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=4624 CPUtime=0.02
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 857 640 0 0 2 0 0 0 23 0 1 0 58480844 4734976 488 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 1156 488 416 171 0 81 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4624

[startup+0.102397 s]
/proc/loadavg: 2.03 2.01 2.00 4/82 16323
/proc/meminfo: memFree=1494056/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=4904 CPUtime=0.08
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 935 640 0 0 8 0 0 0 23 0 1 0 58480844 5021696 566 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 1226 566 416 171 0 151 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4904

[startup+0.302418 s]
/proc/loadavg: 2.03 2.01 2.00 4/82 16323
/proc/meminfo: memFree=1494056/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=6000 CPUtime=0.28
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 1209 640 0 0 28 0 0 0 25 0 1 0 58480844 6144000 840 996147200 134512640 135215973 4294956304 18446744073709551615 134989609 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 1500 840 416 171 0 425 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6000

[startup+0.70245 s]
/proc/loadavg: 2.03 2.01 2.00 4/82 16323
/proc/meminfo: memFree=1494056/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=7056 CPUtime=0.68
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 1454 640 0 0 68 0 0 0 25 0 1 0 58480844 7225344 1085 996147200 134512640 135215973 4294956304 18446744073709551615 134532692 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 1764 1085 416 171 0 689 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7056

[startup+1.50152 s]
/proc/loadavg: 2.03 2.01 2.00 3/83 16328
/proc/meminfo: memFree=1489568/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=11408 CPUtime=1.47
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 2550 640 0 0 146 1 0 0 25 0 1 0 58480844 11681792 2181 996147200 134512640 135215973 4294956304 18446744073709551615 134532667 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 2852 2181 416 171 0 1777 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11408

[startup+3.10166 s]
/proc/loadavg: 2.03 2.01 2.00 3/83 16328
/proc/meminfo: memFree=1483488/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=19984 CPUtime=3.06
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 4710 640 0 0 304 2 0 0 25 0 1 0 58480844 20463616 4341 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 4996 4341 416 171 0 3921 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 19984

[startup+6.30195 s]
/proc/loadavg: 2.03 2.01 2.00 3/83 16328
/proc/meminfo: memFree=1472864/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=25948 CPUtime=6.23
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 6191 640 0 0 621 2 0 0 25 0 1 0 58480844 26570752 5757 996147200 134512640 135215973 4294956304 18446744073709551615 134588237 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 6487 5757 416 171 0 5412 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 25948

[startup+12.7015 s]
/proc/loadavg: 2.02 2.01 2.00 4/83 16328
/proc/meminfo: memFree=1471392/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=28792 CPUtime=12.56
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 6942 640 0 0 1254 2 0 0 25 0 1 0 58480844 29483008 6508 996147200 134512640 135215973 4294956304 18446744073709551615 134533172 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 7198 6508 416 171 0 6123 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 28792

[startup+25.5027 s]
/proc/loadavg: 2.02 2.01 2.00 3/83 16328
/proc/meminfo: memFree=1433824/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=41688 CPUtime=25.24
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 10214 640 0 0 2519 5 0 0 25 0 1 0 58480844 42688512 9651 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 10422 9651 416 171 0 9347 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 41688

[startup+51.1029 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 16328
/proc/meminfo: memFree=1424800/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=50676 CPUtime=50.6
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 12605 640 0 0 5053 7 0 0 25 0 1 0 58480844 51892224 11893 996147200 134512640 135215973 4294956304 18446744073709551615 134680654 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 12669 11893 416 171 0 11594 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 50676

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1395864/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=52360 CPUtime=101.33
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 13157 640 0 0 10125 8 0 0 25 0 1 0 58480844 53616640 12188 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 13090 12188 416 171 0 12015 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 52360

[startup+162.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1395608/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=52360 CPUtime=160.76
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 13242 640 0 0 16068 8 0 0 25 0 1 0 58480844 53616640 12273 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 13090 12273 416 171 0 12015 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 52360

[startup+222.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1395416/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=52360 CPUtime=220.2
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 13294 640 0 0 22012 8 0 0 25 0 1 0 58480844 53616640 12325 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 13090 12325 416 171 0 12015 0
Current children cumulated CPU time (s) 220.2
Current children cumulated vsize (KiB) 52360

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1382104/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=66736 CPUtime=279.64
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 16623 640 0 0 27955 9 0 0 25 0 1 0 58480844 68337664 15654 996147200 134512640 135215973 4294956304 18446744073709551615 4158960032 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 16684 15654 416 171 0 15609 0
Current children cumulated CPU time (s) 279.64
Current children cumulated vsize (KiB) 66736

[startup+342.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1379672/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=71016 CPUtime=339.08
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 17722 640 0 0 33898 10 0 0 25 0 1 0 58480844 72720384 16240 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 17754 16240 416 171 0 16679 0
Current children cumulated CPU time (s) 339.08
Current children cumulated vsize (KiB) 71016

[startup+402.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1354136/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=96540 CPUtime=398.53
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 24125 640 0 0 39840 13 0 0 25 0 1 0 58480844 98856960 22590 996147200 134512640 135215973 4294956304 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 24135 22590 416 171 0 23060 0
Current children cumulated CPU time (s) 398.53
Current children cumulated vsize (KiB) 96540

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1330328/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=120024 CPUtime=457.96
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 30063 640 0 0 45780 16 0 0 25 0 1 0 58480844 122904576 28528 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 30006 28528 416 171 0 28931 0
Current children cumulated CPU time (s) 457.96
Current children cumulated vsize (KiB) 120024

[startup+522.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1322008/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=128340 CPUtime=517.4
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 32137 640 0 0 51723 17 0 0 25 0 1 0 58480844 131420160 30602 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 32085 30602 416 171 0 31010 0
Current children cumulated CPU time (s) 517.4
Current children cumulated vsize (KiB) 128340

[startup+582.303 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 16329
/proc/meminfo: memFree=1322008/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=128340 CPUtime=576.83
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 32140 640 0 0 57666 17 0 0 25 0 1 0 58480844 131420160 30605 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 32085 30605 416 171 0 31010 0
Current children cumulated CPU time (s) 576.83
Current children cumulated vsize (KiB) 128340

[startup+642.302 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 16329
/proc/meminfo: memFree=1321368/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=129364 CPUtime=636.28

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1321112/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=129364 CPUtime=814.6
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 32568 640 0 0 81442 18 0 0 25 0 1 0 58480844 132468736 30776 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 32341 30776 416 171 0 31266 0
Current children cumulated CPU time (s) 814.6
Current children cumulated vsize (KiB) 129364

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1321112/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=129364 CPUtime=874.03
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 32570 640 0 0 87385 18 0 0 25 0 1 0 58480844 132468736 30778 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 32341 30778 416 171 0 31266 0
Current children cumulated CPU time (s) 874.03
Current children cumulated vsize (KiB) 129364

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1321112/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=129364 CPUtime=933.47
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 32572 640 0 0 93329 18 0 0 25 0 1 0 58480844 132468736 30780 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 32341 30780 416 171 0 31266 0
Current children cumulated CPU time (s) 933.47
Current children cumulated vsize (KiB) 129364

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1320984/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=129364 CPUtime=992.91
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 32576 640 0 0 99273 18 0 0 25 0 1 0 58480844 132468736 30784 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 32341 30784 416 171 0 31266 0
Current children cumulated CPU time (s) 992.91
Current children cumulated vsize (KiB) 129364

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1320984/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=129364 CPUtime=1052.35
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 32578 640 0 0 105217 18 0 0 25 0 1 0 58480844 132468736 30786 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 32341 30786 416 171 0 31266 0
Current children cumulated CPU time (s) 1052.35
Current children cumulated vsize (KiB) 129364

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1320920/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=129364 CPUtime=1111.79
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 32580 640 0 0 111161 18 0 0 25 0 1 0 58480844 132468736 30788 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 32341 30788 416 171 0 31266 0
Current children cumulated CPU time (s) 1111.79
Current children cumulated vsize (KiB) 129364

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1320792/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=129364 CPUtime=1171.23
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 32581 640 0 0 117105 18 0 0 25 0 1 0 58480844 132468736 30789 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 32341 30789 416 171 0 31266 0
Current children cumulated CPU time (s) 1171.23
Current children cumulated vsize (KiB) 129364

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1320792/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=129364 CPUtime=1230.66
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 32585 640 0 0 123048 18 0 0 25 0 1 0 58480844 132468736 30793 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 32341 30793 416 171 0 31266 0
Current children cumulated CPU time (s) 1230.66
Current children cumulated vsize (KiB) 129364

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1320728/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=129364 CPUtime=1290.1
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 32593 640 0 0 128992 18 0 0 25 0 1 0 58480844 132468736 30801 996147200 134512640 135215973 4294956304 18446744073709551615 4158960153 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 32341 30801 416 171 0 31266 0
Current children cumulated CPU time (s) 1290.1
Current children cumulated vsize (KiB) 129364

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1320664/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=129492 CPUtime=1349.54
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 32617 640 0 0 134936 18 0 0 25 0 1 0 58480844 132599808 30825 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 32373 30825 416 171 0 31298 0
Current children cumulated CPU time (s) 1349.54
Current children cumulated vsize (KiB) 129492

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1316120/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=133976 CPUtime=1408.99
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 33758 640 0 0 140880 19 0 0 25 0 1 0 58480844 137191424 31966 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 33494 31966 416 171 0 32419 0
Current children cumulated CPU time (s) 1408.99
Current children cumulated vsize (KiB) 133976

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1315864/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=134240 CPUtime=1468.42
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 33815 640 0 0 146823 19 0 0 25 0 1 0 58480844 137461760 32023 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 33560 32023 416 171 0 32485 0
Current children cumulated CPU time (s) 1468.42
Current children cumulated vsize (KiB) 134240

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1314776/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=135296 CPUtime=1527.86
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 34088 640 0 0 152767 19 0 0 25 0 1 0 58480844 138543104 32296 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 33824 32296 416 171 0 32749 0
Current children cumulated CPU time (s) 1527.86
Current children cumulated vsize (KiB) 135296

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1313624/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=136348 CPUtime=1587.3
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 34359 640 0 0 158711 19 0 0 25 0 1 0 58480844 139620352 32567 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 34087 32567 416 171 0 33012 0
Current children cumulated CPU time (s) 1587.3
Current children cumulated vsize (KiB) 136348

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1312664/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=137404 CPUtime=1646.73
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 34599 640 0 0 164654 19 0 0 25 0 1 0 58480844 140701696 32807 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 34351 32807 416 171 0 33276 0
Current children cumulated CPU time (s) 1646.73
Current children cumulated vsize (KiB) 137404

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16329
/proc/meminfo: memFree=1311384/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=138592 CPUtime=1706.19
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 34901 640 0 0 170599 20 0 0 25 0 1 0 58480844 141918208 33109 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 1 0 0
/proc/16323/statm: 34648 33109 416 171 0 33573 0
Current children cumulated CPU time (s) 1706.19
Current children cumulated vsize (KiB) 138592

[startup+1782.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/73 16362
/proc/meminfo: memFree=1014448/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=140044 CPUtime=1765.95
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 35258 640 0 0 176571 24 0 0 25 0 1 0 58480844 143405056 33466 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/16323/statm: 35011 33466 416 171 0 33936 0
Current children cumulated CPU time (s) 1765.95
Current children cumulated vsize (KiB) 140044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.4 s]
/proc/loadavg: 1.97 1.98 1.99 3/73 16362
/proc/meminfo: memFree=633072/2055920 swapFree=4192812/4192956
[pid=16323] ppid=16321 vsize=140836 CPUtime=1800.04
/proc/16323/stat : 16323 (pcs.big) R 16321 16323 14306 0 -1 4194304 35470 640 0 0 179979 25 0 0 25 0 1 0 58480844 144216064 33678 996147200 134512640 135215973 4294956304 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 0 0 0
/proc/16323/statm: 35209 33678 416 171 0 34134 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 140836

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.43
CPU time (s): 1800.08
CPU user time (s): 1799.8
CPU system time (s): 0.277957
CPU usage (%): 99.0997
Max. virtual memory (cumulated for all children) (KiB): 140836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.277957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36110
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= 18
involuntary context switches= 70310

runsolver used 2.14067 second user time and 6.12507 second system time

The end

Launcher Data 

Begin job on node41 at 2009-07-16 06:18:11
IDJOB=2080580
IDBENCH=57111
IDSOLVER=733
FILE ID=node41/2080580-1247717891
PBS_JOBID= 9521473
Free space on /tmp= 65796 MiB

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

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

MD5SUM BENCH= 27195a20f6a7bf26022cd6427acd2a56
RANDOM SEED=1331975483

node41.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.212
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	: 5931.00
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.212
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:       1494536 kB
Buffers:         75732 kB
Cached:         302552 kB
SwapCached:          0 kB
Active:         173504 kB
Inactive:       301628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1494536 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1732 kB
Writeback:           0 kB
Mapped:         117288 kB
Slab:            71404 kB
Committed_AS:   597804 kB
PageTables:       1948 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= 65792 MiB
End job on node41 at 2009-07-16 06:48:30