Trace number 2080669

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? (MO) 1240.21 1240.55

General information on the benchmark

Namecsp/haystacks/
normalized-haystacks-15.xml
MD5SUM67e24fac9a0a2993042f71634a476dbd
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 benchmark1.85972
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints1589
Maximum constraint arity2
Maximum domain size15
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1589
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has operations which may create big domains
0.00/0.01	c big-domain mode
0.07/0.10	c Seed is 447870917
0.07/0.10	c Constructing HOME/instance-2080669-1247718048.xml 
0.07/0.10	c deduced all_different(V37,V55,V171,V0)
0.07/0.10	c deduced all_different(V4,V64,V68,V1)
0.07/0.10	c deduced all_different(V11,V23,V158,V200,V2)
0.07/0.10	c deduced all_different(V13,V40,V49,V60,V3)
0.07/0.10	c deduced all_different(V30,V33,V36,V116,V5)
0.07/0.10	c deduced all_different(V45,V54,V79,V107,V216,V6)
0.07/0.10	c deduced all_different(V18,V19,V63,V104,V7)
0.07/0.10	c deduced all_different(V92,V116,V141,V9)
0.07/0.10	c deduced all_different(V27,V75,V155,V201,V213,V10)
0.07/0.10	c deduced all_different(V17,V25,V43,V12)
0.07/0.10	c deduced all_different(V0,V163,V171,V14)
0.07/0.10	c deduced all_different(V22,V126,V127,V132,V15)
0.07/0.10	c deduced all_different(V27,V131,V155,V201,V20)
0.07/0.10	c deduced all_different(V38,V39,V52,V172,V21)
0.07/0.10	c deduced all_different(V34,V186,V218,V24)
0.07/0.10	c deduced all_different(V41,V83,V110,V125,V26)
0.07/0.10	c deduced all_different(V15,V118,V127,V132,V219,V28)
0.07/0.10	c deduced all_different(V4,V64,V68,V29)
0.07/0.10	c deduced all_different(V10,V155,V166,V201,V32)
0.07/0.10	c deduced all_different(V11,V23,V153,V200,V35)
0.07/0.10	c deduced all_different(V12,V103,V133,V143,V169,V44)
0.07/0.10	c deduced all_different(V56,V144,V177,V182,V46)
0.07/0.10	c deduced all_different(V22,V126,V132,V217,V47)
0.07/0.10	c deduced all_different(V53,V144,V220,V48)
0.07/0.10	c deduced all_different(V24,V186,V211,V218,V50)
0.07/0.10	c deduced all_different(V58,V82,V145,V165,V57)
0.07/0.10	c deduced all_different(V7,V63,V104,V194,V59)
0.07/0.10	c deduced all_different(V0,V55,V163,V171,V61)
0.07/0.10	c deduced all_different(V48,V139,V144,V62)
0.07/0.10	c deduced all_different(V83,V89,V110,V125,V65)
0.07/0.10	c deduced all_different(V82,V99,V135,V154,V66)
0.07/0.10	c deduced all_different(V7,V63,V104,V194,V67)
0.07/0.10	c deduced all_different(V12,V17,V43,V69)
0.07/0.10	c deduced all_different(V73,V126,V132,V217,V70)
0.07/0.10	c deduced all_different(V38,V39,V52,V167,V71)
0.07/0.10	c deduced all_different(V18,V81,V104,V72)
0.07/0.10	c deduced all_different(V36,V116,V141,V76)
0.07/0.10	c deduced all_different(V46,V144,V177,V182,V77)
0.07/0.10	c deduced all_different(V11,V23,V153,V78)
0.07/0.10	c deduced all_different(V12,V25,V93,V84)
0.07/0.10	c deduced all_different(V0,V37,V113,V171,V85)
0.07/0.10	c deduced all_different(V34,V114,V218,V223,V86)
0.07/0.10	c deduced all_different(V27,V75,V155,V201,V213,V87)
0.07/0.10	c deduced all_different(V12,V43,V115,V88)
0.07/0.10	c deduced all_different(V11,V23,V153,V90)
0.07/0.10	c deduced all_different(V10,V27,V166,V201,V91)
0.07/0.10	c deduced all_different(V21,V39,V52,V189,V94)
0.07/0.10	c deduced all_different(V83,V89,V110,V125,V95)
0.07/0.10	c deduced all_different(V20,V155,V201,V96)
0.07/0.10	c deduced all_different(V24,V206,V218,V97)
0.07/0.10	c deduced all_different(V37,V113,V171,V98)
0.07/0.10	c deduced all_different(V3,V13,V40,V49,V179,V100)
0.07/0.10	c deduced all_different(V37,V55,V171,V101)
0.07/0.10	c deduced all_different(V66,V82,V135,V154,V102)
0.07/0.10	c deduced all_different(V86,V193,V218,V105)
0.07/0.10	c deduced all_different(V28,V47,V132,V106)
0.07/0.10	c deduced all_different(V18,V19,V104,V198,V108)
0.07/0.10	c deduced all_different(V4,V29,V64,V109)
0.07/0.10	c deduced all_different(V26,V41,V125,V111)
0.07/0.10	c deduced all_different(V39,V52,V149,V167,V112)
0.07/0.10	c deduced all_different(V97,V193,V206,V218,V119)
0.07/0.10	c deduced all_different(V41,V89,V110,V125,V120)
0.07/0.10	c deduced all_different(V26,V110,V125,V121)
0.07/0.10	c deduced all_different(V50,V114,V218,V223,V122)
0.07/0.10	c deduced all_different(V39,V52,V71,V149,V123)
0.07/0.10	c deduced all_different(V45,V54,V79,V216,V124)
0.07/0.10	c deduced all_different(V79,V107,V150,V216,V128)
0.07/0.10	c deduced all_different(V2,V23,V156,V200,V129)
0.07/0.10	c deduced all_different(V48,V144,V182,V137)
0.07/0.10	c deduced all_different(V21,V38,V52,V172,V138)
0.07/0.10	c deduced all_different(V1,V4,V192,V140)
0.07/0.10	c deduced all_different(V18,V19,V63,V104,V142)
0.07/0.10	c deduced all_different(V2,V23,V156,V146)
0.07/0.10	c deduced all_different(V5,V116,V161,V147)
0.07/0.10	c deduced all_different(V57,V82,V145,V148)
0.07/0.10	c deduced all_different(V6,V79,V107,V175,V216,V151)
0.07/0.10	c deduced all_different(V15,V118,V127,V132,V152)
0.07/0.10	c deduced all_different(V41,V89,V125,V157)
0.07/0.10	c deduced all_different(V49,V100,V173,V203,V159)
0.07/0.10	c deduced all_different(V4,V29,V68,V160)
0.07/0.10	c deduced all_different(V0,V55,V163,V171,V162)
0.07/0.10	c deduced all_different(V54,V79,V150,V190,V215,V164)
0.07/0.10	c deduced all_different(V98,V113,V171,V187,V168)
0.07/0.10	c deduced all_different(V33,V36,V116,V170)
0.07/0.10	c deduced all_different(V3,V40,V49,V100,V179,V174)
0.07/0.10	c deduced all_different(V3,V49,V100,V179,V176)
0.07/0.10	c deduced all_different(V29,V64,V68,V178)
0.07/0.10	c deduced all_different(V40,V49,V174,V203,V180)
0.07/0.12	c deduced all_different(V11,V23,V35,V222,V183)
0.07/0.12	c deduced all_different(V26,V110,V125,V184)
0.07/0.12	c deduced all_different(V58,V82,V99,V185)
0.07/0.12	c deduced all_different(V64,V68,V178,V188)
0.07/0.12	c deduced all_different(V59,V63,V104,V142,V191)
0.07/0.12	c deduced all_different(V11,V23,V158,V222,V195)
0.07/0.12	c deduced all_different(V39,V52,V149,V196)
0.07/0.12	c deduced all_different(V58,V82,V145,V165,V197)
0.07/0.12	c deduced all_different(V3,V49,V60,V199)
0.07/0.12	c deduced all_different(V22,V126,V127,V132,V202)
0.07/0.12	c deduced all_different(V65,V83,V125,V204)
0.07/0.12	c deduced all_different(V7,V18,V19,V104,V198,V205)
0.07/0.12	c deduced all_different(V39,V52,V123,V149,V207)
0.07/0.12	c deduced all_different(V58,V82,V145,V208)
0.07/0.12	c deduced all_different(V0,V37,V171,V209)
0.07/0.12	c deduced all_different(V13,V49,V100,V179,V212)
0.07/0.12	c deduced all_different(V53,V77,V144,V214)
0.07/0.12	c deduced all_different(V12,V25,V43,V133,V221)
0.07/0.12	c deduced all_different(V46,V56,V144,V182,V224)
0.07/0.12	c  with 4149 constraints
0.07/0.12	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-2080669-1247718048/watcher-2080669-1247718048 -o /tmp/evaluation-result-2080669-1247718048/solver-2080669-1247718048 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 447870917 HOME/instance-2080669-1247718048.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.75 2.46 2.23 4/72 11711
/proc/meminfo: memFree=1460656/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=18576 CPUtime=0
/proc/11711/stat : 11711 (runsolver) R 11709 11711 9901 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58868693 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 236437695783 0 0 4096 24578 0 0 0 17 1 0 0
/proc/11711/statm: 4644 284 249 26 0 2626 0

