Trace number 203174

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? (TO) 1800.08 1816.46

General information on the benchmark

Namerandom/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-21_ext.xml
MD5SUMcce2fe8a82350e68a666dd3adc81b815
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables28
Number of constraints93
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension93
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.03	c --- Preproc Stats ---
5.57	c start processing
5.57	c start relation processing
19.89	c start cnf exporting
79.94	c parsing time : 5.321
79.94	c preprocessing time : 79.693
79.94	
79.94	c Nary constraints - conflicts : 0 supports : 93
79.94	c Binary constraints - conflicts : 0 supports :0
79.94	c max arity constraint : 3
79.94	c Max Tuples generated 0
79.94	c relations : 93
79.94	c relations BDD: 93
79.94	c vars : 597897 - clauses :  1873518
79.94	
80.01	 
80.01	c --- Minisat Stats ---
80.01

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-203174-1168157382 -o ROOT/results/node55/solver-203174-1168157382 -C 1800 -M 900 /tmp/evaluation/203174-1168157382/galac.sh /tmp/evaluation/203174-1168157382/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: 2.00 1.99 1.86 3/75 7378
/proc/meminfo: memFree=1647544/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=5268 CPUtime=0
/proc/7377/stat : 7377 (galac.sh) R 7375 7377 6938 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 164136560 5394432 175 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761439317 0 0 4096 8192 0 0 0 17 1 0 0
/proc/7377/statm: 1317 175 128 79 0 121 0

[startup+0.104145 s]
/proc/loadavg: 2.00 1.99 1.86 3/75 7378
/proc/meminfo: memFree=1647544/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=0
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 761 1704 0 0 0 0 0 0 18 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47580

[startup+0.512181 s]
/proc/loadavg: 2.00 1.99 1.86 3/75 7378
/proc/meminfo: memFree=1647544/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=0
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 761 1704 0 0 0 0 0 0 18 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47580

[startup+1.33527 s]
/proc/loadavg: 2.08 2.01 1.87 4/83 7398
/proc/meminfo: memFree=1572856/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=0
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 761 1704 0 0 0 0 0 0 18 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7391] ppid=7377 vsize=860852 CPUtime=1.18
/proc/7391/stat : 7391 (java) R 7377 7377 6938 0 -1 0 21361 0 1 0 108 10 0 0 21 0 8 0 164136564 881512448 21114 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073685771 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7391/statm: 215213 21114 1967 14 0 201471 0
[pid=7391/tid=7392] ppid=7377 vsize=860852 CPUtime=0.06
/proc/7391/task/7392/stat : 7392 (java) S 7377 7377 6938 0 -1 64 5607 0 0 0 4 2 0 0 16 0 8 0 164136567 881512448 21114 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7393] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7393/stat : 7393 (java) S 7377 7377 6938 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 164136568 881512448 21114 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7394] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7394/stat : 7394 (java) S 7377 7377 6938 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 164136568 881512448 21114 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7395] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7395/stat : 7395 (java) S 7377 7377 6938 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 164136579 881512448 21114 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7396] ppid=7377 vsize=860852 CPUtime=0.12
/proc/7391/task/7396/stat : 7396 (java) S 7377 7377 6938 0 -1 64 891 0 0 0 11 1 0 0 16 0 8 0 164136579 881512448 21114 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7397] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7397/stat : 7397 (java) S 7377 7377 6938 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 164136579 881512448 21114 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7398] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7398/stat : 7398 (java) S 7377 7377 6938 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164136579 881512448 21114 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 908432

[startup+2.98843 s]
/proc/loadavg: 2.08 2.01 1.87 4/83 7398
/proc/meminfo: memFree=1561912/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=0
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 761 1704 0 0 0 0 0 0 18 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7391] ppid=7377 vsize=860852 CPUtime=2.83
/proc/7391/stat : 7391 (java) R 7377 7377 6938 0 -1 0 25009 0 1 0 270 13 0 0 25 0 8 0 164136564 881512448 24756 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073672742 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7391/statm: 215213 24756 1967 14 0 201471 0
[pid=7391/tid=7392] ppid=7377 vsize=860852 CPUtime=0.19
/proc/7391/task/7392/stat : 7392 (java) S 7377 7377 6938 0 -1 64 9240 0 0 0 15 4 0 0 16 0 8 0 164136567 881512448 24756 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7393] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7393/stat : 7393 (java) S 7377 7377 6938 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 164136568 881512448 24756 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7394] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7394/stat : 7394 (java) S 7377 7377 6938 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 164136568 881512448 24756 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7395] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7395/stat : 7395 (java) S 7377 7377 6938 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 164136579 881512448 24756 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7396] ppid=7377 vsize=860852 CPUtime=0.14
/proc/7391/task/7396/stat : 7396 (java) S 7377 7377 6938 0 -1 64 900 0 0 0 13 1 0 0 16 0 8 0 164136579 881512448 24756 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7397] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7397/stat : 7397 (java) S 7377 7377 6938 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 164136579 881512448 24756 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7398] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7398/stat : 7398 (java) S 7377 7377 6938 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164136579 881512448 24756 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 908432

