Trace number 1034883

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
galac E? (TO) 1800.09 1801.21

General information on the benchmark

Namecsp/rand-2-24/
normalized-rand-24-24-276-139-50021_ext.xml
MD5SUMe570646ca52c606f1dbc5f5ee957b863
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.80357
Satisfiable
(Un)Satisfiability was proved
Number of variables24
Number of constraints276
Maximum constraint arity2
Maximum domain size24
Number of constraints which are defined in extension276
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.03	c --- Preproc Stats ---
0.95/1.05	c start processing
0.95/1.05	c start relation processing
0.95/1.06	c start cnf exporting
2.14/2.23	c parsing time : 0.92
2.14/2.23	c preprocessing time : 2.106
2.14/2.23	
2.14/2.23	c Nary constraints - conflicts : 0 supports : 0
2.14/2.23	c Binary constraints - conflicts : 276 supports :0
2.14/2.23	c max arity constraint : 2
2.14/2.23	c Max Tuples generated 0
2.14/2.23	c relations : 276
2.14/2.23	c relations BDD: 0
2.14/2.23	c sampling 0/0
2.14/2.23	c vars : 577 - clauses :  45012
2.14/2.23	
2.14/2.29	 
2.14/2.29	c --- SAT Solver Stats ---
2.14/2.29	 
2.14/2.29	c eSAT 0.1 : minisat core with additionnal features
2.14/2.29	c ============================[ Problem Statistics ]=============================
2.14/2.29	c |                                                                             |
2.14/2.29	c |  Number of variables:  576                                                  |
2.14/2.29	c |  Number of clauses:    45012                                                |
2.19/2.32	c |  Parsing time:         0.02         s                                       |

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-1034883-1214949778/watcher-1034883-1214949778 -o /tmp/evaluation-result-1034883-1214949778/solver-1034883-1214949778 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1034883-1214949778.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): 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: 1.99 1.15 0.47 4/72 5123
/proc/meminfo: memFree=1527056/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=8560 CPUtime=0
/proc/5123/stat : 5123 (galacE.sh) R 5121 5123 4659 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 1973952644 8765440 254 996147200 4194304 4520092 548682068832 18446744073709551615 214920054671 0 0 4096 8192 0 0 0 17 1 0 0
/proc/5123/statm: 2140 254 197 79 0 133 0

[startup+0.015963 s]
/proc/loadavg: 1.99 1.15 0.47 4/72 5123
/proc/meminfo: memFree=1527056/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=8652 CPUtime=0
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 346 0 0 0 0 0 0 0 19 0 1 0 1973952644 8859648 280 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 2163 280 208 79 0 156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8652

[startup+0.101835 s]
/proc/loadavg: 1.99 1.15 0.47 4/72 5123
/proc/meminfo: memFree=1527056/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=0.01
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47580

[startup+0.301864 s]
/proc/loadavg: 1.99 1.15 0.47 4/72 5123
/proc/meminfo: memFree=1527056/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=0.01
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47580

[startup+0.701918 s]
/proc/loadavg: 1.99 1.15 0.47 4/72 5123
/proc/meminfo: memFree=1527056/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=0.01
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47580

[startup+1.50103 s]
/proc/loadavg: 1.99 1.15 0.47 4/82 5145
/proc/meminfo: memFree=1456896/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=0.01
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5137] ppid=5123 vsize=812760 CPUtime=1.43
/proc/5137/stat : 5137 (java) S 5123 5123 4659 0 -1 0 19852 0 1 0 132 11 0 0 18 0 9 0 1973952648 832266240 19276 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5137/statm: 203190 19276 1905 9 0 197171 0
[pid=5137/tid=5138] ppid=5123 vsize=812760 CPUtime=1.12
/proc/5137/task/5138/stat : 5138 (java) R 5123 5123 4659 0 -1 64 14509 0 1 0 104 8 0 0 25 0 9 0 1973952649 832266240 19276 996147200 134512640 134550740 4294955616 18446744073709551615 4126974033 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5137/tid=5139] ppid=5123 vsize=812760 CPUtime=0.03
/proc/5137/task/5139/stat : 5139 (java) S 5123 5123 4659 0 -1 64 3787 0 0 0 2 1 0 0 16 0 9 0 1973952650 832266240 19276 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5137/tid=5140] ppid=5123 vsize=812760 CPUtime=0
/proc/5137/task/5140/stat : 5140 (java) S 5123 5123 4659 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1973952651 832266240 19276 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5137/tid=5141] ppid=5123 vsize=812760 CPUtime=0
/proc/5137/task/5141/stat : 5141 (java) S 5123 5123 4659 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1973952651 832266240 19276 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5137/tid=5142] ppid=5123 vsize=812760 CPUtime=0
/proc/5137/task/5142/stat : 5142 (java) S 5123 5123 4659 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1973952653 832266240 19276 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5137/tid=5143] ppid=5123 vsize=812760 CPUtime=0.25
/proc/5137/task/5143/stat : 5143 (java) S 5123 5123 4659 0 -1 64 857 0 0 0 25 0 0 0 16 0 9 0 1973952653 832266240 19276 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5137/tid=5144] ppid=5123 vsize=812760 CPUtime=0
/proc/5137/task/5144/stat : 5144 (java) S 5123 5123 4659 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1973952653 832266240 19276 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5137/tid=5145] ppid=5123 vsize=812760 CPUtime=0
/proc/5137/task/5145/stat : 5145 (java) S 5123 5123 4659 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1973952653 832266240 19276 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 860340

