Trace number 426217

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.13 2507.55

General information on the benchmark

Namerandom/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1121059923-10.cnf
MD5SUM66b921164fd5e4b2a03cd80961fa2940
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark470.761
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses14000
Sum of the clauses size70000
Maximum clause length5
Minimum clause length5
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 514000
Number of clauses of size over 50

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/node20/watcher-426217-1178998553 -o ROOT/results/node20/solver-426217-1178998553 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426217-1178998553/MiraXTv3_dyn /tmp/evaluation/426217-1178998553/instance-426217-1178998553.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.97 3/77 22728
/proc/meminfo: memFree=1651504/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=3788 CPUtime=0
/proc/22728/stat : 22728 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 347772622 3878912 337 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8054395 0 0 4096 0 0 0 0 17 0 0 0
/proc/22728/statm: 947 340 205 20 0 305 0

[startup+0.080328 s]
/proc/loadavg: 1.83 1.94 1.97 3/77 22728
/proc/meminfo: memFree=1651504/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=5168 CPUtime=0.07
/proc/22728/stat : 22728 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194304 705 0 0 0 7 0 0 0 18 0 1 0 347772622 5292032 680 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583664 0 0 4096 0 0 0 0 17 0 0 0
/proc/22728/statm: 1292 680 207 20 0 650 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5168

[startup+0.101334 s]
/proc/loadavg: 1.83 1.94 1.97 3/77 22728
/proc/meminfo: memFree=1651504/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=10568 CPUtime=0.1
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 1125 0 0 0 10 0 0 0 18 0 3 0 347772622 10821632 1039 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 2642 1040 216 20 0 2000 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10568

[startup+0.301378 s]
/proc/loadavg: 1.83 1.94 1.97 3/77 22728
/proc/meminfo: memFree=1651504/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=12732 CPUtime=0.49
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 1791 0 0 0 49 0 0 0 18 0 3 0 347772622 13037568 1705 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 3183 1705 218 20 0 2541 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 12732

[startup+0.702459 s]
/proc/loadavg: 1.83 1.94 1.97 3/77 22728
/proc/meminfo: memFree=1651504/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=19168 CPUtime=1.29
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 3158 0 0 0 128 1 0 0 18 0 3 0 347772622 19628032 3072 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 4792 3072 218 20 0 4150 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 19168

[startup+1.50162 s]
/proc/loadavg: 1.83 1.94 1.97 3/80 22731
/proc/meminfo: memFree=1636184/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=27968 CPUtime=2.89
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 5557 0 0 0 286 3 0 0 18 0 3 0 347772622 28639232 5471 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 6992 5472 218 20 0 6350 0
[pid=22728/tid=22730] ppid=22726 vsize=27968 CPUtime=1.4
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 2486 0 0 0 139 1 0 0 19 0 3 0 347772632 28639232 5472 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8054395 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22728/tid=22731] ppid=22726 vsize=27968 CPUtime=1.38
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 2292 0 0 0 137 1 0 0 22 0 3 0 347772632 28639232 5472 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 27968

[startup+3.10194 s]
/proc/loadavg: 1.85 1.94 1.97 3/80 22731
/proc/meminfo: memFree=1623384/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=38860 CPUtime=6.08
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 8009 0 0 0 603 5 0 0 18 0 3 0 347772622 39792640 7923 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 9715 7923 218 20 0 9073 0
[pid=22728/tid=22730] ppid=22726 vsize=38860 CPUtime=3
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 3733 0 0 0 298 2 0 0 23 0 3 0 347772632 39792640 7923 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22728/tid=22731] ppid=22726 vsize=38860 CPUtime=2.98
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 3496 0 0 0 296 2 0 0 22 0 3 0 347772632 39792640 7923 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 38860

[startup+6.30159 s]
/proc/loadavg: 1.85 1.94 1.97 3/80 22731
/proc/meminfo: memFree=1607960/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=55948 CPUtime=12.46
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 12701 0 0 0 1237 9 0 0 18 0 3 0 347772622 57290752 12543 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 13987 12543 218 20 0 13345 0
[pid=22728/tid=22730] ppid=22726 vsize=55948 CPUtime=6.19
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 5899 0 0 0 616 3 0 0 25 0 3 0 347772632 57290752 12543 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22728/tid=22731] ppid=22726 vsize=55948 CPUtime=6.16
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 6022 0 0 0 611 5 0 0 25 0 3 0 347772632 57290752 12543 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526280 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 55948

