Trace number 2083404

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
Mistral 1.545? (TO) 1800.11 1809.62

General information on the benchmark

Namecsp/fapp/fapp37/
normalized-fapp37-2250-9.xml
MD5SUMb43fc16fe95e90c7bd2840923bd352e6
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 benchmark65.0451
Satisfiable
(Un)Satisfiability was proved
Number of variables2250
Number of constraints42699
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension42699
Global constraints used (with number of constraints)

Solver Data 

0.00/0.07	c mistral version 1.545

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-2083404-1247377319/watcher-2083404-1247377319 -o /tmp/evaluation-result-2083404-1247377319/solver-2083404-1247377319 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2083404-1247377319.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.91 2.90 2.49 4/82 22652
/proc/meminfo: memFree=973504/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=18576 CPUtime=0
/proc/22652/stat : 22652 (runsolver) R 22650 22652 18069 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 24799586 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22652/statm: 4644 284 249 26 0 2626 0

[startup+0.04802 s]
/proc/loadavg: 2.91 2.90 2.49 4/82 22652
/proc/meminfo: memFree=973504/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=3436 CPUtime=0
/proc/22652/stat : 22652 (ld-linux.so.2) D 22650 22652 18069 0 -1 4194304 64 0 4 0 0 0 0 0 18 0 1 0 24799586 3518464 51 996147200 1448431616 1448550632 4294956208 18446744073709551615 1448525284 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/22652/statm: 859 51 36 29 0 11 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3436

[startup+0.103642 s]
/proc/loadavg: 2.91 2.90 2.49 4/82 22652
/proc/meminfo: memFree=973504/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=7056 CPUtime=0.03
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 941 0 11 0 2 1 0 0 18 0 1 0 24799586 7225344 931 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157373280 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 1764 931 355 29 0 579 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7056

[startup+0.301677 s]
/proc/loadavg: 2.91 2.90 2.49 4/82 22652
/proc/meminfo: memFree=973504/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=9680 CPUtime=0.23
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 1607 0 11 0 21 2 0 0 19 0 1 0 24799586 9912320 1597 996147200 1448431616 1448550632 4294956208 18446744073709551615 134704837 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 2420 1597 374 29 0 1235 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9680

[startup+0.701751 s]
/proc/loadavg: 2.91 2.90 2.49 4/82 22652
/proc/meminfo: memFree=973504/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=13572 CPUtime=0.64
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 2576 0 11 0 61 3 0 0 23 0 1 0 24799586 13897728 2566 996147200 1448431616 1448550632 4294956208 18446744073709551615 134688892 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 3393 2566 375 29 0 2208 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 13572

[startup+1.5029 s]
/proc/loadavg: 2.84 2.89 2.49 3/83 22653
/proc/meminfo: memFree=952888/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=21288 CPUtime=1.42
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 4455 0 11 0 138 4 0 0 25 0 1 0 24799586 21798912 4445 996147200 1448431616 1448550632 4294956208 18446744073709551615 134705778 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 5322 4445 375 29 0 4137 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 21288

[startup+3.10118 s]
/proc/loadavg: 2.84 2.89 2.49 3/83 22653
/proc/meminfo: memFree=890488/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115244 CPUtime=3.02
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19026 0 11 0 290 12 0 0 25 0 1 0 24799586 118009856 19016 996147200 1448431616 1448550632 4294956208 18446744073709551615 134531440 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28811 19016 399 29 0 27626 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 115244

[startup+6.30177 s]
/proc/loadavg: 2.77 2.87 2.49 3/83 22653
/proc/meminfo: memFree=865464/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115244 CPUtime=6.21
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19026 0 11 0 609 12 0 0 25 0 1 0 24799586 118009856 19016 996147200 1448431616 1448550632 4294956208 18446744073709551615 134534311 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28811 19016 399 29 0 27626 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 115244

