Trace number 426136

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.16 2507.43

General information on the benchmark

Namerandom/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1572638390-17.SAT.shuffled.cnf
MD5SUMce74deb44849da26eb98932c0518f94a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.58415
Satisfiable
(Un)Satisfiability was proved
Number of variables75
Number of clauses6675
Sum of the clauses size46725
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 56675

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/node10/watcher-426136-1178989665 -o ROOT/results/node10/solver-426136-1178989665 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426136-1178989665/MiraXTv3_dyn /tmp/evaluation/426136-1178989665/instance-426136-1178989665.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.90 3/77 26651
/proc/meminfo: memFree=1512328/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=3788 CPUtime=0
/proc/26651/stat : 26651 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194304 313 0 0 0 0 0 0 0 18 0 1 0 375003992 3878912 288 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 9340539 0 0 4096 0 0 0 0 17 1 0 0
/proc/26651/statm: 947 288 206 20 0 305 0

[startup+0.037829 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 26651
/proc/meminfo: memFree=1512328/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=4312 CPUtime=0.03
/proc/26651/stat : 26651 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194304 465 0 0 0 3 0 0 0 18 0 1 0 375003992 4415488 440 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583910 0 0 4096 0 0 0 0 17 1 0 0
/proc/26651/statm: 1078 440 207 20 0 436 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4312

[startup+0.101842 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 26651
/proc/meminfo: memFree=1512328/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=4448 CPUtime=0.09
/proc/26651/stat : 26651 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194304 473 0 0 0 9 0 0 0 18 0 1 0 375003992 4554752 448 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583910 0 0 4096 0 0 0 0 17 1 0 0
/proc/26651/statm: 1112 448 207 20 0 470 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4448

[startup+0.30189 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 26651
/proc/meminfo: memFree=1512328/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=8964 CPUtime=0.44
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 1061 0 0 0 44 0 0 0 18 0 3 0 375003992 9179136 1036 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 2241 1036 218 20 0 1599 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 8964

[startup+0.701976 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 26651
/proc/meminfo: memFree=1512328/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=12564 CPUtime=1.23
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 1864 0 0 0 123 0 0 0 18 0 3 0 375003992 12865536 1839 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 3141 1839 218 20 0 2499 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 12564

[startup+1.50115 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 26654
/proc/meminfo: memFree=1503600/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=15504 CPUtime=2.83
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 2891 0 0 0 282 1 0 0 18 0 3 0 375003992 15876096 2866 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 3876 2866 218 20 0 3234 0
[pid=26651/tid=26653] ppid=26649 vsize=15504 CPUtime=1.34
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 1147 0 0 0 134 0 0 0 23 0 3 0 375004007 15876096 2866 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26651/tid=26654] ppid=26649 vsize=15504 CPUtime=1.33
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 1232 0 0 0 133 0 0 0 18 0 3 0 375004007 15876096 2866 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 15504

[startup+3.10149 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 26654
/proc/meminfo: memFree=1500720/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=18032 CPUtime=6.02
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 3531 0 0 0 601 1 0 0 18 0 3 0 375003992 18464768 3506 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 4508 3506 218 20 0 3866 0
[pid=26651/tid=26653] ppid=26649 vsize=18032 CPUtime=2.94
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 1470 0 0 0 294 0 0 0 25 0 3 0 375004007 18464768 3506 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26651/tid=26654] ppid=26649 vsize=18032 CPUtime=2.92
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 1549 0 0 0 292 0 0 0 25 0 3 0 375004007 18464768 3506 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565721 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 18032

[startup+6.30118 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 26654
/proc/meminfo: memFree=1491440/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=27740 CPUtime=12.41
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 6142 0 0 0 1237 4 0 0 18 0 3 0 375003992 28405760 5969 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 6935 5969 218 20 0 6293 0
[pid=26651/tid=26653] ppid=26649 vsize=27740 CPUtime=6.14
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 2729 0 0 0 613 1 0 0 25 0 3 0 375004007 28405760 5969 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 9340539 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26651/tid=26654] ppid=26649 vsize=27740 CPUtime=6.1
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 2901 0 0 0 609 1 0 0 25 0 3 0 375004007 28405760 5969 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 27740

[startup+12.7016 s]
/proc/loadavg: 1.86 1.94 1.90 3/80 26654
/proc/meminfo: memFree=1482096/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=35944 CPUtime=25.16
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 8068 0 0 0 2511 5 0 0 18 0 3 0 375003992 36806656 7597 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 8986 7597 218 20 0 8344 0
[pid=26651/tid=26653] ppid=26649 vsize=35944 CPUtime=12.53
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 3696 0 0 0 1251 2 0 0 25 0 3 0 375004007 36806656 7597 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26651/tid=26654] ppid=26649 vsize=35944 CPUtime=12.47
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 3860 0 0 0 1245 2 0 0 25 0 3 0 375004007 36806656 7597 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 35944

[startup+25.5013 s]
/proc/loadavg: 1.89 1.94 1.90 3/80 26654
/proc/meminfo: memFree=1473520/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=44356 CPUtime=50.68
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 10774 0 0 0 5060 8 0 0 18 0 3 0 375003992 45420544 9762 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 11089 9762 218 20 0 10447 0
[pid=26651/tid=26653] ppid=26649 vsize=44356 CPUtime=25.32
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 4913 0 0 0 2528 4 0 0 25 0 3 0 375004007 45420544 9762 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26651/tid=26654] ppid=26649 vsize=44356 CPUtime=25.2
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 5349 0 0 0 2517 3 0 0 25 0 3 0 375004007 45420544 9762 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 44356

[startup+51.1019 s]
/proc/loadavg: 1.93 1.94 1.90 3/80 26654
/proc/meminfo: memFree=1470384/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=47312 CPUtime=101.72
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 12572 0 0 0 10162 10 0 0 18 0 3 0 375003992 48447488 10526 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 11828 10526 218 20 0 11186 0
[pid=26651/tid=26653] ppid=26649 vsize=47312 CPUtime=50.9
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 5680 0 0 0 5085 5 0 0 25 0 3 0 375004007 48447488 10526 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26651/tid=26654] ppid=26649 vsize=47312 CPUtime=50.67
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 6380 0 0 0 5063 4 0 0 25 0 3 0 375004007 48447488 10526 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 47312

[startup+102.306 s]
/proc/loadavg: 1.97 1.95 1.91 3/80 26654
/proc/meminfo: memFree=1465328/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=52328 CPUtime=203.82
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 15786 0 0 0 20369 13 0 0 18 0 3 0 375003992 53583872 11761 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 13082 11761 218 20 0 12440 0
[pid=26651/tid=26653] ppid=26649 vsize=52328 CPUtime=102.05
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 7571 0 0 0 10198 7 0 0 21 0 3 0 375004007 53583872 11761 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26651/tid=26654] ppid=26649 vsize=52328 CPUtime=101.62
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 7703 0 0 0 10157 5 0 0 21 0 3 0 375004007 53583872 11761 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 52328