[startup+6.18974 s]
/proc/loadavg: 2.07 2.01 1.87 4/83 7398
/proc/meminfo: memFree=1530232/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=0
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 761 1704 0 0 0 0 0 0 18 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7391] ppid=7377 vsize=860852 CPUtime=6
/proc/7391/stat : 7391 (java) R 7377 7377 6938 0 -1 0 31395 0 1 0 584 16 0 0 25 0 8 0 164136564 881512448 31133 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073922756 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7391/statm: 215213 31133 1975 14 0 201471 0
[pid=7391/tid=7392] ppid=7377 vsize=860852 CPUtime=0.41
/proc/7391/task/7392/stat : 7392 (java) S 7377 7377 6938 0 -1 64 15553 0 0 0 35 6 0 0 16 0 8 0 164136567 881512448 31133 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7393] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7393/stat : 7393 (java) S 7377 7377 6938 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 164136568 881512448 31133 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7394] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7394/stat : 7394 (java) S 7377 7377 6938 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 164136568 881512448 31133 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7395] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7395/stat : 7395 (java) S 7377 7377 6938 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 164136579 881512448 31133 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7396] ppid=7377 vsize=860852 CPUtime=0.22
/proc/7391/task/7396/stat : 7396 (java) S 7377 7377 6938 0 -1 64 945 0 0 0 21 1 0 0 15 0 8 0 164136579 881512448 31133 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7397] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7397/stat : 7397 (java) S 7377 7377 6938 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 164136579 881512448 31133 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7398] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7398/stat : 7398 (java) S 7377 7377 6938 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164136579 881512448 31133 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 908432

[startup+12.6864 s]
/proc/loadavg: 2.07 2.01 1.87 3/83 7398
/proc/meminfo: memFree=1435832/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=0
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 761 1704 0 0 0 0 0 0 18 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7391] ppid=7377 vsize=860852 CPUtime=12.43
/proc/7391/stat : 7391 (java) R 7377 7377 6938 0 -1 0 54973 0 1 0 1216 27 0 0 25 0 8 0 164136564 881512448 54707 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073922756 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7391/statm: 215213 54707 1975 14 0 201471 0
[pid=7391/tid=7392] ppid=7377 vsize=860852 CPUtime=1.49
/proc/7391/task/7392/stat : 7392 (java) S 7377 7377 6938 0 -1 64 39127 0 0 0 132 17 0 0 20 0 8 0 164136567 881512448 54707 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7393] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7393/stat : 7393 (java) S 7377 7377 6938 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 164136568 881512448 54707 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7394] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7394/stat : 7394 (java) S 7377 7377 6938 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 164136568 881512448 54707 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7395] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7395/stat : 7395 (java) S 7377 7377 6938 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 164136579 881512448 54707 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7396] ppid=7377 vsize=860852 CPUtime=0.22
/proc/7391/task/7396/stat : 7396 (java) S 7377 7377 6938 0 -1 64 945 0 0 0 21 1 0 0 15 0 8 0 164136579 881512448 54707 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7397] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7397/stat : 7397 (java) S 7377 7377 6938 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 164136579 881512448 54707 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7398] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7398/stat : 7398 (java) S 7377 7377 6938 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164136579 881512448 54707 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 908432

[startup+25.5476 s]
/proc/loadavg: 2.06 2.01 1.87 3/83 7398
/proc/meminfo: memFree=1302776/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=0
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 761 1704 0 0 0 0 0 0 18 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7391] ppid=7377 vsize=860852 CPUtime=25.18
/proc/7391/stat : 7391 (java) R 7377 7377 6938 0 -1 0 87622 0 1 0 2475 43 0 0 25 0 8 0 164136564 881512448 87344 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4074047984 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7391/statm: 215213 87344 1994 14 0 201471 0
[pid=7391/tid=7392] ppid=7377 vsize=860852 CPUtime=2.94
/proc/7391/task/7392/stat : 7392 (java) S 7377 7377 6938 0 -1 64 71691 0 0 0 263 31 0 0 16 0 8 0 164136567 881512448 87344 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7393] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7393/stat : 7393 (java) S 7377 7377 6938 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 164136568 881512448 87344 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7394] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7394/stat : 7394 (java) S 7377 7377 6938 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 164136568 881512448 87344 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7395] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7395/stat : 7395 (java) S 7377 7377 6938 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 164136579 881512448 87344 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7396] ppid=7377 vsize=860852 CPUtime=0.28
/proc/7391/task/7396/stat : 7396 (java) S 7377 7377 6938 0 -1 64 981 0 0 0 27 1 0 0 15 0 8 0 164136579 881512448 87344 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7397] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7397/stat : 7397 (java) S 7377 7377 6938 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 164136579 881512448 87344 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7398] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7398/stat : 7398 (java) S 7377 7377 6938 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164136579 881512448 87344 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 908432