[startup+12.7019 s]
/proc/loadavg: 2.71 2.86 2.48 3/83 22653
/proc/meminfo: memFree=829880/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115244 CPUtime=12.58
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19026 0 11 0 1246 12 0 0 25 0 1 0 24799586 118009856 19016 996147200 1448431616 1448550632 4294956208 18446744073709551615 134530984 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28811 19016 399 29 0 27626 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 115244

[startup+25.5013 s]
/proc/loadavg: 2.67 2.85 2.48 3/83 22653
/proc/meminfo: memFree=754616/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115244 CPUtime=25.32
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19026 0 11 0 2518 14 0 0 25 0 1 0 24799586 118009856 19016 996147200 1448431616 1448550632 4294956208 18446744073709551615 135257905 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28811 19016 399 29 0 27626 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 115244

[startup+51.102 s]
/proc/loadavg: 2.41 2.76 2.47 3/83 22653
/proc/meminfo: memFree=616760/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115244 CPUtime=50.81
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19028 0 11 0 5065 16 0 0 25 0 1 0 24799586 118009856 19018 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529713 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28811 19018 401 29 0 27626 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 115244

[startup+102.306 s]
/proc/loadavg: 2.23 2.66 2.44 3/83 22653
/proc/meminfo: memFree=313912/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115244 CPUtime=101.77
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19028 0 11 0 10154 23 0 0 25 0 1 0 24799586 118009856 19018 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528929 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28811 19018 401 29 0 27626 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 115244

[startup+162.301 s]
/proc/loadavg: 2.25 2.58 2.43 3/83 22653
/proc/meminfo: memFree=15608/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115244 CPUtime=161.51
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19028 0 11 0 16121 30 0 0 25 0 1 0 24799586 118009856 19018 996147200 1448431616 1448550632 4294956208 18446744073709551615 134860792 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28811 19018 401 29 0 27626 0
Current children cumulated CPU time (s) 161.51
Current children cumulated vsize (KiB) 115244

[startup+222.301 s]
/proc/loadavg: 2.16 2.50 2.41 3/83 22653
/proc/meminfo: memFree=15160/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115244 CPUtime=221.23
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19028 0 11 0 22089 34 0 0 25 0 1 0 24799586 118009856 19018 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528928 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28811 19018 401 29 0 27626 0
Current children cumulated CPU time (s) 221.23
Current children cumulated vsize (KiB) 115244

[startup+282.301 s]
/proc/loadavg: 2.06 2.41 2.38 3/83 22653
/proc/meminfo: memFree=14968/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115244 CPUtime=280.97
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19028 0 11 0 28056 41 0 0 25 0 1 0 24799586 118009856 19018 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529433 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28811 19018 401 29 0 27626 0
Current children cumulated CPU time (s) 280.97
Current children cumulated vsize (KiB) 115244

[startup+342.301 s]
/proc/loadavg: 2.02 2.33 2.36 3/83 22653
/proc/meminfo: memFree=15416/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115244 CPUtime=340.69
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19028 0 11 0 34021 48 0 0 25 0 1 0 24799586 118009856 19018 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529786 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28811 19018 401 29 0 27626 0
Current children cumulated CPU time (s) 340.69
Current children cumulated vsize (KiB) 115244

[startup+402.301 s]
/proc/loadavg: 2.01 2.27 2.33 3/83 22701
/proc/meminfo: memFree=1798648/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115244 CPUtime=400.39
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19028 0 11 0 39984 55 0 0 25 0 1 0 24799586 118009856 19018 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529424 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28811 19018 401 29 0 27626 0
Current children cumulated CPU time (s) 400.39
Current children cumulated vsize (KiB) 115244

[startup+462.301 s]
/proc/loadavg: 2.16 2.26 2.32 3/83 22701
/proc/meminfo: memFree=1365816/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115244 CPUtime=460.12
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19028 0 11 0 45951 61 0 0 25 0 1 0 24799586 118009856 19018 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528928 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28811 19018 401 29 0 27626 0
Current children cumulated CPU time (s) 460.12
Current children cumulated vsize (KiB) 115244

