Trace number 221221

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, and are wall clock time (not CPU 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 1? (MO) 7.29489 1689.02

General information on the benchmark

NamequeenAttacking/
queenAttacking-8.xml
MD5SUM16844b2a8a95da9ff87f9b9658283ef6
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables65
Number of constraints2034
Maximum constraint arity2
Maximum domain size64
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2034
Global constraints used (with number of constraints)

Solver Data (download as text)

0.04	c --- Preproc Stats ---
1.44	c start processing
1.44	c start relation processing
1.45	c start cnf exporting
7.34	c parsing time : 1.27
7.34	c preprocessing time : 7.175
7.34	
7.34	c Nary constraints - conflicts : 0 supports : 0
7.34	c Binary constraints - conflicts : 1953 supports :81
7.34	c max arity constraint : 2
7.34	c Max Tuples generated 4096
7.34	c relations : 3
7.34	c relations BDD: 0
7.34	c vars : 4107 - clauses :  263414
7.34	
7.37	 
7.37	c --- Minisat Stats ---
7.37

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node55/watcher-221221-1168717308 -o ROOT/results/node55/solver-221221-1168717308 -C 1800 -M 900 /tmp/evaluation/221221-1168717308/galac.sh /tmp/evaluation/221221-1168717308/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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

/proc/loadavg: 0.37 0.82 0.94 5/70 4029
/proc/meminfo: memFree=1545552/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=8564 CPUtime=0
/proc/4028/stat : 4028 (galac.sh) D 4025 4028 3917 0 -1 4194304 317 0 0 0 0 0 0 0 17 0 1 0 220129378 8769536 261 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761778130 0 2147483391 4096 8192 18446744072099781622 0 0 17 1 0 0
/proc/4028/statm: 2141 261 201 79 0 134 0

[startup+0.103542 s]
/proc/loadavg: 0.37 0.82 0.94 5/70 4029
/proc/meminfo: memFree=1545552/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=0.01
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 761 1704 0 0 0 0 0 1 18 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47580

[startup+0.511583 s]
/proc/loadavg: 0.37 0.82 0.94 5/70 4029
/proc/meminfo: memFree=1545552/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=0.01
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 761 1704 0 0 0 0 0 1 18 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47580

[startup+1.33367 s]
/proc/loadavg: 0.58 0.85 0.95 3/89 4072
/proc/meminfo: memFree=1465776/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=0.01
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 761 1704 0 0 0 0 0 1 18 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4058] ppid=4028 vsize=860984 CPUtime=1.27
/proc/4058/stat : 4058 (java) R 4028 4028 3917 0 -1 0 12415 0 1 0 118 9 0 0 25 0 8 0 220129383 881647616 12168 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4058/statm: 215246 12168 1989 14 0 201504 0
[pid=4058/tid=4062] ppid=4028 vsize=860984 CPUtime=0.05
/proc/4058/task/4062/stat : 4062 (java) R 4028 4028 3917 0 -1 64 3355 0 0 0 4 1 0 0 17 0 8 0 220129386 881647616 12168 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4155135518 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4063] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4063/stat : 4063 (java) S 4028 4028 3917 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220129387 881647616 12168 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4064] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4064/stat : 4064 (java) S 4028 4028 3917 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 220129387 881647616 12168 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4069] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4069/stat : 4069 (java) S 4028 4028 3917 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 220129390 881647616 12168 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4058/tid=4070] ppid=4028 vsize=860984 CPUtime=0.32
/proc/4058/task/4070/stat : 4070 (java) S 4028 4028 3917 0 -1 64 1078 0 0 0 30 2 0 0 15 0 8 0 220129390 881647616 12168 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4071] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4071/stat : 4071 (java) S 4028 4028 3917 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 220129390 881647616 12168 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4058/tid=4072] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4072/stat : 4072 (java) S 4028 4028 3917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220129390 881647616 12168 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 908564

