Trace number 426120

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
MiraXT v3? (TO) 5000.12 2507.03

General information on the benchmark

Namerandom/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1319091742-10.SAT.shuffled.cnf
MD5SUMde871f163995b58f587b601fa8fe5cc4
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.44993
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 55340

Solver Data (download as text)

0.00/0.00	c Starting MiraXTv3...

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node14/watcher-426120-1178989382 -o ROOT/results/node14/solver-426120-1178989382 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426120-1178989382/MiraXTv3_dyn /tmp/evaluation/426120-1178989382/instance-426120-1178989382.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.84 1.97 1.98 3/77 5052
/proc/meminfo: memFree=1552640/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=3788 CPUtime=0
/proc/5052/stat : 5052 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 346855960 3878912 280 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7362171 0 0 4096 0 0 0 0 17 1 0 0
/proc/5052/statm: 947 280 206 20 0 305 0

[startup+0.009819 s]
/proc/loadavg: 1.84 1.97 1.98 3/77 5052
/proc/meminfo: memFree=1552640/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=4060 CPUtime=0
/proc/5052/stat : 5052 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 346855960 4157440 351 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7362171 0 0 4096 0 0 0 0 17 1 0 0
/proc/5052/statm: 1015 352 206 20 0 373 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4060

[startup+0.101828 s]
/proc/loadavg: 1.84 1.97 1.98 3/77 5052
/proc/meminfo: memFree=1552640/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=4320 CPUtime=0.09
/proc/5052/stat : 5052 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194304 433 0 0 0 9 0 0 0 18 0 1 0 346855960 4423680 408 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583912 0 0 4096 0 0 0 0 17 1 0 0
/proc/5052/statm: 1080 408 207 20 0 438 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4320

[startup+0.30185 s]
/proc/loadavg: 1.84 1.97 1.98 3/77 5052
/proc/meminfo: memFree=1552640/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=8732 CPUtime=0.47
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 1072 0 0 0 47 0 0 0 18 0 3 0 346855960 8941568 1047 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 2183 1047 218 20 0 1541 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 8732

[startup+0.701889 s]
/proc/loadavg: 1.84 1.97 1.98 3/77 5052
/proc/meminfo: memFree=1552640/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=12068 CPUtime=1.27
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 1789 0 0 0 126 1 0 0 18 0 3 0 346855960 12357632 1764 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 3017 1764 218 20 0 2375 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 12068

[startup+1.50297 s]
/proc/loadavg: 1.84 1.97 1.98 3/80 5055
/proc/meminfo: memFree=1544616/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=15780 CPUtime=2.86
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 2613 0 0 0 285 1 0 0 18 0 3 0 346855960 16158720 2588 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 3945 2588 218 20 0 3303 0
[pid=5052/tid=5054] ppid=5050 vsize=15780 CPUtime=1.38
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 1086 0 0 0 138 0 0 0 24 0 3 0 346855972 16158720 2588 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=15780 CPUtime=1.36
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 1062 0 0 0 136 0 0 0 18 0 3 0 346855972 16158720 2588 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 15780

[startup+3.10212 s]
/proc/loadavg: 1.85 1.97 1.98 3/80 5055
/proc/meminfo: memFree=1542120/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=18312 CPUtime=6.06
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 3299 0 0 0 604 2 0 0 18 0 3 0 346855960 18751488 3238 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 4578 3238 218 20 0 3936 0
[pid=5052/tid=5054] ppid=5050 vsize=18312 CPUtime=2.97
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 1386 0 0 0 297 0 0 0 25 0 3 0 346855972 18751488 3238 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=18312 CPUtime=2.96
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 1448 0 0 0 295 1 0 0 25 0 3 0 346855972 18751488 3238 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 18312

