Trace number 426123

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.08 2507.03

General information on the benchmark

Namerandom/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1279108477-06.UNSAT.shuffled.cnf
MD5SUM0fb73f67c7f5af95b3c6ed625e2e258c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark796.161
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/node21/watcher-426123-1178989403 -o ROOT/results/node21/solver-426123-1178989403 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426123-1178989403/MiraXTv3_dyn /tmp/evaluation/426123-1178989403/instance-426123-1178989403.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.83 1.94 1.91 3/77 9559
/proc/meminfo: memFree=1625584/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=3788 CPUtime=0
/proc/9559/stat : 9559 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 346857583 3878912 258 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9559/statm: 947 266 202 20 0 305 0

[startup+0.082885 s]
/proc/loadavg: 1.83 1.94 1.91 3/77 9559
/proc/meminfo: memFree=1625584/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=4320 CPUtime=0.08
/proc/9559/stat : 9559 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194304 433 0 0 0 8 0 0 0 18 0 1 0 346857583 4423680 408 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583943 0 0 4096 0 0 0 0 17 1 0 0
/proc/9559/statm: 1080 408 207 20 0 438 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4320

[startup+0.101887 s]
/proc/loadavg: 1.83 1.94 1.91 3/77 9559
/proc/meminfo: memFree=1625584/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=4320 CPUtime=0.09
/proc/9559/stat : 9559 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194304 433 0 0 0 9 0 0 0 18 0 1 0 346857583 4423680 408 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583719 0 0 4096 0 0 0 0 17 1 0 0
/proc/9559/statm: 1080 408 207 20 0 438 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4320

[startup+0.301914 s]
/proc/loadavg: 1.83 1.94 1.91 3/77 9559
/proc/meminfo: memFree=1625584/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=8604 CPUtime=0.47
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 1054 0 0 0 47 0 0 0 18 0 3 0 346857583 8810496 1029 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 2151 1029 218 20 0 1509 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 8604

[startup+0.701956 s]
/proc/loadavg: 1.83 1.94 1.91 3/77 9559
/proc/meminfo: memFree=1625584/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=12072 CPUtime=1.27
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 1807 0 0 0 126 1 0 0 18 0 3 0 346857583 12361728 1781 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 3018 1781 218 20 0 2376 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 12072

[startup+1.50105 s]
/proc/loadavg: 1.83 1.94 1.91 3/80 9562
/proc/meminfo: memFree=1617368/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=15636 CPUtime=2.87
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 2590 0 0 0 286 1 0 0 18 0 3 0 346857583 16011264 2564 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 3909 2564 218 20 0 3267 0
[pid=9559/tid=9561] ppid=9557 vsize=15636 CPUtime=1.37
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 1042 0 0 0 137 0 0 0 18 0 3 0 346857594 16011264 2564 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9559/tid=9562] ppid=9557 vsize=15636 CPUtime=1.37
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 1083 0 0 0 137 0 0 0 18 0 3 0 346857594 16011264 2564 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 15636

[startup+3.10222 s]
/proc/loadavg: 1.83 1.94 1.91 3/80 9562
/proc/meminfo: memFree=1614744/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=18432 CPUtime=6.06
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 3474 0 0 0 604 2 0 0 18 0 3 0 346857583 18874368 3376 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 4608 3376 218 20 0 3966 0
[pid=9559/tid=9561] ppid=9557 vsize=18432 CPUtime=2.98
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 1455 0 0 0 297 1 0 0 19 0 3 0 346857594 18874368 3376 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9559/tid=9562] ppid=9557 vsize=18432 CPUtime=2.95
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 1554 0 0 0 295 0 0 0 25 0 3 0 346857594 18874368 3376 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526315 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 18432

[startup+6.30157 s]
/proc/loadavg: 1.85 1.94 1.91 3/80 9562
/proc/meminfo: memFree=1606424/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=26440 CPUtime=12.45
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 5564 0 0 0 1241 4 0 0 18 0 3 0 346857583 27074560 5390 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 6610 5390 218 20 0 5968 0
[pid=9559/tid=9561] ppid=9557 vsize=26440 CPUtime=6.17
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 2530 0 0 0 616 1 0 0 20 0 3 0 346857594 27074560 5390 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526429 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9559/tid=9562] ppid=9557 vsize=26440 CPUtime=6.14
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 2569 0 0 0 613 1 0 0 25 0 3 0 346857594 27074560 5390 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 26440