[startup+3.10124 s]
/proc/loadavg: 1.99 1.15 0.47 3/82 5145
/proc/meminfo: memFree=1449856/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 47580

[startup+6.30267 s]
/proc/loadavg: 1.99 1.16 0.48 3/74 5146
/proc/meminfo: memFree=1520256/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=6940 CPUtime=3.97
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 1610 0 0 0 396 1 0 0 25 0 1 0 1973952873 7106560 1487 996147200 134512640 135177480 4294955984 18446744073709551615 134565340 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 1735 1487 81 162 0 1570 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 54520

[startup+12.7015 s]
/proc/loadavg: 1.99 1.18 0.49 3/74 5146
/proc/meminfo: memFree=1516544/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=10652 CPUtime=10.32
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 2548 0 0 0 1030 2 0 0 25 0 1 0 1973952873 10907648 2425 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 2663 2425 81 162 0 2498 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 58232

[startup+25.5012 s]
/proc/loadavg: 1.99 1.22 0.51 3/74 5146
/proc/meminfo: memFree=1514112/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=12992 CPUtime=23
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 3118 0 0 0 2298 2 0 0 25 0 1 0 1973952873 13303808 2995 996147200 134512640 135177480 4294955984 18446744073709551615 134565529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 3248 2995 81 162 0 3083 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 60572

[startup+51.1017 s]
/proc/loadavg: 1.99 1.28 0.55 3/74 5173
/proc/meminfo: memFree=1507336/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=19068 CPUtime=48.49
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 4611 0 0 0 4845 4 0 0 25 0 1 0 1973952873 19525632 4488 996147200 134512640 135177480 4294955984 18446744073709551615 134565414 0 0 4096 3 0 0 0 17 0 0 0
/proc/5146/statm: 4767 4488 81 162 0 4602 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 66648

[startup+102.306 s]
/proc/loadavg: 2.11 1.42 0.63 3/74 5173
/proc/meminfo: memFree=1497544/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=28656 CPUtime=99.67
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 6995 0 0 0 9961 6 0 0 25 0 1 0 1973952873 29343744 6872 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/5146/statm: 7164 6872 81 162 0 6999 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 76236

[startup+162.302 s]
/proc/loadavg: 2.12 1.55 0.73 3/74 5173
/proc/meminfo: memFree=1492296/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=34040 CPUtime=159.65
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 8368 0 0 0 15957 8 0 0 25 0 1 0 1973952873 34856960 8245 996147200 134512640 135177480 4294955984 18446744073709551615 134565483 0 0 4096 3 0 0 0 17 0 0 0
/proc/5146/statm: 8510 8245 81 162 0 8345 0
Current children cumulated CPU time (s) 161.84
Current children cumulated vsize (KiB) 81620

[startup+222.302 s]
/proc/loadavg: 2.08 1.64 0.81 3/74 5173
/proc/meminfo: memFree=1485832/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=40360 CPUtime=219.62
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 9869 0 0 0 21953 9 0 0 25 0 1 0 1973952873 41328640 9746 996147200 134512640 135177480 4294955984 18446744073709551615 134565251 0 0 4096 3 0 0 0 17 0 0 0
/proc/5146/statm: 10090 9746 81 162 0 9925 0
Current children cumulated CPU time (s) 221.81
Current children cumulated vsize (KiB) 87940