[startup+0.0878289 s]
/proc/loadavg: 2.75 2.46 2.23 4/72 11711
/proc/meminfo: memFree=1460656/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=5684 CPUtime=0.06
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 1077 829 0 0 6 0 0 0 18 0 1 0 58868693 5820416 686 996147200 134512640 135215973 4294956304 18446744073709551615 134532657 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 1421 686 386 171 0 346 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5684

[startup+0.10183 s]
/proc/loadavg: 2.75 2.46 2.23 4/72 11711
/proc/meminfo: memFree=1460656/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=5684 CPUtime=0.07
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 1101 829 0 0 7 0 0 0 18 0 1 0 58868693 5820416 710 996147200 134512640 135215973 4294956304 18446744073709551615 8541819 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 1421 710 386 171 0 346 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5684

[startup+0.301854 s]
/proc/loadavg: 2.75 2.46 2.23 4/72 11711
/proc/meminfo: memFree=1460656/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=7792 CPUtime=0.28
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 1841 829 0 0 27 1 0 0 19 0 1 0 58868693 7979008 1227 996147200 134512640 135215973 4294956304 18446744073709551615 134648241 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 1948 1227 419 171 0 873 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7792

[startup+0.701898 s]
/proc/loadavg: 2.75 2.46 2.23 4/72 11711
/proc/meminfo: memFree=1460656/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=9548 CPUtime=0.68
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 2382 829 0 0 67 1 0 0 22 0 1 0 58868693 9777152 1559 996147200 134512640 135215973 4294956304 18446744073709551615 134648240 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 2387 1559 419 171 0 1312 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9548

