Trace number 1056151

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
MDG-noprobe 2008-06-27? (TO) 1800.1 1811.92

General information on the benchmark

Namecsp/largeQueens/
normalized-queens-500.xml
MD5SUM2f41b36922ebee8c6bbe2e06a2cfd3a7
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark47.4628
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of constraints124750
Maximum constraint arity2
Maximum domain size500
Number of constraints which are defined in extension0
Number of constraints which are defined in intension124750
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.15	c mistral-prime version 1.313

Verifier Data (download as text)

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056151-1215061913/watcher-1056151-1215061913 -o /tmp/evaluation-result-1056151-1215061913/solver-1056151-1215061913 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1056151-1215061913.xml -heu dom/wdeg -res no 

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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.03 2.05 3/81 30890
/proc/meminfo: memFree=1612336/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=18572 CPUtime=0
/proc/30890/stat : 30890 (runsolver) R 30888 30890 27420 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 1985162770 19017728 292 996147200 4194304 4296836 548682068448 18446744073709551615 217051622695 0 0 4096 24578 0 0 0 17 1 0 0
/proc/30890/statm: 4643 292 257 25 0 2626 0

[startup+0.156315 s]
/proc/loadavg: 2.00 2.03 2.05 3/81 30890
/proc/meminfo: memFree=1612336/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=6420 CPUtime=0.14
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 911 0 0 0 14 0 0 0 19 0 1 0 1985162770 6574080 877 996147200 134512640 135239859 4294956208 18446744073709551615 134706097 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 1605 877 370 177 0 508 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 6420

[startup+0.201184 s]
/proc/loadavg: 2.00 2.03 2.05 3/81 30890
/proc/meminfo: memFree=1612336/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=6980 CPUtime=0.18
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 1039 0 0 0 18 0 0 0 19 0 1 0 1985162770 7147520 1005 996147200 134512640 135239859 4294956208 18446744073709551615 4159014044 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 1745 1005 370 177 0 648 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6980

[startup+0.301205 s]
/proc/loadavg: 2.00 2.03 2.05 3/81 30890
/proc/meminfo: memFree=1612336/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=8016 CPUtime=0.28
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 1329 0 0 0 28 0 0 0 20 0 1 0 1985162770 8208384 1295 996147200 134512640 135239859 4294956208 18446744073709551615 134573966 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 2004 1295 370 177 0 907 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8016

[startup+0.701281 s]
/proc/loadavg: 2.00 2.03 2.05 3/81 30890
/proc/meminfo: memFree=1612336/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=12792 CPUtime=0.68
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 2501 0 0 0 67 1 0 0 23 0 1 0 1985162770 13099008 2401 996147200 134512640 135239859 4294956208 18446744073709551615 134707580 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 3198 2401 370 177 0 2101 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12792

[startup+1.50143 s]
/proc/loadavg: 2.00 2.03 2.05 3/82 30891
/proc/meminfo: memFree=1599656/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=21588 CPUtime=1.47
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 4771 0 0 0 145 2 0 0 25 0 1 0 1985162770 22106112 4541 996147200 134512640 135239859 4294956208 18446744073709551615 134646149 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 5397 4541 370 177 0 4300 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 21588

[startup+3.10174 s]
/proc/loadavg: 2.00 2.03 2.05 3/82 30891
/proc/meminfo: memFree=1587240/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=39680 CPUtime=3.05
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 9449 0 0 0 301 4 0 0 25 0 1 0 1985162770 40632320 8896 996147200 134512640 135239859 4294956208 18446744073709551615 134683222 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 9920 8896 370 177 0 8823 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 39680

[startup+6.30135 s]
/proc/loadavg: 2.00 2.03 2.05 3/82 30891
/proc/meminfo: memFree=1553064/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=64192 CPUtime=6.23
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 15625 0 0 0 613 10 0 0 25 0 1 0 1985162770 65732608 15072 996147200 134512640 135239859 4294956208 18446744073709551615 134543813 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 16048 15072 375 177 0 14951 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 64192