[startup+51.2001 s]
/proc/loadavg: 2.03 2.01 1.87 3/80 7456
/proc/meminfo: memFree=1083088/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=0
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 761 1704 0 0 0 0 0 0 18 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7391] ppid=7377 vsize=860852 CPUtime=50.64
/proc/7391/stat : 7391 (java) R 7377 7377 6938 0 -1 0 87666 0 1 0 5007 57 0 0 25 0 8 0 164136564 881512448 87345 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073992578 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7391/statm: 215213 87345 1995 14 0 201471 0
[pid=7391/tid=7392] ppid=7377 vsize=860852 CPUtime=3
/proc/7391/task/7392/stat : 7392 (java) S 7377 7377 6938 0 -1 64 71692 0 0 0 269 31 0 0 16 0 8 0 164136567 881512448 87345 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7391/tid=7393] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7393/stat : 7393 (java) S 7377 7377 6938 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 164136568 881512448 87345 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7394] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7394/stat : 7394 (java) S 7377 7377 6938 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 164136568 881512448 87345 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7395] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7395/stat : 7395 (java) S 7377 7377 6938 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 164136579 881512448 87345 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7396] ppid=7377 vsize=860852 CPUtime=0.28
/proc/7391/task/7396/stat : 7396 (java) S 7377 7377 6938 0 -1 64 981 0 0 0 27 1 0 0 15 0 8 0 164136579 881512448 87345 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7397] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7397/stat : 7397 (java) S 7377 7377 6938 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 164136579 881512448 87345 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7391/tid=7398] ppid=7377 vsize=860852 CPUtime=0
/proc/7391/task/7398/stat : 7398 (java) S 7377 7377 6938 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164136579 881512448 87345 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 908432

[startup+102.446 s]
/proc/loadavg: 2.01 2.00 1.88 3/74 7464
/proc/meminfo: memFree=1271744/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=79.41
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 799 89430 0 1 0 0 7866 75 17 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7464] ppid=7377 vsize=122320 CPUtime=22.21
/proc/7464/stat : 7464 (minisat) R 7377 7377 6938 0 -1 4194304 27974 0 0 0 2206 15 0 0 25 0 1 0 164144562 125255680 27956 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/7464/statm: 30580 27956 54 142 0 30436 0
Current children cumulated CPU time (s) 101.62

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

/proc/loadavg: 2.05 2.01 1.93 3/76 7468
/proc/meminfo: memFree=906736/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=79.41
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 799 89430 0 1 0 0 7866 75 17 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7464] ppid=7377 vsize=211372 CPUtime=1034.1
/proc/7464/stat : 7464 (minisat) R 7377 7377 6938 0 -1 4194304 50315 0 0 0 103371 39 0 0 25 0 1 0 164144562 216444928 50297 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529776 0 0 4096 3 0 0 0 17 1 0 0
/proc/7464/statm: 52843 50297 54 142 0 52699 0
Current children cumulated CPU time (s) 1113.51
Current children cumulated vsize (KiB) 258952

[startup+1183.67 s]
/proc/loadavg: 2.05 2.02 1.93 3/76 7468
/proc/meminfo: memFree=901744/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=79.41
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 799 89430 0 1 0 0 7866 75 17 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7464] ppid=7377 vsize=216400 CPUtime=1093.63
/proc/7464/stat : 7464 (minisat) R 7377 7377 6938 0 -1 4194304 51581 0 0 0 109323 40 0 0 25 0 1 0 164144562 221593600 51563 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/7464/statm: 54100 51563 54 142 0 53956 0
Current children cumulated CPU time (s) 1173.04
Current children cumulated vsize (KiB) 263980

