Trace number 2080482

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-restart 0.3.2? (TO) 1800.15 1813.46

General information on the benchmark

Namecsp/queensKnights/
normalized-queensKnights-100-5-mul.xml
MD5SUM368c4b39c2d9adff7fe3e26447d96356
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 benchmark29.5225
Satisfiable
(Un)Satisfiability was proved
Number of variables105
Number of constraints5460
Maximum constraint arity2
Maximum domain size10000
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5460
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 787490493
0.00/0.02	c Constructing HOME/instance-2080482-1247717785.xml 
0.37/0.42	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.37/0.42	c  with 23441 constraints
0.37/0.42	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-2080482-1247717785/watcher-2080482-1247717785 -o /tmp/evaluation-result-2080482-1247717785/solver-2080482-1247717785 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 787490493 HOME/instance-2080482-1247717785.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.92 1.98 1.99 4/72 12582
/proc/meminfo: memFree=1407712/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=5356 CPUtime=0
/proc/12582/stat : 12582 (pcssolve) R 12580 12582 10655 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 58842545 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 272836913823 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12582/statm: 1339 241 200 169 0 50 0
[pid=12583] ppid=12582 vsize=5356 CPUtime=0
/proc/12583/stat : 12583 (pcssolve) R 12582 12582 10655 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 58842545 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 272836913823 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12583/statm: 1339 241 200 169 0 50 0

