Trace number 426055

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.21 2506.83

General information on the benchmark

Namerandom/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S114606831-19.UNSAT.shuffled.cnf
MD5SUMf58c1c79829cde7ca8870c737bfcca7c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark847.706
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
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 52130
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/node4/watcher-426055-1178981148 -o ROOT/results/node4/solver-426055-1178981148 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426055-1178981148/MiraXTv3_dyn /tmp/evaluation/426055-1178981148/instance-426055-1178981148.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.99 1.87 1.45 3/77 30245
/proc/meminfo: memFree=1553944/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=3788 CPUtime=0
/proc/30245/stat : 30245 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 374152545 3878912 259 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0
/proc/30245/statm: 947 259 206 20 0 305 0

[startup+0.081435 s]
/proc/loadavg: 1.99 1.87 1.45 3/77 30245
/proc/meminfo: memFree=1553944/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=6540 CPUtime=0.14
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 636 0 0 0 14 0 0 0 18 0 3 0 374152545 6696960 611 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 1635 611 218 20 0 993 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 6540

[startup+0.101435 s]
/proc/loadavg: 1.99 1.87 1.45 3/77 30245
/proc/meminfo: memFree=1553944/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=6840 CPUtime=0.18
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 719 0 0 0 18 0 0 0 18 0 3 0 374152545 7004160 694 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 1710 694 218 20 0 1068 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6840

[startup+0.30146 s]
/proc/loadavg: 1.99 1.87 1.45 3/77 30245
/proc/meminfo: memFree=1553944/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=8800 CPUtime=0.57
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 1193 0 0 0 57 0 0 0 18 0 3 0 374152545 9011200 1168 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 2200 1168 218 20 0 1558 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 8800

[startup+0.701497 s]
/proc/loadavg: 1.99 1.87 1.45 3/77 30245
/proc/meminfo: memFree=1553944/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=11380 CPUtime=1.37
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 1942 0 0 0 136 1 0 0 18 0 3 0 374152545 11653120 1917 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 2845 1917 218 20 0 2203 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 11380

[startup+1.50258 s]
/proc/loadavg: 1.99 1.87 1.45 3/80 30248
/proc/meminfo: memFree=1545280/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=14640 CPUtime=2.97
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 2519 0 0 0 296 1 0 0 18 0 3 0 374152545 14991360 2493 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 3660 2493 218 20 0 3018 0
[pid=30245/tid=30247] ppid=30243 vsize=14640 CPUtime=1.47
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 1064 0 0 0 147 0 0 0 22 0 3 0 374152546 14991360 2493 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30245/tid=30248] ppid=30243 vsize=14640 CPUtime=1.47
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 1107 0 0 0 147 0 0 0 17 0 3 0 374152546 14991360 2493 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 14640

[startup+3.10173 s]
/proc/loadavg: 1.99 1.87 1.45 3/80 30248
/proc/meminfo: memFree=1543168/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=17796 CPUtime=6.16
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 3449 0 0 0 614 2 0 0 18 0 3 0 374152545 18223104 3351 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 4449 3351 218 20 0 3807 0
[pid=30245/tid=30247] ppid=30243 vsize=17796 CPUtime=3.08
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 1497 0 0 0 307 1 0 0 25 0 3 0 374152546 18223104 3351 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565471 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30245/tid=30248] ppid=30243 vsize=17796 CPUtime=3.06
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 1604 0 0 0 306 0 0 0 25 0 3 0 374152546 18223104 3351 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 17796

[startup+6.30103 s]
/proc/loadavg: 1.99 1.87 1.46 3/80 30248
/proc/meminfo: memFree=1534720/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=26144 CPUtime=12.54
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 5590 0 0 0 1250 4 0 0 18 0 3 0 374152545 26771456 5414 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 6536 5414 218 20 0 5894 0
[pid=30245/tid=30247] ppid=30243 vsize=26144 CPUtime=6.27
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 2557 0 0 0 625 2 0 0 25 0 3 0 374152546 26771456 5414 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30245/tid=30248] ppid=30243 vsize=26144 CPUtime=6.24
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 2685 0 0 0 623 1 0 0 18 0 3 0 374152546 26771456 5414 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 26144