[startup+1243.73 s]
/proc/loadavg: 2.02 2.02 1.93 3/76 7468
/proc/meminfo: memFree=896688/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=79.41
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 799 89430 0 1 0 0 7866 75 17 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7464] ppid=7377 vsize=221296 CPUtime=1153.14
/proc/7464/stat : 7464 (minisat) R 7377 7377 6938 0 -1 4194304 52810 0 0 0 115273 41 0 0 25 0 1 0 164144562 226607104 52792 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529506 0 0 4096 3 0 0 0 17 1 0 0
/proc/7464/statm: 55324 52792 54 142 0 55180 0
Current children cumulated CPU time (s) 1232.55
Current children cumulated vsize (KiB) 268876

[startup+1303.8 s]
/proc/loadavg: 2.00 2.01 1.93 3/76 7468
/proc/meminfo: memFree=893168/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=79.41
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 799 89430 0 1 0 0 7866 75 17 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7464] ppid=7377 vsize=224860 CPUtime=1212.66
/proc/7464/stat : 7464 (minisat) R 7377 7377 6938 0 -1 4194304 53683 0 0 0 121223 43 0 0 25 0 1 0 164144562 230256640 53665 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 1 0 0
/proc/7464/statm: 56215 53665 54 142 0 56071 0
Current children cumulated CPU time (s) 1292.07
Current children cumulated vsize (KiB) 272440

[startup+1363.87 s]
/proc/loadavg: 2.00 2.01 1.93 3/76 7468
/proc/meminfo: memFree=890160/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=79.41
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 799 89430 0 1 0 0 7866 75 17 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7464] ppid=7377 vsize=227764 CPUtime=1272.17
/proc/7464/stat : 7464 (minisat) R 7377 7377 6938 0 -1 4194304 54428 0 0 0 127174 43 0 0 25 0 1 0 164144562 233230336 54410 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 1 0 0
/proc/7464/statm: 56941 54410 54 142 0 56797 0
Current children cumulated CPU time (s) 1351.58
Current children cumulated vsize (KiB) 275344

[startup+1423.93 s]
/proc/loadavg: 2.00 2.00 1.93 3/76 7468
/proc/meminfo: memFree=887024/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=79.41
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 799 89430 0 1 0 0 7866 75 17 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7464] ppid=7377 vsize=231204 CPUtime=1331.69
/proc/7464/stat : 7464 (minisat) R 7377 7377 6938 0 -1 4194304 55229 0 0 0 133125 44 0 0 25 0 1 0 164144562 236752896 55211 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 1 0 0
/proc/7464/statm: 57801 55211 54 142 0 57657 0
Current children cumulated CPU time (s) 1411.1
Current children cumulated vsize (KiB) 278784

[startup+1484 s]
/proc/loadavg: 2.00 2.00 1.93 3/76 7468
/proc/meminfo: memFree=882544/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=79.41
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 799 89430 0 1 0 0 7866 75 17 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7464] ppid=7377 vsize=235572 CPUtime=1391.22
/proc/7464/stat : 7464 (minisat) R 7377 7377 6938 0 -1 4194304 56330 0 0 0 139077 45 0 0 25 0 1 0 164144562 241225728 56312 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529404 0 0 4096 3 0 0 0 17 1 0 0
/proc/7464/statm: 58893 56312 54 142 0 58749 0
Current children cumulated CPU time (s) 1470.63
Current children cumulated vsize (KiB) 283152

[startup+1544.08 s]
/proc/loadavg: 2.00 2.00 1.93 3/76 7468
/proc/meminfo: memFree=879216/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=79.41
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 799 89430 0 1 0 0 7866 75 17 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7464] ppid=7377 vsize=238912 CPUtime=1450.75
/proc/7464/stat : 7464 (minisat) R 7377 7377 6938 0 -1 4194304 57158 0 0 0 145029 46 0 0 25 0 1 0 164144562 244645888 57140 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/7464/statm: 59728 57140 54 142 0 59584 0
Current children cumulated CPU time (s) 1530.16
Current children cumulated vsize (KiB) 286492

[startup+1604.14 s]
/proc/loadavg: 2.00 2.00 1.93 3/77 7469
/proc/meminfo: memFree=875816/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=79.41
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 799 89430 0 1 0 0 7866 75 17 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7464] ppid=7377 vsize=242232 CPUtime=1510.28
/proc/7464/stat : 7464 (minisat) R 7377 7377 6938 0 -1 4194304 57997 0 0 0 150981 47 0 0 25 0 1 0 164144562 248045568 57979 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529506 0 0 4096 3 0 0 0 17 1 0 0
/proc/7464/statm: 60558 57979 54 142 0 60414 0
Current children cumulated CPU time (s) 1589.69
Current children cumulated vsize (KiB) 289812

