Trace number 2081395

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.05 1807.43

General information on the benchmark

Namecsp/queenAttacking/
normalized-queenAttacking-10.xml
MD5SUM4767daf10c71e50004bb1bec7a8e5909
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables101
Number of constraints4975
Maximum constraint arity2
Maximum domain size100
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4975
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.01	c Seed is 785358699
0.00/0.01	c Constructing HOME/instance-2081395-1247719548.xml 
0.18/0.20	c deduced all_different(V2,V5,V7,V11,V13,V17,V19,V23,V29,V31,V37,V41,V43,V47,V53,V59,V61,V67,V71,V73,V79,V83,V89,V97,V0)
0.18/0.20	c deduced all_different(V3,V5,V7,V9,V11,V13,V15,V17,V19,V21,V23,V25,V27,V29,V31,V33,V35,V37,V39,V41,V43,V45,V47,V49,V51,V53,V55,V57,V59,V61,V63,V65,V67,V69,V71,V73,V75,V77,V79,V81,V83,V85,V87,V89,V91,V93,V95,V97,V99,V1)
0.18/0.20	c deduced all_different(V1,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V100,V4)
0.18/0.20	c  with 8027 constraints
0.18/0.20	c Solving

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2081395-1247719548/watcher-2081395-1247719548 -o /tmp/evaluation-result-2081395-1247719548/solver-2081395-1247719548 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 785358699 HOME/instance-2081395-1247719548.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.00 2.00 2.01 4/73 16923
/proc/meminfo: memFree=1373016/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=5356 CPUtime=0
/proc/16923/stat : 16923 (pcssolve) R 16921 16923 15351 0 -1 4194304 290 0 0 0 0 0 0 0 19 0 1 0 59020147 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 265674091167 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/16923/statm: 1339 241 200 169 0 50 0
[pid=16924] ppid=16923 vsize=3544 CPUtime=0
/proc/16924/stat : 16924 (fgrep) R 16923 16923 15351 0 -1 4194304 103 0 0 0 0 0 0 0 19 0 1 0 59020147 3629056 70 996147200 4194304 4274172 548682068976 18446744073709551615 265674521924 0 0 4096 0 0 0 0 17 1 0 0
/proc/16924/statm: 886 70 53 19 0 10 0
[pid=16925] ppid=16923 vsize=5356 CPUtime=0
/proc/16925/stat : 16925 (pcssolve) R 16923 16923 15351 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 1 0 59020147 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 265674091167 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/16925/statm: 1339 241 200 169 0 50 0

[startup+0.018571 s]
/proc/loadavg: 2.00 2.00 2.01 4/73 16923
/proc/meminfo: memFree=1373016/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=4492 CPUtime=0
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 768 659 0 0 0 0 0 0 22 0 1 0 59020147 4599808 399 996147200 134512640 135215973 4294956304 18446744073709551615 134736266 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 1123 399 356 171 0 48 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4492

[startup+0.102589 s]
/proc/loadavg: 2.00 2.00 2.01 4/73 16923
/proc/meminfo: memFree=1373016/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=5452 CPUtime=0.08
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 1027 659 0 0 8 0 0 0 22 0 1 0 59020147 5582848 658 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 1363 658 388 171 0 288 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5452

[startup+0.301632 s]
/proc/loadavg: 2.00 2.00 2.01 4/73 16923
/proc/meminfo: memFree=1373016/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=7364 CPUtime=0.28
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 1570 659 0 0 28 0 0 0 24 0 1 0 59020147 7540736 1103 996147200 134512640 135215973 4294956304 18446744073709551615 4158853399 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 1841 1103 422 171 0 766 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7364

[startup+0.701706 s]
/proc/loadavg: 2.00 2.00 2.01 4/73 16923
/proc/meminfo: memFree=1373016/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=7708 CPUtime=0.68
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 1628 659 0 0 68 0 0 0 25 0 1 0 59020147 7892992 1161 996147200 134512640 135215973 4294956304 18446744073709551615 134596257 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 1927 1161 422 171 0 852 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7708

[startup+1.50186 s]
/proc/loadavg: 2.00 2.00 2.01 3/74 16928
/proc/meminfo: memFree=1369808/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=7708 CPUtime=1.47
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 1641 659 0 0 147 0 0 0 25 0 1 0 59020147 7892992 1174 996147200 134512640 135215973 4294956304 18446744073709551615 134925745 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 1927 1174 422 171 0 852 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 7708

