Trace number 1037619

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.01 1815.61

General information on the benchmark

Namecsp/rand-2-26/
normalized-rand-26-26-325-155-52021_ext.xml
MD5SUM1c48693b0a57d78b43fa49bf02ae620f
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark291.567
Satisfiable
(Un)Satisfiability was proved
Number of variables26
Number of constraints325
Maximum constraint arity2
Maximum domain size26
Number of constraints which are defined in extension325
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.01	c start processing
0.95/1.01	c start relation processing
0.95/1.03	c start cnf exporting
2.43/2.52	c parsing time : 0.886
2.43/2.53	c preprocessing time : 2.399
2.43/2.53	
2.43/2.53	c Nary constraints - conflicts : 0 supports : 0
2.43/2.53	c Binary constraints - conflicts : 325 supports :0
2.43/2.53	c max arity constraint : 2
2.43/2.53	c Max Tuples generated 0
2.43/2.53	c relations : 325
2.43/2.53	c relations BDD: 0
2.43/2.53	c sampling 0/0
2.43/2.53	c vars : 677 - clauses :  58851
2.43/2.53	
2.43/2.55	 
2.43/2.55	c --- SAT Solver Stats ---
2.43/2.55	 
2.43/2.56	c eSAT 0.1 : minisat core with additionnal features
2.43/2.56	c ============================[ Problem Statistics ]=============================
2.43/2.56	c |                                                                             |
2.43/2.56	c |  Number of variables:  676                                                  |
2.43/2.56	c |  Number of clauses:    58851                                                |
2.48/2.60	c |  Parsing time:         0.03         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-1037619-1214962282/watcher-1037619-1214962282 -o /tmp/evaluation-result-1037619-1214962282/solver-1037619-1214962282 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1037619-1214962282.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: 2.00 2.00 1.99 4/73 29007
/proc/meminfo: memFree=1242360/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=18572 CPUtime=0
/proc/29007/stat : 29007 (runsolver) R 29005 29007 27042 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1525899984 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 269757246759 0 0 4096 24578 0 0 0 17 1 0 0
/proc/29007/statm: 4643 292 257 25 0 2626 0

[startup+0.078004 s]
/proc/loadavg: 2.00 2.00 1.99 4/73 29007
/proc/meminfo: memFree=1242360/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=0.01
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 765 1698 0 0 0 0 0 1 18 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47584

[startup+0.101096 s]
/proc/loadavg: 2.00 2.00 1.99 4/73 29007
/proc/meminfo: memFree=1242360/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=0.01
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 765 1698 0 0 0 0 0 1 18 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47584

[startup+0.301124 s]
/proc/loadavg: 2.00 2.00 1.99 4/73 29007
/proc/meminfo: memFree=1242360/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=0.01
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 765 1698 0 0 0 0 0 1 18 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47584

[startup+0.701179 s]
/proc/loadavg: 2.00 2.00 1.99 4/73 29007
/proc/meminfo: memFree=1242360/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=0.01
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 765 1698 0 0 0 0 0 1 18 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47584