[startup+1664.21 s]
/proc/loadavg: 2.00 2.00 1.93 3/77 7469
/proc/meminfo: memFree=871464/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=79.41
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 799 89430 0 1 0 0 7866 75 17 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7464] ppid=7377 vsize=246456 CPUtime=1569.8
/proc/7464/stat : 7464 (minisat) R 7377 7377 6938 0 -1 4194304 59064 0 0 0 156932 48 0 0 25 0 1 0 164144562 252370944 59046 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 1 0 0
/proc/7464/statm: 61614 59046 54 142 0 61470 0
Current children cumulated CPU time (s) 1649.21
Current children cumulated vsize (KiB) 294036

[startup+1724.22 s]
/proc/loadavg: 2.00 2.00 1.93 3/77 7469
/proc/meminfo: memFree=866856/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=79.41
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 799 89430 0 1 0 0 7866 75 17 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7464] ppid=7377 vsize=251220 CPUtime=1629.26
/proc/7464/stat : 7464 (minisat) R 7377 7377 6938 0 -1 4194304 60232 0 0 0 162876 50 0 0 25 0 1 0 164144562 257249280 60214 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134525757 0 0 4096 3 0 0 0 17 1 0 0
/proc/7464/statm: 62805 60214 54 142 0 62661 0
Current children cumulated CPU time (s) 1708.67
Current children cumulated vsize (KiB) 298800

[startup+1784.22 s]
/proc/loadavg: 2.00 2.00 1.93 3/77 7469
/proc/meminfo: memFree=862312/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=79.41
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 799 89430 0 1 0 0 7866 75 17 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7464] ppid=7377 vsize=255712 CPUtime=1688.72
/proc/7464/stat : 7464 (minisat) R 7377 7377 6938 0 -1 4194304 61353 0 0 0 168821 51 0 0 25 0 1 0 164144562 261849088 61335 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134520095 0 0 4096 3 0 0 0 17 1 0 0
/proc/7464/statm: 63928 61335 54 142 0 63784 0
Current children cumulated CPU time (s) 1768.13
Current children cumulated vsize (KiB) 303292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.45 s]
/proc/loadavg: 2.00 2.00 1.93 3/77 7469
/proc/meminfo: memFree=859560/2055920 swapFree=4192812/4192956
[pid=7377] ppid=7375 vsize=47580 CPUtime=79.41
/proc/7377/stat : 7377 (galac.sh) S 7375 7377 6938 0 -1 4194304 799 89430 0 1 0 0 7866 75 17 0 1 0 164136560 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/7377/statm: 11895 363 245 79 0 218 0
[pid=7464] ppid=7377 vsize=258352 CPUtime=1720.67
/proc/7464/stat : 7464 (minisat) R 7377 7377 6938 0 -1 4194304 62026 0 0 0 172015 52 0 0 25 0 1 0 164144562 264552448 62008 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134520025 0 0 4096 3 0 0 0 17 1 0 0
/proc/7464/statm: 64588 62008 54 142 0 64444 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 305932

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

Child ended because it received signal 15 (SIGTERM)

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 7377 and gives childrusage.ru_utime.tv_sec=78 childrusage.ru_utime.tv_usec=674039 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=762884
CPU time returned by wait4() is 79.4369
while last known CPU time is 1800.08

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 1816.46
CPU time (s): 1800.08
CPU user time (s): 1798.81
CPU system time (s): 1.27
CPU usage (%): 99.098
Max. virtual memory (cumulated for all children) (KiB): 908432

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

runsolver used 2.6386 s user time and 5.33219 s system time

The end

Launcher Data (download as text)

Begin job on node55 on Sun Jan  7 08:09:43 UTC 2007


IDJOB= 203174
IDBENCH= 3924
FILE ID= node55/203174-1168157382

PBS_JOBID= 3478523

Free space on /tmp= 66549 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-21_ext.xml
COMMAND LINE= /tmp/evaluation/203174-1168157382/galac.sh /tmp/evaluation/203174-1168157382/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-203174-1168157382 -o ROOT/results/node55/solver-203174-1168157382 -C 1800 -M 900  /tmp/evaluation/203174-1168157382/galac.sh /tmp/evaluation/203174-1168157382/unknown.xml

META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH=  cce2fe8a82350e68a666dd3adc81b815

RANDOM SEED= 879869932

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:       1648088 kB
Buffers:         22868 kB
Cached:         305028 kB
SwapCached:          0 kB
Active:          90812 kB
Inactive:       260796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1648088 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            8656 kB
Writeback:           0 kB
Mapped:          35468 kB
Slab:            41476 kB
Committed_AS:  3393188 kB
PageTables:       1752 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= 66503 MiB



End job on node55 on Sun Jan  7 08:39:59 UTC 2007