[startup+12.7023 s]
/proc/loadavg: 1.86 1.94 1.91 3/80 9562
/proc/meminfo: memFree=1597856/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=32780 CPUtime=25.21
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 7448 0 0 0 2515 6 0 0 18 0 3 0 346857583 33566720 6975 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 8195 6975 218 20 0 7553 0
[pid=9559/tid=9561] ppid=9557 vsize=32780 CPUtime=12.57
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 3496 0 0 0 1254 3 0 0 25 0 3 0 346857594 33566720 6975 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526483 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9559/tid=9562] ppid=9557 vsize=32780 CPUtime=12.51
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 3487 0 0 0 1249 2 0 0 25 0 3 0 346857594 33566720 6975 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 32780

[startup+25.5017 s]
/proc/loadavg: 1.89 1.94 1.91 3/80 9562
/proc/meminfo: memFree=1589024/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=41908 CPUtime=50.73
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 10168 0 0 0 5064 9 0 0 18 0 3 0 346857583 42913792 9217 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 10477 9217 218 20 0 9835 0
[pid=9559/tid=9561] ppid=9557 vsize=41908 CPUtime=25.34
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 4932 0 0 0 2530 4 0 0 25 0 3 0 346857594 42913792 9217 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9559/tid=9562] ppid=9557 vsize=41908 CPUtime=25.26
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 4771 0 0 0 2522 4 0 0 25 0 3 0 346857594 42913792 9217 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 41908

[startup+51.1015 s]
/proc/loadavg: 1.93 1.94 1.91 3/80 9562
/proc/meminfo: memFree=1583648/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=46156 CPUtime=101.8
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 12522 0 0 0 10169 11 0 0 18 0 3 0 346857583 47263744 10532 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 11539 10532 218 20 0 10897 0
[pid=9559/tid=9561] ppid=9557 vsize=46156 CPUtime=50.93
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 5835 0 0 0 5088 5 0 0 25 0 3 0 346857594 47263744 10532 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9559/tid=9562] ppid=9557 vsize=46156 CPUtime=50.74
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 6222 0 0 0 5069 5 0 0 25 0 3 0 346857594 47263744 10532 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 46156

[startup+102.305 s]
/proc/loadavg: 1.97 1.95 1.91 3/80 9562
/proc/meminfo: memFree=1578336/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=52636 CPUtime=203.93
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 15805 0 0 0 20380 13 0 0 18 0 3 0 346857583 53899264 11820 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 13159 11820 218 20 0 12517 0
[pid=9559/tid=9561] ppid=9557 vsize=52636 CPUtime=102.11
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 7819 0 0 0 10204 7 0 0 25 0 3 0 346857594 53899264 11820 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9559/tid=9562] ppid=9557 vsize=52636 CPUtime=101.71
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 7521 0 0 0 10165 6 0 0 25 0 3 0 346857594 53899264 11820 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.93
Current children cumulated vsize (KiB) 52636

[startup+162.302 s]
/proc/loadavg: 1.99 1.95 1.91 3/80 9562
/proc/meminfo: memFree=1576160/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=54700 CPUtime=323.57
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 18739 0 0 0 32341 16 0 0 18 0 3 0 346857583 56012800 12409 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 13675 12409 218 20 0 13033 0
[pid=9559/tid=9561] ppid=9557 vsize=54700 CPUtime=162.03
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 9232 0 0 0 16195 8 0 0 25 0 3 0 346857594 56012800 12409 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9559/tid=9562] ppid=9557 vsize=54700 CPUtime=161.41
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 9042 0 0 0 16134 7 0 0 25 0 3 0 346857594 56012800 12409 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.57
Current children cumulated vsize (KiB) 54700