[startup+1.50128 s]
/proc/loadavg: 2.00 2.00 1.99 4/83 29029
/proc/meminfo: memFree=1171816/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=0.01
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 765 1698 0 0 0 0 0 1 18 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29021] ppid=29007 vsize=812760 CPUtime=1.43
/proc/29021/stat : 29021 (java) S 29007 29007 27042 0 -1 0 21519 0 1 0 131 12 0 0 18 0 9 0 1525899988 832266240 20941 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29021/statm: 203190 20941 1907 9 0 197171 0
[pid=29021/tid=29022] ppid=29007 vsize=812760 CPUtime=1.1
/proc/29021/task/29022/stat : 29022 (java) R 29007 29007 27042 0 -1 64 14510 0 1 0 102 8 0 0 25 0 9 0 1525899989 832266240 20941 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29021/tid=29023] ppid=29007 vsize=812760 CPUtime=0.05
/proc/29021/task/29023/stat : 29023 (java) R 29007 29007 27042 0 -1 64 5450 0 0 0 3 2 0 0 16 0 9 0 1525899990 832266240 20941 996147200 134512640 134550740 4294955616 18446744073709551615 102516792 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29021/tid=29024] ppid=29007 vsize=812760 CPUtime=0
/proc/29021/task/29024/stat : 29024 (java) S 29007 29007 27042 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1525899990 832266240 20941 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29021/tid=29025] ppid=29007 vsize=812760 CPUtime=0
/proc/29021/task/29025/stat : 29025 (java) S 29007 29007 27042 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1525899990 832266240 20941 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29021/tid=29026] ppid=29007 vsize=812760 CPUtime=0
/proc/29021/task/29026/stat : 29026 (java) S 29007 29007 27042 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1525899992 832266240 20941 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29021/tid=29027] ppid=29007 vsize=812760 CPUtime=0.25
/proc/29021/task/29027/stat : 29027 (java) S 29007 29007 27042 0 -1 64 859 0 0 0 25 0 0 0 16 0 9 0 1525899992 832266240 20941 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29021/tid=29028] ppid=29007 vsize=812760 CPUtime=0
/proc/29021/task/29028/stat : 29028 (java) S 29007 29007 27042 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1525899992 832266240 20941 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29021/tid=29029] ppid=29007 vsize=812760 CPUtime=0
/proc/29021/task/29029/stat : 29029 (java) S 29007 29007 27042 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1525899993 832266240 20941 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 860344

[startup+3.10149 s]
/proc/loadavg: 2.00 2.00 1.99 3/83 29029
/proc/meminfo: memFree=1163880/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 47584