[startup+2.97182 s]
/proc/loadavg: 0.58 0.85 0.95 3/89 4072
/proc/meminfo: memFree=1404080/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=0.01
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 761 1704 0 0 0 0 0 1 18 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4058] ppid=4028 vsize=860984 CPUtime=2.9
/proc/4058/stat : 4058 (java) R 4028 4028 3917 0 -1 0 19568 0 3 0 275 15 0 0 25 0 8 0 220129383 881647616 19320 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4153380166 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4058/statm: 215246 19320 2015 14 0 201504 0
[pid=4058/tid=4062] ppid=4028 vsize=860984 CPUtime=0.09
/proc/4058/task/4062/stat : 4062 (java) S 4028 4028 3917 0 -1 64 3475 0 0 0 8 1 0 0 16 0 8 0 220129386 881647616 19320 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4063] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4063/stat : 4063 (java) S 4028 4028 3917 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220129387 881647616 19320 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4064] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4064/stat : 4064 (java) S 4028 4028 3917 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 220129387 881647616 19320 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4069] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4069/stat : 4069 (java) S 4028 4028 3917 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 220129390 881647616 19320 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4058/tid=4070] ppid=4028 vsize=860984 CPUtime=0.38
/proc/4058/task/4070/stat : 4070 (java) S 4028 4028 3917 0 -1 64 1121 0 0 0 36 2 0 0 15 0 8 0 220129390 881647616 19320 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4071] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4071/stat : 4071 (java) S 4028 4028 3917 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 220129390 881647616 19320 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4058/tid=4072] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4072/stat : 4072 (java) S 4028 4028 3917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220129390 881647616 19320 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 908564

[startup+6.17613 s]
/proc/loadavg: 0.58 0.85 0.95 3/89 4072
/proc/meminfo: memFree=1397808/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=0.01
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 761 1704 0 0 0 0 0 1 18 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4058] ppid=4028 vsize=860984 CPUtime=6.08
/proc/4058/stat : 4058 (java) R 4028 4028 3917 0 -1 0 19578 0 3 0 592 16 0 0 25 0 8 0 220129383 881647616 19324 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4074347566 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4058/statm: 215246 19324 2015 14 0 201504 0
[pid=4058/tid=4062] ppid=4028 vsize=860984 CPUtime=0.1
/proc/4058/task/4062/stat : 4062 (java) S 4028 4028 3917 0 -1 64 3475 0 0 0 9 1 0 0 16 0 8 0 220129386 881647616 19324 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4063] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4063/stat : 4063 (java) S 4028 4028 3917 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220129387 881647616 19324 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4064] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4064/stat : 4064 (java) S 4028 4028 3917 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 220129387 881647616 19324 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4069] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4069/stat : 4069 (java) S 4028 4028 3917 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 220129390 881647616 19324 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4058/tid=4070] ppid=4028 vsize=860984 CPUtime=0.38
/proc/4058/task/4070/stat : 4070 (java) S 4028 4028 3917 0 -1 64 1125 0 0 0 36 2 0 0 16 0 8 0 220129390 881647616 19324 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4071] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4071/stat : 4071 (java) S 4028 4028 3917 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 220129390 881647616 19324 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4058/tid=4072] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4072/stat : 4072 (java) S 4028 4028 3917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220129390 881647616 19324 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 908564

[startup+12.6458 s]
/proc/loadavg: 0.79 0.89 0.96 3/82 4073
/proc/meminfo: memFree=1434024/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=28364 CPUtime=5.23
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 6950 0 0 0 519 4 0 0 25 0 1 0 220130116 29044736 6932 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134715850 0 0 4096 3 0 0 0 17 1 0 0
/proc/4073/statm: 7091 6932 54 142 0 6947 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 75944

[startup+25.486 s]
/proc/loadavg: 0.98 0.93 0.97 3/82 4073
/proc/meminfo: memFree=1392808/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=60796 CPUtime=18.01
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 15044 0 0 0 1793 8 0 0 25 0 1 0 220130116 62255104 15026 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/4073/statm: 15199 15026 54 142 0 15055 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 108376

[startup+51.1525 s]
/proc/loadavg: 1.33 1.01 0.99 3/75 4074
/proc/meminfo: memFree=1331936/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=97752 CPUtime=43.54
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 24275 0 0 0 4336 18 0 0 25 0 1 0 220130116 100098048 24257 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529430 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 24438 24257 54 142 0 24294 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 145332

[startup+102.362 s]
/proc/loadavg: 1.73 1.17 1.05 3/75 4074
/proc/meminfo: memFree=1261728/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=149888 CPUtime=94.51
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 37286 0 0 0 9422 29 0 0 25 0 1 0 220130116 153485312 37268 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 37472 37268 54 142 0 37328 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 197468

[startup+162.402 s]
/proc/loadavg: 1.90 1.32 1.11 3/75 4074
/proc/meminfo: memFree=1191328/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=204784 CPUtime=154.27
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 50979 0 0 0 15387 40 0 0 25 0 1 0 220130116 209698816 50961 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529435 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 51196 50961 54 142 0 51052 0
Current children cumulated CPU time (s) 161.54
Current children cumulated vsize (KiB) 252364