[startup+222.301 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 9562
/proc/meminfo: memFree=1574368/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=56812 CPUtime=443.24
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 21557 0 0 0 44305 19 0 0 18 0 3 0 346857583 58175488 12922 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 14203 12922 218 20 0 13561 0
[pid=9559/tid=9561] ppid=9557 vsize=56812 CPUtime=222
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 10631 0 0 0 22190 10 0 0 25 0 3 0 346857594 58175488 12922 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9559/tid=9562] ppid=9557 vsize=56812 CPUtime=221.11
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 10461 0 0 0 22103 8 0 0 25 0 3 0 346857594 58175488 12922 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.24
Current children cumulated vsize (KiB) 56812

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9562
/proc/meminfo: memFree=1571488/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=59556 CPUtime=562.91
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 24384 0 0 0 56269 22 0 0 18 0 3 0 346857583 60985344 13573 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 14889 13573 218 20 0 14247 0
[pid=9559/tid=9561] ppid=9557 vsize=59556 CPUtime=281.95
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 11922 0 0 0 28183 12 0 0 25 0 3 0 346857594 60985344 13573 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9559/tid=9562] ppid=9557 vsize=59556 CPUtime=280.83
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 11997 0 0 0 28074 9 0 0 25 0 3 0 346857594 60985344 13573 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.91
Current children cumulated vsize (KiB) 59556

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9562
/proc/meminfo: memFree=1567712/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=63404 CPUtime=682.57
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 27648 0 0 0 68233 24 0 0 18 0 3 0 346857583 64925696 14521 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 15851 14521 218 20 0 15209 0
[pid=9559/tid=9561] ppid=9557 vsize=63404 CPUtime=341.91
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 13662 0 0 0 34178 13 0 0 25 0 3 0 346857594 64925696 14521 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9559/tid=9562] ppid=9557 vsize=63404 CPUtime=340.54
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 13521 0 0 0 34044 10 0 0 25 0 3 0 346857594 64925696 14521 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.57
Current children cumulated vsize (KiB) 63404

[startup+402.302 s]

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

/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 41960 0 0 0 183854 38 0 0 25 0 3 0 346857594 84787200 19157 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9559/tid=9562] ppid=9557 vsize=82800 CPUtime=1835.25
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 42679 0 0 0 183491 34 0 0 25 0 3 0 346857594 84787200 19157 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3674.29
Current children cumulated vsize (KiB) 82800

[startup+1902.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9562
/proc/meminfo: memFree=1548832/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=83008 CPUtime=3793.96
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 87240 0 0 0 379322 74 0 0 18 0 3 0 346857583 85000192 19234 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 20752 19234 218 20 0 20110 0
[pid=9559/tid=9561] ppid=9557 vsize=83008 CPUtime=1898.64
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 43076 0 0 0 189825 39 0 0 25 0 3 0 346857594 85000192 19234 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9559/tid=9562] ppid=9557 vsize=83008 CPUtime=1895.2
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 43699 0 0 0 189485 35 0 0 25 0 3 0 346857594 85000192 19234 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.96
Current children cumulated vsize (KiB) 83008

[startup+1962.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9562
/proc/meminfo: memFree=1548320/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=83404 CPUtime=3913.64
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 89337 0 0 0 391287 77 0 0 18 0 3 0 346857583 85405696 19343 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 20851 19343 218 20 0 20209 0
[pid=9559/tid=9561] ppid=9557 vsize=83404 CPUtime=1958.35
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 44168 0 0 0 195795 40 0 0 25 0 3 0 346857594 85405696 19343 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9559/tid=9562] ppid=9557 vsize=83404 CPUtime=1955.16
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 44704 0 0 0 195480 36 0 0 25 0 3 0 346857594 85405696 19343 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.64
Current children cumulated vsize (KiB) 83404

[startup+2022.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9562
/proc/meminfo: memFree=1545312/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=86476 CPUtime=4033.29
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 92220 0 0 0 403249 80 0 0 18 0 3 0 346857583 88551424 20095 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 21619 20095 218 20 0 20977 0
[pid=9559/tid=9561] ppid=9557 vsize=86476 CPUtime=2018.05
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 45238 0 0 0 201764 41 0 0 22 0 3 0 346857594 88551424 20095 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9559/tid=9562] ppid=9557 vsize=86476 CPUtime=2015.11
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 46517 0 0 0 201473 38 0 0 22 0 3 0 346857594 88551424 20095 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.29
Current children cumulated vsize (KiB) 86476

