Trace number 2080448

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 1802.63

General information on the benchmark

Namecsp/queensKnights/
normalized-queensKnights-80-5-mul.xml
MD5SUM2ab0ed2a36c3cca2c75b23b1150e1b9d
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 benchmark13.261
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints3570
Maximum constraint arity2
Maximum domain size6400
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3570
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.17/0.21	c Seed is 858373814
0.17/0.21	c Constructing HOME/instance-2080448-1247717701.xml 
0.17/0.29	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,V0)
0.17/0.29	c  with 15581 constraints
0.17/0.29	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-2080448-1247717701/watcher-2080448-1247717701 -o /tmp/evaluation-result-2080448-1247717701/solver-2080448-1247717701 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 858373814 HOME/instance-2080448-1247717701.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.12 2.08 2.17 4/82 17021
/proc/meminfo: memFree=1284352/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=5356 CPUtime=0
/proc/17021/stat : 17021 (pcssolve) R 17019 17021 15509 0 -1 4194304 290 0 0 0 0 0 0 0 23 0 1 0 58837846 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 259353275039 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/17021/statm: 1339 241 200 169 0 50 0
[pid=17022] ppid=17021 vsize=3676 CPUtime=0
/proc/17022/stat : 17022 (fgrep) R 17021 17021 15509 0 -1 4194304 140 0 0 0 0 0 0 0 24 0 1 0 58837846 3764224 107 996147200 4194304 4274172 548682068976 18446744073709551615 259353444434 0 0 4096 0 0 0 0 17 1 0 0
/proc/17022/statm: 919 107 85 19 0 43 0
[pid=17023] ppid=17021 vsize=5356 CPUtime=0
/proc/17023/stat : 17023 (pcssolve) R 17021 17021 15509 0 -1 4194368 0 0 0 0 0 0 0 0 23 0 1 0 58837846 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 259353275039 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/17023/statm: 1339 241 200 169 0 50 0

[startup+0.086821 s]
/proc/loadavg: 2.12 2.08 2.17 4/82 17021
/proc/meminfo: memFree=1284352/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=5712 CPUtime=0.06
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 1074 657 0 0 6 0 0 0 18 0 1 0 58837846 5849088 705 996147200 134512640 135215973 4294956320 18446744073709551615 4158919178 0 0 4096 0 0 0 0 17 1 0 0
/proc/17021/statm: 1428 705 388 171 0 353 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5712

[startup+0.101823 s]
/proc/loadavg: 2.12 2.08 2.17 4/82 17021
/proc/meminfo: memFree=1284352/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=6188 CPUtime=0.08
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 1159 657 0 0 8 0 0 0 18 0 1 0 58837846 6336512 757 996147200 134512640 135215973 4294956320 18446744073709551615 134532941 0 0 4096 0 0 0 0 17 1 0 0
/proc/17021/statm: 1547 757 388 171 0 472 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6188

[startup+0.301855 s]
/proc/loadavg: 2.12 2.08 2.17 4/82 17021
/proc/meminfo: memFree=1284352/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=10100 CPUtime=0.27
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 2558 657 0 0 26 1 0 0 19 0 1 0 58837846 10342400 1740 996147200 134512640 135215973 4294956320 18446744073709551615 6262564 0 0 4096 0 0 0 0 17 1 0 0
/proc/17021/statm: 2525 1740 403 171 0 1450 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10100

[startup+0.701901 s]
/proc/loadavg: 2.12 2.08 2.17 4/82 17021
/proc/meminfo: memFree=1284352/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=17296 CPUtime=0.67
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 4896 657 0 0 65 2 0 0 23 0 1 0 58837846 17711104 3294 996147200 134512640 135215973 4294956320 18446744073709551615 134610758 0 0 4096 0 0 0 0 17 1 0 0
/proc/17021/statm: 4324 3294 420 171 0 3249 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 17296