[startup+12.7019 s]
/proc/loadavg: 1.87 1.94 1.97 3/80 22731
/proc/meminfo: memFree=1562200/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=99084 CPUtime=25.24
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 23709 0 0 0 2505 19 0 0 18 0 3 0 347772622 101462016 23384 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 24771 23385 218 20 0 24129 0
[pid=22728/tid=22730] ppid=22726 vsize=99084 CPUtime=12.59
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 11420 0 0 0 1252 7 0 0 24 0 3 0 347772632 101462016 23385 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8054395 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22728/tid=22731] ppid=22726 vsize=99084 CPUtime=12.54
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 11510 0 0 0 1243 11 0 0 25 0 3 0 347772632 101462016 23385 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 99084

[startup+25.5025 s]
/proc/loadavg: 1.89 1.94 1.97 3/80 22731
/proc/meminfo: memFree=1550552/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=108592 CPUtime=50.76
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 26521 0 0 0 5055 21 0 0 18 0 3 0 347772622 111198208 25756 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 27148 25756 218 20 0 26506 0
[pid=22728/tid=22730] ppid=22726 vsize=108592 CPUtime=25.37
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 13096 0 0 0 2529 8 0 0 25 0 3 0 347772632 111198208 25756 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22728/tid=22731] ppid=22726 vsize=108592 CPUtime=25.28
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 12645 0 0 0 2516 12 0 0 25 0 3 0 347772632 111198208 25756 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 108592

[startup+51.1026 s]
/proc/loadavg: 1.93 1.94 1.97 3/80 22731
/proc/meminfo: memFree=1513240/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=143424 CPUtime=101.8
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 36105 0 0 0 10149 31 0 0 18 0 3 0 347772622 146866176 34580 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 35856 34580 218 20 0 35214 0
[pid=22728/tid=22730] ppid=22726 vsize=143424 CPUtime=50.94
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 18019 0 0 0 5081 13 0 0 25 0 3 0 347772632 146866176 34580 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22728/tid=22731] ppid=22726 vsize=143424 CPUtime=50.77
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 17306 0 0 0 5059 18 0 0 25 0 3 0 347772632 146866176 34580 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 143424

[startup+102.307 s]
/proc/loadavg: 1.97 1.95 1.97 3/80 22731
/proc/meminfo: memFree=1495512/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=160240 CPUtime=203.86
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 41874 0 0 0 20348 38 0 0 18 0 3 0 347772622 164085760 38958 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 40060 38958 218 20 0 39418 0
[pid=22728/tid=22730] ppid=22726 vsize=160240 CPUtime=102.02
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 21088 0 0 0 10187 15 0 0 17 0 3 0 347772632 164085760 38958 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526457 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22728/tid=22731] ppid=22726 vsize=160240 CPUtime=101.73
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 20006 0 0 0 10151 22 0 0 18 0 3 0 347772632 164085760 38958 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526613 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 160240

[startup+162.303 s]
/proc/loadavg: 1.99 1.95 1.97 3/80 22731
/proc/meminfo: memFree=1489368/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=166916 CPUtime=323.46
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 44023 0 0 0 32307 39 0 0 18 0 3 0 347772622 170921984 40504 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 41729 40504 218 20 0 41087 0
[pid=22728/tid=22730] ppid=22726 vsize=166916 CPUtime=161.9
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 22511 0 0 0 16174 16 0 0 25 0 3 0 347772632 170921984 40504 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526719 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22728/tid=22731] ppid=22726 vsize=166916 CPUtime=161.47
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 20732 0 0 0 16124 23 0 0 25 0 3 0 347772632 170921984 40504 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.46
Current children cumulated vsize (KiB) 166916