[startup+222.441 s]
/proc/loadavg: 1.96 1.44 1.16 3/75 4074
/proc/meminfo: memFree=1114208/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=258980 CPUtime=214.03
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 64474 0 0 0 21350 53 0 0 25 0 1 0 220130116 265195520 64456 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 64745 64456 54 142 0 64601 0
Current children cumulated CPU time (s) 221.3
Current children cumulated vsize (KiB) 306560

[startup+282.485 s]
/proc/loadavg: 1.98 1.54 1.21 3/75 4074
/proc/meminfo: memFree=1041248/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=302576 CPUtime=273.81
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 75405 0 0 0 27318 63 0 0 25 0 1 0 220130116 309837824 75387 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 75644 75387 54 142 0 75500 0
Current children cumulated CPU time (s) 281.08
Current children cumulated vsize (KiB) 350156

[startup+342.526 s]
/proc/loadavg: 1.99 1.62 1.26 3/75 4074
/proc/meminfo: memFree=976608/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27

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

/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=609524 CPUtime=931.29
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 151953 0 0 0 92990 139 0 0 25 0 1 0 220130116 624152576 151935 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529461 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 152381 151935 54 142 0 152237 0
Current children cumulated CPU time (s) 938.56
Current children cumulated vsize (KiB) 657104

[startup+1003.02 s]
/proc/loadavg: 2.00 1.95 1.61 3/75 4074
/proc/meminfo: memFree=273504/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=649064 CPUtime=991.07
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 161801 0 0 0 98959 148 0 0 25 0 1 0 220130116 664641536 161783 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 162266 161783 54 142 0 162122 0
Current children cumulated CPU time (s) 998.34
Current children cumulated vsize (KiB) 696644

[startup+1063.07 s]
/proc/loadavg: 2.00 1.95 1.64 3/75 4074
/proc/meminfo: memFree=214368/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=674704 CPUtime=1050.86
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 168197 0 0 0 104933 153 0 0 25 0 1 0 220130116 690896896 168179 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529430 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 168676 168179 54 142 0 168532 0
Current children cumulated CPU time (s) 1058.13
Current children cumulated vsize (KiB) 722284

[startup+1123.11 s]
/proc/loadavg: 2.00 1.96 1.65 3/75 4074
/proc/meminfo: memFree=163872/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=696640 CPUtime=1110.62
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 173633 0 0 0 110903 159 0 0 25 0 1 0 220130116 713359360 173615 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529435 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 174160 173615 54 142 0 174016 0
Current children cumulated CPU time (s) 1117.89
Current children cumulated vsize (KiB) 744220

[startup+1183.18 s]
/proc/loadavg: 2.00 1.97 1.67 3/81 4192
/proc/meminfo: memFree=105376/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=720224 CPUtime=1170.36
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 179517 0 0 0 116862 174 0 0 25 0 1 0 220130116 737509376 179499 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529453 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 180056 179499 54 142 0 179912 0
Current children cumulated CPU time (s) 1177.63
Current children cumulated vsize (KiB) 767804

[startup+1243.25 s]
/proc/loadavg: 2.00 1.97 1.69 3/75 4272
/proc/meminfo: memFree=61920/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=738824 CPUtime=1230.11
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 184160 0 0 0 122819 192 0 0 25 0 1 0 220130116 756555776 184142 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 184706 184142 54 142 0 184562 0
Current children cumulated CPU time (s) 1237.38
Current children cumulated vsize (KiB) 786404

[startup+1303.3 s]
/proc/loadavg: 2.00 1.97 1.71 3/75 4272
/proc/meminfo: memFree=15200/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=761168 CPUtime=1289.87
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 189760 0 0 0 128789 198 0 0 25 0 1 0 220130116 779436032 189742 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 190292 189742 54 142 0 190148 0
Current children cumulated CPU time (s) 1297.14
Current children cumulated vsize (KiB) 808748

[startup+1363.35 s]
/proc/loadavg: 2.06 1.99 1.73 3/75 4272
/proc/meminfo: memFree=15648/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=783736 CPUtime=1349.64
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 195390 0 0 0 134761 203 0 0 25 0 1 0 220130116 802545664 195372 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529444 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 195934 195372 54 142 0 195790 0
Current children cumulated CPU time (s) 1356.91
Current children cumulated vsize (KiB) 831316