[startup+2082.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9562
/proc/meminfo: memFree=1545120/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=86476 CPUtime=4152.98
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 94264 0 0 0 415216 82 0 0 18 0 3 0 346857583 88551424 20143 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 21619 20143 218 20 0 20977 0
[pid=9559/tid=9561] ppid=9557 vsize=86476 CPUtime=2077.79
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 46326 0 0 0 207737 42 0 0 25 0 3 0 346857594 88551424 20143 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9559/tid=9562] ppid=9557 vsize=86476 CPUtime=2075.08
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 47473 0 0 0 207468 40 0 0 25 0 3 0 346857594 88551424 20143 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4152.98
Current children cumulated vsize (KiB) 86476

[startup+2142.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9562
/proc/meminfo: memFree=1545184/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=86476 CPUtime=4272.65
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 96265 0 0 0 427181 84 0 0 18 0 3 0 346857583 88551424 20144 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 21619 20144 218 20 0 20977 0
[pid=9559/tid=9561] ppid=9557 vsize=86476 CPUtime=2137.49
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 47397 0 0 0 213707 42 0 0 25 0 3 0 346857594 88551424 20144 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9559/tid=9562] ppid=9557 vsize=86476 CPUtime=2135.03
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 48403 0 0 0 213462 41 0 0 25 0 3 0 346857594 88551424 20144 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.65
Current children cumulated vsize (KiB) 86476

[startup+2202.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9562
/proc/meminfo: memFree=1544928/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=86740 CPUtime=4392.31
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 98404 0 0 0 439145 86 0 0 18 0 3 0 346857583 88821760 20206 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 21685 20206 218 20 0 21043 0
[pid=9559/tid=9561] ppid=9557 vsize=86740 CPUtime=2197.32
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 48429 0 0 0 219688 44 0 0 25 0 3 0 346857594 88821760 20206 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9559/tid=9562] ppid=9557 vsize=86740 CPUtime=2194.87
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 49510 0 0 0 219445 42 0 0 25 0 3 0 346857594 88821760 20206 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4392.31
Current children cumulated vsize (KiB) 86740

[startup+2262.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9562
/proc/meminfo: memFree=1544672/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=86740 CPUtime=4512
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 100395 0 0 0 451111 89 0 0 18 0 3 0 346857583 88821760 20261 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 21685 20261 218 20 0 21043 0
[pid=9559/tid=9561] ppid=9557 vsize=86740 CPUtime=2257.28
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 49437 0 0 0 225683 45 0 0 25 0 3 0 346857594 88821760 20261 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9559/tid=9562] ppid=9557 vsize=86740 CPUtime=2254.6
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 50493 0 0 0 225417 43 0 0 25 0 3 0 346857594 88821760 20261 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4512
Current children cumulated vsize (KiB) 86740

[startup+2322.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9562
/proc/meminfo: memFree=1544416/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=86872 CPUtime=4631.67
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 102607 0 0 0 463076 91 0 0 18 0 3 0 346857583 88956928 20316 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 21718 20316 218 20 0 21076 0
[pid=9559/tid=9561] ppid=9557 vsize=86872 CPUtime=2317.23
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 50518 0 0 0 231677 46 0 0 25 0 3 0 346857594 88956928 20316 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9559/tid=9562] ppid=9557 vsize=86872 CPUtime=2314.31
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 51624 0 0 0 231387 44 0 0 25 0 3 0 346857594 88956928 20316 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4631.67
Current children cumulated vsize (KiB) 86872