[startup+1.50199 s]
/proc/loadavg: 2.69 2.46 2.23 3/73 11717
/proc/meminfo: memFree=1455720/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=9548 CPUtime=1.48
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 2387 829 0 0 147 1 0 0 25 0 1 0 58868693 9777152 1564 996147200 134512640 135215973 4294956304 18446744073709551615 135098469 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 2387 1564 419 171 0 1312 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9548

[startup+3.10117 s]
/proc/loadavg: 2.69 2.46 2.23 3/73 11717
/proc/meminfo: memFree=1455336/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=9680 CPUtime=3.08
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 2420 829 0 0 307 1 0 0 25 0 1 0 58868693 9912320 1597 996147200 134512640 135215973 4294956304 18446744073709551615 134532911 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 2420 1597 419 171 0 1345 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 9680

[startup+6.30154 s]
/proc/loadavg: 2.69 2.46 2.23 3/73 11717
/proc/meminfo: memFree=1452776/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=10684 CPUtime=6.27
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 2730 829 0 0 626 1 0 0 25 0 1 0 58868693 10940416 1907 996147200 134512640 135215973 4294956304 18446744073709551615 134590021 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 2671 1907 419 171 0 1596 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 10684

[startup+12.7023 s]
/proc/loadavg: 2.58 2.44 2.22 3/73 11717
/proc/meminfo: memFree=1447912/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=13704 CPUtime=12.67
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 3493 829 0 0 1266 1 0 0 25 0 1 0 58868693 14032896 2605 996147200 134512640 135215973 4294956304 18446744073709551615 134629842 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 3426 2605 419 171 0 2351 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 13704

[startup+25.5017 s]
/proc/loadavg: 2.49 2.43 2.22 3/73 11717
/proc/meminfo: memFree=1436264/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=22740 CPUtime=25.46
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 5854 829 0 0 2544 2 0 0 25 0 1 0 58868693 23285760 4804 996147200 134512640 135215973 4294956304 18446744073709551615 8541819 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 5685 4804 419 171 0 4610 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 22740

[startup+51.1017 s]
/proc/loadavg: 2.32 2.39 2.21 3/73 11717
/proc/meminfo: memFree=1410024/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=42740 CPUtime=51.06
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 11065 829 0 0 5101 5 0 0 25 0 1 0 58868693 43765760 9693 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 10685 9693 419 171 0 9610 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 42740