[startup+12.7016 s]
/proc/loadavg: 1.99 1.87 1.46 3/80 30248
/proc/meminfo: memFree=1527104/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=33036 CPUtime=25.3
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 7311 0 0 0 2525 5 0 0 18 0 3 0 374152545 33828864 6827 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 8259 6827 218 20 0 7617 0
[pid=30245/tid=30247] ppid=30243 vsize=33036 CPUtime=12.67
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 3378 0 0 0 1264 3 0 0 19 0 3 0 374152546 33828864 6827 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30245/tid=30248] ppid=30243 vsize=33036 CPUtime=12.61
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 3585 0 0 0 1259 2 0 0 25 0 3 0 374152546 33828864 6827 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 33036

[startup+25.5019 s]
/proc/loadavg: 1.99 1.88 1.47 3/80 30248
/proc/meminfo: memFree=1518080/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=41888 CPUtime=50.83
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 9957 0 0 0 5075 8 0 0 18 0 3 0 374152545 42893312 9037 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 10472 9037 218 20 0 9830 0
[pid=30245/tid=30247] ppid=30243 vsize=41888 CPUtime=25.45
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 4666 0 0 0 2541 4 0 0 25 0 3 0 374152546 42893312 9037 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30245/tid=30248] ppid=30243 vsize=41888 CPUtime=25.35
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 4943 0 0 0 2532 3 0 0 25 0 3 0 374152546 42893312 9037 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 41888

[startup+51.1013 s]
/proc/loadavg: 1.99 1.89 1.48 3/80 30248
/proc/meminfo: memFree=1514880/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=43772 CPUtime=101.87
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 11847 0 0 0 10177 10 0 0 18 0 3 0 374152545 44822528 9815 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 10943 9815 218 20 0 10301 0
[pid=30245/tid=30247] ppid=30243 vsize=43772 CPUtime=51.03
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 5500 0 0 0 5098 5 0 0 25 0 3 0 374152546 44822528 9815 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30245/tid=30248] ppid=30243 vsize=43772 CPUtime=50.82
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 5999 0 0 0 5077 5 0 0 25 0 3 0 374152546 44822528 9815 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 43772

[startup+102.306 s]
/proc/loadavg: 1.99 1.90 1.50 3/80 30248
/proc/meminfo: memFree=1511296/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=47720 CPUtime=203.99
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 14483 0 0 0 20386 13 0 0 18 0 3 0 374152545 48865280 10745 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 11930 10745 218 20 0 11288 0
[pid=30245/tid=30247] ppid=30243 vsize=47720 CPUtime=102.2
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 6922 0 0 0 10213 7 0 0 25 0 3 0 374152546 48865280 10745 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30245/tid=30248] ppid=30243 vsize=47720 CPUtime=101.78
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 7213 0 0 0 10172 6 0 0 25 0 3 0 374152546 48865280 10745 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.99
Current children cumulated vsize (KiB) 47720

[startup+162.302 s]
/proc/loadavg: 1.99 1.92 1.53 3/80 30248
/proc/meminfo: memFree=1508736/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=50336 CPUtime=323.66
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 17146 0 0 0 32351 15 0 0 18 0 3 0 374152545 51544064 11304 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 12584 11304 218 20 0 11942 0
[pid=30245/tid=30247] ppid=30243 vsize=50336 CPUtime=162.16
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 8406 0 0 0 16207 9 0 0 25 0 3 0 374152546 51544064 11304 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30245/tid=30248] ppid=30243 vsize=50336 CPUtime=161.49
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 8392 0 0 0 16143 6 0 0 25 0 3 0 374152546 51544064 11304 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.66
Current children cumulated vsize (KiB) 50336

[startup+222.302 s]
/proc/loadavg: 1.99 1.93 1.56 3/80 30248
/proc/meminfo: memFree=1507264/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=51936 CPUtime=443.34
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 19509 0 0 0 44317 17 0 0 18 0 3 0 374152545 53182464 11639 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 12984 11639 218 20 0 12342 0
[pid=30245/tid=30247] ppid=30243 vsize=51936 CPUtime=222.11
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 9536 0 0 0 22201 10 0 0 25 0 3 0 374152546 53182464 11639 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30245/tid=30248] ppid=30243 vsize=51936 CPUtime=221.21
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 9625 0 0 0 22114 7 0 0 25 0 3 0 374152546 53182464 11639 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.34
Current children cumulated vsize (KiB) 51936

