Trace number 2089402

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.04 1808.93

General information on the benchmark

Namecsp/tightness0.35/
normalized-rand-2-40-16-250-350-0_ext.xml
MD5SUMc8622d471ba01a255fb18c85ab4a7f94
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark9.8725
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints250
Maximum constraint arity2
Maximum domain size16
Number of constraints which are defined in extension250
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c small-domain mode
0.00/0.02	c Seed is 1887249473
0.00/0.02	c Constructing HOME/instance-2089402-1247730151.xml  with 3996 constraints
0.00/0.07	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-2089402-1247730151/watcher-2089402-1247730151 -o /tmp/evaluation-result-2089402-1247730151/solver-2089402-1247730151 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1887249473 HOME/instance-2089402-1247730151.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.04 2.01 2.00 4/81 21149
/proc/meminfo: memFree=1577704/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=5356 CPUtime=0
/proc/21149/stat : 21149 (pcssolve) R 21147 21149 19692 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 60078553 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 273653754527 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/21149/statm: 1339 241 200 169 0 50 0
[pid=21150] ppid=21149 vsize=3676 CPUtime=0
/proc/21150/stat : 21150 (fgrep) R 21149 21149 19692 0 -1 4194304 142 0 0 0 0 0 0 0 22 0 1 0 60078554 3764224 109 996147200 4194304 4274172 548682068976 18446744073709551615 273653923922 0 0 4096 0 0 0 0 17 1 0 0
/proc/21150/statm: 919 109 85 19 0 43 0
[pid=21151] ppid=21149 vsize=5356 CPUtime=0
/proc/21151/stat : 21151 (pcssolve) R 21149 21149 19692 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 60078554 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 273653754527 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/21151/statm: 1339 241 200 169 0 50 0

[startup+0.10691 s]
/proc/loadavg: 2.04 2.01 2.00 4/81 21149
/proc/meminfo: memFree=1577704/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=5564 CPUtime=0.08
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 1123 822 0 0 8 0 0 0 24 0 1 0 60078553 5697536 732 996147200 134512640 135095119 4294956304 18446744073709551615 134617227 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 1391 732 378 142 0 345 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5564

[startup+0.201915 s]
/proc/loadavg: 2.04 2.01 2.00 4/81 21149
/proc/meminfo: memFree=1577704/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=5432 CPUtime=0.17
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 1124 822 0 0 17 0 0 0 25 0 1 0 60078553 5562368 700 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 1358 700 378 142 0 312 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5432

[startup+0.301921 s]
/proc/loadavg: 2.04 2.01 2.00 4/81 21149
/proc/meminfo: memFree=1577704/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=5432 CPUtime=0.27
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 1124 822 0 0 27 0 0 0 25 0 1 0 60078553 5562368 700 996147200 134512640 135095119 4294956304 18446744073709551615 134642982 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 1358 700 378 142 0 312 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5432

[startup+0.701949 s]
/proc/loadavg: 2.04 2.01 2.00 4/81 21149
/proc/meminfo: memFree=1577704/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=5824 CPUtime=0.67
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 1173 822 0 0 67 0 0 0 25 0 1 0 60078553 5963776 749 996147200 134512640 135095119 4294956304 18446744073709551615 134617019 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 1456 749 378 142 0 410 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 5824