[startup+162.302 s]
/proc/loadavg: 1.99 1.95 1.91 3/80 26654
/proc/meminfo: memFree=1458864/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=58260 CPUtime=323.46
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 19673 0 0 0 32330 16 0 0 18 0 3 0 375003992 59658240 13404 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 14565 13404 218 20 0 13923 0
[pid=26651/tid=26653] ppid=26649 vsize=58260 CPUtime=161.99
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 9355 0 0 0 16191 8 0 0 25 0 3 0 375004007 59658240 13404 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26651/tid=26654] ppid=26649 vsize=58260 CPUtime=161.31
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 9806 0 0 0 16124 7 0 0 25 0 3 0 375004007 59658240 13404 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.46
Current children cumulated vsize (KiB) 58260

[startup+222.303 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 26654
/proc/meminfo: memFree=1456368/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=61380 CPUtime=443.11
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 22458 0 0 0 44293 18 0 0 18 0 3 0 375003992 62853120 13989 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 15345 13989 218 20 0 14703 0
[pid=26651/tid=26653] ppid=26649 vsize=61380 CPUtime=221.94
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 10639 0 0 0 22185 9 0 0 25 0 3 0 375004007 62853120 13989 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26651/tid=26654] ppid=26649 vsize=61380 CPUtime=221.03
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 11307 0 0 0 22094 9 0 0 19 0 3 0 375004007 62853120 13989 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.11
Current children cumulated vsize (KiB) 61380

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26654
/proc/meminfo: memFree=1454064/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=63076 CPUtime=562.78
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 25212 0 0 0 56257 21 0 0 18 0 3 0 375003992 64589824 14599 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 15769 14599 218 20 0 15127 0
[pid=26651/tid=26653] ppid=26649 vsize=63076 CPUtime=281.88
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 12072 0 0 0 28178 10 0 0 25 0 3 0 375004007 64589824 14599 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26651/tid=26654] ppid=26649 vsize=63076 CPUtime=280.74
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 12628 0 0 0 28064 10 0 0 18 0 3 0 375004007 64589824 14599 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.78
Current children cumulated vsize (KiB) 63076

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26654
/proc/meminfo: memFree=1452656/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=64612 CPUtime=682.41
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 27876 0 0 0 68218 23 0 0 18 0 3 0 375003992 66162688 14985 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 16153 14985 218 20 0 15511 0
[pid=26651/tid=26653] ppid=26649 vsize=64612 CPUtime=341.83
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 13340 0 0 0 34172 11 0 0 20 0 3 0 375004007 66162688 14985 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26651/tid=26654] ppid=26649 vsize=64612 CPUtime=340.43
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 14024 0 0 0 34032 11 0 0 25 0 3 0 375004007 66162688 14985 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526319 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.41
Current children cumulated vsize (KiB) 64612

