Trace number 2080536

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.19 1803.88

General information on the benchmark

Namecsp/queensKnights/
normalized-queensKnights-100-5-add.xml
MD5SUM322bbcff3f69f7245f51580899f28315
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 benchmark20.8018
Satisfiable
(Un)Satisfiability was proved
Number of variables105
Number of constraints4960
Maximum constraint arity2
Maximum domain size10000
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4960
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 1606742081
0.00/0.02	c Constructing HOME/instance-2080536-1247717830.xml 
0.28/0.36	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,V50,V51,V52,V53,V54,V55,V56,V57,V58,V59,V60,V61,V62,V63,V64,V65,V66,V67,V68,V69,V70,V71,V72,V73,V74,V75,V76,V77,V78,V79,V80,V81,V82,V83,V84,V85,V86,V87,V88,V89,V90,V91,V92,V93,V94,V95,V96,V97,V98,V99,V0)
0.28/0.36	c  with 19941 constraints
0.28/0.36	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-2080536-1247717830/watcher-2080536-1247717830 -o /tmp/evaluation-result-2080536-1247717830/solver-2080536-1247717830 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1606742081 HOME/instance-2080536-1247717830.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.21 2.15 2.06 5/72 16890
/proc/meminfo: memFree=1242176/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=5356 CPUtime=0
/proc/16890/stat : 16890 (pcssolve) S 16888 16890 15506 0 -1 4194304 305 0 0 0 0 0 0 0 19 0 1 0 58850526 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16890/statm: 1339 242 201 169 0 50 0
[pid=16891] ppid=16890 vsize=5356 CPUtime=0
/proc/16891/stat : 16891 (pcssolve) R 16890 16890 15506 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 58850527 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 226913479975 0 0 4096 0 0 0 0 17 1 0 0
/proc/16891/statm: 1339 243 202 169 0 50 0
[pid=16892] ppid=16890 vsize=5356 CPUtime=0
/proc/16892/stat : 16892 (pcssolve) R 16890 16890 15506 0 -1 4194368 22 0 0 0 0 0 0 0 23 0 1 0 58850527 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 226913479975 0 0 4096 0 0 0 0 17 1 0 0
/proc/16892/statm: 1339 244 203 169 0 50 0

[startup+0.01057 s]
/proc/loadavg: 2.21 2.15 2.06 5/72 16890
/proc/meminfo: memFree=1242176/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=5356 CPUtime=0
/proc/16890/stat : 16890 (pcssolve) S 16888 16890 15506 0 -1 4194304 305 0 0 0 0 0 0 0 19 0 1 0 58850526 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16890/statm: 1339 242 201 169 0 50 0
[pid=16891] ppid=16890 vsize=3676 CPUtime=0
/proc/16891/stat : 16891 (fgrep) R 16890 16890 15506 0 -1 4194304 148 0 0 0 0 0 0 0 22 0 1 0 58850527 3764224 115 996147200 4194304 4274172 548682068976 18446744073709551615 226913648722 0 0 4096 0 0 0 0 17 1 0 0
/proc/16891/statm: 919 115 87 19 0 43 0
[pid=16892] ppid=16890 vsize=5356 CPUtime=0
/proc/16892/stat : 16892 (pcssolve) R 16890 16890 15506 0 -1 4194368 22 0 0 0 0 0 0 0 23 0 1 0 58850527 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 226913479975 0 0 4096 0 0 0 0 17 1 0 0
/proc/16892/statm: 1339 244 203 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14388

[startup+0.101593 s]
/proc/loadavg: 2.21 2.15 2.06 5/72 16890
/proc/meminfo: memFree=1242176/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=5896 CPUtime=0.08
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 1144 657 0 0 8 0 0 0 22 0 1 0 58850526 6037504 742 996147200 134512640 135215973 4294956304 18446744073709551615 134721889 0 0 4096 0 0 0 0 17 1 0 0
/proc/16890/statm: 1474 742 385 171 0 399 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5896