[startup+12.7016 s]
/proc/loadavg: 2.00 2.03 2.05 3/82 30891
/proc/meminfo: memFree=1497768/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119800 CPUtime=12.57
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30320 0 0 0 1239 18 0 0 25 0 1 0 1985162770 122675200 28852 996147200 134512640 135239859 4294956208 18446744073709551615 134538949 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29950 28852 403 177 0 28853 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 119800

[startup+25.502 s]
/proc/loadavg: 2.00 2.03 2.05 3/82 30891
/proc/meminfo: memFree=1497320/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119800 CPUtime=25.26
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30320 0 0 0 2508 18 0 0 25 0 1 0 1985162770 122675200 28852 996147200 134512640 135239859 4294956208 18446744073709551615 134538924 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29950 28852 403 177 0 28853 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 119800

[startup+51.1019 s]
/proc/loadavg: 2.00 2.03 2.05 3/82 30891
/proc/meminfo: memFree=1496232/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119800 CPUtime=50.64
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30329 0 0 0 5046 18 0 0 25 0 1 0 1985162770 122675200 28861 996147200 134512640 135239859 4294956208 18446744073709551615 134534768 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29950 28861 406 177 0 28853 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 119800

[startup+102.302 s]
/proc/loadavg: 2.00 2.02 2.04 3/82 30891
/proc/meminfo: memFree=1493288/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119800 CPUtime=101.4
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30332 0 0 0 10122 18 0 0 25 0 1 0 1985162770 122675200 28864 996147200 134512640 135239859 4294956208 18446744073709551615 134820096 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29950 28864 406 177 0 28853 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 119800

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.03 3/82 30891
/proc/meminfo: memFree=1490856/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119940 CPUtime=160.88
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30338 0 0 0 16070 18 0 0 25 0 1 0 1985162770 122818560 28870 996147200 134512640 135239859 4294956208 18446744073709551615 134532188 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29985 28870 406 177 0 28888 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 119940