[startup+402.302 s]

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

/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 39797 0 0 0 184014 39 0 0 25 0 3 0 375004007 92844032 21322 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26651/tid=26654] ppid=26649 vsize=90668 CPUtime=1833.09
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 43080 0 0 0 183276 33 0 0 25 0 3 0 375004007 92844032 21322 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530014 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3673.78
Current children cumulated vsize (KiB) 90668

[startup+1902.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26656
/proc/meminfo: memFree=1427056/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=90876 CPUtime=3793.43
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 85442 0 0 0 379268 75 0 0 18 0 3 0 375003992 93057024 21374 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 22719 21374 218 20 0 22077 0
[pid=26651/tid=26653] ppid=26649 vsize=90876 CPUtime=1900.47
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 40790 0 0 0 190007 40 0 0 25 0 3 0 375004007 93057024 21374 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526319 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26651/tid=26654] ppid=26649 vsize=90876 CPUtime=1892.8
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 44140 0 0 0 189246 34 0 0 25 0 3 0 375004007 93057024 21374 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3793.43
Current children cumulated vsize (KiB) 90876

[startup+1962.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26656
/proc/meminfo: memFree=1426544/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=91216 CPUtime=3913.09
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 87499 0 0 0 391232 77 0 0 18 0 3 0 375003992 93405184 21499 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 22804 21499 218 20 0 22162 0
[pid=26651/tid=26653] ppid=26649 vsize=91216 CPUtime=1960.42
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 41759 0 0 0 196001 41 0 0 25 0 3 0 375004007 93405184 21499 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26651/tid=26654] ppid=26649 vsize=91216 CPUtime=1952.51
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 45228 0 0 0 195216 35 0 0 25 0 3 0 375004007 93405184 21499 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3913.09
Current children cumulated vsize (KiB) 91216

[startup+2022.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26656
/proc/meminfo: memFree=1426416/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=91216 CPUtime=4032.73
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 89368 0 0 0 403194 79 0 0 18 0 3 0 375003992 93405184 21505 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 22804 21505 218 20 0 22162 0
[pid=26651/tid=26653] ppid=26649 vsize=91216 CPUtime=2020.36
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 42662 0 0 0 201994 42 0 0 25 0 3 0 375004007 93405184 21505 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26651/tid=26654] ppid=26649 vsize=91216 CPUtime=2012.21
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 46194 0 0 0 201185 36 0 0 25 0 3 0 375004007 93405184 21505 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4032.73
Current children cumulated vsize (KiB) 91216