[startup+6.30142 s]
/proc/loadavg: 1.85 1.97 1.98 3/80 5055
/proc/meminfo: memFree=1534056/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=25200 CPUtime=12.44
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 5425 0 0 0 1240 4 0 0 18 0 3 0 346855960 25804800 5252 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 6300 5252 218 20 0 5658 0
[pid=5052/tid=5054] ppid=5050 vsize=25200 CPUtime=6.17
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 2428 0 0 0 616 1 0 0 18 0 3 0 346855972 25804800 5252 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=25200 CPUtime=6.15
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 2532 0 0 0 613 2 0 0 25 0 3 0 346855972 25804800 5252 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 25200

[startup+12.701 s]
/proc/loadavg: 1.86 1.97 1.98 3/80 5055
/proc/meminfo: memFree=1525544/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=32568 CPUtime=25.19
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 7338 0 0 0 2513 6 0 0 18 0 3 0 346855960 33349632 6867 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 8142 6867 218 20 0 7500 0
[pid=5052/tid=5054] ppid=5050 vsize=32568 CPUtime=12.56
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 3418 0 0 0 1254 2 0 0 21 0 3 0 346855972 33349632 6867 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=32568 CPUtime=12.51
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 3455 0 0 0 1248 3 0 0 25 0 3 0 346855972 33349632 6867 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 32568

[startup+25.5012 s]
/proc/loadavg: 1.89 1.97 1.98 3/80 5055
/proc/meminfo: memFree=1517096/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=40468 CPUtime=50.73
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 9924 0 0 0 5065 8 0 0 18 0 3 0 346855960 41439232 8975 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 10117 8975 218 20 0 9475 0
[pid=5052/tid=5054] ppid=5050 vsize=40468 CPUtime=25.35
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 4725 0 0 0 2532 3 0 0 25 0 3 0 346855972 41439232 8975 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134522044 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=40468 CPUtime=25.26
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 4734 0 0 0 2522 4 0 0 25 0 3 0 346855972 41439232 8975 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 40468

[startup+51.1017 s]
/proc/loadavg: 1.93 1.97 1.98 3/80 5055
/proc/meminfo: memFree=1513384/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=44308 CPUtime=101.8
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 12016 0 0 0 10169 11 0 0 18 0 3 0 346855960 45371392 10031 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 11077 10031 218 20 0 10435 0
[pid=5052/tid=5054] ppid=5050 vsize=44308 CPUtime=50.93
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 5733 0 0 0 5088 5 0 0 25 0 3 0 346855972 45371392 10031 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=44308 CPUtime=50.74
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 5818 0 0 0 5069 5 0 0 25 0 3 0 346855972 45371392 10031 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 44308