[startup+222.301 s]
/proc/loadavg: 1.99 1.96 1.97 3/80 22731
/proc/meminfo: memFree=1489368/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=166916 CPUtime=443.04
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 45514 0 0 0 44263 41 0 0 18 0 3 0 347772622 170921984 40509 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 41729 40509 218 20 0 41087 0
[pid=22728/tid=22730] ppid=22726 vsize=166916 CPUtime=221.81
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 23257 0 0 0 22165 16 0 0 25 0 3 0 347772632 170921984 40509 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22728/tid=22731] ppid=22726 vsize=166916 CPUtime=221.13
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 21477 0 0 0 22089 24 0 0 25 0 3 0 347772632 170921984 40509 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.04
Current children cumulated vsize (KiB) 166916

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.97 3/80 22731
/proc/meminfo: memFree=1485720/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=171012 CPUtime=562.67
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 47340 0 0 0 56224 43 0 0 18 0 3 0 347772622 175116288 41451 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 42753 41451 218 20 0 42111 0
[pid=22728/tid=22730] ppid=22726 vsize=171012 CPUtime=281.73
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 23603 0 0 0 28156 17 0 0 25 0 3 0 347772632 175116288 41451 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22728/tid=22731] ppid=22726 vsize=171012 CPUtime=280.84
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 22957 0 0 0 28059 25 0 0 25 0 3 0 347772632 175116288 41451 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526632 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.67
Current children cumulated vsize (KiB) 171012

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.97 3/80 22731
/proc/meminfo: memFree=1485720/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=170996 CPUtime=682.34
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 47819 0 0 0 68191 43 0 0 18 0 3 0 347772622 175099904 41454 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 42749 41454 218 20 0 42107 0
[pid=22728/tid=22730] ppid=22726 vsize=170996 CPUtime=341.67
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 23605 0 0 0 34150 17 0 0 25 0 3 0 347772632 175099904 41454 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22728/tid=22731] ppid=22726 vsize=170996 CPUtime=340.58
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 23434 0 0 0 34032 26 0 0 25 0 3 0 347772632 175099904 41454 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.34
Current children cumulated vsize (KiB) 170996

[startup+402.302 s]

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

/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 40830 0 0 0 189772 49 0 0 25 0 3 0 347772632 245194752 58422 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134517892 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22728/tid=22731] ppid=22726 vsize=239448 CPUtime=1894.73
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 42808 0 0 0 189411 62 0 0 25 0 3 0 347772632 245194752 58422 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3793.04
Current children cumulated vsize (KiB) 239448

[startup+1962.3 s]
/proc/loadavg: 2.03 1.99 1.97 3/80 22931
/proc/meminfo: memFree=1415384/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=241396 CPUtime=3912.74
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 85410 0 0 0 391160 114 0 0 18 0 3 0 347772622 247189504 58957 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 60349 58957 218 20 0 59707 0
[pid=22728/tid=22730] ppid=22726 vsize=241396 CPUtime=1957.96
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 40903 0 0 0 195746 50 0 0 25 0 3 0 347772632 247189504 58957 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22728/tid=22731] ppid=22726 vsize=241396 CPUtime=1954.67
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 43727 0 0 0 195404 63 0 0 25 0 3 0 347772632 247189504 58957 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3912.74
Current children cumulated vsize (KiB) 241396

[startup+2022.3 s]
/proc/loadavg: 2.01 1.99 1.97 3/80 22931
/proc/meminfo: memFree=1415384/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=241384 CPUtime=4032.4
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 85915 0 0 0 403125 115 0 0 18 0 3 0 347772622 247177216 58955 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 60346 58955 218 20 0 59704 0
[pid=22728/tid=22730] ppid=22726 vsize=241384 CPUtime=2017.7
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 41048 0 0 0 201719 51 0 0 25 0 3 0 347772632 247177216 58955 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22728/tid=22731] ppid=22726 vsize=241384 CPUtime=2014.59
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 44087 0 0 0 201396 63 0 0 25 0 3 0 347772632 247177216 58955 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4032.4
Current children cumulated vsize (KiB) 241384