[startup+2082.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26656
/proc/meminfo: memFree=1426352/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=91348 CPUtime=4152.39
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 90984 0 0 0 415158 81 0 0 18 0 3 0 375003992 93540352 21534 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 22837 21534 218 20 0 22195 0
[pid=26651/tid=26653] ppid=26649 vsize=91348 CPUtime=2080.19
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 43381 0 0 0 207976 43 0 0 25 0 3 0 375004007 93540352 21534 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26651/tid=26654] ppid=26649 vsize=91348 CPUtime=2072.04
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 47091 0 0 0 207167 37 0 0 25 0 3 0 375004007 93540352 21534 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4152.39
Current children cumulated vsize (KiB) 91348

[startup+2142.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26656
/proc/meminfo: memFree=1426096/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=92504 CPUtime=4272.03
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 92898 0 0 0 427120 83 0 0 18 0 3 0 375003992 94724096 21585 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 23126 21585 218 20 0 22484 0
[pid=26651/tid=26653] ppid=26649 vsize=92504 CPUtime=2139.9
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 44374 0 0 0 213946 44 0 0 25 0 3 0 375004007 94724096 21585 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26651/tid=26654] ppid=26649 vsize=92504 CPUtime=2131.98
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 48012 0 0 0 213160 38 0 0 25 0 3 0 375004007 94724096 21585 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.03
Current children cumulated vsize (KiB) 92504

[startup+2202.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26656
/proc/meminfo: memFree=1425648/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=92504 CPUtime=4391.69
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 94305 0 0 0 439085 84 0 0 18 0 3 0 375003992 94724096 21681 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 23126 21681 218 20 0 22484 0
[pid=26651/tid=26653] ppid=26649 vsize=92504 CPUtime=2199.6
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 44996 0 0 0 219916 44 0 0 25 0 3 0 375004007 94724096 21681 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26651/tid=26654] ppid=26649 vsize=92504 CPUtime=2191.93
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 48797 0 0 0 219154 39 0 0 25 0 3 0 375004007 94724096 21681 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526414 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4391.69
Current children cumulated vsize (KiB) 92504

[startup+2262.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26656
/proc/meminfo: memFree=1425328/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=92708 CPUtime=4511.35
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 95846 0 0 0 451049 86 0 0 18 0 3 0 375003992 94932992 21773 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 23177 21773 218 20 0 22535 0
[pid=26651/tid=26653] ppid=26649 vsize=92708 CPUtime=2259.31
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 45569 0 0 0 225887 44 0 0 22 0 3 0 375004007 94932992 21773 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26651/tid=26654] ppid=26649 vsize=92708 CPUtime=2251.87
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 49765 0 0 0 225147 40 0 0 22 0 3 0 375004007 94932992 21773 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4511.35
Current children cumulated vsize (KiB) 92708

[startup+2322.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26656
/proc/meminfo: memFree=1425264/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=92708 CPUtime=4630.99
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 96903 0 0 0 463011 88 0 0 18 0 3 0 375003992 94932992 21795 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 23177 21795 218 20 0 22535 0
[pid=26651/tid=26653] ppid=26649 vsize=92708 CPUtime=2318.99
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 46488 0 0 0 231854 45 0 0 25 0 3 0 375004007 94932992 21795 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26651/tid=26654] ppid=26649 vsize=92708 CPUtime=2311.83
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 49903 0 0 0 231142 41 0 0 25 0 3 0 375004007 94932992 21795 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4630.99
Current children cumulated vsize (KiB) 92708

[startup+2382.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26656
/proc/meminfo: memFree=1424240/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=93732 CPUtime=4750.65
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 98501 0 0 0 474976 89 0 0 18 0 3 0 375003992 95981568 22013 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 23433 22013 218 20 0 22791 0
[pid=26651/tid=26653] ppid=26649 vsize=93732 CPUtime=2378.71
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 47141 0 0 0 237825 46 0 0 25 0 3 0 375004007 95981568 22013 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26651/tid=26654] ppid=26649 vsize=93732 CPUtime=2371.78
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 50848 0 0 0 237136 42 0 0 25 0 3 0 375004007 95981568 22013 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4750.65
Current children cumulated vsize (KiB) 93732