[startup+1.50199 s]
/proc/loadavg: 2.12 2.08 2.17 3/83 17026
/proc/meminfo: memFree=1264312/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=26280 CPUtime=1.46
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 7684 657 0 0 143 3 0 0 25 0 1 0 58837846 26910720 5249 996147200 134512640 135215973 4294956320 18446744073709551615 134523588 0 0 4096 0 0 0 0 17 1 0 0
/proc/17021/statm: 6570 5249 420 171 0 5495 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 26280

[startup+3.10118 s]
/proc/loadavg: 2.11 2.08 2.17 3/83 17026
/proc/meminfo: memFree=1165176/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=53392 CPUtime=3.04
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 15054 657 0 0 299 5 0 0 25 0 1 0 58837846 54673408 10954 996147200 134512640 135215973 4294956320 18446744073709551615 134585677 0 0 4096 0 0 0 0 17 1 0 0
/proc/17021/statm: 13348 10954 420 171 0 12273 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 53392

[startup+6.30155 s]
/proc/loadavg: 2.11 2.08 2.17 3/83 17026
/proc/meminfo: memFree=1138808/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=62496 CPUtime=6.22
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 18677 657 0 0 614 8 0 0 25 0 1 0 58837846 63995904 14577 996147200 134512640 135215973 4294956320 18446744073709551615 4158960650 0 0 4096 0 0 0 0 17 1 0 0
/proc/17021/statm: 15624 14577 420 171 0 14549 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 62496

[startup+12.7023 s]
/proc/loadavg: 2.09 2.07 2.17 3/83 17026
/proc/meminfo: memFree=1083128/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=121444 CPUtime=12.56
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 33828 657 0 0 1243 13 0 0 25 0 1 0 58837846 124358656 26270 996147200 134512640 135215973 4294956320 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/17021/statm: 30361 26270 422 171 0 29286 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 121444

[startup+25.5018 s]
/proc/loadavg: 2.08 2.07 2.17 3/83 17026
/proc/meminfo: memFree=1069752/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=121640 CPUtime=25.25
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 33909 657 0 0 2512 13 0 0 25 0 1 0 58837846 124559360 26351 996147200 134512640 135215973 4294956320 18446744073709551615 134532657 0 0 4096 0 0 0 0 17 1 0 0
/proc/17021/statm: 30410 26351 422 171 0 29335 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 121640

[startup+51.1018 s]
/proc/loadavg: 2.05 2.06 2.16 3/83 17026
/proc/meminfo: memFree=1067768/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=121736 CPUtime=50.62
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 33927 657 0 0 5049 13 0 0 25 0 1 0 58837846 124657664 26369 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/17021/statm: 30434 26369 422 171 0 29359 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 121736

[startup+102.307 s]
/proc/loadavg: 2.02 2.05 2.15 3/83 17026
/proc/meminfo: memFree=954488/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=121948 CPUtime=101.36
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 33965 657 0 0 10123 13 0 0 25 0 1 0 58837846 124874752 26407 996147200 134512640 135215973 4294956320 18446744073709551615 134533040 0 0 4096 0 0 0 0 17 1 0 0
/proc/17021/statm: 30487 26407 422 171 0 29412 0
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (KiB) 121948

[startup+162.302 s]
/proc/loadavg: 2.14 2.07 2.15 3/83 17026
/proc/meminfo: memFree=832696/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=123888 CPUtime=160.8
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 34557 657 0 0 16067 13 0 0 25 0 1 0 58837846 126861312 26999 996147200 134512640 135215973 4294956320 18446744073709551615 4158851964 0 0 4096 0 0 0 0 17 1 0 0
/proc/17021/statm: 30972 26999 422 171 0 29897 0
Current children cumulated CPU time (s) 160.8
Current children cumulated vsize (KiB) 123888