[startup+282.302 s]
/proc/loadavg: 2.07 1.72 0.88 3/74 5173
/proc/meminfo: memFree=1477192/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=48824 CPUtime=279.6
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 12033 0 0 0 27948 12 0 0 25 0 1 0 1973952873 49995776 11910 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/5146/statm: 12206 11910 81 162 0 12041 0
Current children cumulated CPU time (s) 281.79
Current children cumulated vsize (KiB) 96404

[startup+342.302 s]
/proc/loadavg: 2.06 1.78 0.96 3/74 5173
/proc/meminfo: memFree=1477000/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=49164 CPUtime=339.58
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 12077 0 0 0 33946 12 0 0 25 0 1 0 1973952873 50343936 11954 996147200 134512640 135177480 4294955984 18446744073709551615 134565321 0 0 4096 3 0 0 0 17 0 0 0
/proc/5146/statm: 12291 11954 81 162 0 12126 0
Current children cumulated CPU time (s) 341.77
Current children cumulated vsize (KiB) 96744

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

/proc/5146/statm: 22119 21492 81 162 0 21954 0
Current children cumulated CPU time (s) 1121.46
Current children cumulated vsize (KiB) 136056

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.55 3/74 5173
/proc/meminfo: memFree=1433928/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=93168 CPUtime=1179.24
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 22803 0 0 0 117899 25 0 0 25 0 1 0 1973952873 95404032 22680 996147200 134512640 135177480 4294955984 18446744073709551615 134745114 0 0 4096 3 0 0 0 17 0 0 0
/proc/5146/statm: 23292 22680 81 162 0 23127 0
Current children cumulated CPU time (s) 1181.43
Current children cumulated vsize (KiB) 140748

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/74 5173
/proc/meminfo: memFree=1428936/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=98144 CPUtime=1239.22
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 24020 0 0 0 123895 27 0 0 25 0 1 0 1973952873 100499456 23897 996147200 134512640 135177480 4294955984 18446744073709551615 134565271 0 0 4096 3 0 0 0 17 0 0 0
/proc/5146/statm: 24536 23897 81 162 0 24371 0
Current children cumulated CPU time (s) 1241.41
Current children cumulated vsize (KiB) 145724

[startup+1302.3 s]
/proc/loadavg: 2.04 1.99 1.60 3/76 5223
/proc/meminfo: memFree=1417656/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=100080 CPUtime=1299.2
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 24519 0 0 0 129892 28 0 0 25 0 1 0 1973952873 102481920 24396 996147200 134512640 135177480 4294955984 18446744073709551615 134565388 0 0 4096 3 0 0 0 17 0 0 0
/proc/5146/statm: 25020 24396 81 162 0 24855 0
Current children cumulated CPU time (s) 1301.39
Current children cumulated vsize (KiB) 147660

[startup+1362.3 s]
/proc/loadavg: 2.01 1.99 1.63 3/76 5223
/proc/meminfo: memFree=1415544/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=100080 CPUtime=1359.17
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 24519 0 0 0 135889 28 0 0 25 0 1 0 1973952873 102481920 24396 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/5146/statm: 25020 24396 81 162 0 24855 0
Current children cumulated CPU time (s) 1361.36
Current children cumulated vsize (KiB) 147660