[startup+522.301 s]
/proc/loadavg: 2.14 2.24 2.31 3/83 22703
/proc/meminfo: memFree=881912/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115244 CPUtime=519.85
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19028 0 11 0 51915 70 0 0 25 0 1 0 24799586 118009856 19018 996147200 1448431616 1448550632 4294956208 18446744073709551615 134531501 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28811 19018 401 29 0 27626 0
Current children cumulated CPU time (s) 519.85
Current children cumulated vsize (KiB) 115244

[startup+582.301 s]
/proc/loadavg: 2.20 2.24 2.30 3/83 22703
/proc/meminfo: memFree=374840/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115244 CPUtime=579.51
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19041 0 14 0 57873 78 0 0 25 0 1 0 24799586 118009856 19034 996147200 1448431616 1448550632 4294956208 18446744073709551615 135268289 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28811 19034 408 29 0 27626 0
Current children cumulated CPU time (s) 579.51
Current children cumulated vsize (KiB) 115244

[startup+642.301 s]
/proc/loadavg: 2.42 2.29 2.31 3/83 22703
/proc/meminfo: memFree=16184/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115380 CPUtime=639.21
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19051 0 14 0 63835 86 0 0 25 0 1 0 24799586 118149120 19044 996147200 1448431616 1448550632 4294956208 18446744073709551615 134531325 0 0 4096 0 0 0 0 17 1 0 0
/proc/22652/statm: 28845 19044 408 29 0 27660 0
Current children cumulated CPU time (s) 639.21
Current children cumulated vsize (KiB) 115380

[startup+702.301 s]

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

[startup+882.305 s]
/proc/loadavg: 2.13 2.30 2.32 4/84 22905
/proc/meminfo: memFree=1655096/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115380 CPUtime=877.79
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19069 0 14 0 87663 116 0 0 25 0 1 0 24799586 118149120 19062 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529888 0 0 4096 0 0 0 0 17 1 0 0
/proc/22652/statm: 28845 19062 408 29 0 27660 0
Current children cumulated CPU time (s) 877.79
Current children cumulated vsize (KiB) 115380

[startup+942.301 s]
/proc/loadavg: 2.08 2.25 2.30 3/84 22905
/proc/meminfo: memFree=1533496/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115380 CPUtime=937.49
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19069 0 14 0 93633 116 0 0 25 0 1 0 24799586 118149120 19062 996147200 1448431616 1448550632 4294956208 18446744073709551615 134534267 0 0 4096 0 0 0 0 17 1 0 0
/proc/22652/statm: 28845 19062 408 29 0 27660 0
Current children cumulated CPU time (s) 937.49
Current children cumulated vsize (KiB) 115380

[startup+1002.3 s]
/proc/loadavg: 2.03 2.20 2.28 3/84 22905
/proc/meminfo: memFree=1401656/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115380 CPUtime=997.19
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19069 0 14 0 99603 116 0 0 25 0 1 0 24799586 118149120 19062 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528929 0 0 4096 0 0 0 0 17 1 0 0
/proc/22652/statm: 28845 19062 408 29 0 27660 0
Current children cumulated CPU time (s) 997.19
Current children cumulated vsize (KiB) 115380

[startup+1062.3 s]
/proc/loadavg: 2.01 2.16 2.26 3/84 22905
/proc/meminfo: memFree=1281912/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115380 CPUtime=1056.81
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19070 0 14 0 105565 116 0 0 25 0 1 0 24799586 118149120 19063 996147200 1448431616 1448550632 4294956208 18446744073709551615 134860719 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28845 19063 408 29 0 27660 0
Current children cumulated CPU time (s) 1056.81
Current children cumulated vsize (KiB) 115380

[startup+1122.3 s]
/proc/loadavg: 2.15 2.16 2.25 3/85 22906
/proc/meminfo: memFree=1167024/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115380 CPUtime=1116.24
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19072 0 14 0 111508 116 0 0 25 0 1 0 24799586 118149120 19065 996147200 1448431616 1448550632 4294956208 18446744073709551615 134532340 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28845 19065 408 29 0 27660 0
Current children cumulated CPU time (s) 1116.24
Current children cumulated vsize (KiB) 115380