[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.98 3/80 5055
/proc/meminfo: memFree=1506984/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=49652 CPUtime=203.92
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 15539 0 0 0 20378 14 0 0 18 0 3 0 346855960 50843648 11494 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 12413 11494 218 20 0 11771 0
[pid=5052/tid=5054] ppid=5050 vsize=49652 CPUtime=102.1
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 7342 0 0 0 10204 6 0 0 25 0 3 0 346855972 50843648 11494 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=49652 CPUtime=101.7
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 7732 0 0 0 10163 7 0 0 25 0 3 0 346855972 50843648 11494 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 49652

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 5055
/proc/meminfo: memFree=1502504/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=54600 CPUtime=323.56
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 19043 0 0 0 32339 17 0 0 18 0 3 0 346855960 55910400 12586 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 13650 12586 218 20 0 13008 0
[pid=5052/tid=5054] ppid=5050 vsize=54600 CPUtime=161.83
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 9482 0 0 0 16175 8 0 0 25 0 3 0 346855972 55910400 12586 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5052/tid=5055] ppid=5050 vsize=54600 CPUtime=161.61
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 9096 0 0 0 16153 8 0 0 25 0 3 0 346855972 55910400 12586 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.56
Current children cumulated vsize (KiB) 54600

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 5055
/proc/meminfo: memFree=1500776/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=56836 CPUtime=443.23
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 21780 0 0 0 44303 20 0 0 18 0 3 0 346855960 58200064 13086 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 14209 13086 218 20 0 13567 0
[pid=5052/tid=5054] ppid=5050 vsize=56836 CPUtime=221.54
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 10882 0 0 0 22145 9 0 0 25 0 3 0 346855972 58200064 13086 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526417 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5052/tid=5055] ppid=5050 vsize=56836 CPUtime=221.56
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 10433 0 0 0 22147 9 0 0 25 0 3 0 346855972 58200064 13086 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134522018 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.23
Current children cumulated vsize (KiB) 56836

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 5055
/proc/meminfo: memFree=1498920/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=58484 CPUtime=562.9
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 24544 0 0 0 56267 23 0 0 18 0 3 0 346855960 59887616 13538 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 14621 13538 218 20 0 13979 0
[pid=5052/tid=5054] ppid=5050 vsize=58484 CPUtime=281.27
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 12363 0 0 0 28116 11 0 0 25 0 3 0 346855972 59887616 13538 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526712 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5052/tid=5055] ppid=5050 vsize=58484 CPUtime=281.51
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 11716 0 0 0 28140 11 0 0 25 0 3 0 346855972 59887616 13538 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.9
Current children cumulated vsize (KiB) 58484

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 5055
/proc/meminfo: memFree=1497640/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=59992 CPUtime=682.57
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 27125 0 0 0 68232 25 0 0 18 0 3 0 346855960 61431808 13875 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 14998 13875 218 20 0 14356 0
[pid=5052/tid=5054] ppid=5050 vsize=59992 CPUtime=340.97
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 13619 0 0 0 34085 12 0 0 25 0 3 0 346855972 61431808 13875 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5052/tid=5055] ppid=5050 vsize=59992 CPUtime=341.47
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 13041 0 0 0 34135 12 0 0 25 0 3 0 346855972 61431808 13875 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526294 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.57
Current children cumulated vsize (KiB) 59992

[startup+402.302 s]

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

/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 42555 0 0 0 183426 37 0 0 25 0 3 0 346855972 85737472 19182 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=83728 CPUtime=1839.54
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 39082 0 0 0 183915 39 0 0 25 0 3 0 346855972 85737472 19182 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3674.29
Current children cumulated vsize (KiB) 83728

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/80 5055
/proc/meminfo: memFree=1476200/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=83728 CPUtime=3793.96
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 84161 0 0 0 379317 79 0 0 18 0 3 0 346855960 85737472 19182 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 20932 19182 218 20 0 20290 0
[pid=5052/tid=5054] ppid=5050 vsize=83728 CPUtime=1894.59
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 43549 0 0 0 189421 38 0 0 25 0 3 0 346855972 85737472 19182 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526397 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=83728 CPUtime=1899.25
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 40147 0 0 0 189885 40 0 0 25 0 3 0 346855972 85737472 19182 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3793.96
Current children cumulated vsize (KiB) 83728

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/80 5055
/proc/meminfo: memFree=1476072/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=83860 CPUtime=3913.65
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 86256 0 0 0 391284 81 0 0 18 0 3 0 346855960 85872640 19218 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 20965 19218 218 20 0 20323 0
[pid=5052/tid=5054] ppid=5050 vsize=83860 CPUtime=1954.56
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 44617 0 0 0 195417 39 0 0 19 0 3 0 346855972 85872640 19218 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=83860 CPUtime=1958.97
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 41174 0 0 0 195856 41 0 0 25 0 3 0 346855972 85872640 19218 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3913.65
Current children cumulated vsize (KiB) 83860

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 5055
/proc/meminfo: memFree=1475944/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=84092 CPUtime=4033.32
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 88273 0 0 0 403249 83 0 0 18 0 3 0 346855960 86110208 19247 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 21023 19247 218 20 0 20381 0
[pid=5052/tid=5054] ppid=5050 vsize=84092 CPUtime=2014.51
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 45638 0 0 0 201411 40 0 0 25 0 3 0 346855972 86110208 19247 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=84092 CPUtime=2018.68
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 42170 0 0 0 201827 41 0 0 25 0 3 0 346855972 86110208 19247 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4033.32
Current children cumulated vsize (KiB) 84092

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 5055
/proc/meminfo: memFree=1475752/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=84224 CPUtime=4152.99
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 90314 0 0 0 415215 84 0 0 18 0 3 0 346855960 86245376 19300 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 21056 19300 218 20 0 20414 0
[pid=5052/tid=5054] ppid=5050 vsize=84224 CPUtime=2074.47
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 46632 0 0 0 207406 41 0 0 25 0 3 0 346855972 86245376 19300 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526297 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=84224 CPUtime=2078.39
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 43217 0 0 0 207797 42 0 0 25 0 3 0 346855972 86245376 19300 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4152.99
Current children cumulated vsize (KiB) 84224

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 5055
/proc/meminfo: memFree=1472744/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=86272 CPUtime=4272.66
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 92480 0 0 0 427179 87 0 0 18 0 3 0 346855960 88342528 20046 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 21568 20046 218 20 0 20926 0
[pid=5052/tid=5054] ppid=5050 vsize=86272 CPUtime=2134.42
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 47850 0 0 0 213399 43 0 0 25 0 3 0 346855972 88342528 20046 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526319 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=86272 CPUtime=2138.12
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 44165 0 0 0 213769 43 0 0 25 0 3 0 346855972 88342528 20046 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4272.66
Current children cumulated vsize (KiB) 86272

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 5055
/proc/meminfo: memFree=1472360/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=87296 CPUtime=4392.32
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 94488 0 0 0 439143 89 0 0 18 0 3 0 346855960 89391104 20137 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 21824 20137 218 20 0 21182 0
[pid=5052/tid=5054] ppid=5050 vsize=87296 CPUtime=2194.38
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 48864 0 0 0 219394 44 0 0 25 0 3 0 346855972 89391104 20137 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=87296 CPUtime=2197.82
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 45159 0 0 0 219738 44 0 0 25 0 3 0 346855972 89391104 20137 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4392.32
Current children cumulated vsize (KiB) 87296