[startup+2442.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26656
/proc/meminfo: memFree=1424240/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=93732 CPUtime=4870.31
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 100505 0 0 0 486940 91 0 0 18 0 3 0 375003992 95981568 22016 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 23433 22016 218 20 0 22791 0
[pid=26651/tid=26653] ppid=26649 vsize=93732 CPUtime=2438.42
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 48110 0 0 0 243796 46 0 0 25 0 3 0 375004007 95981568 22016 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526429 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26651/tid=26654] ppid=26649 vsize=93732 CPUtime=2431.73
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 51883 0 0 0 243130 43 0 0 25 0 3 0 375004007 95981568 22016 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4870.31
Current children cumulated vsize (KiB) 93732

[startup+2502.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26656
/proc/meminfo: memFree=1424240/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=93864 CPUtime=4989.98
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 102474 0 0 0 498905 93 0 0 18 0 3 0 375003992 96116736 22053 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 23466 22053 218 20 0 22824 0
[pid=26651/tid=26653] ppid=26649 vsize=93864 CPUtime=2498.13
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 49008 0 0 0 249766 47 0 0 25 0 3 0 375004007 96116736 22053 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26651/tid=26654] ppid=26649 vsize=93864 CPUtime=2491.69
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 52954 0 0 0 249124 45 0 0 25 0 3 0 375004007 96116736 22053 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4989.98
Current children cumulated vsize (KiB) 93864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.4 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26656
/proc/meminfo: memFree=1424240/2055920 swapFree=4143936/4192956
[pid=26651] ppid=26649 vsize=93864 CPUtime=5000.13
/proc/26651/stat : 26651 (MiraXTv3_dyn) S 26649 26651 26579 0 -1 4194304 102681 0 0 0 499920 93 0 0 18 0 3 0 375003992 96116736 22053 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26651/statm: 23466 22053 218 20 0 22824 0
[pid=26651/tid=26653] ppid=26649 vsize=93864 CPUtime=2503.19
/proc/26651/task/26653/stat : 26653 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 49146 0 0 0 250272 47 0 0 25 0 3 0 375004007 96116736 22053 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26651/tid=26654] ppid=26649 vsize=93864 CPUtime=2496.78
/proc/26651/task/26654/stat : 26654 (MiraXTv3_dyn) R 26649 26651 26579 0 -1 4194368 53023 0 0 0 249633 45 0 0 25 0 3 0 375004007 96116736 22053 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.13
Current children cumulated vsize (KiB) 93864

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.43
CPU time (s): 5000.16
CPU user time (s): 4999.22
CPU system time (s): 0.944856
CPU usage (%): 199.414
Max. virtual memory (cumulated for all children) (KiB): 94140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.22
system time used= 0.944856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102681
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= 1410
involuntary context switches= 94257

runsolver used 2.30565 second user time and 6.82396 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Sat May 12 17:07:45 UTC 2007

IDJOB= 426136
IDBENCH= 19953
IDSOLVER= 196
FILE ID= node10/426136-1178989665

PBS_JOBID= 5252829

Free space on /tmp= 66556 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/7SAT/v75/unif-k7-r89-v75-c6675-S1572638390-17.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426136-1178989665/MiraXTv3_dyn /tmp/evaluation/426136-1178989665/instance-426136-1178989665.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-426136-1178989665 -o ROOT/results/node10/solver-426136-1178989665 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426136-1178989665/MiraXTv3_dyn /tmp/evaluation/426136-1178989665/instance-426136-1178989665.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  ce74deb44849da26eb98932c0518f94a

RANDOM SEED= 695623060

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.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.259
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.259
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:       1512544 kB
Buffers:         52324 kB
Cached:         401020 kB
SwapCached:      18032 kB
Active:         137700 kB
Inactive:       339572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1512544 kB
SwapTotal:     4192956 kB
SwapFree:      4143936 kB
Dirty:            4204 kB
Writeback:           0 kB
Mapped:          29848 kB
Slab:            51696 kB
Committed_AS:  5324408 kB
PageTables:       1736 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= 66556 MiB

End job on node10 on Sat May 12 17:49:34 UTC 2007