[startup+1182.3 s]
/proc/loadavg: 2.12 2.16 2.25 3/83 22961
/proc/meminfo: memFree=1576128/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115380 CPUtime=1175.85
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19072 0 14 0 117464 121 0 0 25 0 1 0 24799586 118149120 19065 996147200 1448431616 1448550632 4294956208 18446744073709551615 134534269 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28845 19065 408 29 0 27660 0
Current children cumulated CPU time (s) 1175.85
Current children cumulated vsize (KiB) 115380

[startup+1242.3 s]
/proc/loadavg: 2.04 2.13 2.23 3/75 22963
/proc/meminfo: memFree=1218944/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115380 CPUtime=1235.5
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19074 0 14 0 123425 125 0 0 25 0 1 0 24799586 118149120 19067 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529425 0 0 4096 0 0 0 0 17 1 0 0
/proc/22652/statm: 28845 19067 408 29 0 27660 0
Current children cumulated CPU time (s) 1235.5
Current children cumulated vsize (KiB) 115380

[startup+1302.3 s]
/proc/loadavg: 2.01 2.10 2.21 3/75 22963
/proc/meminfo: memFree=988160/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115380 CPUtime=1295.21
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19074 0 14 0 129396 125 0 0 25 0 1 0 24799586 118149120 19067 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529712 0 0 4096 0 0 0 0 17 1 0 0
/proc/22652/statm: 28845 19067 408 29 0 27660 0
Current children cumulated CPU time (s) 1295.21
Current children cumulated vsize (KiB) 115380

[startup+1362.3 s]
/proc/loadavg: 2.00 2.08 2.19 3/83 23048
/proc/meminfo: memFree=1830328/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115380 CPUtime=1354.91
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19074 0 14 0 135364 127 0 0 25 0 1 0 24799586 118149120 19067 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529425 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28845 19067 408 29 0 27660 0
Current children cumulated CPU time (s) 1354.91
Current children cumulated vsize (KiB) 115380

[startup+1422.3 s]
/proc/loadavg: 2.04 2.08 2.18 3/83 23048
/proc/meminfo: memFree=1575096/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115380 CPUtime=1414.65
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19075 0 14 0 141335 130 0 0 25 0 1 0 24799586 118149120 19068 996147200 1448431616 1448550632 4294956208 18446744073709551615 134534311 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28845 19068 408 29 0 27660 0
Current children cumulated CPU time (s) 1414.65
Current children cumulated vsize (KiB) 115380

[startup+1482.3 s]
/proc/loadavg: 2.10 2.09 2.18 3/83 23048
/proc/meminfo: memFree=1202360/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115380 CPUtime=1474.37
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19075 0 14 0 147301 136 0 0 25 0 1 0 24799586 118149120 19068 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529712 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28845 19068 408 29 0 27660 0
Current children cumulated CPU time (s) 1474.37
Current children cumulated vsize (KiB) 115380

[startup+1542.31 s]
/proc/loadavg: 2.12 2.10 2.18 3/83 23048
/proc/meminfo: memFree=860408/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115380 CPUtime=1534.11
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19075 0 14 0 153269 142 0 0 25 0 1 0 24799586 118149120 19068 996147200 1448431616 1448550632 4294956208 18446744073709551615 134531322 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28845 19068 408 29 0 27660 0
Current children cumulated CPU time (s) 1534.11
Current children cumulated vsize (KiB) 115380

[startup+1602.3 s]
/proc/loadavg: 2.23 2.14 2.18 3/83 23048
/proc/meminfo: memFree=500280/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115380 CPUtime=1593.83
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19078 0 14 0 159235 148 0 0 25 0 1 0 24799586 118149120 19071 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529425 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28845 19071 408 29 0 27660 0
Current children cumulated CPU time (s) 1593.83
Current children cumulated vsize (KiB) 115380