[startup+222.302 s]
/proc/loadavg: 2.09 2.07 2.14 3/73 17100
/proc/meminfo: memFree=1524240/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=124080 CPUtime=220.38
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 34608 657 0 0 22023 15 0 0 25 0 1 0 58837846 127057920 27050 996147200 134512640 135215973 4294956320 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 31020 27050 422 171 0 29945 0
Current children cumulated CPU time (s) 220.38
Current children cumulated vsize (KiB) 124080

[startup+282.302 s]
/proc/loadavg: 2.03 2.05 2.13 3/73 17100
/proc/meminfo: memFree=1231120/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=124272 CPUtime=280.37
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 34674 657 0 0 28021 16 0 0 25 0 1 0 58837846 127254528 27116 996147200 134512640 135215973 4294956320 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 31068 27116 422 171 0 29993 0
Current children cumulated CPU time (s) 280.37
Current children cumulated vsize (KiB) 124272

[startup+342.301 s]
/proc/loadavg: 2.01 2.04 2.12 3/73 17100
/proc/meminfo: memFree=1172112/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=124464 CPUtime=340.34
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 34712 657 0 0 34018 16 0 0 25 0 1 0 58837846 127451136 27154 996147200 134512640 135215973 4294956320 18446744073709551615 134598576 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 31116 27154 422 171 0 30041 0
Current children cumulated CPU time (s) 340.34
Current children cumulated vsize (KiB) 124464