[startup+282.302 s]
/proc/loadavg: 1.99 1.94 1.58 3/80 30248
/proc/meminfo: memFree=1505472/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=53044 CPUtime=563.01
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 22095 0 0 0 56281 20 0 0 18 0 3 0 374152545 54317056 12131 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 13261 12131 218 20 0 12619 0
[pid=30245/tid=30247] ppid=30243 vsize=53044 CPUtime=282.07
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 10907 0 0 0 28196 11 0 0 25 0 3 0 374152546 54317056 12131 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30245/tid=30248] ppid=30243 vsize=53044 CPUtime=280.91
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 10840 0 0 0 28083 8 0 0 25 0 3 0 374152546 54317056 12131 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.01
Current children cumulated vsize (KiB) 53044

[startup+342.302 s]
/proc/loadavg: 1.99 1.95 1.61 3/80 30248
/proc/meminfo: memFree=1503936/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=55004 CPUtime=682.69
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 24161 0 0 0 68247 22 0 0 18 0 3 0 374152545 56324096 12483 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 13751 12483 218 20 0 13109 0
[pid=30245/tid=30247] ppid=30243 vsize=55004 CPUtime=342.03
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 11942 0 0 0 34191 12 0 0 25 0 3 0 374152546 56324096 12483 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30245/tid=30248] ppid=30243 vsize=55004 CPUtime=340.64
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 11871 0 0 0 34055 9 0 0 25 0 3 0 374152546 56324096 12483 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.69
Current children cumulated vsize (KiB) 55004

[startup+402.303 s]

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

/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 36026 0 0 0 183527 47 0 0 25 0 3 0 374152546 85700608 19466 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30245/tid=30248] ppid=30243 vsize=83692 CPUtime=1838.82
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 35236 0 0 0 183847 35 0 0 25 0 3 0 374152546 85700608 19466 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3674.58
Current children cumulated vsize (KiB) 83692

[startup+1902.3 s]
/proc/loadavg: 1.99 1.97 1.89 3/80 30446
/proc/meminfo: memFree=1475712/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=83844 CPUtime=3794.27
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 73134 0 0 0 379343 84 0 0 18 0 3 0 374152545 85856256 19534 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 20961 19534 218 20 0 20319 0
[pid=30245/tid=30247] ppid=30243 vsize=83844 CPUtime=1895.48
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 36847 0 0 0 189500 48 0 0 25 0 3 0 374152546 85856256 19534 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30245/tid=30248] ppid=30243 vsize=83844 CPUtime=1898.77
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 35939 0 0 0 189842 35 0 0 25 0 3 0 374152546 85856256 19534 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.27
Current children cumulated vsize (KiB) 83844

[startup+1962.3 s]
/proc/loadavg: 2.03 1.99 1.90 3/80 30446
/proc/meminfo: memFree=1475200/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=85032 CPUtime=3913.97
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 74724 0 0 0 391312 85 0 0 18 0 3 0 374152545 87072768 19665 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 21258 19665 218 20 0 20616 0
[pid=30245/tid=30247] ppid=30243 vsize=85032 CPUtime=1955.2
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 37569 0 0 0 195472 48 0 0 25 0 3 0 374152546 87072768 19665 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30245/tid=30248] ppid=30243 vsize=85032 CPUtime=1958.75
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 36807 0 0 0 195838 37 0 0 25 0 3 0 374152546 87072768 19665 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.97
Current children cumulated vsize (KiB) 85032

[startup+2022.3 s]
/proc/loadavg: 2.13 2.02 1.91 3/80 30446
/proc/meminfo: memFree=1475072/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=85032 CPUtime=4033.67
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 76222 0 0 0 403280 87 0 0 18 0 3 0 374152545 87072768 19694 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 21258 19694 218 20 0 20616 0
[pid=30245/tid=30247] ppid=30243 vsize=85032 CPUtime=2014.93
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 38385 0 0 0 201445 48 0 0 25 0 3 0 374152546 87072768 19694 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30245/tid=30248] ppid=30243 vsize=85032 CPUtime=2018.72
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 37489 0 0 0 201834 38 0 0 25 0 3 0 374152546 87072768 19694 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.67
Current children cumulated vsize (KiB) 85032