[startup+0.0881691 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 12582
/proc/meminfo: memFree=1407712/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=5772 CPUtime=0.06
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 1080 657 0 0 6 0 0 0 23 0 1 0 58842545 5910528 711 996147200 134512640 135215973 4294956304 18446744073709551615 134761786 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 1443 711 388 171 0 368 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5772

[startup+0.101168 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 12582
/proc/meminfo: memFree=1407712/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=5900 CPUtime=0.08
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 1152 657 0 0 8 0 0 0 23 0 1 0 58842545 6041600 750 996147200 134512640 135215973 4294956304 18446744073709551615 4160172288 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 1475 750 388 171 0 400 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5900

[startup+0.301189 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 12582
/proc/meminfo: memFree=1407712/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=10748 CPUtime=0.27
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 2412 657 0 0 27 0 0 0 25 0 1 0 58842545 11005952 1682 996147200 134512640 135215973 4294956304 18446744073709551615 12652028 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 2687 1682 388 171 0 1612 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10748

[startup+0.701216 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 12582
/proc/meminfo: memFree=1407712/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=19284 CPUtime=0.68
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 5466 657 0 0 66 2 0 0 25 0 1 0 58842545 19746816 3616 996147200 134512640 135215973 4294956304 18446744073709551615 134585104 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 4821 3616 420 171 0 3746 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 19284

[startup+1.50127 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 12587
/proc/meminfo: memFree=1392216/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=27484 CPUtime=1.47
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 8394 657 0 0 144 3 0 0 25 0 1 0 58842545 28143616 5711 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 6871 5711 420 171 0 5796 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 27484

[startup+3.10137 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 12587
/proc/meminfo: memFree=1383448/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=48000 CPUtime=3.06
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 14193 657 0 0 300 6 0 0 25 0 1 0 58842545 49152000 9845 996147200 134512640 135215973 4294956304 18446744073709551615 4158960069 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 12000 9845 420 171 0 10925 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 48000

[startup+6.30159 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 12587
/proc/meminfo: memFree=1360344/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=58820 CPUtime=6.22
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 18034 657 0 0 615 7 0 0 25 0 1 0 58842545 60231680 13686 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 14705 13686 420 171 0 13630 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 58820

[startup+12.703 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 12587
/proc/meminfo: memFree=1304216/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=113704 CPUtime=12.57
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 33672 657 0 0 1242 15 0 0 25 0 1 0 58842545 116432896 25995 996147200 134512640 135215973 4294956304 18446744073709551615 135095293 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 28426 25995 420 171 0 27351 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 113704

[startup+25.5019 s]
/proc/loadavg: 1.95 1.98 1.99 3/73 12587
/proc/meminfo: memFree=1275352/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=133792 CPUtime=25.26
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 40018 657 0 0 2509 17 0 0 25 0 1 0 58842545 137003008 32341 996147200 134512640 135215973 4294956304 18446744073709551615 134532900 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 33448 32341 422 171 0 32373 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 133792

[startup+51.1016 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 12587
/proc/meminfo: memFree=1273368/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=133872 CPUtime=50.66
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 40036 657 0 0 5049 17 0 0 25 0 1 0 58842545 137084928 32359 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 33468 32359 422 171 0 32393 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 133872

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 12587
/proc/meminfo: memFree=1270744/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=133952 CPUtime=101.48
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 40052 657 0 0 10131 17 0 0 25 0 1 0 58842545 137166848 32375 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 33488 32375 422 171 0 32413 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 133952

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12587
/proc/meminfo: memFree=1264472/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=134952 CPUtime=161.04
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 40334 657 0 0 16086 18 0 0 25 0 1 0 58842545 138190848 32657 996147200 134512640 135215973 4294956304 18446744073709551615 134971971 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 33738 32657 422 171 0 32663 0
Current children cumulated CPU time (s) 161.04
Current children cumulated vsize (KiB) 134952

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12587
/proc/meminfo: memFree=1262360/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=137352 CPUtime=220.58
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 40998 657 0 0 22040 18 0 0 25 0 1 0 58842545 140648448 33031 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 34338 33031 422 171 0 33263 0
Current children cumulated CPU time (s) 220.58
Current children cumulated vsize (KiB) 137352

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12587
/proc/meminfo: memFree=1261080/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=137352 CPUtime=280.13
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 41016 657 0 0 27995 18 0 0 25 0 1 0 58842545 140648448 33049 996147200 134512640 135215973 4294956304 18446744073709551615 134533040 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 34338 33049 422 171 0 33263 0
Current children cumulated CPU time (s) 280.13
Current children cumulated vsize (KiB) 137352

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12587
/proc/meminfo: memFree=1259160/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=137432 CPUtime=339.68
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 41033 657 0 0 33950 18 0 0 25 0 1 0 58842545 140730368 33066 996147200 134512640 135215973 4294956304 18446744073709551615 134586304 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 34358 33066 422 171 0 33283 0
Current children cumulated CPU time (s) 339.68
Current children cumulated vsize (KiB) 137432

[startup+402.301 s]
/proc/loadavg: 2.04 2.00 2.00 3/73 12587
/proc/meminfo: memFree=1258072/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=137512 CPUtime=399.23
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 41047 657 0 0 39905 18 0 0 25 0 1 0 58842545 140812288 33080 996147200 134512640 135215973 4294956304 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 34378 33080 422 171 0 33303 0
Current children cumulated CPU time (s) 399.23
Current children cumulated vsize (KiB) 137512

[startup+462.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/73 12587
/proc/meminfo: memFree=1250584/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=137512 CPUtime=458.77
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 41058 657 0 0 45859 18 0 0 25 0 1 0 58842545 140812288 33091 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 34378 33091 422 171 0 33303 0
Current children cumulated CPU time (s) 458.77
Current children cumulated vsize (KiB) 137512

[startup+522.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/73 12587
/proc/meminfo: memFree=1235160/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=137592 CPUtime=518.32
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 41069 657 0 0 51814 18 0 0 25 0 1 0 58842545 140894208 33102 996147200 134512640 135215973 4294956304 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 34398 33102 422 171 0 33323 0
Current children cumulated CPU time (s) 518.32
Current children cumulated vsize (KiB) 137592

[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 12587
/proc/meminfo: memFree=1232088/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=137852 CPUtime=577.86
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 41127 657 0 0 57768 18 0 0 25 0 1 0 58842545 141160448 33127 996147200 134512640 135215973 4294956304 18446744073709551615 134532657 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 34463 33127 422 171 0 33388 0
Current children cumulated CPU time (s) 577.86
Current children cumulated vsize (KiB) 137852

[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 12587
/proc/meminfo: memFree=1231256/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=137852 CPUtime=637.42
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 41129 657 0 0 63723 19 0 0 25 0 1 0 58842545 141160448 33129 996147200 134512640 135215973 4294956304 18446744073709551615 134533106 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 34463 33129 422 171 0 33388 0
Current children cumulated CPU time (s) 637.42

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12587
/proc/meminfo: memFree=1206360/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=162664 CPUtime=816.04
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 47320 657 0 0 81583 21 0 0 25 0 1 0 58842545 166567936 39320 996147200 134512640 135215973 4294956304 18446744073709551615 134597319 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 40666 39320 422 171 0 39591 0
Current children cumulated CPU time (s) 816.04
Current children cumulated vsize (KiB) 162664

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12587
/proc/meminfo: memFree=1195096/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=173188 CPUtime=875.57
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 49972 657 0 0 87535 22 0 0 25 0 1 0 58842545 177344512 41972 996147200 134512640 135215973 4294956304 18446744073709551615 134532716 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 43297 41972 422 171 0 42222 0
Current children cumulated CPU time (s) 875.57
Current children cumulated vsize (KiB) 173188

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12587
/proc/meminfo: memFree=1179032/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=183832 CPUtime=935.12
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 52621 657 0 0 93488 24 0 0 25 0 1 0 58842545 188243968 44621 996147200 134512640 135215973 4294956304 18446744073709551615 134532661 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 45958 44621 422 171 0 44883 0
Current children cumulated CPU time (s) 935.12
Current children cumulated vsize (KiB) 183832

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12587
/proc/meminfo: memFree=1168280/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=194404 CPUtime=994.66
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 55265 657 0 0 99441 25 0 0 25 0 1 0 58842545 199069696 47265 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 48601 47265 422 171 0 47526 0
Current children cumulated CPU time (s) 994.66
Current children cumulated vsize (KiB) 194404

[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 12587
/proc/meminfo: memFree=1157656/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=205048 CPUtime=1054.19
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 57912 657 0 0 105394 25 0 0 25 0 1 0 58842545 209969152 49912 996147200 134512640 135215973 4294956304 18446744073709551615 134533002 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 51262 49912 422 171 0 50187 0
Current children cumulated CPU time (s) 1054.19
Current children cumulated vsize (KiB) 205048

[startup+1122.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/73 12587
/proc/meminfo: memFree=1141912/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=215592 CPUtime=1113.73
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 60548 657 0 0 111347 26 0 0 25 0 1 0 58842545 220766208 52548 996147200 134512640 135215973 4294956304 18446744073709551615 134533029 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 53898 52548 422 171 0 52823 0
Current children cumulated CPU time (s) 1113.73
Current children cumulated vsize (KiB) 215592

[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/73 12587
/proc/meminfo: memFree=1130648/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=226092 CPUtime=1173.27
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 63195 657 0 0 117298 29 0 0 25 0 1 0 58842545 231518208 55195 996147200 134512640 135215973 4294956304 18446744073709551615 134532672 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 56523 55195 422 171 0 55448 0
Current children cumulated CPU time (s) 1173.27
Current children cumulated vsize (KiB) 226092

[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/73 12587
/proc/meminfo: memFree=1119000/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=236628 CPUtime=1232.8
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 65814 657 0 0 123250 30 0 0 25 0 1 0 58842545 242307072 57814 996147200 134512640 135215973 4294956304 18446744073709551615 134533029 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 59157 57814 422 171 0 58082 0
Current children cumulated CPU time (s) 1232.8
Current children cumulated vsize (KiB) 236628

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 12587
/proc/meminfo: memFree=1102296/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=247128 CPUtime=1292.33
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 68470 657 0 0 129202 31 0 0 25 0 1 0 58842545 253059072 60470 996147200 134512640 135215973 4294956304 18446744073709551615 134533026 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 61782 60470 422 171 0 60707 0
Current children cumulated CPU time (s) 1292.33
Current children cumulated vsize (KiB) 247128

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 12587
/proc/meminfo: memFree=1078936/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=257788 CPUtime=1351.87
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 71125 657 0 0 135154 33 0 0 25 0 1 0 58842545 263974912 63125 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 64447 63125 422 171 0 63372 0
Current children cumulated CPU time (s) 1351.87
Current children cumulated vsize (KiB) 257788

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 12587
/proc/meminfo: memFree=1067992/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=268404 CPUtime=1411.39
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 73781 657 0 0 141105 34 0 0 25 0 1 0 58842545 274845696 65781 996147200 134512640 135215973 4294956304 18446744073709551615 4158960029 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 67101 65781 422 171 0 66026 0
Current children cumulated CPU time (s) 1411.39
Current children cumulated vsize (KiB) 268404

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12587
/proc/meminfo: memFree=1057112/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=278936 CPUtime=1470.93
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 76415 657 0 0 147058 35 0 0 25 0 1 0 58842545 285630464 68415 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 69734 68415 422 171 0 68659 0
Current children cumulated CPU time (s) 1470.93
Current children cumulated vsize (KiB) 278936

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12587
/proc/meminfo: memFree=1046168/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=289528 CPUtime=1530.47
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 79066 657 0 0 153009 38 0 0 25 0 1 0 58842545 296476672 71066 996147200 134512640 135215973 4294956304 18446744073709551615 134533141 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 72382 71066 422 171 0 71307 0
Current children cumulated CPU time (s) 1530.47
Current children cumulated vsize (KiB) 289528

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12587
/proc/meminfo: memFree=1035544/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=300088 CPUtime=1590
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 81709 657 0 0 158961 39 0 0 25 0 1 0 58842545 307290112 73709 996147200 134512640 135215973 4294956304 18446744073709551615 134598591 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 75022 73709 422 171 0 73947 0
Current children cumulated CPU time (s) 1590
Current children cumulated vsize (KiB) 300088

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12587
/proc/meminfo: memFree=1024280/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=310656 CPUtime=1649.52
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 84354 657 0 0 164912 40 0 0 25 0 1 0 58842545 318111744 76354 996147200 134512640 135215973 4294956304 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 77664 76354 422 171 0 76589 0
Current children cumulated CPU time (s) 1649.52
Current children cumulated vsize (KiB) 310656

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12587
/proc/meminfo: memFree=1012376/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=321320 CPUtime=1709.05
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 87019 657 0 0 170864 41 0 0 25 0 1 0 58842545 329031680 79019 996147200 134512640 135215973 4294956304 18446744073709551615 134532667 0 0 4096 0 0 0 0 17 1 0 0
/proc/12582/statm: 80330 79019 422 171 0 79255 0
Current children cumulated CPU time (s) 1709.05
Current children cumulated vsize (KiB) 321320

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12620
/proc/meminfo: memFree=1108376/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=332768 CPUtime=1768.98
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 89866 657 0 0 176855 43 0 0 25 0 1 0 58842545 340754432 81866 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/12582/statm: 83192 81866 422 171 0 82117 0
Current children cumulated CPU time (s) 1768.98
Current children cumulated vsize (KiB) 332768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12620
/proc/meminfo: memFree=1095960/2055920 swapFree=4192812/4192956
[pid=12582] ppid=12580 vsize=338612 CPUtime=1800.08
/proc/12582/stat : 12582 (pcs.big) R 12580 12582 10655 0 -1 4194304 91345 657 0 0 179964 44 0 0 25 0 1 0 58842545 346738688 83345 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/12582/statm: 84653 83345 422 171 0 83578 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 338612

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): 1813.46
CPU time (s): 1800.15
CPU user time (s): 1799.65
CPU system time (s): 0.498924
CPU usage (%): 99.2659
Max. virtual memory (cumulated for all children) (KiB): 338612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.498924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92002
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= 20
involuntary context switches= 37315

runsolver used 1.86572 second user time and 4.91325 second system time

The end

Launcher Data 

Begin job on node39 at 2009-07-16 06:16:25
IDJOB=2080482
IDBENCH=57095
IDSOLVER=734
FILE ID=node39/2080482-1247717785
PBS_JOBID= 9521356
Free space on /tmp= 66360 MiB

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

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

MD5SUM BENCH= 368c4b39c2d9adff7fe3e26447d96356
RANDOM SEED=787490493

node39.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.236
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.236
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:       1408192 kB
Buffers:         85852 kB
Cached:         418980 kB
SwapCached:          0 kB
Active:         244868 kB
Inactive:       318828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1408192 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2624 kB
Writeback:           0 kB
Mapped:          70464 kB
Slab:            69320 kB
Committed_AS:   591952 kB
PageTables:       1808 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= 66360 MiB
End job on node39 at 2009-07-16 06:46:40