[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.11 3/73 17100
/proc/meminfo: memFree=1170576/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=124560 CPUtime=400.32
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 34740 657 0 0 40016 16 0 0 25 0 1 0 58837846 127549440 27182 996147200 134512640 135215973 4294956320 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 31140 27182 422 171 0 30065 0
Current children cumulated CPU time (s) 400.32
Current children cumulated vsize (KiB) 124560

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.10 3/73 17100
/proc/meminfo: memFree=1169424/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=124656 CPUtime=460.29
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 34766 657 0 0 46013 16 0 0 25 0 1 0 58837846 127647744 27208 996147200 134512640 135215973 4294956320 18446744073709551615 4158960041 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 31164 27208 422 171 0 30089 0
Current children cumulated CPU time (s) 460.29
Current children cumulated vsize (KiB) 124656

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.09 3/73 17100
/proc/meminfo: memFree=1168400/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=124656 CPUtime=520.26
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 34789 657 0 0 52010 16 0 0 25 0 1 0 58837846 127647744 27231 996147200 134512640 135215973 4294956320 18446744073709551615 134532692 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 31164 27231 422 171 0 30089 0
Current children cumulated CPU time (s) 520.26
Current children cumulated vsize (KiB) 124656

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.08 3/73 17100
/proc/meminfo: memFree=1167248/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=126432 CPUtime=580.24
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 35226 657 0 0 58008 16 0 0 25 0 1 0 58837846 129466368 27378 996147200 134512640 135215973 4294956320 18446744073709551615 134590657 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 31608 27378 422 171 0 30533 0
Current children cumulated CPU time (s) 580.24
Current children cumulated vsize (KiB) 126432

[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.08 3/73 17100
/proc/meminfo: memFree=1166992/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=126532 CPUtime=640.21

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.06 3/73 17100
/proc/meminfo: memFree=1163856/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=127144 CPUtime=820.14
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 35435 657 0 0 81997 17 0 0 25 0 1 0 58837846 130195456 27587 996147200 134512640 135215973 4294956320 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 31786 27587 422 171 0 30711 0
Current children cumulated CPU time (s) 820.14
Current children cumulated vsize (KiB) 127144

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.05 3/73 17100
/proc/meminfo: memFree=1160720/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=129380 CPUtime=880.11
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 36086 657 0 0 87994 17 0 0 25 0 1 0 58837846 132485120 28205 996147200 134512640 135215973 4294956320 18446744073709551615 134594098 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 32345 28205 422 171 0 31270 0
Current children cumulated CPU time (s) 880.11
Current children cumulated vsize (KiB) 129380

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.05 3/73 17100
/proc/meminfo: memFree=1159568/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=129948 CPUtime=940.08
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 36238 657 0 0 93991 17 0 0 25 0 1 0 58837846 133066752 28357 996147200 134512640 135215973 4294956320 18446744073709551615 134600796 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 32487 28357 422 171 0 31412 0
Current children cumulated CPU time (s) 940.08
Current children cumulated vsize (KiB) 129948

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/73 17100
/proc/meminfo: memFree=1157328/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=131640 CPUtime=1000.06
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 36745 657 0 0 99988 18 0 0 25 0 1 0 58837846 134799360 28864 996147200 134512640 135215973 4294956320 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 32910 28864 422 171 0 31835 0
Current children cumulated CPU time (s) 1000.06
Current children cumulated vsize (KiB) 131640

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/73 17100
/proc/meminfo: memFree=1154192/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=136328 CPUtime=1060.04
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 38057 657 0 0 105985 19 0 0 25 0 1 0 58837846 139599872 29598 996147200 134512640 135215973 4294956320 18446744073709551615 4158960001 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 34082 29598 422 171 0 33007 0
Current children cumulated CPU time (s) 1060.04
Current children cumulated vsize (KiB) 136328

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/73 17100
/proc/meminfo: memFree=1136144/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=158424 CPUtime=1120.01
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 44699 657 0 0 111978 23 0 0 25 0 1 0 58837846 162226176 34051 996147200 134512640 135215973 4294956320 18446744073709551615 134680649 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 39606 34051 422 171 0 38531 0
Current children cumulated CPU time (s) 1120.01
Current children cumulated vsize (KiB) 158424

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/73 17100
/proc/meminfo: memFree=1125008/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=165024 CPUtime=1179.99
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 47452 657 0 0 117973 26 0 0 25 0 1 0 58837846 168984576 36804 996147200 134512640 135215973 4294956320 18446744073709551615 134590067 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 41256 36804 422 171 0 40181 0
Current children cumulated CPU time (s) 1179.99
Current children cumulated vsize (KiB) 165024

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/73 17100
/proc/meminfo: memFree=1119120/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=169876 CPUtime=1239.96
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 48689 657 0 0 123970 26 0 0 25 0 1 0 58837846 173953024 38041 996147200 134512640 135215973 4294956320 18446744073709551615 134587564 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 42469 38041 422 171 0 41394 0
Current children cumulated CPU time (s) 1239.96
Current children cumulated vsize (KiB) 169876

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 17100
/proc/meminfo: memFree=1118864/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=169876 CPUtime=1299.94
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 48710 657 0 0 129968 26 0 0 25 0 1 0 58837846 173953024 38062 996147200 134512640 135215973 4294956320 18446744073709551615 134600198 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 42469 38062 422 171 0 41394 0
Current children cumulated CPU time (s) 1299.94
Current children cumulated vsize (KiB) 169876

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 17100
/proc/meminfo: memFree=1118672/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=169616 CPUtime=1359.92
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 48762 657 0 0 135965 27 0 0 25 0 1 0 58837846 173686784 38049 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 42404 38049 422 171 0 41329 0
Current children cumulated CPU time (s) 1359.92
Current children cumulated vsize (KiB) 169616

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17100
/proc/meminfo: memFree=1118416/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=169616 CPUtime=1419.9
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 48799 657 0 0 141963 27 0 0 25 0 1 0 58837846 173686784 38086 996147200 134512640 135215973 4294956320 18446744073709551615 134902469 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 42404 38086 422 171 0 41329 0
Current children cumulated CPU time (s) 1419.9
Current children cumulated vsize (KiB) 169616

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17100
/proc/meminfo: memFree=1118288/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=169616 CPUtime=1479.87
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 48835 657 0 0 147960 27 0 0 25 0 1 0 58837846 173686784 38122 996147200 134512640 135215973 4294956320 18446744073709551615 134533082 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 42404 38122 422 171 0 41329 0
Current children cumulated CPU time (s) 1479.87
Current children cumulated vsize (KiB) 169616

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17100
/proc/meminfo: memFree=1117776/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=169616 CPUtime=1539.84
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 48838 657 0 0 153957 27 0 0 25 0 1 0 58837846 173686784 38125 996147200 134512640 135215973 4294956320 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 42404 38125 422 171 0 41329 0
Current children cumulated CPU time (s) 1539.84
Current children cumulated vsize (KiB) 169616

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17100
/proc/meminfo: memFree=1116688/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=169616 CPUtime=1599.81
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 48840 657 0 0 159954 27 0 0 25 0 1 0 58837846 173686784 38127 996147200 134512640 135215973 4294956320 18446744073709551615 134533130 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 42404 38127 422 171 0 41329 0
Current children cumulated CPU time (s) 1599.81
Current children cumulated vsize (KiB) 169616

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17100
/proc/meminfo: memFree=1115728/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=169616 CPUtime=1659.79
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 48842 657 0 0 165952 27 0 0 25 0 1 0 58837846 173686784 38129 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 42404 38129 422 171 0 41329 0
Current children cumulated CPU time (s) 1659.79
Current children cumulated vsize (KiB) 169616

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17100
/proc/meminfo: memFree=1113552/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=169616 CPUtime=1719.76
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 48845 657 0 0 171949 27 0 0 25 0 1 0 58837846 173686784 38132 996147200 134512640 135215973 4294956320 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 42404 38132 422 171 0 41329 0
Current children cumulated CPU time (s) 1719.76
Current children cumulated vsize (KiB) 169616

[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/73 17100
/proc/meminfo: memFree=1113360/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=169616 CPUtime=1779.73
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 48853 657 0 0 177946 27 0 0 25 0 1 0 58837846 173686784 38140 996147200 134512640 135215973 4294956320 18446744073709551615 134532911 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 42404 38140 422 171 0 41329 0
Current children cumulated CPU time (s) 1779.73
Current children cumulated vsize (KiB) 169616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.6 s]
/proc/loadavg: 2.09 2.03 2.01 3/73 17100
/proc/meminfo: memFree=1113360/2055920 swapFree=4192812/4192956
[pid=17021] ppid=17019 vsize=169616 CPUtime=1800.03
/proc/17021/stat : 17021 (pcs.big) R 17019 17021 15509 0 -1 4194304 48853 657 0 0 179976 27 0 0 25 0 1 0 58837846 173686784 38140 996147200 134512640 135215973 4294956320 18446744073709551615 4158960216 0 0 4096 0 0 0 0 17 0 0 0
/proc/17021/statm: 42404 38140 422 171 0 41329 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 169616

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): 1802.63
CPU time (s): 1800.08
CPU user time (s): 1799.77
CPU system time (s): 0.310952
CPU usage (%): 99.8583
Max. virtual memory (cumulated for all children) (KiB): 169876

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

runsolver used 2.39864 second user time and 5.70613 second system time

The end

Launcher Data 

Begin job on node1 at 2009-07-16 06:15:01
IDJOB=2080448
IDBENCH=57090
IDSOLVER=733
FILE ID=node1/2080448-1247717701
PBS_JOBID= 9521373
Free space on /tmp= 66388 MiB

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

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

MD5SUM BENCH= 2ab0ed2a36c3cca2c75b23b1150e1b9d
RANDOM SEED=858373814

node1.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.216
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.216
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:       1284832 kB
Buffers:         65724 kB
Cached:         239120 kB
SwapCached:          0 kB
Active:         469880 kB
Inactive:       235920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1284832 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2168 kB
Writeback:           0 kB
Mapped:         421436 kB
Slab:            49776 kB
Committed_AS:  1242644 kB
PageTables:       2664 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= 66384 MiB
End job on node1 at 2009-07-16 06:45:06