[startup+2082.31 s]
/proc/loadavg: 2.21 2.07 1.94 3/80 30446
/proc/meminfo: memFree=1474944/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=85260 CPUtime=4153.35
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 77731 0 0 0 415247 88 0 0 18 0 3 0 374152545 87306240 19731 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 21315 19731 218 20 0 20673 0
[pid=30245/tid=30247] ppid=30243 vsize=85260 CPUtime=2074.65
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 39210 0 0 0 207416 49 0 0 25 0 3 0 374152546 87306240 19731 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30245/tid=30248] ppid=30243 vsize=85260 CPUtime=2078.68
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 38173 0 0 0 207830 38 0 0 25 0 3 0 374152546 87306240 19731 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.35
Current children cumulated vsize (KiB) 85260

[startup+2142.3 s]
/proc/loadavg: 2.07 2.05 1.94 3/80 30446
/proc/meminfo: memFree=1474880/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=85260 CPUtime=4273.03
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 79333 0 0 0 427214 89 0 0 18 0 3 0 374152545 87306240 19737 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 21315 19737 218 20 0 20673 0
[pid=30245/tid=30247] ppid=30243 vsize=85260 CPUtime=2134.36
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 40011 0 0 0 213387 49 0 0 25 0 3 0 374152546 87306240 19737 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526440 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30245/tid=30248] ppid=30243 vsize=85260 CPUtime=2138.64
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 38974 0 0 0 213825 39 0 0 25 0 3 0 374152546 87306240 19737 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273.03
Current children cumulated vsize (KiB) 85260

[startup+2202.3 s]
/proc/loadavg: 2.03 2.04 1.94 3/80 30446
/proc/meminfo: memFree=1474880/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=85260 CPUtime=4392.73
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 80836 0 0 0 439182 91 0 0 18 0 3 0 374152545 87306240 19747 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 21315 19747 218 20 0 20673 0
[pid=30245/tid=30247] ppid=30243 vsize=85260 CPUtime=2194.23
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 40705 0 0 0 219373 50 0 0 25 0 3 0 374152546 87306240 19747 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30245/tid=30248] ppid=30243 vsize=85260 CPUtime=2198.48
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 39783 0 0 0 219808 40 0 0 25 0 3 0 374152546 87306240 19747 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4392.73
Current children cumulated vsize (KiB) 85260

[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 1.94 3/80 30446
/proc/meminfo: memFree=1474816/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=85260 CPUtime=4512.4
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 82354 0 0 0 451148 92 0 0 18 0 3 0 374152545 87306240 19765 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 21315 19765 218 20 0 20673 0
[pid=30245/tid=30247] ppid=30243 vsize=85260 CPUtime=2254.2
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 41521 0 0 0 225369 51 0 0 25 0 3 0 374152546 87306240 19765 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526333 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30245/tid=30248] ppid=30243 vsize=85260 CPUtime=2258.18
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 40485 0 0 0 225778 40 0 0 25 0 3 0 374152546 87306240 19765 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526457 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4512.4
Current children cumulated vsize (KiB) 85260

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/80 30446
/proc/meminfo: memFree=1474752/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=85260 CPUtime=4632.1
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 83868 0 0 0 463116 94 0 0 18 0 3 0 374152545 87306240 19771 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 21315 19771 218 20 0 20673 0
[pid=30245/tid=30247] ppid=30243 vsize=85260 CPUtime=2314.15
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 42221 0 0 0 231363 52 0 0 25 0 3 0 374152546 87306240 19771 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30245/tid=30248] ppid=30243 vsize=85260 CPUtime=2317.92
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 41299 0 0 0 231751 41 0 0 25 0 3 0 374152546 87306240 19771 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4632.1
Current children cumulated vsize (KiB) 85260

[startup+2382.3 s]
/proc/loadavg: 1.95 2.00 1.93 3/80 30446
/proc/meminfo: memFree=1474752/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=86204 CPUtime=4751.8
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 85049 0 0 0 475085 95 0 0 18 0 3 0 374152545 88272896 19782 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 21551 19782 218 20 0 20909 0
[pid=30245/tid=30247] ppid=30243 vsize=86204 CPUtime=2374.13
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 42929 0 0 0 237360 53 0 0 25 0 3 0 374152546 88272896 19782 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30245/tid=30248] ppid=30243 vsize=86204 CPUtime=2377.65
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 41772 0 0 0 237724 41 0 0 25 0 3 0 374152546 88272896 19782 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4751.8
Current children cumulated vsize (KiB) 86204