[startup+1423.4 s]
/proc/loadavg: 2.02 1.99 1.74 3/75 4272
/proc/meminfo: memFree=15840/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=799760 CPUtime=1409.42
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 199426 0 0 0 140735 207 0 0 25 0 1 0 220130116 818954240 199408 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 199940 199408 54 142 0 199796 0
Current children cumulated CPU time (s) 1416.69
Current children cumulated vsize (KiB) 847340

[startup+1483.45 s]
/proc/loadavg: 2.04 2.00 1.76 3/75 4272
/proc/meminfo: memFree=16032/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=815480 CPUtime=1469.18
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 203338 0 0 0 146706 212 0 0 25 0 1 0 220130116 835051520 203320 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 203870 203320 54 142 0 203726 0
Current children cumulated CPU time (s) 1476.45
Current children cumulated vsize (KiB) 863060

[startup+1543.48 s]
/proc/loadavg: 1.79 1.95 1.75 2/66 5195
/proc/meminfo: memFree=915824/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=831992 CPUtime=1528.93
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 207447 0 0 0 152673 220 0 0 25 0 1 0 220130116 851959808 207429 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529453 0 0 4096 3 0 0 0 17 1 0 0
/proc/4073/statm: 207998 207429 54 142 0 207854 0
Current children cumulated CPU time (s) 1536.2
Current children cumulated vsize (KiB) 879572

[startup+1603.54 s]
/proc/loadavg: 1.29 1.77 1.70 2/66 5195
/proc/meminfo: memFree=899768/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=848500 CPUtime=1588.97
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 211568 0 0 0 158672 225 0 0 25 0 1 0 220130116 868864000 211550 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529435 0 0 4096 3 0 0 0 17 1 0 0
/proc/4073/statm: 212125 211550 54 142 0 211981 0
Current children cumulated CPU time (s) 1596.24
Current children cumulated vsize (KiB) 896080

[startup+1663.59 s]
/proc/loadavg: 1.10 1.63 1.66 2/66 5195
/proc/meminfo: memFree=880888/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=867616 CPUtime=1649.01
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 216335 0 0 0 164672 229 0 0 25 0 1 0 220130116 888438784 216317 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/4073/statm: 216904 216317 54 142 0 216760 0
Current children cumulated CPU time (s) 1656.28
Current children cumulated vsize (KiB) 915196



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1689.01 s]
/proc/loadavg: 1.07 1.58 1.64 2/66 5195
/proc/meminfo: memFree=874232/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=874024 CPUtime=1674.43
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 217908 0 0 0 167213 230 0 0 25 0 1 0 220130116 895000576 217890 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/4073/statm: 218506 217890 54 142 0 218362 0
Current children cumulated CPU time (s) 1681.7
Current children cumulated vsize (KiB) 921604

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1689.02
CPU time (s): 7.29489
CPU user time (s): 7.09792
CPU system time (s): 0.19697
CPU usage (%): 0.431901
Max. virtual memory (cumulated for all children) (KiB): 921604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.09792
system time used= 0.19697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22097
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1813
involuntary context switches= 1886

runsolver used 1.60076 s user time and 4.40633 s system time

The end

Launcher Data (download as text)

Begin job on node55 on Sat Jan 13 19:41:49 UTC 2007


IDJOB= 221221
IDBENCH= 5402
IDSOLVER= 78
FILE ID= node55/221221-1168717308

PBS_JOBID= 3547614

Free space on /tmp= 66558 MiB

SOLVER NAME= galac 1
BENCH NAME= HOME/pub/bench/CPAI06/queenAttacking/queenAttacking-8.xml
COMMAND LINE= /tmp/evaluation/221221-1168717308/galac.sh /tmp/evaluation/221221-1168717308/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-221221-1168717308 -o ROOT/results/node55/solver-221221-1168717308 -C 1800 -M 900  /tmp/evaluation/221221-1168717308/galac.sh /tmp/evaluation/221221-1168717308/unknown.xml

META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH=  16844b2a8a95da9ff87f9b9658283ef6

RANDOM SEED= 680258266

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.218
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	: 5931.00
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.218
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:       1546376 kB
Buffers:         34872 kB
Cached:         381360 kB
SwapCached:        268 kB
Active:          77292 kB
Inactive:       358688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1546376 kB
SwapTotal:     4192956 kB
SwapFree:      4192192 kB
Dirty:            7024 kB
Writeback:           0 kB
Mapped:          28688 kB
Slab:            59332 kB
Committed_AS:  4906592 kB
PageTables:       1572 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= 66558 MiB



End job on node55 on Sat Jan 13 20:10:00 UTC 2007