[startup+2082.31 s]
/proc/loadavg: 2.00 1.99 1.97 3/80 22931
/proc/meminfo: memFree=1415384/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=241384 CPUtime=4152.08
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 86348 0 0 0 415092 116 0 0 18 0 3 0 347772622 247177216 58956 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 60346 58956 218 20 0 59704 0
[pid=22728/tid=22730] ppid=22726 vsize=241384 CPUtime=2077.45
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 41048 0 0 0 207694 51 0 0 25 0 3 0 347772632 247177216 58956 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22728/tid=22731] ppid=22726 vsize=241384 CPUtime=2074.53
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 44520 0 0 0 207389 64 0 0 25 0 3 0 347772632 247177216 58956 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4160577633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4152.08
Current children cumulated vsize (KiB) 241384

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/80 22931
/proc/meminfo: memFree=1415512/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=241260 CPUtime=4271.73
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 86712 0 0 0 427056 117 0 0 18 0 3 0 347772622 247050240 58926 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 60315 58926 218 20 0 59673 0
[pid=22728/tid=22730] ppid=22726 vsize=241260 CPUtime=2137.18
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 41195 0 0 0 213666 52 0 0 25 0 3 0 347772632 247050240 58926 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22728/tid=22731] ppid=22726 vsize=241260 CPUtime=2134.46
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 44737 0 0 0 213381 65 0 0 25 0 3 0 347772632 247050240 58926 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4271.73
Current children cumulated vsize (KiB) 241260

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/80 22931
/proc/meminfo: memFree=1415576/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=241180 CPUtime=4391.38
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 87151 0 0 0 439020 118 0 0 18 0 3 0 347772622 246968320 58907 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 60295 58907 218 20 0 59653 0
[pid=22728/tid=22730] ppid=22726 vsize=241180 CPUtime=2196.91
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 41341 0 0 0 219638 53 0 0 25 0 3 0 347772632 246968320 58907 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565721 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22728/tid=22731] ppid=22726 vsize=241180 CPUtime=2194.37
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 45030 0 0 0 219372 65 0 0 25 0 3 0 347772632 246968320 58907 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4391.38
Current children cumulated vsize (KiB) 241180

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/80 22931
/proc/meminfo: memFree=1415640/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=241052 CPUtime=4511.04
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 87889 0 0 0 450985 119 0 0 18 0 3 0 347772622 246837248 58883 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 60263 58883 218 20 0 59621 0
[pid=22728/tid=22730] ppid=22726 vsize=241052 CPUtime=2256.65
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 41345 0 0 0 225612 53 0 0 25 0 3 0 347772632 246837248 58883 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530005 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22728/tid=22731] ppid=22726 vsize=241052 CPUtime=2254.28
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 45764 0 0 0 225363 65 0 0 25 0 3 0 347772632 246837248 58883 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526593 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4511.04
Current children cumulated vsize (KiB) 241052

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/80 22931
/proc/meminfo: memFree=1415640/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=241044 CPUtime=4630.71
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 88328 0 0 0 462951 120 0 0 18 0 3 0 347772622 246829056 58882 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 60261 58882 218 20 0 59619 0
[pid=22728/tid=22730] ppid=22726 vsize=241044 CPUtime=2316.38
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 41418 0 0 0 231584 54 0 0 25 0 3 0 347772632 246829056 58882 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22728/tid=22731] ppid=22726 vsize=241044 CPUtime=2314.23
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 46130 0 0 0 231357 66 0 0 25 0 3 0 347772632 246829056 58882 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4630.71
Current children cumulated vsize (KiB) 241044

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/80 22931
/proc/meminfo: memFree=1415640/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=241044 CPUtime=4750.39
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 88913 0 0 0 474917 122 0 0 18 0 3 0 347772622 246829056 58883 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 60261 58883 218 20 0 59619 0
[pid=22728/tid=22730] ppid=22726 vsize=241044 CPUtime=2376.13
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 41492 0 0 0 237558 55 0 0 25 0 3 0 347772632 246829056 58883 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22728/tid=22731] ppid=22726 vsize=241044 CPUtime=2374.15
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 46641 0 0 0 237349 66 0 0 25 0 3 0 347772632 246829056 58883 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526593 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4750.39
Current children cumulated vsize (KiB) 241044

[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/80 22931
/proc/meminfo: memFree=1415640/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=241040 CPUtime=4870.03
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 89136 0 0 0 486881 122 0 0 18 0 3 0 347772622 246824960 58884 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 60260 58884 218 20 0 59618 0
[pid=22728/tid=22730] ppid=22726 vsize=241040 CPUtime=2435.85
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 41493 0 0 0 243530 55 0 0 25 0 3 0 347772632 246824960 58884 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520086 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22728/tid=22731] ppid=22726 vsize=241040 CPUtime=2434.08
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 46863 0 0 0 243341 67 0 0 25 0 3 0 347772632 246824960 58884 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4870.03
Current children cumulated vsize (KiB) 241040