[startup+6.30192 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29030
/proc/meminfo: memFree=1232808/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=7856 CPUtime=3.69
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 1900 0 0 0 368 1 0 0 25 0 1 0 1525900240 8044544 1746 996147200 134512640 135177480 4294955984 18446744073709551615 134572599 0 0 4096 3 0 0 0 17 1 0 0
/proc/29030/statm: 1964 1746 81 162 0 1799 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 55440

[startup+12.7018 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29030
/proc/meminfo: memFree=1228264/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=11124 CPUtime=10.03
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 2716 0 0 0 1002 1 0 0 25 0 1 0 1525900240 11390976 2562 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/29030/statm: 2781 2562 81 162 0 2616 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 58708

[startup+25.5025 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29030
/proc/meminfo: memFree=1224424/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=15080 CPUtime=22.71
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 3689 0 0 0 2269 2 0 0 25 0 1 0 1525900240 15441920 3535 996147200 134512640 135177480 4294955984 18446744073709551615 134565395 0 0 4096 3 0 0 0 17 1 0 0
/proc/29030/statm: 3770 3535 81 162 0 3605 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 62664

[startup+51.1029 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29030
/proc/meminfo: memFree=1220200/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=19332 CPUtime=48.06
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 4743 0 0 0 4803 3 0 0 25 0 1 0 1525900240 19795968 4589 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/29030/statm: 4833 4589 81 162 0 4668 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 66916

[startup+102.308 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29030
/proc/meminfo: memFree=1204328/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=29932 CPUtime=98.79
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 7355 0 0 0 9872 7 0 0 25 0 1 0 1525900240 30650368 7201 996147200 134512640 135177480 4294955984 18446744073709551615 134556856 0 0 4096 3 0 0 0 17 1 0 0
/proc/29030/statm: 7483 7201 81 162 0 7318 0
Current children cumulated CPU time (s) 101.27
Current children cumulated vsize (KiB) 77516

[startup+162.303 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29030
/proc/meminfo: memFree=1194536/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=31516 CPUtime=158.22
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 7785 0 0 0 15815 7 0 0 25 0 1 0 1525900240 32272384 7631 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/29030/statm: 7879 7631 81 162 0 7714 0
Current children cumulated CPU time (s) 160.7
Current children cumulated vsize (KiB) 79100

[startup+222.303 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29030
/proc/meminfo: memFree=1179112/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=41460 CPUtime=217.67
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 10234 0 0 0 21756 11 0 0 25 0 1 0 1525900240 42455040 10080 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/29030/statm: 10365 10080 81 162 0 10200 0
Current children cumulated CPU time (s) 220.15
Current children cumulated vsize (KiB) 89044

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29030
/proc/meminfo: memFree=1166952/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=42672 CPUtime=277.1
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 10493 0 0 0 27699 11 0 0 25 0 1 0 1525900240 43696128 10339 996147200 134512640 135177480 4294955984 18446744073709551615 134565325 0 0 4096 3 0 0 0 17 1 0 0
/proc/29030/statm: 10668 10339 81 162 0 10503 0
Current children cumulated CPU time (s) 279.58
Current children cumulated vsize (KiB) 90256

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29030
/proc/meminfo: memFree=1155176/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=54188 CPUtime=336.53
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 13419 0 0 0 33638 15 0 0 25 0 1 0 1525900240 55488512 13265 996147200 134512640 135177480 4294955984 18446744073709551615 134565474 0 0 4096 3 0 0 0 17 1 0 0
/proc/29030/statm: 13547 13265 81 162 0 13382 0
Current children cumulated CPU time (s) 339.01
Current children cumulated vsize (KiB) 101772

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

/proc/29030/statm: 26734 26249 81 162 0 26569 0
Current children cumulated CPU time (s) 1111.7
Current children cumulated vsize (KiB) 154520

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29032
/proc/meminfo: memFree=1057640/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=106936 CPUtime=1168.66
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 26417 0 0 0 116834 32 0 0 25 0 1 0 1525900240 109502464 26255 996147200 134512640 135177480 4294955984 18446744073709551615 134565275 0 0 4096 3 0 0 0 17 1 0 0
/proc/29030/statm: 26734 26255 81 162 0 26569 0
Current children cumulated CPU time (s) 1171.14
Current children cumulated vsize (KiB) 154520

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29032
/proc/meminfo: memFree=1050536/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=107180 CPUtime=1228.09
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 26480 0 0 0 122777 32 0 0 25 0 1 0 1525900240 109752320 26318 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/29030/statm: 26795 26318 81 162 0 26630 0
Current children cumulated CPU time (s) 1230.57
Current children cumulated vsize (KiB) 154764

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29032
/proc/meminfo: memFree=1045608/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=107300 CPUtime=1287.54
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 26492 0 0 0 128722 32 0 0 25 0 1 0 1525900240 109875200 26330 996147200 134512640 135177480 4294955984 18446744073709551615 134565419 0 0 4096 3 0 0 0 17 1 0 0
/proc/29030/statm: 26825 26330 81 162 0 26660 0
Current children cumulated CPU time (s) 1290.02
Current children cumulated vsize (KiB) 154884

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29032
/proc/meminfo: memFree=1045672/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=107300 CPUtime=1346.97
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 26492 0 0 0 134665 32 0 0 25 0 1 0 1525900240 109875200 26330 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/29030/statm: 26825 26330 81 162 0 26660 0
Current children cumulated CPU time (s) 1349.45
Current children cumulated vsize (KiB) 154884

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29032
/proc/meminfo: memFree=1045480/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=107300 CPUtime=1406.41
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 26493 0 0 0 140609 32 0 0 25 0 1 0 1525900240 109875200 26331 996147200 134512640 135177480 4294955984 18446744073709551615 134565388 0 0 4096 3 0 0 0 17 1 0 0
/proc/29030/statm: 26825 26331 81 162 0 26660 0
Current children cumulated CPU time (s) 1408.89
Current children cumulated vsize (KiB) 154884

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29032
/proc/meminfo: memFree=1045480/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=107300 CPUtime=1465.84
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 26498 0 0 0 146552 32 0 0 25 0 1 0 1525900240 109875200 26336 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/29030/statm: 26825 26336 81 162 0 26660 0
Current children cumulated CPU time (s) 1468.32
Current children cumulated vsize (KiB) 154884

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29032
/proc/meminfo: memFree=1041384/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=111276 CPUtime=1525.29
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 27514 0 0 0 152495 34 0 0 25 0 1 0 1525900240 113946624 27352 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/29030/statm: 27819 27352 81 162 0 27654 0
Current children cumulated CPU time (s) 1527.77
Current children cumulated vsize (KiB) 158860

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29032
/proc/meminfo: memFree=1033768/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=118872 CPUtime=1584.73
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 29413 0 0 0 158437 36 0 0 25 0 1 0 1525900240 121724928 29251 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/29030/statm: 29718 29251 81 162 0 29553 0
Current children cumulated CPU time (s) 1587.21
Current children cumulated vsize (KiB) 166456

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29061
/proc/meminfo: memFree=1146088/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=122736 CPUtime=1644.29
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 30411 0 0 0 164391 38 0 0 25 0 1 0 1525900240 125681664 30249 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/29030/statm: 30684 30249 81 162 0 30519 0
Current children cumulated CPU time (s) 1646.77
Current children cumulated vsize (KiB) 170320

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29061
/proc/meminfo: memFree=1146216/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=122736 CPUtime=1704.27
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 30411 0 0 0 170389 38 0 0 25 0 1 0 1525900240 125681664 30249 996147200 134512640 135177480 4294955984 18446744073709551615 134571065 0 0 4096 3 0 0 0 17 0 0 0
/proc/29030/statm: 30684 30249 81 162 0 30519 0
Current children cumulated CPU time (s) 1706.75
Current children cumulated vsize (KiB) 170320

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29067
/proc/meminfo: memFree=1145576/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=123104 CPUtime=1764.24
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 30511 0 0 0 176386 38 0 0 25 0 1 0 1525900240 126058496 30341 996147200 134512640 135177480 4294955984 18446744073709551615 134565395 0 0 4096 3 0 0 0 17 0 0 0
/proc/29030/statm: 30776 30341 81 162 0 30611 0
Current children cumulated CPU time (s) 1766.72
Current children cumulated vsize (KiB) 170688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.6 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 29067
/proc/meminfo: memFree=1145640/2055920 swapFree=4180424/4192956
[pid=29007] ppid=29005 vsize=47584 CPUtime=2.48
/proc/29007/stat : 29007 (galacE.sh) S 29005 29007 27042 0 -1 4194304 799 23230 0 1 0 0 233 15 17 0 1 0 1525899984 48726016 364 996147200 4194304 4520092 548682068832 18446744073709551615 269756853082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29007/statm: 11896 364 245 79 0 219 0
[pid=29030] ppid=29007 vsize=123104 CPUtime=1797.53
/proc/29030/stat : 29030 (eSAT_static) R 29007 29007 27042 0 -1 4194304 30514 0 0 0 179715 38 0 0 25 0 1 0 1525900240 126058496 30344 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/29030/statm: 30776 30344 81 162 0 30611 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 170688

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 29007 and gives
#  childrusage.ru_utime.tv_sec=2
#  childrusage.ru_utime.tv_usec=343643
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=168974
# CPU time returned by wait4() is 2.51262
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1815.61
CPU time (s): 1800.01
CPU user time (s): 1799.48
CPU system time (s): 0.53
CPU usage (%): 99.1406
Max. virtual memory (cumulated for all children) (KiB): 860344

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

runsolver used 2.27765 second user time and 5.83611 second system time

The end

Launcher Data (download as text)

Begin job on node13 at 2008-07-02 03:31:22
IDJOB=1037619
IDBENCH=53518
IDSOLVER=351
FILE ID=node13/1037619-1214962282
PBS_JOBID= 7870308
Free space on /tmp= 66552 MiB

SOLVER NAME= galac E
BENCH NAME= CPAI08/csp/rand-2-26/normalized-rand-26-26-325-155-52021_ext.xml
COMMAND LINE= HOME/galacE.sh BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1037619-1214962282/watcher-1037619-1214962282 -o /tmp/evaluation-result-1037619-1214962282/solver-1037619-1214962282 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/galacE.sh HOME/instance-1037619-1214962282.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 1c48693b0a57d78b43fa49bf02ae620f
RANDOM SEED=1818106546

node13.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.238
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.238
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:       1242840 kB
Buffers:         49404 kB
Cached:         646484 kB
SwapCached:       6620 kB
Active:         112028 kB
Inactive:       626444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1242840 kB
SwapTotal:     4192956 kB
SwapFree:      4180424 kB
Dirty:            3468 kB
Writeback:           0 kB
Mapped:          49264 kB
Slab:            59788 kB
Committed_AS:  2874392 kB
PageTables:       1976 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= 66548 MiB
End job on node13 at 2008-07-02 04:01:40