[startup+3.10117 s]
/proc/loadavg: 2.00 2.00 2.01 3/74 16928
/proc/meminfo: memFree=1369424/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=7956 CPUtime=3.07
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 1722 659 0 0 307 0 0 0 25 0 1 0 59020147 8146944 1255 996147200 134512640 135215973 4294956304 18446744073709551615 134532674 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 1989 1255 422 171 0 914 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 7956

[startup+6.30179 s]
/proc/loadavg: 2.00 2.00 2.01 3/74 16928
/proc/meminfo: memFree=1368656/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=8604 CPUtime=6.26
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 1885 659 0 0 625 1 0 0 25 0 1 0 59020147 8810496 1418 996147200 134512640 135215973 4294956304 18446744073709551615 134583949 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 2151 1418 422 171 0 1076 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 8604

[startup+12.702 s]
/proc/loadavg: 2.00 2.00 2.01 3/74 16928
/proc/meminfo: memFree=1367504/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=9704 CPUtime=12.63
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 2197 659 0 0 1262 1 0 0 25 0 1 0 59020147 9936896 1730 996147200 134512640 135215973 4294956304 18446744073709551615 134999746 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 2426 1730 422 171 0 1351 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 9704

[startup+25.5015 s]
/proc/loadavg: 2.00 2.00 2.01 3/74 16928
/proc/meminfo: memFree=1364432/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=12988 CPUtime=25.38
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 3050 659 0 0 2536 2 0 0 25 0 1 0 59020147 13299712 2454 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 3247 2454 422 171 0 2172 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 12988

[startup+51.1014 s]
/proc/loadavg: 2.00 2.00 2.01 3/74 16928
/proc/meminfo: memFree=1361104/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=16052 CPUtime=50.87
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 3854 659 0 0 5085 2 0 0 25 0 1 0 59020147 16437248 3258 996147200 134512640 135215973 4294956304 18446744073709551615 134600390 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 4013 3258 422 171 0 2938 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 16052