[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.65 3/76 5223
/proc/meminfo: memFree=1413688/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=100080 CPUtime=1419.15
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 24519 0 0 0 141887 28 0 0 25 0 1 0 1973952873 102481920 24396 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/5146/statm: 25020 24396 81 162 0 24855 0
Current children cumulated CPU time (s) 1421.34
Current children cumulated vsize (KiB) 147660

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/76 5223
/proc/meminfo: memFree=1412792/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=100244 CPUtime=1479.11
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 24559 0 0 0 147883 28 0 0 25 0 1 0 1973952873 102649856 24436 996147200 134512640 135177480 4294955984 18446744073709551615 134565312 0 0 4096 3 0 0 0 17 0 0 0
/proc/5146/statm: 25061 24436 81 162 0 24896 0
Current children cumulated CPU time (s) 1481.3
Current children cumulated vsize (KiB) 147824

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/76 5223
/proc/meminfo: memFree=1412152/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=100324 CPUtime=1539.09
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 24564 0 0 0 153881 28 0 0 25 0 1 0 1973952873 102731776 24441 996147200 134512640 135177480 4294955984 18446744073709551615 134556856 0 0 4096 3 0 0 0 17 0 0 0
/proc/5146/statm: 25081 24441 81 162 0 24916 0
Current children cumulated CPU time (s) 1541.28
Current children cumulated vsize (KiB) 147904

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.70 3/76 5223
/proc/meminfo: memFree=1411256/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=100324 CPUtime=1599.07
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 24564 0 0 0 159879 28 0 0 25 0 1 0 1973952873 102731776 24441 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/5146/statm: 25081 24441 81 162 0 24916 0
Current children cumulated CPU time (s) 1601.26
Current children cumulated vsize (KiB) 147904

[startup+1662.3 s]
/proc/loadavg: 2.12 2.02 1.73 3/76 5223
/proc/meminfo: memFree=1410488/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=100840 CPUtime=1659.04
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 24677 0 0 0 165876 28 0 0 25 0 1 0 1973952873 103260160 24554 996147200 134512640 135177480 4294955984 18446744073709551615 134565271 0 0 4096 3 0 0 0 17 0 0 0
/proc/5146/statm: 25210 24554 81 162 0 25045 0
Current children cumulated CPU time (s) 1661.23
Current children cumulated vsize (KiB) 148420

[startup+1722.3 s]
/proc/loadavg: 2.17 2.06 1.76 3/76 5223
/proc/meminfo: memFree=1404344/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=105612 CPUtime=1719.02
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 25841 0 0 0 171872 30 0 0 25 0 1 0 1973952873 108146688 25718 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/5146/statm: 26403 25718 81 162 0 26238 0
Current children cumulated CPU time (s) 1721.21
Current children cumulated vsize (KiB) 153192

[startup+1782.3 s]
/proc/loadavg: 2.11 2.06 1.77 3/76 5223
/proc/meminfo: memFree=1398840/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=110080 CPUtime=1779
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 26977 0 0 0 177868 32 0 0 25 0 1 0 1973952873 112721920 26854 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/5146/statm: 27520 26854 81 162 0 27355 0
Current children cumulated CPU time (s) 1781.19
Current children cumulated vsize (KiB) 157660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 2.16 2.07 1.78 3/76 5223
/proc/meminfo: memFree=1397176/2055920 swapFree=4179444/4192956
[pid=5123] ppid=5121 vsize=47580 CPUtime=2.19
/proc/5123/stat : 5123 (galacE.sh) S 5121 5123 4659 0 -1 4194304 799 23058 0 1 0 0 204 15 17 0 1 0 1973952644 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5123/statm: 11895 364 245 79 0 219 0
[pid=5146] ppid=5123 vsize=111580 CPUtime=1797.9
/proc/5146/stat : 5146 (eSAT_static) R 5123 5123 4659 0 -1 4194304 27350 0 0 0 179757 33 0 0 25 0 1 0 1973952873 114257920 27227 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/5146/statm: 27895 27227 81 162 0 27730 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 159160

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)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5123 and gives
#  childrusage.ru_utime.tv_sec=2
#  childrusage.ru_utime.tv_usec=50688
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=164974
# CPU time returned by wait4() is 2.21566
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1801.21
CPU time (s): 1800.09
CPU user time (s): 1799.61
CPU system time (s): 0.48
CPU usage (%): 99.9376
Max. virtual memory (cumulated for all children) (KiB): 860340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.05069
system time used= 0.164974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23857
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1125
involuntary context switches= 1049

runsolver used 1.86972 second user time and 5.22021 second system time

The end

Launcher Data (download as text)

Begin job on node10 at 2008-07-02 00:02:58
IDJOB=1034883
IDBENCH=53366
IDSOLVER=351
FILE ID=node10/1034883-1214949778
PBS_JOBID= 7870314
Free space on /tmp= 66528 MiB

SOLVER NAME= galac E
BENCH NAME= CPAI08/csp/rand-2-24/normalized-rand-24-24-276-139-50021_ext.xml
COMMAND LINE= HOME/galacE.sh BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1034883-1214949778/watcher-1034883-1214949778 -o /tmp/evaluation-result-1034883-1214949778/solver-1034883-1214949778 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/galacE.sh HOME/instance-1034883-1214949778.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= e570646ca52c606f1dbc5f5ee957b863
RANDOM SEED=1951059202

node10.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.229
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.229
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:       1527536 kB
Buffers:         44516 kB
Cached:         398152 kB
SwapCached:       7560 kB
Active:          56336 kB
Inactive:       398860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1527536 kB
SwapTotal:     4192956 kB
SwapFree:      4179444 kB
Dirty:            3308 kB
Writeback:           0 kB
Mapped:          20032 kB
Slab:            58336 kB
Committed_AS:  3207500 kB
PageTables:       1904 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 node10 at 2008-07-02 00:33:01