[startup+102.307 s]
/proc/loadavg: 2.13 2.32 2.20 3/73 11717
/proc/meminfo: memFree=1356200/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=79736 CPUtime=102.25
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 20759 829 0 0 10214 11 0 0 25 0 1 0 58868693 81649664 18745 996147200 134512640 135215973 4294956304 18446744073709551615 134583647 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 19934 18745 419 171 0 18859 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 79736

[startup+162.301 s]
/proc/loadavg: 2.04 2.26 2.18 3/73 11717
/proc/meminfo: memFree=1295464/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=127228 CPUtime=162.23
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 33115 829 0 0 16205 18 0 0 25 0 1 0 58868693 130281472 30844 996147200 134512640 135215973 4294956304 18446744073709551615 134938881 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 31807 30844 419 171 0 30732 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 127228

[startup+222.301 s]
/proc/loadavg: 2.01 2.21 2.17 3/73 11717
/proc/meminfo: memFree=1244712/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=167804 CPUtime=222.21
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 43747 829 0 0 22197 24 0 0 25 0 1 0 58868693 171831296 40451 996147200 134512640 135215973 4294956304 18446744073709551615 134600649 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 41951 40451 419 171 0 40876 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 167804

[startup+282.301 s]
/proc/loadavg: 2.00 2.17 2.16 3/73 11717
/proc/meminfo: memFree=1214184/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=186976 CPUtime=282.19
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 48705 829 0 0 28191 28 0 0 25 0 1 0 58868693 191463424 45409 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 46744 45409 419 171 0 45669 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 186976

[startup+342.301 s]
/proc/loadavg: 2.00 2.14 2.14 3/73 11717
/proc/meminfo: memFree=1161832/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=230044 CPUtime=342.18
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 59848 829 0 0 34183 35 0 0 25 0 1 0 58868693 235565056 56039 996147200 134512640 135215973 4294956304 18446744073709551615 134983068 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 57511 56039 419 171 0 56436 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 230044

[startup+402.302 s]
/proc/loadavg: 2.00 2.11 2.13 3/73 11717
/proc/meminfo: memFree=1105000/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=284672 CPUtime=402.17
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 73957 829 0 0 40174 43 0 0 25 0 1 0 58868693 291504128 68099 996147200 134512640 135215973 4294956304 18446744073709551615 134590480 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 71168 68099 419 171 0 70093 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 284672

[startup+462.302 s]
/proc/loadavg: 2.00 2.09 2.12 3/73 11717
/proc/meminfo: memFree=1050408/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=327108 CPUtime=462.15
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 85032 829 0 0 46167 48 0 0 25 0 1 0 58868693 334958592 79174 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 81777 79174 419 171 0 80702 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 327108

[startup+522.302 s]
/proc/loadavg: 2.00 2.07 2.11 3/73 11717
/proc/meminfo: memFree=992936/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=374800 CPUtime=522.14
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 97686 829 0 0 52159 55 0 0 25 0 1 0 58868693 383795200 90803 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 93700 90803 419 171 0 92625 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 374800

[startup+582.302 s]
/proc/loadavg: 2.00 2.05 2.10 3/73 11717
/proc/meminfo: memFree=939240/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=414608 CPUtime=582.11
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 107946 829 0 0 58151 60 0 0 25 0 1 0 58868693 424558592 101063 996147200 134512640 135215973 4294956304 18446744073709551615 134583396 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 103652 101063 419 171 0 102577 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 414608

[startup+642.302 s]
/proc/loadavg: 2.00 2.04 2.09 3/73 11717
/proc/meminfo: memFree=879592/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=457688 CPUtime=642.11
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 118981 829 0 0 64143 68 0 0 25 0 1 0 58868693 468672512 112098 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 114422 112098 419 171 0 113347 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 457688

[startup+702.301 s]
/proc/loadavg: 2.00 2.03 2.08 3/73 11717
/proc/meminfo: memFree=824872/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=501368 CPUtime=702.09
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 130225 829 0 0 70135 74 0 0 25 0 1 0 58868693 513400832 123342 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 125342 123342 419 171 0 124267 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 501368

[startup+762.306 s]
/proc/loadavg: 2.00 2.02 2.08 3/73 11717
/proc/meminfo: memFree=768168/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=545208 CPUtime=762.08
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 141881 829 0 0 76127 81 0 0 25 0 1 0 58868693 558292992 134998 996147200 134512640 135215973 4294956304 18446744073709551615 8539898 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 136302 134998 419 171 0 135227 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 545208