[startup+0.301632 s]
/proc/loadavg: 2.21 2.15 2.06 5/72 16890
/proc/meminfo: memFree=1242176/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=10556 CPUtime=0.28
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 2339 657 0 0 27 1 0 0 24 0 1 0 58850526 10809344 1609 996147200 134512640 135215973 4294956304 18446744073709551615 8359558 0 0 4096 0 0 0 0 17 1 0 0
/proc/16890/statm: 2639 1609 385 171 0 1564 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10556

[startup+0.701711 s]
/proc/loadavg: 2.21 2.15 2.06 5/72 16890
/proc/meminfo: memFree=1242176/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=17920 CPUtime=0.68
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 5177 657 0 0 66 2 0 0 25 0 1 0 58850526 18350080 3374 996147200 134512640 135215973 4294956304 18446744073709551615 134908145 0 0 4096 0 0 0 0 17 1 0 0
/proc/16890/statm: 4480 3374 418 171 0 3405 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 17920

[startup+1.50186 s]
/proc/loadavg: 2.21 2.15 2.06 3/73 16895
/proc/meminfo: memFree=1223536/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=26264 CPUtime=1.47
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 7886 657 0 0 145 2 0 0 25 0 1 0 58850526 26894336 5250 996147200 134512640 135215973 4294956304 18446744073709551615 134599849 0 0 4096 0 0 0 0 17 1 0 0
/proc/16890/statm: 6566 5250 420 171 0 5491 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 26264

[startup+3.10117 s]
/proc/loadavg: 2.19 2.15 2.06 3/73 16895
/proc/meminfo: memFree=1217456/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=46760 CPUtime=3.07
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 13794 657 0 0 302 5 0 0 25 0 1 0 58850526 47882240 9493 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 1 0 0
/proc/16890/statm: 11690 9493 420 171 0 10615 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 46760

[startup+6.30178 s]
/proc/loadavg: 2.19 2.15 2.06 3/73 16895
/proc/meminfo: memFree=1197104/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=53432 CPUtime=6.25
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 16222 657 0 0 619 6 0 0 25 0 1 0 58850526 54714368 11921 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 1 0 0
/proc/16890/statm: 13358 11921 420 171 0 12283 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 53432

[startup+12.702 s]
/proc/loadavg: 2.16 2.14 2.06 3/73 16895
/proc/meminfo: memFree=1133112/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=116500 CPUtime=12.62
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 33573 657 0 0 1248 14 0 0 25 0 1 0 58850526 119296000 25943 996147200 134512640 135215973 4294956304 18446744073709551615 134533294 0 0 4096 0 0 0 0 17 1 0 0
/proc/16890/statm: 29125 25943 420 171 0 28050 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 116500

[startup+25.5015 s]
/proc/loadavg: 2.14 2.14 2.06 3/73 16895
/proc/meminfo: memFree=1092344/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=140260 CPUtime=25.36
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 41664 657 0 0 2520 16 0 0 25 0 1 0 58850526 143626240 34034 996147200 134512640 135215973 4294956304 18446744073709551615 134902454 0 0 4096 0 0 0 0 17 1 0 0
/proc/16890/statm: 35065 34034 422 171 0 33990 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 140260

[startup+51.1014 s]
/proc/loadavg: 2.09 2.12 2.06 3/73 16895
/proc/meminfo: memFree=1053624/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=167680 CPUtime=50.85
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 48567 657 0 0 5065 20 0 0 25 0 1 0 58850526 171704320 40614 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/16890/statm: 41920 40614 422 171 0 40845 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 167680

[startup+102.306 s]
/proc/loadavg: 2.03 2.10 2.05 3/73 16895
/proc/meminfo: memFree=774200/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=414512 CPUtime=101.82
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 110362 657 0 0 10133 49 0 0 25 0 1 0 58850526 424460288 102409 996147200 134512640 135215973 4294956304 18446744073709551615 134902467 0 0 4096 0 0 0 0 17 1 0 0
/proc/16890/statm: 103628 102409 422 171 0 102553 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 414512

[startup+162.302 s]
/proc/loadavg: 2.01 2.08 2.05 3/73 16895
/proc/meminfo: memFree=747640/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=415060 CPUtime=161.52
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 110575 657 0 0 16103 49 0 0 25 0 1 0 58850526 425021440 102595 996147200 134512640 135215973 4294956304 18446744073709551615 135095222 0 0 4096 0 0 0 0 17 1 0 0
/proc/16890/statm: 103765 102595 422 171 0 102690 0
Current children cumulated CPU time (s) 161.52
Current children cumulated vsize (KiB) 415060