[startup+1.502 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 21155
/proc/meminfo: memFree=1575968/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=6208 CPUtime=1.46
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 1335 822 0 0 146 0 0 0 25 0 1 0 60078553 6356992 846 996147200 134512640 135095119 4294956304 18446744073709551615 134616996 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 1552 846 378 142 0 506 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6208

[startup+3.10111 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 21155
/proc/meminfo: memFree=1574880/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=7632 CPUtime=3.05
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 1717 822 0 0 305 0 0 0 25 0 1 0 60078553 7815168 1099 996147200 134512640 135095119 4294956304 18446744073709551615 134840336 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 1908 1099 378 142 0 862 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7632

[startup+6.30233 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 21155
/proc/meminfo: memFree=1572512/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=10352 CPUtime=6.23
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 2590 822 0 0 622 1 0 0 25 0 1 0 60078553 10600448 1586 996147200 134512640 135095119 4294956304 18446744073709551615 134642962 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 2588 1586 378 142 0 1542 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 10352

[startup+12.7018 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 21155
/proc/meminfo: memFree=1570656/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=11388 CPUtime=12.57
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 3077 822 0 0 1256 1 0 0 25 0 1 0 60078553 11661312 2073 996147200 134512640 135095119 4294956304 18446744073709551615 134607059 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 2847 2073 378 142 0 1801 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 11388

[startup+25.5016 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 21155
/proc/meminfo: memFree=1566688/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=16960 CPUtime=25.25
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 4799 822 0 0 2522 3 0 0 25 0 1 0 60078553 17367040 3025 996147200 134512640 135095119 4294956304 18446744073709551615 134637457 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 4240 3025 378 142 0 3194 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 16960

[startup+51.1013 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 21155
/proc/meminfo: memFree=1562848/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=23020 CPUtime=50.6
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 6799 822 0 0 5056 4 0 0 25 0 1 0 60078553 23572480 4000 996147200 134512640 135095119 4294956304 18446744073709551615 134617057 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 5755 4000 378 142 0 4709 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 23020

[startup+102.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 21155
/proc/meminfo: memFree=1554592/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=30344 CPUtime=101.33
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 9328 822 0 0 10127 6 0 0 25 0 1 0 60078553 31072256 6016 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 7586 6016 378 142 0 6540 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 30344

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 21155
/proc/meminfo: memFree=1549984/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=32452 CPUtime=160.77
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 10477 822 0 0 16069 8 0 0 25 0 1 0 60078553 33230848 7165 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 8113 7165 378 142 0 7067 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 32452

[startup+222.307 s]
/proc/loadavg: 2.17 2.04 2.01 3/82 21155
/proc/meminfo: memFree=1544928/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=43540 CPUtime=220.21
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 13781 822 0 0 22011 10 0 0 25 0 1 0 60078553 44584960 8420 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 10885 8420 378 142 0 9839 0
Current children cumulated CPU time (s) 220.21
Current children cumulated vsize (KiB) 43540

[startup+282.302 s]
/proc/loadavg: 2.09 2.05 2.01 3/82 21155
/proc/meminfo: memFree=1540256/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=46164 CPUtime=279.65
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 14952 822 0 0 27953 12 0 0 25 0 1 0 60078553 47271936 9591 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 11541 9591 378 142 0 10495 0
Current children cumulated CPU time (s) 279.65
Current children cumulated vsize (KiB) 46164

[startup+342.302 s]
/proc/loadavg: 2.07 2.05 2.01 3/82 21155
/proc/meminfo: memFree=1530400/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=58308 CPUtime=339.08
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 18427 822 0 0 33894 14 0 0 25 0 1 0 60078553 59707392 12041 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 14577 12041 378 142 0 13531 0
Current children cumulated CPU time (s) 339.08
Current children cumulated vsize (KiB) 58308

[startup+402.302 s]
/proc/loadavg: 2.02 2.04 2.00 3/82 21155
/proc/meminfo: memFree=1528608/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=58308 CPUtime=398.53
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 18850 822 0 0 39838 15 0 0 25 0 1 0 60078553 59707392 12464 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 14577 12464 378 142 0 13531 0
Current children cumulated CPU time (s) 398.53
Current children cumulated vsize (KiB) 58308

[startup+462.301 s]
/proc/loadavg: 2.06 2.05 2.00 3/82 21155
/proc/meminfo: memFree=1527008/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=58308 CPUtime=457.96
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 19252 822 0 0 45781 15 0 0 25 0 1 0 60078553 59707392 12866 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 14577 12866 378 142 0 13531 0
Current children cumulated CPU time (s) 457.96
Current children cumulated vsize (KiB) 58308

[startup+522.301 s]
/proc/loadavg: 2.06 2.05 2.00 3/82 21155
/proc/meminfo: memFree=1524128/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=75996 CPUtime=517.41
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 24075 822 0 0 51722 19 0 0 25 0 1 0 60078553 77819904 13592 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 18999 13592 378 142 0 17953 0
Current children cumulated CPU time (s) 517.41
Current children cumulated vsize (KiB) 75996

[startup+582.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/82 21157
/proc/meminfo: memFree=1520736/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=77972 CPUtime=576.84
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 24922 822 0 0 57664 20 0 0 25 0 1 0 60078553 79843328 14439 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 19493 14439 378 142 0 18447 0
Current children cumulated CPU time (s) 576.84
Current children cumulated vsize (KiB) 77972

[startup+642.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/82 21157
/proc/meminfo: memFree=1517472/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=79800 CPUtime=636.29

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

[startup+822.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/82 21157
/proc/meminfo: memFree=1508000/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=85148 CPUtime=814.6
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 28104 822 0 0 81436 24 0 0 25 0 1 0 60078553 87191552 17621 996147200 134512640 135095119 4294956304 18446744073709551615 134642693 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 21287 17621 378 142 0 20241 0
Current children cumulated CPU time (s) 814.6
Current children cumulated vsize (KiB) 85148

[startup+882.306 s]
/proc/loadavg: 2.01 2.04 2.00 3/82 21157
/proc/meminfo: memFree=1504928/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=86856 CPUtime=874.04
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 28839 822 0 0 87379 25 0 0 25 0 1 0 60078553 88940544 18356 996147200 134512640 135095119 4294956304 18446744073709551615 134617070 0 0 4096 0 0 0 0 17 1 0 0
/proc/21149/statm: 21714 18356 378 142 0 20668 0
Current children cumulated CPU time (s) 874.04
Current children cumulated vsize (KiB) 86856

[startup+942.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/73 21232
/proc/meminfo: memFree=1545448/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=88552 CPUtime=933.69
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 29580 822 0 0 93340 29 0 0 25 0 1 0 60078553 90677248 19097 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/21149/statm: 22138 19097 378 142 0 21092 0
Current children cumulated CPU time (s) 933.69
Current children cumulated vsize (KiB) 88552

[startup+1002.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/73 21232
/proc/meminfo: memFree=1533224/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=90268 CPUtime=993.67
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 30340 822 0 0 99337 30 0 0 25 0 1 0 60078553 92434432 19857 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/21149/statm: 22567 19857 378 142 0 21521 0
Current children cumulated CPU time (s) 993.67
Current children cumulated vsize (KiB) 90268

[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 21232
/proc/meminfo: memFree=1519656/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=91840 CPUtime=1053.65
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 31036 822 0 0 105334 31 0 0 25 0 1 0 60078553 94044160 20553 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/21149/statm: 22960 20553 378 142 0 21914 0
Current children cumulated CPU time (s) 1053.65
Current children cumulated vsize (KiB) 91840

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 21238
/proc/meminfo: memFree=1491424/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=115872 CPUtime=1113.63
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 37352 822 0 0 111329 34 0 0 25 0 1 0 60078553 118652928 24820 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/21149/statm: 28968 24820 378 142 0 27922 0
Current children cumulated CPU time (s) 1113.63
Current children cumulated vsize (KiB) 115872

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 21238
/proc/meminfo: memFree=1479840/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=115872 CPUtime=1173.62
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 37647 822 0 0 117327 35 0 0 25 0 1 0 60078553 118652928 25115 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/21149/statm: 28968 25115 378 142 0 27922 0
Current children cumulated CPU time (s) 1173.62
Current children cumulated vsize (KiB) 115872

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 21238
/proc/meminfo: memFree=1466720/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=115872 CPUtime=1233.59
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 37937 822 0 0 123324 35 0 0 25 0 1 0 60078553 118652928 25405 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/21149/statm: 28968 25405 378 142 0 27922 0
Current children cumulated CPU time (s) 1233.59
Current children cumulated vsize (KiB) 115872

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21238
/proc/meminfo: memFree=1454368/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=115872 CPUtime=1293.57
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 38234 822 0 0 129322 35 0 0 25 0 1 0 60078553 118652928 25702 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/21149/statm: 28968 25702 378 142 0 27922 0
Current children cumulated CPU time (s) 1293.57
Current children cumulated vsize (KiB) 115872

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21238
/proc/meminfo: memFree=1442592/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=115872 CPUtime=1353.56
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 38516 822 0 0 135320 36 0 0 25 0 1 0 60078553 118652928 25984 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/21149/statm: 28968 25984 378 142 0 27922 0
Current children cumulated CPU time (s) 1353.56
Current children cumulated vsize (KiB) 115872

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21238
/proc/meminfo: memFree=1431272/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=115872 CPUtime=1413.54
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 38800 822 0 0 141318 36 0 0 25 0 1 0 60078553 118652928 26268 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/21149/statm: 28968 26268 378 142 0 27922 0
Current children cumulated CPU time (s) 1413.54
Current children cumulated vsize (KiB) 115872

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21238
/proc/meminfo: memFree=1418792/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=115872 CPUtime=1473.52
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 39078 822 0 0 147315 37 0 0 25 0 1 0 60078553 118652928 26546 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/21149/statm: 28968 26546 378 142 0 27922 0
Current children cumulated CPU time (s) 1473.52
Current children cumulated vsize (KiB) 115872

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21238
/proc/meminfo: memFree=1407464/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=148640 CPUtime=1533.49
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 47537 822 0 0 153309 40 0 0 25 0 1 0 60078553 152207360 26812 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/21149/statm: 37160 26812 378 142 0 36114 0
Current children cumulated CPU time (s) 1533.49
Current children cumulated vsize (KiB) 148640

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21238
/proc/meminfo: memFree=1396648/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=148640 CPUtime=1593.47
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 47804 822 0 0 159306 41 0 0 25 0 1 0 60078553 152207360 27079 996147200 134512640 135095119 4294956304 18446744073709551615 134642865 0 0 4096 0 0 0 0 17 0 0 0
/proc/21149/statm: 37160 27079 378 142 0 36114 0
Current children cumulated CPU time (s) 1593.47
Current children cumulated vsize (KiB) 148640

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21238
/proc/meminfo: memFree=1384552/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=149168 CPUtime=1653.45
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 48211 822 0 0 165304 41 0 0 25 0 1 0 60078553 152748032 27486 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/21149/statm: 37292 27486 378 142 0 36246 0
Current children cumulated CPU time (s) 1653.45
Current children cumulated vsize (KiB) 149168

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21238
/proc/meminfo: memFree=1372136/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=150468 CPUtime=1713.43
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 48781 822 0 0 171301 42 0 0 25 0 1 0 60078553 154079232 28056 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/21149/statm: 37617 28056 378 142 0 36571 0
Current children cumulated CPU time (s) 1713.43
Current children cumulated vsize (KiB) 150468

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21238
/proc/meminfo: memFree=1358568/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=151776 CPUtime=1773.41
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 49369 822 0 0 177298 43 0 0 25 0 1 0 60078553 155418624 28644 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/21149/statm: 37944 28644 378 142 0 36898 0
Current children cumulated CPU time (s) 1773.41
Current children cumulated vsize (KiB) 151776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21238
/proc/meminfo: memFree=1353000/2055920 swapFree=4192812/4192956
[pid=21149] ppid=21147 vsize=152296 CPUtime=1800.01
/proc/21149/stat : 21149 (pcs.small) R 21147 21149 19692 0 -1 4194304 49613 822 0 0 179958 43 0 0 25 0 1 0 60078553 155951104 28888 996147200 134512640 135095119 4294956304 18446744073709551615 134589539 0 0 4096 0 0 0 0 17 0 0 0
/proc/21149/statm: 38074 28888 378 142 0 37028 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 152296

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): 1808.93
CPU time (s): 1800.04
CPU user time (s): 1799.58
CPU system time (s): 0.460929
CPU usage (%): 99.509
Max. virtual memory (cumulated for all children) (KiB): 152296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.460929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50435
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= 22
involuntary context switches= 23072

runsolver used 2.69759 second user time and 5.52116 second system time

The end

Launcher Data 

Begin job on node52 at 2009-07-16 09:42:31
IDJOB=2089402
IDBENCH=59496
IDSOLVER=733
FILE ID=node52/2089402-1247730151
PBS_JOBID= 9521532
Free space on /tmp= 66184 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/tightness0.35/normalized-rand-2-40-16-250-350-0_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2089402-1247730151/watcher-2089402-1247730151 -o /tmp/evaluation-result-2089402-1247730151/solver-2089402-1247730151 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1887249473 HOME/instance-2089402-1247730151.xml

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

MD5SUM BENCH= c8622d471ba01a255fb18c85ab4a7f94
RANDOM SEED=1887249473

node52.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:       1578056 kB
Buffers:         84668 kB
Cached:         260568 kB
SwapCached:          0 kB
Active:         150524 kB
Inactive:       258184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1578056 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2236 kB
Writeback:           0 kB
Mapped:          83876 kB
Slab:            54176 kB
Committed_AS:   739480 kB
PageTables:       2052 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= 66184 MiB
End job on node52 at 2009-07-16 10:12:42