[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.07 3/73 11717
/proc/meminfo: memFree=705640/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=612452 CPUtime=822.06
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 159256 829 0 0 82114 92 0 0 25 0 1 0 58868693 627150848 148276 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 153113 148276 419 171 0 152038 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 612452

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.06 3/73 11717
/proc/meminfo: memFree=651240/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=653844 CPUtime=882.04
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 169991 829 0 0 88104 100 0 0 25 0 1 0 58868693 669536256 159011 996147200 134512640 135215973 4294956304 18446744073709551615 8541819 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 163461 159011 419 171 0 162386 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 653844

[startup+942.302 s]
/proc/loadavg: 2.00 2.01 2.06 3/73 11717
/proc/meminfo: memFree=596648/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=697536 CPUtime=942.02
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 181295 829 0 0 94096 106 0 0 25 0 1 0 58868693 714276864 170315 996147200 134512640 135215973 4294956304 18446744073709551615 135094718 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 174384 170315 419 171 0 173309 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 697536

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/73 11717
/proc/meminfo: memFree=538984/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=741468 CPUtime=1002.01
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 192679 829 0 0 100087 114 0 0 25 0 1 0 58868693 759263232 181699 996147200 134512640 135215973 4294956304 18446744073709551615 134591366 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 185367 181699 419 171 0 184292 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 741468

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/73 11717
/proc/meminfo: memFree=481576/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=784912 CPUtime=1061.99
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 204089 829 0 0 106078 121 0 0 25 0 1 0 58868693 803749888 193109 996147200 134512640 135215973 4294956304 18446744073709551615 134597340 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 196228 193109 419 171 0 195153 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 784912

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/73 11717
/proc/meminfo: memFree=423080/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=837036 CPUtime=1121.97
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 217918 829 0 0 112068 129 0 0 25 0 1 0 58868693 857124864 204889 996147200 134512640 135215973 4294956304 18446744073709551615 134591426 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 209259 204889 419 171 0 208184 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 837036

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/73 11717
/proc/meminfo: memFree=365864/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=879840 CPUtime=1181.96
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 229146 829 0 0 118062 134 0 0 25 0 1 0 58868693 900956160 216117 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 219960 216117 419 171 0 218885 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 879840



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1240.4 s]
/proc/loadavg: 2.00 2.00 2.03 3/73 11717
/proc/meminfo: memFree=312168/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=921600 CPUtime=1240.04
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4194304 239980 829 0 0 123864 140 0 0 25 0 1 0 58868693 943718400 226951 996147200 134512640 135215973 4294956304 18446744073709551615 134599849 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 230400 226951 419 171 0 229325 0
Current children cumulated CPU time (s) 1240.04
Current children cumulated vsize (KiB) 921600

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1240.51 s]
/proc/loadavg: 2.00 2.00 2.03 3/73 11717
/proc/meminfo: memFree=312168/2055920 swapFree=4192812/4192956
[pid=11711] ppid=11709 vsize=0 CPUtime=1240.14
/proc/11711/stat : 11711 (pcs.big) R 11709 11711 9901 0 -1 4195332 239980 829 0 0 123864 150 0 0 25 0 1 0 58868693 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/11711/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1240.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1240.55
CPU time (s): 1240.21
CPU user time (s): 1238.65
CPU system time (s): 1.56176
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 921600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1238.65
system time used= 1.56176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240809
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= 23
involuntary context switches= 1570

runsolver used 1.13483 second user time and 3.38549 second system time

The end

Launcher Data 

Begin job on node62 at 2009-07-16 06:20:48
IDJOB=2080669
IDBENCH=57126
IDSOLVER=734
FILE ID=node62/2080669-1247718048
PBS_JOBID= 9521346
Free space on /tmp= 66248 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/haystacks/normalized-haystacks-15.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080669-1247718048/watcher-2080669-1247718048 -o /tmp/evaluation-result-2080669-1247718048/solver-2080669-1247718048 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 447870917 HOME/instance-2080669-1247718048.xml

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

MD5SUM BENCH= 67e24fac9a0a2993042f71634a476dbd
RANDOM SEED=447870917

node62.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.220
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.220
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:       1461136 kB
Buffers:         69328 kB
Cached:         368796 kB
SwapCached:          0 kB
Active:         118596 kB
Inactive:       398584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1461136 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1908 kB
Writeback:           0 kB
Mapped:          90624 kB
Slab:            62612 kB
Committed_AS:   525044 kB
PageTables:       1952 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66244 MiB
End job on node62 at 2009-07-16 06:41:30