[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/80 22931
/proc/meminfo: memFree=1413016/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=243088 CPUtime=4989.69
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 89932 0 0 0 498845 124 0 0 18 0 3 0 347772622 248922112 59532 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 60772 59532 218 20 0 60130 0
[pid=22728/tid=22730] ppid=22726 vsize=243088 CPUtime=2495.59
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 41674 0 0 0 249503 56 0 0 25 0 3 0 347772632 248922112 59532 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22728/tid=22731] ppid=22726 vsize=243088 CPUtime=2494
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 47478 0 0 0 249332 68 0 0 25 0 3 0 347772632 248922112 59532 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4989.69
Current children cumulated vsize (KiB) 243088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.5 s]
/proc/loadavg: 2.00 1.99 1.97 3/80 22931
/proc/meminfo: memFree=1413016/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=243088 CPUtime=5000.08
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 89932 0 0 0 499883 125 0 0 18 0 3 0 347772622 248922112 59532 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 60772 59532 218 20 0 60130 0
[pid=22728/tid=22730] ppid=22726 vsize=243088 CPUtime=2500.77
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 41674 0 0 0 250021 56 0 0 25 0 3 0 347772632 248922112 59532 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22728/tid=22731] ppid=22726 vsize=243088 CPUtime=2499.21
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 47478 0 0 0 249853 68 0 0 25 0 3 0 347772632 248922112 59532 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.08
Current children cumulated vsize (KiB) 243088

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

Solver just ended. Dumping a history of the last processes samples

[startup+2507.5 s]
/proc/loadavg: 2.00 1.99 1.97 3/80 22931
/proc/meminfo: memFree=1413016/2055920 swapFree=4154884/4192956
[pid=22728] ppid=22726 vsize=243088 CPUtime=5000.08
/proc/22728/stat : 22728 (MiraXTv3_dyn) S 22726 22728 22656 0 -1 4194304 89932 0 0 0 499883 125 0 0 18 0 3 0 347772622 248922112 59532 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22728/statm: 60772 59532 218 20 0 60130 0
[pid=22728/tid=22730] ppid=22726 vsize=243088 CPUtime=2500.77
/proc/22728/task/22730/stat : 22730 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 41674 0 0 0 250021 56 0 0 25 0 3 0 347772632 248922112 59532 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22728/tid=22731] ppid=22726 vsize=243088 CPUtime=2499.21
/proc/22728/task/22731/stat : 22731 (MiraXTv3_dyn) R 22726 22728 22656 0 -1 4194368 47478 0 0 0 249853 68 0 0 25 0 3 0 347772632 248922112 59532 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.08
Current children cumulated vsize (KiB) 243088

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2507.55
CPU time (s): 5000.13
CPU user time (s): 4998.84
CPU system time (s): 1.2888
CPU usage (%): 199.403
Max. virtual memory (cumulated for all children) (KiB): 243088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.84
system time used= 1.2888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89932
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= 2219
involuntary context switches= 94415

runsolver used 2.47862 second user time and 6.70798 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Sat May 12 19:35:53 UTC 2007

IDJOB= 426217
IDBENCH= 20042
IDSOLVER= 196
FILE ID= node20/426217-1178998553

PBS_JOBID= 5252844

Free space on /tmp= 66524 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v700/unif-k5-r20-v700-c14000-S1121059923-10.cnf
COMMAND LINE= /tmp/evaluation/426217-1178998553/MiraXTv3_dyn /tmp/evaluation/426217-1178998553/instance-426217-1178998553.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-426217-1178998553 -o ROOT/results/node20/solver-426217-1178998553 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426217-1178998553/MiraXTv3_dyn /tmp/evaluation/426217-1178998553/instance-426217-1178998553.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  66b921164fd5e4b2a03cd80961fa2940

RANDOM SEED= 70449550

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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.265
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.265
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:       1651720 kB
Buffers:         49016 kB
Cached:         267400 kB
SwapCached:      17192 kB
Active:          84268 kB
Inactive:       255628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1651720 kB
SwapTotal:     4192956 kB
SwapFree:      4154884 kB
Dirty:            4368 kB
Writeback:           0 kB
Mapped:          29580 kB
Slab:            49852 kB
Committed_AS:  6889696 kB
PageTables:       1744 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= 66524 MiB

End job on node20 on Sat May 12 20:17:42 UTC 2007