[startup+2262.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/80 5055
/proc/meminfo: memFree=1472168/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=87428 CPUtime=4512.01
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 96533 0 0 0 451110 91 0 0 18 0 3 0 346855960 89526272 20194 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 21857 20194 218 20 0 21215 0
[pid=5052/tid=5054] ppid=5050 vsize=87428 CPUtime=2254.36
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 49887 0 0 0 225390 46 0 0 25 0 3 0 346855972 89526272 20194 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=87428 CPUtime=2257.54
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 46181 0 0 0 225709 45 0 0 25 0 3 0 346855972 89526272 20194 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4512.01
Current children cumulated vsize (KiB) 87428

[startup+2322.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/80 5055
/proc/meminfo: memFree=1471720/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=87924 CPUtime=4631.69
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 98636 0 0 0 463076 93 0 0 18 0 3 0 346855960 90034176 20307 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 21981 20307 218 20 0 21339 0
[pid=5052/tid=5054] ppid=5050 vsize=87924 CPUtime=2314.3
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 50938 0 0 0 231384 46 0 0 25 0 3 0 346855972 90034176 20307 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526327 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=87924 CPUtime=2317.26
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 47233 0 0 0 231680 46 0 0 25 0 3 0 346855972 90034176 20307 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4631.69
Current children cumulated vsize (KiB) 87924

[startup+2382.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5057
/proc/meminfo: memFree=1471656/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=87924 CPUtime=4751.35
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 100767 0 0 0 475041 94 0 0 18 0 3 0 346855960 90034176 20308 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 21981 20308 218 20 0 21339 0
[pid=5052/tid=5054] ppid=5050 vsize=87924 CPUtime=2374.26
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 52003 0 0 0 237379 47 0 0 25 0 3 0 346855972 90034176 20308 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=87924 CPUtime=2376.97
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 48299 0 0 0 237651 46 0 0 25 0 3 0 346855972 90034176 20308 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4751.35
Current children cumulated vsize (KiB) 87924

[startup+2442.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5057
/proc/meminfo: memFree=1471592/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=87924 CPUtime=4871.03
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 102767 0 0 0 487007 96 0 0 18 0 3 0 346855960 90034176 20310 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 21981 20310 218 20 0 21339 0
[pid=5052/tid=5054] ppid=5050 vsize=87924 CPUtime=2434.23
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 53003 0 0 0 243375 48 0 0 25 0 3 0 346855972 90034176 20310 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530014 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=87924 CPUtime=2436.68
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 49299 0 0 0 243621 47 0 0 25 0 3 0 346855972 90034176 20310 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4871.03
Current children cumulated vsize (KiB) 87924

[startup+2502.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5057
/proc/meminfo: memFree=1471400/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=88188 CPUtime=4990.7
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 104910 0 0 0 498972 98 0 0 18 0 3 0 346855960 90304512 20368 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 22047 20368 218 20 0 21405 0
[pid=5052/tid=5054] ppid=5050 vsize=88188 CPUtime=2494.18
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 54108 0 0 0 249369 49 0 0 25 0 3 0 346855972 90304512 20368 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=88188 CPUtime=2496.4
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 50337 0 0 0 249592 48 0 0 25 0 3 0 346855972 90304512 20368 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4990.7
Current children cumulated vsize (KiB) 88188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5057
/proc/meminfo: memFree=1471400/2055920 swapFree=4145896/4192956
[pid=5052] ppid=5050 vsize=88188 CPUtime=5000.09
/proc/5052/stat : 5052 (MiraXTv3_dyn) S 5050 5052 4980 0 -1 4194304 105124 0 0 0 499910 99 0 0 18 0 3 0 346855960 90304512 20368 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5052/statm: 22047 20368 218 20 0 21405 0
[pid=5052/tid=5054] ppid=5050 vsize=88188 CPUtime=2498.88
/proc/5052/task/5054/stat : 5054 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 54180 0 0 0 249839 49 0 0 25 0 3 0 346855972 90304512 20368 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5052/tid=5055] ppid=5050 vsize=88188 CPUtime=2501.07
/proc/5052/task/5055/stat : 5055 (MiraXTv3_dyn) R 5050 5052 4980 0 -1 4194368 50479 0 0 0 250059 48 0 0 25 0 3 0 346855972 90304512 20368 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 88188

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)
Real time (s): 2507.03
CPU time (s): 5000.12
CPU user time (s): 4999.12
CPU system time (s): 1.00485
CPU usage (%): 199.444
Max. virtual memory (cumulated for all children) (KiB): 88208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.12
system time used= 1.00485
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105124
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1132
involuntary context switches= 93651

runsolver used 2.36264 second user time and 6.76297 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Sat May 12 17:03:02 UTC 2007

IDJOB= 426120
IDBENCH= 19927
IDSOLVER= 196
FILE ID= node14/426120-1178989382

PBS_JOBID= 5252814

Free space on /tmp= 66548 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/7SAT/v60/unif-k7-r89-v60-c5340-S1319091742-10.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426120-1178989382/MiraXTv3_dyn /tmp/evaluation/426120-1178989382/instance-426120-1178989382.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-426120-1178989382 -o ROOT/results/node14/solver-426120-1178989382 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426120-1178989382/MiraXTv3_dyn /tmp/evaluation/426120-1178989382/instance-426120-1178989382.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  de871f163995b58f587b601fa8fe5cc4

RANDOM SEED= 110452940

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.227
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.227
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:       1552984 kB
Buffers:         45644 kB
Cached:         387860 kB
SwapCached:      15092 kB
Active:         143268 kB
Inactive:       314028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1552984 kB
SwapTotal:     4192956 kB
SwapFree:      4145896 kB
Dirty:            4180 kB
Writeback:           0 kB
Mapped:          29800 kB
Slab:            31224 kB
Committed_AS:  9602068 kB
PageTables:       1784 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 node14 on Sat May 12 17:44:51 UTC 2007