[startup+2382.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9562
/proc/meminfo: memFree=1544160/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=88028 CPUtime=4751.33
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 104701 0 0 0 475040 93 0 0 18 0 3 0 346857583 90140672 20396 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 22007 20396 218 20 0 21365 0
[pid=9559/tid=9561] ppid=9557 vsize=88028 CPUtime=2377.19
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 51526 0 0 0 237671 48 0 0 25 0 3 0 346857594 90140672 20396 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9559/tid=9562] ppid=9557 vsize=88028 CPUtime=2374.01
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 52710 0 0 0 237357 44 0 0 25 0 3 0 346857594 90140672 20396 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4751.33
Current children cumulated vsize (KiB) 88028

[startup+2442.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9564
/proc/meminfo: memFree=1544160/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=88236 CPUtime=4871
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 106598 0 0 0 487005 95 0 0 18 0 3 0 346857583 90353664 20354 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 22059 20354 218 20 0 21417 0
[pid=9559/tid=9561] ppid=9557 vsize=88236 CPUtime=2437.14
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 52557 0 0 0 243665 49 0 0 25 0 3 0 346857594 90353664 20354 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9559/tid=9562] ppid=9557 vsize=88236 CPUtime=2433.73
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 53576 0 0 0 243328 45 0 0 25 0 3 0 346857594 90353664 20354 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4871
Current children cumulated vsize (KiB) 88236

[startup+2502.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9564
/proc/meminfo: memFree=1544096/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=88368 CPUtime=4990.68
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 108138 0 0 0 498972 96 0 0 18 0 3 0 346857583 90488832 20382 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 22092 20382 218 20 0 21450 0
[pid=9559/tid=9561] ppid=9557 vsize=88368 CPUtime=2497.09
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 53349 0 0 0 249659 50 0 0 25 0 3 0 346857594 90488832 20382 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9559/tid=9562] ppid=9557 vsize=88368 CPUtime=2493.45
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 54324 0 0 0 249300 45 0 0 25 0 3 0 346857594 90488832 20382 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4990.68
Current children cumulated vsize (KiB) 88368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9564
/proc/meminfo: memFree=1544096/2055920 swapFree=4156344/4192956
[pid=9559] ppid=9557 vsize=88368 CPUtime=5000.05
/proc/9559/stat : 9559 (MiraXTv3_dyn) S 9557 9559 9487 0 -1 4194304 108304 0 0 0 499909 96 0 0 18 0 3 0 346857583 90488832 20403 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9559/statm: 22092 20403 218 20 0 21450 0
[pid=9559/tid=9561] ppid=9557 vsize=88368 CPUtime=2501.79
/proc/9559/task/9561/stat : 9561 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 53443 0 0 0 250129 50 0 0 25 0 3 0 346857594 90488832 20403 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9559/tid=9562] ppid=9557 vsize=88368 CPUtime=2498.12
/proc/9559/task/9562/stat : 9562 (MiraXTv3_dyn) R 9557 9559 9487 0 -1 4194368 54396 0 0 0 249767 45 0 0 25 0 3 0 346857594 90488832 20403 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.05
Current children cumulated vsize (KiB) 88368

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.08
CPU user time (s): 4999.1
CPU system time (s): 0.978851
CPU usage (%): 199.443
Max. virtual memory (cumulated for all children) (KiB): 88524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.1
system time used= 0.978851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108304
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= 1303
involuntary context switches= 93043

runsolver used 2.29565 second user time and 6.83196 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Sat May 12 17:03:23 UTC 2007

IDJOB= 426123
IDBENCH= 19930
IDSOLVER= 196
FILE ID= node21/426123-1178989403

PBS_JOBID= 5252817

Free space on /tmp= 66544 MiB

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

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  0fb73f67c7f5af95b3c6ed625e2e258c

RANDOM SEED= 33614404

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node21.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.232
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.232
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:       1625864 kB
Buffers:         48992 kB
Cached:         293052 kB
SwapCached:      15772 kB
Active:         148680 kB
Inactive:       216796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1625864 kB
SwapTotal:     4192956 kB
SwapFree:      4156344 kB
Dirty:            4172 kB
Writeback:           0 kB
Mapped:          29880 kB
Slab:            50128 kB
Committed_AS:  5198244 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= 66544 MiB

End job on node21 on Sat May 12 17:45:12 UTC 2007