[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.03 3/82 30891
/proc/meminfo: memFree=1486504/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119940 CPUtime=220.37
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30340 0 0 0 22019 18 0 0 25 0 1 0 1985162770 122818560 28872 996147200 134512640 135239859 4294956208 18446744073709551615 134538924 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29985 28872 406 177 0 28888 0
Current children cumulated CPU time (s) 220.37
Current children cumulated vsize (KiB) 119940

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 30891
/proc/meminfo: memFree=1484136/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119940 CPUtime=279.86
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30350 0 0 0 27968 18 0 0 25 0 1 0 1985162770 122818560 28882 996147200 134512640 135239859 4294956208 18446744073709551615 134538965 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29985 28882 406 177 0 28888 0
Current children cumulated CPU time (s) 279.86
Current children cumulated vsize (KiB) 119940

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 30891
/proc/meminfo: memFree=1482024/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119940 CPUtime=339.34
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30352 0 0 0 33916 18 0 0 25 0 1 0 1985162770 122818560 28884 996147200 134512640 135239859 4294956208 18446744073709551615 134534766 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29985 28884 406 177 0 28888 0
Current children cumulated CPU time (s) 339.34
Current children cumulated vsize (KiB) 119940

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.01 3/82 30891
/proc/meminfo: memFree=1479976/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119940 CPUtime=398.83
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30354 0 0 0 39865 18 0 0 25 0 1 0 1985162770 122818560 28886 996147200 134512640 135239859 4294956208 18446744073709551615 135016026 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29985 28886 406 177 0 28888 0
Current children cumulated CPU time (s) 398.83
Current children cumulated vsize (KiB) 119940

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/82 30891
/proc/meminfo: memFree=1476200/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119940 CPUtime=458.32
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30356 0 0 0 45814 18 0 0 25 0 1 0 1985162770 122818560 28888 996147200 134512640 135239859 4294956208 18446744073709551615 134535354 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29985 28888 406 177 0 28888 0
Current children cumulated CPU time (s) 458.32
Current children cumulated vsize (KiB) 119940

[startup+522.302 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 30891
/proc/meminfo: memFree=1474280/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119940 CPUtime=517.81
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30373 0 0 0 51763 18 0 0 25 0 1 0 1985162770 122818560 28905 996147200 134512640 135239859 4294956208 18446744073709551615 134820135 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29985 28905 406 177 0 28888 0
Current children cumulated CPU time (s) 517.81
Current children cumulated vsize (KiB) 119940

[startup+582.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 30891
/proc/meminfo: memFree=1472488/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120072 CPUtime=577.3
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30391 0 0 0 57711 19 0 0 25 0 1 0 1985162770 122953728 28923 996147200 134512640 135239859 4294956208 18446744073709551615 135096304 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30018 28923 406 177 0 28921 0
Current children cumulated CPU time (s) 577.3
Current children cumulated vsize (KiB) 120072

[startup+642.302 s]
/proc/loadavg: 2.08 2.02 2.00 3/82 30891
/proc/meminfo: memFree=1470632/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120072 CPUtime=636.79
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30394 0 0 0 63660 19 0 0 25 0 1 0 1985162770 122953728 28926 996147200 134512640 135239859 4294956208 18446744073709551615 135096317 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30018 28926 406 177 0 28921 0
Current children cumulated CPU time (s) 636.79
Current children cumulated vsize (KiB) 120072


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

[startup+822.301 s]
/proc/loadavg: 2.08 2.03 2.00 3/82 30891
/proc/meminfo: memFree=1464680/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120072 CPUtime=815.26
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30400 0 0 0 81507 19 0 0 25 0 1 0 1985162770 122953728 28932 996147200 134512640 135239859 4294956208 18446744073709551615 134538897 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30018 28932 406 177 0 28921 0
Current children cumulated CPU time (s) 815.26
Current children cumulated vsize (KiB) 120072

[startup+882.307 s]
/proc/loadavg: 2.08 2.04 2.00 3/82 30891
/proc/meminfo: memFree=1463080/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120072 CPUtime=874.75
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30403 0 0 0 87456 19 0 0 25 0 1 0 1985162770 122953728 28935 996147200 134512640 135239859 4294956208 18446744073709551615 134543129 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30018 28935 406 177 0 28921 0
Current children cumulated CPU time (s) 874.75
Current children cumulated vsize (KiB) 120072

[startup+942.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/82 30891
/proc/meminfo: memFree=1461544/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120204 CPUtime=934.23
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30418 0 0 0 93404 19 0 0 25 0 1 0 1985162770 123088896 28950 996147200 134512640 135239859 4294956208 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30051 28950 406 177 0 28954 0
Current children cumulated CPU time (s) 934.23
Current children cumulated vsize (KiB) 120204

[startup+1002.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/82 30891
/proc/meminfo: memFree=1460008/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=993.72
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30455 0 0 0 99353 19 0 0 25 0 1 0 1985162770 123219968 28954 996147200 134512640 135239859 4294956208 18446744073709551615 134535356 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30083 28954 406 177 0 28986 0
Current children cumulated CPU time (s) 993.72
Current children cumulated vsize (KiB) 120332

[startup+1062.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/82 30891
/proc/meminfo: memFree=1458536/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=1053.21
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30457 0 0 0 105302 19 0 0 25 0 1 0 1985162770 123219968 28956 996147200 134512640 135239859 4294956208 18446744073709551615 134543059 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30083 28956 406 177 0 28986 0
Current children cumulated CPU time (s) 1053.21
Current children cumulated vsize (KiB) 120332

[startup+1122.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/82 30891
/proc/meminfo: memFree=1457064/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=1112.69
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30460 0 0 0 111250 19 0 0 25 0 1 0 1985162770 123219968 28959 996147200 134512640 135239859 4294956208 18446744073709551615 135016000 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30083 28959 406 177 0 28986 0
Current children cumulated CPU time (s) 1112.69
Current children cumulated vsize (KiB) 120332

[startup+1182.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/82 30891
/proc/meminfo: memFree=1455592/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=1172.19
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30462 0 0 0 117200 19 0 0 25 0 1 0 1985162770 123219968 28961 996147200 134512640 135239859 4294956208 18446744073709551615 134820201 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30083 28961 406 177 0 28986 0
Current children cumulated CPU time (s) 1172.19
Current children cumulated vsize (KiB) 120332

[startup+1242.3 s]
/proc/loadavg: 2.14 2.08 2.01 3/82 30891
/proc/meminfo: memFree=1454120/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=1231.67
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30465 0 0 0 123148 19 0 0 25 0 1 0 1985162770 123219968 28964 996147200 134512640 135239859 4294956208 18446744073709551615 134538956 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30083 28964 406 177 0 28986 0
Current children cumulated CPU time (s) 1231.67
Current children cumulated vsize (KiB) 120332

[startup+1302.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/82 30891
/proc/meminfo: memFree=1452584/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=1291.16
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30468 0 0 0 129097 19 0 0 25 0 1 0 1985162770 123219968 28967 996147200 134512640 135239859 4294956208 18446744073709551615 134820211 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30083 28967 406 177 0 28986 0
Current children cumulated CPU time (s) 1291.16
Current children cumulated vsize (KiB) 120332

[startup+1362.3 s]
/proc/loadavg: 2.18 2.10 2.02 3/74 30922
/proc/meminfo: memFree=1589992/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=1350.68
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30470 0 0 0 135049 19 0 0 25 0 1 0 1985162770 123219968 28969 996147200 134512640 135239859 4294956208 18446744073709551615 135103000 0 0 4096 0 0 0 0 17 0 0 0
/proc/30890/statm: 30083 28969 406 177 0 28986 0
Current children cumulated CPU time (s) 1350.68
Current children cumulated vsize (KiB) 120332

[startup+1422.3 s]
/proc/loadavg: 2.15 2.09 2.01 3/74 30922
/proc/meminfo: memFree=1589800/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=1410.66
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30474 0 0 0 141046 20 0 0 25 0 1 0 1985162770 123219968 28973 996147200 134512640 135239859 4294956208 18446744073709551615 134538896 0 0 4096 0 0 0 0 17 0 0 0
/proc/30890/statm: 30083 28973 406 177 0 28986 0
Current children cumulated CPU time (s) 1410.66
Current children cumulated vsize (KiB) 120332

[startup+1482.3 s]
/proc/loadavg: 2.14 2.10 2.02 3/74 30922
/proc/meminfo: memFree=1589672/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=1470.62
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30477 0 0 0 147042 20 0 0 25 0 1 0 1985162770 123219968 28976 996147200 134512640 135239859 4294956208 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 0 0 0
/proc/30890/statm: 30083 28976 406 177 0 28986 0
Current children cumulated CPU time (s) 1470.62
Current children cumulated vsize (KiB) 120332

[startup+1542.31 s]
/proc/loadavg: 2.05 2.08 2.01 3/74 30922
/proc/meminfo: memFree=1589608/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=1530.61
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30481 0 0 0 153040 21 0 0 25 0 1 0 1985162770 123219968 28980 996147200 134512640 135239859 4294956208 18446744073709551615 134543123 0 0 4096 0 0 0 0 17 0 0 0
/proc/30890/statm: 30083 28980 406 177 0 28986 0
Current children cumulated CPU time (s) 1530.61
Current children cumulated vsize (KiB) 120332

[startup+1602.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/74 30922
/proc/meminfo: memFree=1589544/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120464 CPUtime=1590.57
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30530 0 0 0 159036 21 0 0 25 0 1 0 1985162770 123355136 29029 996147200 134512640 135239859 4294956208 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 0 0 0
/proc/30890/statm: 30116 29029 406 177 0 29019 0
Current children cumulated CPU time (s) 1590.57
Current children cumulated vsize (KiB) 120464

[startup+1662.3 s]
/proc/loadavg: 2.00 2.05 2.00 3/74 30922
/proc/meminfo: memFree=1589288/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120852 CPUtime=1650.54
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30614 0 0 0 165033 21 0 0 25 0 1 0 1985162770 123752448 29048 996147200 134512640 135239859 4294956208 18446744073709551615 134543101 0 0 4096 0 0 0 0 17 0 0 0
/proc/30890/statm: 30213 29048 406 177 0 29116 0
Current children cumulated CPU time (s) 1650.54
Current children cumulated vsize (KiB) 120852

[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/74 30922
/proc/meminfo: memFree=1589288/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120852 CPUtime=1710.51
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30619 0 0 0 171030 21 0 0 25 0 1 0 1985162770 123752448 29053 996147200 134512640 135239859 4294956208 18446744073709551615 134540910 0 0 4096 0 0 0 0 17 0 0 0
/proc/30890/statm: 30213 29053 406 177 0 29116 0
Current children cumulated CPU time (s) 1710.51
Current children cumulated vsize (KiB) 120852

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/74 30924
/proc/meminfo: memFree=1589096/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120852 CPUtime=1770.47
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30622 0 0 0 177026 21 0 0 25 0 1 0 1985162770 123752448 29056 996147200 134512640 135239859 4294956208 18446744073709551615 135016006 0 0 4096 0 0 0 0 17 0 0 0
/proc/30890/statm: 30213 29056 406 177 0 29116 0
Current children cumulated CPU time (s) 1770.47
Current children cumulated vsize (KiB) 120852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/74 30924
/proc/meminfo: memFree=1589160/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120852 CPUtime=1800.07
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30625 0 0 0 179986 21 0 0 25 0 1 0 1985162770 123752448 29059 996147200 134512640 135239859 4294956208 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 0 0 0
/proc/30890/statm: 30213 29059 406 177 0 29116 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 120852

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): 1811.92
CPU time (s): 1800.1
CPU user time (s): 1799.86
CPU system time (s): 0.236963
CPU usage (%): 99.3474
Max. virtual memory (cumulated for all children) (KiB): 120852

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

runsolver used 1.66275 second user time and 4.94625 second system time

The end

Launcher Data (download as text)

Begin job on node59 at 2008-07-03 07:11:54
IDJOB=1056151
IDBENCH=57401
IDSOLVER=343
FILE ID=node59/1056151-1215061913
PBS_JOBID= 7875058
Free space on /tmp= 66484 MiB

SOLVER NAME= MDG-noprobe 2008-06-27
BENCH NAME= CPAI08/csp/largeQueens/normalized-queens-500.xml
COMMAND LINE= HOME/xsolve BENCHNAME -heu dom/wdeg -res no 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056151-1215061913/watcher-1056151-1215061913 -o /tmp/evaluation-result-1056151-1215061913/solver-1056151-1215061913 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/xsolve HOME/instance-1056151-1215061913.xml -heu dom/wdeg -res no 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 2f41b36922ebee8c6bbe2e06a2cfd3a7
RANDOM SEED=1453461713

node59.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.261
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.261
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:       1612816 kB
Buffers:         51700 kB
Cached:         255060 kB
SwapCached:       6448 kB
Active:         252400 kB
Inactive:       119620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1612816 kB
SwapTotal:     4192956 kB
SwapFree:      4180500 kB
Dirty:           17436 kB
Writeback:           0 kB
Mapped:          81348 kB
Slab:            56208 kB
Committed_AS:  4019808 kB
PageTables:       2044 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= 66524 MiB
End job on node59 at 2008-07-03 07:42:08