[startup+222.302 s]
/proc/loadavg: 2.00 2.06 2.04 3/73 16895
/proc/meminfo: memFree=725752/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=417632 CPUtime=221.23
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 111300 657 0 0 22074 49 0 0 25 0 1 0 58850526 427655168 103320 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/16890/statm: 104408 103320 422 171 0 103333 0
Current children cumulated CPU time (s) 221.23
Current children cumulated vsize (KiB) 417632

[startup+282.302 s]
/proc/loadavg: 2.00 2.05 2.04 3/73 16895
/proc/meminfo: memFree=707960/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=417712 CPUtime=280.95
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 111340 657 0 0 28045 50 0 0 25 0 1 0 58850526 427737088 103360 996147200 134512640 135215973 4294956304 18446744073709551615 134590104 0 0 4096 0 0 0 0 17 1 0 0
/proc/16890/statm: 104428 103360 422 171 0 103353 0
Current children cumulated CPU time (s) 280.95
Current children cumulated vsize (KiB) 417712

[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.03 3/73 16895
/proc/meminfo: memFree=683960/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=424712 CPUtime=340.66
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 113825 657 0 0 34014 52 0 0 25 0 1 0 58850526 434905088 104689 996147200 134512640 135215973 4294956304 18446744073709551615 134648244 0 0 4096 0 0 0 0 17 1 0 0
/proc/16890/statm: 106178 104689 422 171 0 105103 0
Current children cumulated CPU time (s) 340.66
Current children cumulated vsize (KiB) 424712

[startup+402.302 s]
/proc/loadavg: 2.00 2.03 2.03 3/73 16895
/proc/meminfo: memFree=658232/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=430432 CPUtime=400.38
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 115254 657 0 0 39985 53 0 0 25 0 1 0 58850526 440762368 106118 996147200 134512640 135215973 4294956304 18446744073709551615 4158960618 0 0 4096 0 0 0 0 17 1 0 0
/proc/16890/statm: 107608 106118 422 171 0 106533 0
Current children cumulated CPU time (s) 400.38
Current children cumulated vsize (KiB) 430432

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.02 3/73 16895
/proc/meminfo: memFree=635128/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=430420 CPUtime=460.09
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 115257 657 0 0 45956 53 0 0 25 0 1 0 58850526 440750080 106121 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/16890/statm: 107605 106121 422 171 0 106530 0
Current children cumulated CPU time (s) 460.09
Current children cumulated vsize (KiB) 430420

[startup+522.303 s]
/proc/loadavg: 2.00 2.02 2.01 3/73 16895
/proc/meminfo: memFree=614392/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=430528 CPUtime=519.8
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 115290 657 0 0 51927 53 0 0 25 0 1 0 58850526 440860672 106154 996147200 134512640 135215973 4294956304 18446744073709551615 135094452 0 0 4096 0 0 0 0 17 1 0 0
/proc/16890/statm: 107632 106154 422 171 0 106557 0
Current children cumulated CPU time (s) 519.8
Current children cumulated vsize (KiB) 430528

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.01 3/73 16895
/proc/meminfo: memFree=593592/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=430528 CPUtime=579.51
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 115290 657 0 0 57897 54 0 0 25 0 1 0 58850526 440860672 106154 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 1 0 0
/proc/16890/statm: 107632 106154 422 171 0 106557 0
Current children cumulated CPU time (s) 579.51

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

[startup+822.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 16936
/proc/meminfo: memFree=671456/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=496804 CPUtime=819.07
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 130498 657 0 0 81845 62 0 0 25 0 1 0 58850526 508727296 120145 996147200 134512640 135215973 4294956304 18446744073709551615 134680654 0 0 4096 0 0 0 0 17 0 0 0
/proc/16890/statm: 124201 120145 422 171 0 123126 0
Current children cumulated CPU time (s) 819.07
Current children cumulated vsize (KiB) 496804

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16936
/proc/meminfo: memFree=666208/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=496804 CPUtime=879.04
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 131220 657 0 0 87842 62 0 0 25 0 1 0 58850526 508727296 120867 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/16890/statm: 124201 120867 422 171 0 123126 0
Current children cumulated CPU time (s) 879.04
Current children cumulated vsize (KiB) 496804

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16936
/proc/meminfo: memFree=662496/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=496804 CPUtime=939.01
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 132165 657 0 0 93838 63 0 0 25 0 1 0 58850526 508727296 121812 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/16890/statm: 124201 121812 422 171 0 123126 0
Current children cumulated CPU time (s) 939.01
Current children cumulated vsize (KiB) 496804

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16936
/proc/meminfo: memFree=654176/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=502596 CPUtime=998.98
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 134183 657 0 0 99833 65 0 0 25 0 1 0 58850526 514658304 123830 996147200 134512640 135215973 4294956304 18446744073709551615 134599825 0 0 4096 0 0 0 0 17 0 0 0
/proc/16890/statm: 125649 123830 422 171 0 124574 0
Current children cumulated CPU time (s) 998.98
Current children cumulated vsize (KiB) 502596

[startup+1062.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/82 16936
/proc/meminfo: memFree=653600/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=502596 CPUtime=1058.96
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 134184 657 0 0 105830 66 0 0 25 0 1 0 58850526 514658304 123831 996147200 134512640 135215973 4294956304 18446744073709551615 134585628 0 0 4096 0 0 0 0 17 0 0 0
/proc/16890/statm: 125649 123831 422 171 0 124574 0
Current children cumulated CPU time (s) 1058.96
Current children cumulated vsize (KiB) 502596

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 16936
/proc/meminfo: memFree=653408/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=502596 CPUtime=1118.93
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 134216 657 0 0 111827 66 0 0 25 0 1 0 58850526 514658304 123863 996147200 134512640 135215973 4294956304 18446744073709551615 134902469 0 0 4096 0 0 0 0 17 0 0 0
/proc/16890/statm: 125649 123863 422 171 0 124574 0
Current children cumulated CPU time (s) 1118.93
Current children cumulated vsize (KiB) 502596

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 16936
/proc/meminfo: memFree=651104/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=502596 CPUtime=1178.9
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 134219 657 0 0 117824 66 0 0 25 0 1 0 58850526 514658304 123866 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 0 0 0
/proc/16890/statm: 125649 123866 422 171 0 124574 0
Current children cumulated CPU time (s) 1178.9
Current children cumulated vsize (KiB) 502596

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16936
/proc/meminfo: memFree=650976/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=502596 CPUtime=1238.87
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 134220 657 0 0 123821 66 0 0 25 0 1 0 58850526 514658304 123867 996147200 134512640 135215973 4294956304 18446744073709551615 134610538 0 0 4096 0 0 0 0 17 0 0 0
/proc/16890/statm: 125649 123867 422 171 0 124574 0
Current children cumulated CPU time (s) 1238.87
Current children cumulated vsize (KiB) 502596

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16936
/proc/meminfo: memFree=650784/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=502596 CPUtime=1298.85
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 134221 657 0 0 129819 66 0 0 25 0 1 0 58850526 514658304 123868 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 0 0 0
/proc/16890/statm: 125649 123868 422 171 0 124574 0
Current children cumulated CPU time (s) 1298.85
Current children cumulated vsize (KiB) 502596

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16936
/proc/meminfo: memFree=650720/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=502596 CPUtime=1358.81
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 134229 657 0 0 135815 66 0 0 25 0 1 0 58850526 514658304 123876 996147200 134512640 135215973 4294956304 18446744073709551615 134593974 0 0 4096 0 0 0 0 17 0 0 0
/proc/16890/statm: 125649 123876 422 171 0 124574 0
Current children cumulated CPU time (s) 1358.81
Current children cumulated vsize (KiB) 502596

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16936
/proc/meminfo: memFree=650080/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=502596 CPUtime=1418.79
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 134233 657 0 0 141813 66 0 0 25 0 1 0 58850526 514658304 123880 996147200 134512640 135215973 4294956304 18446744073709551615 134590112 0 0 4096 0 0 0 0 17 0 0 0
/proc/16890/statm: 125649 123880 422 171 0 124574 0
Current children cumulated CPU time (s) 1418.79
Current children cumulated vsize (KiB) 502596

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16936
/proc/meminfo: memFree=650080/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=502596 CPUtime=1478.75
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 134234 657 0 0 147809 66 0 0 25 0 1 0 58850526 514658304 123881 996147200 134512640 135215973 4294956304 18446744073709551615 134583604 0 0 4096 0 0 0 0 17 0 0 0
/proc/16890/statm: 125649 123881 422 171 0 124574 0
Current children cumulated CPU time (s) 1478.75
Current children cumulated vsize (KiB) 502596

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16936
/proc/meminfo: memFree=649952/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=502596 CPUtime=1538.72
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 134269 657 0 0 153806 66 0 0 25 0 1 0 58850526 514658304 123916 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/16890/statm: 125649 123916 422 171 0 124574 0
Current children cumulated CPU time (s) 1538.72
Current children cumulated vsize (KiB) 502596

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16936
/proc/meminfo: memFree=649824/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=502596 CPUtime=1598.69
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 134297 657 0 0 159803 66 0 0 25 0 1 0 58850526 514658304 123944 996147200 134512640 135215973 4294956304 18446744073709551615 4158960053 0 0 4096 0 0 0 0 17 0 0 0
/proc/16890/statm: 125649 123944 422 171 0 124574 0
Current children cumulated CPU time (s) 1598.69
Current children cumulated vsize (KiB) 502596

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16936
/proc/meminfo: memFree=649824/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=502596 CPUtime=1658.66
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 134304 657 0 0 165800 66 0 0 25 0 1 0 58850526 514658304 123951 996147200 134512640 135215973 4294956304 18446744073709551615 134583456 0 0 4096 0 0 0 0 17 0 0 0
/proc/16890/statm: 125649 123951 422 171 0 124574 0
Current children cumulated CPU time (s) 1658.66
Current children cumulated vsize (KiB) 502596

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16936
/proc/meminfo: memFree=648416/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=502596 CPUtime=1718.63
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 134315 657 0 0 171797 66 0 0 25 0 1 0 58850526 514658304 123962 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/16890/statm: 125649 123962 422 171 0 124574 0
Current children cumulated CPU time (s) 1718.63
Current children cumulated vsize (KiB) 502596

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16936
/proc/meminfo: memFree=648288/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=502596 CPUtime=1778.6
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 134321 657 0 0 177794 66 0 0 25 0 1 0 58850526 514658304 123968 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/16890/statm: 125649 123968 422 171 0 124574 0
Current children cumulated CPU time (s) 1778.6
Current children cumulated vsize (KiB) 502596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16936
/proc/meminfo: memFree=648288/2055920 swapFree=4192812/4192956
[pid=16890] ppid=16888 vsize=502596 CPUtime=1800.1
/proc/16890/stat : 16890 (pcs.big) R 16888 16890 15506 0 -1 4194304 134322 657 0 0 179944 66 0 0 25 0 1 0 58850526 514658304 123969 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/16890/statm: 125649 123969 422 171 0 124574 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 502596

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): 1803.88
CPU time (s): 1800.19
CPU user time (s): 1799.44
CPU system time (s): 0.749886
CPU usage (%): 99.7955
Max. virtual memory (cumulated for all children) (KiB): 502596

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

runsolver used 2.56961 second user time and 5.52516 second system time

The end

Launcher Data 

Begin job on node5 at 2009-07-16 06:17:11
IDJOB=2080536
IDBENCH=57105
IDSOLVER=733
FILE ID=node5/2080536-1247717830
PBS_JOBID= 9521470
Free space on /tmp= 66324 MiB

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

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

MD5SUM BENCH= 322bbcff3f69f7245f51580899f28315
RANDOM SEED=1606742081

node5.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.258
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.258
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:       1242656 kB
Buffers:         89256 kB
Cached:         615836 kB
SwapCached:          0 kB
Active:         222684 kB
Inactive:       518060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1242656 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4408 kB
Writeback:           0 kB
Mapped:          47264 kB
Slab:            58000 kB
Committed_AS:   620656 kB
PageTables:       1760 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= 66316 MiB
End job on node5 at 2009-07-16 06:47:16