[startup+1662.3 s]
/proc/loadavg: 2.12 2.13 2.17 3/75 23050
/proc/meminfo: memFree=184888/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115572 CPUtime=1653.57
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19090 0 14 0 165205 152 0 0 25 0 1 0 24799586 118345728 19083 996147200 1448431616 1448550632 4294956208 18446744073709551615 134860762 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28893 19083 408 29 0 27708 0
Current children cumulated CPU time (s) 1653.57
Current children cumulated vsize (KiB) 115572

[startup+1722.3 s]
/proc/loadavg: 2.73 2.26 2.22 2/70 23067
/proc/meminfo: memFree=21024/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115572 CPUtime=1713.17
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19090 0 14 0 171159 158 0 0 25 0 1 0 24799586 118345728 19083 996147200 1448431616 1448550632 4294956208 18446744073709551615 134860695 0 0 4096 0 0 0 0 17 1 0 0
/proc/22652/statm: 28893 19083 408 29 0 27708 0
Current children cumulated CPU time (s) 1713.17
Current children cumulated vsize (KiB) 115572

[startup+1782.31 s]
/proc/loadavg: 2.43 2.28 2.22 3/81 23129
/proc/meminfo: memFree=1797512/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115572 CPUtime=1772.89
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19090 0 14 0 177117 172 0 0 25 0 1 0 24799586 118345728 19083 996147200 1448431616 1448550632 4294956208 18446744073709551615 134534267 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28893 19083 408 29 0 27708 0
Current children cumulated CPU time (s) 1772.89
Current children cumulated vsize (KiB) 115572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.6 s]
/proc/loadavg: 2.36 2.27 2.22 3/81 23129
/proc/meminfo: memFree=1797512/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115572 CPUtime=1800.09
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19090 0 14 0 179836 173 0 0 25 0 1 0 24799586 118345728 19083 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529425 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28893 19083 408 29 0 27708 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 115572

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

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

[startup+1809.6 s]
/proc/loadavg: 2.36 2.27 2.22 3/81 23129
/proc/meminfo: memFree=1797512/2055920 swapFree=4192812/4192956
[pid=22652] ppid=22650 vsize=115572 CPUtime=1800.09
/proc/22652/stat : 22652 (ld-linux.so.2) R 22650 22652 18069 0 -1 4194304 19090 0 14 0 179836 173 0 0 25 0 1 0 24799586 118345728 19083 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529425 0 0 4096 0 0 0 0 17 0 0 0
/proc/22652/statm: 28893 19083 408 29 0 27708 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 115572

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.62
CPU time (s): 1800.11
CPU user time (s): 1798.36
CPU system time (s): 1.74573
CPU usage (%): 99.4743
Max. virtual memory (cumulated for all children) (KiB): 115572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.36
system time used= 1.74573
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19090
page faults= 14
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57
involuntary context switches= 30446

runsolver used 1.74273 second user time and 4.88626 second system time

The end

Launcher Data 

Begin job on node2 at 2009-07-12 07:41:59
IDJOB=2083404
IDBENCH=57802
IDSOLVER=769
FILE ID=node2/2083404-1247377319
PBS_JOBID= 9507077
Free space on /tmp= 65520 MiB

SOLVER NAME= Mistral 1.545
BENCH NAME= CPAI08/csp/fapp/fapp37/normalized-fapp37-2250-9.xml
COMMAND LINE= /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083404-1247377319/watcher-2083404-1247377319 -o /tmp/evaluation-result-2083404-1247377319/solver-2083404-1247377319 -C 1800 -W 2000 -M 900  /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2083404-1247377319.xml

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

MD5SUM BENCH= b43fc16fe95e90c7bd2840923bd352e6
RANDOM SEED=597402689

node2.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.265
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.265
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:        973984 kB
Buffers:          3760 kB
Cached:         865416 kB
SwapCached:          0 kB
Active:         837004 kB
Inactive:       171540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        973984 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:          138696 kB
Writeback:           0 kB
Mapped:         160684 kB
Slab:            58272 kB
Committed_AS:   354124 kB
PageTables:       2264 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= 66328 MiB
End job on node2 at 2009-07-12 08:12:11