[startup+102.305 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16928
/proc/meminfo: memFree=1353168/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=23120 CPUtime=101.88
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 5759 659 0 0 10184 4 0 0 25 0 1 0 59020147 23674880 4820 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 5780 4820 422 171 0 4705 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 23120

[startup+162.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16928
/proc/meminfo: memFree=1342032/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=32216 CPUtime=161.64
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 8132 659 0 0 16158 6 0 0 25 0 1 0 59020147 32989184 7193 996147200 134512640 135215973 4294956304 18446744073709551615 134600884 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 8054 7193 422 171 0 6979 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 32216

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16928
/proc/meminfo: memFree=1331664/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=40136 CPUtime=221.39
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 10170 659 0 0 22132 7 0 0 25 0 1 0 59020147 41099264 9231 996147200 134512640 135215973 4294956304 18446744073709551615 134596296 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 10034 9231 422 171 0 8959 0
Current children cumulated CPU time (s) 221.39
Current children cumulated vsize (KiB) 40136

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16928
/proc/meminfo: memFree=1324304/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=45940 CPUtime=281.15
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 11699 659 0 0 28108 7 0 0 25 0 1 0 59020147 47042560 10760 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 11485 10760 422 171 0 10410 0
Current children cumulated CPU time (s) 281.15
Current children cumulated vsize (KiB) 45940

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16928
/proc/meminfo: memFree=1316688/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=53352 CPUtime=340.92
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 13618 659 0 0 34083 9 0 0 25 0 1 0 59020147 54632448 12166 996147200 134512640 135215973 4294956304 18446744073709551615 134581296 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 13338 12166 422 171 0 12263 0
Current children cumulated CPU time (s) 340.92
Current children cumulated vsize (KiB) 53352

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16930
/proc/meminfo: memFree=1308368/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=59616 CPUtime=400.68
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 15246 659 0 0 40058 10 0 0 25 0 1 0 59020147 61046784 13794 996147200 134512640 135215973 4294956304 18446744073709551615 4158960165 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 14904 13794 422 171 0 13829 0
Current children cumulated CPU time (s) 400.68
Current children cumulated vsize (KiB) 59616

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16930
/proc/meminfo: memFree=1301200/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=64404 CPUtime=460.43
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 16463 659 0 0 46033 10 0 0 25 0 1 0 59020147 65949696 15011 996147200 134512640 135215973 4294956304 18446744073709551615 4158512689 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 16101 15011 422 171 0 15026 0
Current children cumulated CPU time (s) 460.43
Current children cumulated vsize (KiB) 64404

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16930
/proc/meminfo: memFree=1296336/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=68372 CPUtime=520.19
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 17503 659 0 0 52008 11 0 0 25 0 1 0 59020147 70012928 16051 996147200 134512640 135215973 4294956304 18446744073709551615 134590383 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 17093 16051 422 171 0 16018 0
Current children cumulated CPU time (s) 520.19
Current children cumulated vsize (KiB) 68372

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16930
/proc/meminfo: memFree=1291728/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=72608 CPUtime=579.96
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 18606 659 0 0 57984 12 0 0 25 0 1 0 59020147 74350592 17154 996147200 134512640 135215973 4294956304 18446744073709551615 134680649 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 18152 17154 422 171 0 17077 0
Current children cumulated CPU time (s) 579.96
Current children cumulated vsize (KiB) 72608

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16930
/proc/meminfo: memFree=1280528/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=76280 CPUtime=639.72

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

[startup+822.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16972
/proc/meminfo: memFree=1275504/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=86548 CPUtime=818.97
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 22187 659 0 0 81881 16 0 0 25 0 1 0 59020147 88625152 20735 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 21637 20735 422 171 0 20562 0
Current children cumulated CPU time (s) 818.97
Current children cumulated vsize (KiB) 86548

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16972
/proc/meminfo: memFree=1270448/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=90116 CPUtime=878.72
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 23101 659 0 0 87855 17 0 0 25 0 1 0 59020147 92278784 21649 996147200 134512640 135215973 4294956304 18446744073709551615 4159345951 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 22529 21649 422 171 0 21454 0
Current children cumulated CPU time (s) 878.72
Current children cumulated vsize (KiB) 90116

[startup+942.302 s]
/proc/loadavg: 2.06 2.02 2.00 3/83 16978
/proc/meminfo: memFree=1265712/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=93148 CPUtime=938.46
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 23902 659 0 0 93828 18 0 0 25 0 1 0 59020147 95383552 22450 996147200 134512640 135215973 4294956304 18446744073709551615 134597530 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 23287 22450 422 171 0 22212 0
Current children cumulated CPU time (s) 938.46
Current children cumulated vsize (KiB) 93148

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/83 16978
/proc/meminfo: memFree=1262704/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=95948 CPUtime=998.21
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 24633 659 0 0 99802 19 0 0 25 0 1 0 59020147 98250752 23181 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 23987 23181 422 171 0 22912 0
Current children cumulated CPU time (s) 998.21
Current children cumulated vsize (KiB) 95948

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/83 16978
/proc/meminfo: memFree=1259184/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=99500 CPUtime=1057.96
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 25526 659 0 0 105776 20 0 0 25 0 1 0 59020147 101888000 24074 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 24875 24074 422 171 0 23800 0
Current children cumulated CPU time (s) 1057.96
Current children cumulated vsize (KiB) 99500

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16978
/proc/meminfo: memFree=1253552/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=104952 CPUtime=1117.71
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 26931 659 0 0 111750 21 0 0 25 0 1 0 59020147 107470848 25479 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 26238 25479 422 171 0 25163 0
Current children cumulated CPU time (s) 1117.71
Current children cumulated vsize (KiB) 104952

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16978
/proc/meminfo: memFree=1248624/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=109776 CPUtime=1177.47
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 28178 659 0 0 117724 23 0 0 25 0 1 0 59020147 112410624 26726 996147200 134512640 135215973 4294956304 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 27444 26726 422 171 0 26369 0
Current children cumulated CPU time (s) 1177.47
Current children cumulated vsize (KiB) 109776

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16978
/proc/meminfo: memFree=1243056/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=114956 CPUtime=1237.21
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 29524 659 0 0 123698 23 0 0 25 0 1 0 59020147 117714944 28072 996147200 134512640 135215973 4294956304 18446744073709551615 134524452 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 28739 28072 422 171 0 27664 0
Current children cumulated CPU time (s) 1237.21
Current children cumulated vsize (KiB) 114956

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16978
/proc/meminfo: memFree=1235696/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=126184 CPUtime=1296.97
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 32350 659 0 0 129672 25 0 0 25 0 1 0 59020147 129212416 29873 996147200 134512640 135215973 4294956304 18446744073709551615 134583682 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 31546 29873 422 171 0 30471 0
Current children cumulated CPU time (s) 1296.97
Current children cumulated vsize (KiB) 126184

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16978
/proc/meminfo: memFree=1230512/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=131628 CPUtime=1356.73
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 33760 659 0 0 135647 26 0 0 25 0 1 0 59020147 134787072 31178 996147200 134512640 135215973 4294956304 18446744073709551615 134609785 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 32907 31178 422 171 0 31832 0
Current children cumulated CPU time (s) 1356.73
Current children cumulated vsize (KiB) 131628

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16978
/proc/meminfo: memFree=1227120/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=135020 CPUtime=1416.49
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 34637 659 0 0 141622 27 0 0 25 0 1 0 59020147 138260480 32055 996147200 134512640 135215973 4294956304 18446744073709551615 134532660 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 33755 32055 422 171 0 32680 0
Current children cumulated CPU time (s) 1416.49
Current children cumulated vsize (KiB) 135020

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16978
/proc/meminfo: memFree=1221872/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=140092 CPUtime=1476.24
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 35929 659 0 0 147596 28 0 0 25 0 1 0 59020147 143454208 33347 996147200 134512640 135215973 4294956304 18446744073709551615 134532660 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 35023 33347 422 171 0 33948 0
Current children cumulated CPU time (s) 1476.24
Current children cumulated vsize (KiB) 140092

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16978
/proc/meminfo: memFree=1217520/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=144356 CPUtime=1535.99
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 37017 659 0 0 153570 29 0 0 25 0 1 0 59020147 147820544 34435 996147200 134512640 135215973 4294956304 18446744073709551615 4158960165 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 36089 34435 422 171 0 35014 0
Current children cumulated CPU time (s) 1535.99
Current children cumulated vsize (KiB) 144356

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16978
/proc/meminfo: memFree=1212528/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=149060 CPUtime=1595.75
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 38265 659 0 0 159545 30 0 0 25 0 1 0 59020147 152637440 35683 996147200 134512640 135215973 4294956304 18446744073709551615 4158960153 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 37265 35683 422 171 0 36190 0
Current children cumulated CPU time (s) 1595.75
Current children cumulated vsize (KiB) 149060

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16978
/proc/meminfo: memFree=1207216/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=154076 CPUtime=1655.5
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 39574 659 0 0 165518 32 0 0 25 0 1 0 59020147 157773824 36992 996147200 134512640 135215973 4294956304 18446744073709551615 134588355 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 38519 36992 422 171 0 37444 0
Current children cumulated CPU time (s) 1655.5
Current children cumulated vsize (KiB) 154076

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16978
/proc/meminfo: memFree=1202544/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=158612 CPUtime=1715.26
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 40728 659 0 0 171493 33 0 0 25 0 1 0 59020147 162418688 38146 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 39653 38146 422 171 0 38578 0
Current children cumulated CPU time (s) 1715.26
Current children cumulated vsize (KiB) 158612

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16978
/proc/meminfo: memFree=1197616/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=163340 CPUtime=1775.02
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 41926 659 0 0 177467 35 0 0 25 0 1 0 59020147 167260160 39344 996147200 134512640 135215973 4294956304 18446744073709551615 134592043 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 40835 39344 422 171 0 39760 0
Current children cumulated CPU time (s) 1775.02
Current children cumulated vsize (KiB) 163340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16978
/proc/meminfo: memFree=1195568/2055920 swapFree=4192812/4192956
[pid=16923] ppid=16921 vsize=165344 CPUtime=1800.01
/proc/16923/stat : 16923 (pcs.big) R 16921 16923 15351 0 -1 4194304 42435 659 0 0 179966 35 0 0 25 0 1 0 59020147 169312256 39853 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/16923/statm: 41336 39853 422 171 0 40261 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 165344

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): 1807.43
CPU time (s): 1800.05
CPU user time (s): 1799.67
CPU system time (s): 0.386941
CPU usage (%): 99.5917
Max. virtual memory (cumulated for all children) (KiB): 165344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.386941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43094
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 20863

runsolver used 1.66575 second user time and 5.05623 second system time

The end

Launcher Data 

Begin job on node76 at 2009-07-16 06:45:48
IDJOB=2081395
IDBENCH=57394
IDSOLVER=734
FILE ID=node76/2081395-1247719548
PBS_JOBID= 9521421
Free space on /tmp= 66392 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/queenAttacking/normalized-queenAttacking-10.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2081395-1247719548/watcher-2081395-1247719548 -o /tmp/evaluation-result-2081395-1247719548/solver-2081395-1247719548 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 785358699 HOME/instance-2081395-1247719548.xml

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

MD5SUM BENCH= 4767daf10c71e50004bb1bec7a8e5909
RANDOM SEED=785358699

node76.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.277
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.277
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1373432 kB
Buffers:         78624 kB
Cached:         385068 kB
SwapCached:          0 kB
Active:         225872 kB
Inactive:       385112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1373432 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2316 kB
Writeback:           0 kB
Mapped:         158872 kB
Slab:            56472 kB
Committed_AS:   618364 kB
PageTables:       2160 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= 66392 MiB
End job on node76 at 2009-07-16 07:15:58