[startup+2442.3 s]
/proc/loadavg: 1.98 2.00 1.93 3/80 30446
/proc/meminfo: memFree=1474560/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=86204 CPUtime=4871.49
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 85881 0 0 0 487053 96 0 0 18 0 3 0 374152545 88272896 19793 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 21551 19793 218 20 0 20909 0
[pid=30245/tid=30247] ppid=30243 vsize=86204 CPUtime=2434.1
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 43403 0 0 0 243356 54 0 0 25 0 3 0 374152546 88272896 19793 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526457 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30245/tid=30248] ppid=30243 vsize=86204 CPUtime=2437.37
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 42130 0 0 0 243695 42 0 0 25 0 3 0 374152546 88272896 19793 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4871.49
Current children cumulated vsize (KiB) 86204

[startup+2502.3 s]
/proc/loadavg: 1.99 2.00 1.93 3/80 30446
/proc/meminfo: memFree=1474624/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=86204 CPUtime=4991.18
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 86836 0 0 0 499021 97 0 0 18 0 3 0 374152545 88272896 19804 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 21551 19804 218 20 0 20909 0
[pid=30245/tid=30247] ppid=30243 vsize=86204 CPUtime=2494.07
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 44117 0 0 0 249352 55 0 0 22 0 3 0 374152546 88272896 19804 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30245/tid=30248] ppid=30243 vsize=86204 CPUtime=2497.09
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 42371 0 0 0 249667 42 0 0 22 0 3 0 374152546 88272896 19804 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4991.18
Current children cumulated vsize (KiB) 86204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.8 s]
/proc/loadavg: 1.99 2.00 1.93 3/80 30446
/proc/meminfo: memFree=1474624/2055920 swapFree=4141224/4192956
[pid=30245] ppid=30243 vsize=86204 CPUtime=5000.17
/proc/30245/stat : 30245 (MiraXTv3_dyn) S 30243 30245 30115 0 -1 4194304 86836 0 0 0 499920 97 0 0 18 0 3 0 374152545 88272896 19804 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30245/statm: 21551 19804 218 20 0 20909 0
[pid=30245/tid=30247] ppid=30243 vsize=86204 CPUtime=2498.58
/proc/30245/task/30247/stat : 30247 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 44117 0 0 0 249803 55 0 0 25 0 3 0 374152546 88272896 19804 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526451 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30245/tid=30248] ppid=30243 vsize=86204 CPUtime=2501.57
/proc/30245/task/30248/stat : 30248 (MiraXTv3_dyn) R 30243 30245 30115 0 -1 4194368 42371 0 0 0 250115 42 0 0 25 0 3 0 374152546 88272896 19804 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.17
Current children cumulated vsize (KiB) 86204

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): 2506.83
CPU time (s): 5000.21
CPU user time (s): 4999.22
CPU system time (s): 0.990849
CPU usage (%): 199.463
Max. virtual memory (cumulated for all children) (KiB): 86676

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

runsolver used 2.42763 second user time and 6.75197 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Sat May 12 14:45:48 UTC 2007

IDJOB= 426055
IDBENCH= 19853
IDSOLVER= 196
FILE ID= node4/426055-1178981148

PBS_JOBID= 5252806

Free space on /tmp= 66561 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v100/unif-k5-r21.3-v100-c2130-S114606831-19.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426055-1178981148/MiraXTv3_dyn /tmp/evaluation/426055-1178981148/instance-426055-1178981148.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-426055-1178981148 -o ROOT/results/node4/solver-426055-1178981148 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426055-1178981148/MiraXTv3_dyn /tmp/evaluation/426055-1178981148/instance-426055-1178981148.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  f58c1c79829cde7ca8870c737bfcca7c

RANDOM SEED= 638968690

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1554160 kB
Buffers:         49824 kB
Cached:         362484 kB
SwapCached:      15684 kB
Active:         127312 kB
Inactive:       308560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1554160 kB
SwapTotal:     4192956 kB
SwapFree:      4141224 kB
Dirty:            3964 kB
Writeback:           0 kB
Mapped:          29960 kB
Slab:            51348 kB
Committed_AS:  9989828 kB
PageTables:       1816 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= 66561 MiB

End job on node4 on Sat May 12 15:27:37 UTC 2007