Trace number 426369

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.23 2508.18

General information on the benchmark

Namerandom/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1890278326-03.cnf
MD5SUM54d48c33f7a9a8497a5de749a63ebbcb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1350.38
Satisfiable
(Un)Satisfiability was proved
Number of variables13000
Number of clauses54600
Sum of the clauses size163800
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 354600
Number of clauses of size 40
Number of clauses of size 50
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/node13/watcher-426369-1179012605 -o ROOT/results/node13/solver-426369-1179012605 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426369-1179012605/MiraXTv3_dyn /tmp/evaluation/426369-1179012605/instance-426369-1179012605.cnf 

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


[startup+0 s]
/proc/loadavg: 1.84 2.01 2.01 3/77 29491
/proc/meminfo: memFree=1707768/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=3788 CPUtime=0
/proc/29491/stat : 29491 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194304 416 0 0 0 0 0 0 0 18 0 1 0 349178291 3878912 391 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/29491/statm: 947 399 202 20 0 305 0

[startup+0.098149 s]
/proc/loadavg: 1.84 2.01 2.01 3/77 29491
/proc/meminfo: memFree=1707768/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=8676 CPUtime=0.08
/proc/29491/stat : 29491 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194304 1658 0 0 0 8 0 0 0 18 0 1 0 349178291 8884224 1633 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 12314181 0 0 4096 0 0 0 0 17 0 0 0
/proc/29491/statm: 2169 1633 206 20 0 1527 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8676

[startup+0.101148 s]
/proc/loadavg: 1.84 2.01 2.01 3/77 29491
/proc/meminfo: memFree=1707768/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=8676 CPUtime=0.09
/proc/29491/stat : 29491 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194304 1682 0 0 0 9 0 0 0 18 0 1 0 349178291 8884224 1657 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 12314235 0 0 4096 0 0 0 0 17 0 0 0
/proc/29491/statm: 2169 1657 206 20 0 1527 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8676

[startup+0.301196 s]
/proc/loadavg: 1.84 2.01 2.01 3/77 29491
/proc/meminfo: memFree=1707768/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=31092 CPUtime=0.32
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 4320 0 0 0 30 2 0 0 19 0 3 0 349178291 31838208 4148 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 7773 4148 218 20 0 7131 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 31092

[startup+0.701284 s]
/proc/loadavg: 1.84 2.01 2.01 3/77 29491
/proc/meminfo: memFree=1707768/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=30784 CPUtime=1.09
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 4401 0 0 0 107 2 0 0 19 0 3 0 349178291 31522816 4152 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 7696 4152 218 20 0 7054 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 30784

[startup+1.50146 s]
/proc/loadavg: 1.84 2.01 2.01 3/80 29494
/proc/meminfo: memFree=1691040/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=34152 CPUtime=2.69
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 5075 0 0 0 266 3 0 0 19 0 3 0 349178291 34971648 4826 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 8538 4826 218 20 0 7896 0
[pid=29491/tid=29493] ppid=29489 vsize=34152 CPUtime=1.25
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 1724 0 0 0 124 1 0 0 23 0 3 0 349178315 34971648 4826 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=34152 CPUtime=1.18
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 1244 0 0 0 118 0 0 0 18 0 3 0 349178315 34971648 4826 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 34152

[startup+3.10281 s]
/proc/loadavg: 1.84 2.01 2.01 3/80 29494
/proc/meminfo: memFree=1686688/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=39996 CPUtime=5.88
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 6605 0 0 0 584 4 0 0 19 0 3 0 349178291 40955904 6356 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 9999 6356 218 20 0 9357 0
[pid=29491/tid=29493] ppid=29489 vsize=39996 CPUtime=2.86
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 2515 0 0 0 284 2 0 0 18 0 3 0 349178315 40955904 6356 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 12314181 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=39996 CPUtime=2.78
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 1983 0 0 0 277 1 0 0 20 0 3 0 349178315 40955904 6356 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 39996

[startup+6.30148 s]
/proc/loadavg: 1.85 2.01 2.01 3/80 29494
/proc/meminfo: memFree=1673632/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=52084 CPUtime=12.27
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 9747 0 0 0 1219 8 0 0 19 0 3 0 349178291 53334016 9498 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 13021 9498 218 20 0 12379 0
[pid=29491/tid=29493] ppid=29489 vsize=52084 CPUtime=6.05
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 4006 0 0 0 601 4 0 0 17 0 3 0 349178315 53334016 9498 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=52084 CPUtime=5.96
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 3634 0 0 0 594 2 0 0 19 0 3 0 349178315 53334016 9498 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 52084

[startup+12.7028 s]
/proc/loadavg: 1.86 2.01 2.01 3/80 29494
/proc/meminfo: memFree=1648608/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=75856 CPUtime=25.04
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 15813 0 0 0 2488 16 0 0 19 0 3 0 349178291 77676544 15564 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 18964 15564 218 20 0 18322 0
[pid=29491/tid=29493] ppid=29489 vsize=75856 CPUtime=12.45
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 6997 0 0 0 1238 7 0 0 17 0 3 0 349178315 77676544 15564 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565729 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=75856 CPUtime=12.34
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 6709 0 0 0 1227 7 0 0 20 0 3 0 349178315 77676544 15564 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 75856

[startup+25.5016 s]
/proc/loadavg: 1.89 2.01 2.01 3/80 29494
/proc/meminfo: memFree=1625632/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=98088 CPUtime=50.56
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 21148 0 0 0 5034 22 0 0 19 0 3 0 349178291 100442112 20899 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 24522 20899 218 20 0 23880 0
[pid=29491/tid=29493] ppid=29489 vsize=98088 CPUtime=25.23
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 9791 0 0 0 2512 11 0 0 18 0 3 0 349178315 100442112 20899 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=98088 CPUtime=25.09
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 9250 0 0 0 2499 10 0 0 18 0 3 0 349178315 100442112 20899 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 98088

[startup+51.101 s]
/proc/loadavg: 1.93 2.01 2.00 3/80 29494
/proc/meminfo: memFree=1531296/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=190620 CPUtime=101.63
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 45165 0 0 0 10110 53 0 0 19 0 3 0 349178291 195194880 44674 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 47655 44674 218 20 0 47013 0
[pid=29491/tid=29493] ppid=29489 vsize=190620 CPUtime=50.8
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 22986 0 0 0 5052 28 0 0 19 0 3 0 349178315 195194880 44674 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=190620 CPUtime=50.58
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 20072 0 0 0 5034 24 0 0 22 0 3 0 349178315 195194880 44674 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 190620

[startup+102.307 s]
/proc/loadavg: 1.97 2.00 2.00 3/80 29494
/proc/meminfo: memFree=1491488/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=229348 CPUtime=203.72
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 55090 0 0 0 20307 65 0 0 19 0 3 0 349178291 234852352 54210 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 57337 54210 218 20 0 56695 0
[pid=29491/tid=29493] ppid=29489 vsize=229348 CPUtime=101.94
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 27941 0 0 0 10160 34 0 0 18 0 3 0 349178315 234852352 54210 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526502 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=229348 CPUtime=101.53
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 25042 0 0 0 10124 29 0 0 17 0 3 0 349178315 234852352 54210 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.72
Current children cumulated vsize (KiB) 229348

[startup+162.302 s]
/proc/loadavg: 1.99 2.00 2.00 4/80 29494
/proc/meminfo: memFree=1414432/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=305704 CPUtime=323.28
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 74689 0 0 0 32234 94 0 0 19 0 3 0 349178291 313040896 73241 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 76426 73241 218 20 0 75784 0
[pid=29491/tid=29493] ppid=29489 vsize=305704 CPUtime=161.83
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 38185 0 0 0 16134 49 0 0 25 0 3 0 349178315 313040896 73241 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=305704 CPUtime=161.2
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 34397 0 0 0 16076 44 0 0 25 0 3 0 349178315 313040896 73241 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520200 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.28
Current children cumulated vsize (KiB) 305704

[startup+222.302 s]
/proc/loadavg: 2.12 2.03 2.01 3/80 29494
/proc/meminfo: memFree=1369056/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=350340 CPUtime=442.89
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 86532 0 0 0 44178 111 0 0 19 0 3 0 349178291 358748160 84620 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 87585 84620 218 20 0 86943 0
[pid=29491/tid=29493] ppid=29489 vsize=350340 CPUtime=221.74
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 44767 0 0 0 22117 57 0 0 25 0 3 0 349178315 358748160 84620 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=350340 CPUtime=220.9
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 39658 0 0 0 22038 52 0 0 21 0 3 0 349178315 358748160 84620 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 442.89
Current children cumulated vsize (KiB) 350340

[startup+282.302 s]
/proc/loadavg: 2.04 2.02 2.00 3/80 29494
/proc/meminfo: memFree=1336672/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=384852 CPUtime=562.59
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 95513 0 0 0 56134 125 0 0 19 0 3 0 349178291 394088448 93199 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 96213 93199 218 20 0 95571 0
[pid=29491/tid=29493] ppid=29489 vsize=384852 CPUtime=281.69
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 49168 0 0 0 28104 65 0 0 21 0 3 0 349178315 394088448 93199 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=384852 CPUtime=280.66
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 44238 0 0 0 28007 59 0 0 25 0 3 0 349178315 394088448 93199 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.59
Current children cumulated vsize (KiB) 384852

[startup+342.302 s]
/proc/loadavg: 2.01 2.02 2.00 3/80 29494
/proc/meminfo: memFree=1298400/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=420620 CPUtime=682.23
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 105085 0 0 0 68083 140 0 0 19 0 3 0 349178291 430714880 102159 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 105155 102159 218 20 0 104513 0
[pid=29491/tid=29493] ppid=29489 vsize=420620 CPUtime=341.6
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 54365 0 0 0 34088 72 0 0 25 0 3 0 349178315 430714880 102159 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=420620 CPUtime=340.39
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 48613 0 0 0 33972 67 0 0 25 0 3 0 349178315 430714880 102159 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.23
Current children cumulated vsize (KiB) 420620

[startup+402.302 s]

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

/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 64185 0 0 0 189427 105 0 0 25 0 3 0 349178315 470003712 111682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=458988 CPUtime=1896.38
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 57761 0 0 0 189555 83 0 0 25 0 3 0 349178315 470003712 111682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3791.95
Current children cumulated vsize (KiB) 458988

[startup+1962.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/80 29694
/proc/meminfo: memFree=1260256/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=458988 CPUtime=3911.58
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 124352 0 0 0 390966 192 0 0 19 0 3 0 349178291 470003712 111685 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 114747 111685 218 20 0 114105 0
[pid=29491/tid=29493] ppid=29489 vsize=458988 CPUtime=1955.02
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 64336 0 0 0 195394 108 0 0 25 0 3 0 349178315 470003712 111685 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526625 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=458988 CPUtime=1956.32
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 57909 0 0 0 195549 83 0 0 25 0 3 0 349178315 470003712 111685 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3911.58
Current children cumulated vsize (KiB) 458988

[startup+2022.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/80 29694
/proc/meminfo: memFree=1260192/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=458988 CPUtime=4031.26
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 124575 0 0 0 402933 193 0 0 19 0 3 0 349178291 470003712 111686 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 114747 111686 218 20 0 114105 0
[pid=29491/tid=29493] ppid=29489 vsize=458988 CPUtime=2014.74
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 64485 0 0 0 201366 108 0 0 25 0 3 0 349178315 470003712 111686 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520171 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=458988 CPUtime=2016.28
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 57983 0 0 0 201544 84 0 0 25 0 3 0 349178315 470003712 111686 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4031.26
Current children cumulated vsize (KiB) 458988

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29694
/proc/meminfo: memFree=1260256/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=458988 CPUtime=4150.9
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 124798 0 0 0 414896 194 0 0 19 0 3 0 349178291 470003712 111687 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 114747 111687 218 20 0 114105 0
[pid=29491/tid=29493] ppid=29489 vsize=458988 CPUtime=2074.47
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 64559 0 0 0 207339 108 0 0 25 0 3 0 349178315 470003712 111687 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=458988 CPUtime=2076.18
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 58132 0 0 0 207534 84 0 0 22 0 3 0 349178315 470003712 111687 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4150.9
Current children cumulated vsize (KiB) 458988

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29694
/proc/meminfo: memFree=1260256/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=458988 CPUtime=4270.53
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 125095 0 0 0 426858 195 0 0 19 0 3 0 349178291 470003712 111688 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 114747 111688 218 20 0 114105 0
[pid=29491/tid=29493] ppid=29489 vsize=458988 CPUtime=2134.15
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 64633 0 0 0 213306 109 0 0 25 0 3 0 349178315 470003712 111688 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=458988 CPUtime=2136.14
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 58355 0 0 0 213529 85 0 0 25 0 3 0 349178315 470003712 111688 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4270.53
Current children cumulated vsize (KiB) 458988

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29694
/proc/meminfo: memFree=1260256/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=458988 CPUtime=4390.18
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 125318 0 0 0 438822 196 0 0 19 0 3 0 349178291 470003712 111682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 114747 111682 218 20 0 114105 0
[pid=29491/tid=29493] ppid=29489 vsize=458988 CPUtime=2193.87
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 64708 0 0 0 219278 109 0 0 25 0 3 0 349178315 470003712 111682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 12314268 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=458988 CPUtime=2196.07
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 58503 0 0 0 219521 86 0 0 25 0 3 0 349178315 470003712 111682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4390.18
Current children cumulated vsize (KiB) 458988

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29694
/proc/meminfo: memFree=1260192/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=458988 CPUtime=4509.86
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 125466 0 0 0 450790 196 0 0 19 0 3 0 349178291 470003712 111682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 114747 111682 218 20 0 114105 0
[pid=29491/tid=29493] ppid=29489 vsize=458988 CPUtime=2253.58
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 64708 0 0 0 225249 109 0 0 25 0 3 0 349178315 470003712 111682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=458988 CPUtime=2256.04
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 58651 0 0 0 225518 86 0 0 25 0 3 0 349178315 470003712 111682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525955 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4509.86
Current children cumulated vsize (KiB) 458988

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29694
/proc/meminfo: memFree=1260384/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=458988 CPUtime=4629.53
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 125540 0 0 0 462756 197 0 0 19 0 3 0 349178291 470003712 111682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 114747 111682 218 20 0 114105 0
[pid=29491/tid=29493] ppid=29489 vsize=458988 CPUtime=2313.3
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 64708 0 0 0 231221 109 0 0 25 0 3 0 349178315 470003712 111682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=458988 CPUtime=2315.99
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 58725 0 0 0 231512 87 0 0 22 0 3 0 349178315 470003712 111682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4629.53
Current children cumulated vsize (KiB) 458988

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29694
/proc/meminfo: memFree=1260320/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=458988 CPUtime=4749.23
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 125763 0 0 0 474725 198 0 0 19 0 3 0 349178291 470003712 111683 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 114747 111683 218 20 0 114105 0
[pid=29491/tid=29493] ppid=29489 vsize=458988 CPUtime=2373.03
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 64783 0 0 0 237194 109 0 0 25 0 3 0 349178315 470003712 111683 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=458988 CPUtime=2375.95
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 58873 0 0 0 237508 87 0 0 25 0 3 0 349178315 470003712 111683 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565430 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4749.23
Current children cumulated vsize (KiB) 458988

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29694
/proc/meminfo: memFree=1260256/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=458988 CPUtime=4868.88
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 125989 0 0 0 486689 199 0 0 19 0 3 0 349178291 470003712 111684 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 114747 111684 218 20 0 114105 0
[pid=29491/tid=29493] ppid=29489 vsize=458988 CPUtime=2432.73
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 64933 0 0 0 243164 109 0 0 21 0 3 0 349178315 470003712 111684 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=458988 CPUtime=2435.9
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 58949 0 0 0 243502 88 0 0 23 0 3 0 349178315 470003712 111684 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4868.88
Current children cumulated vsize (KiB) 458988

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29694
/proc/meminfo: memFree=1260320/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=458988 CPUtime=4988.56
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 126142 0 0 0 498657 199 0 0 19 0 3 0 349178291 470003712 111687 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 114747 111687 218 20 0 114105 0
[pid=29491/tid=29493] ppid=29489 vsize=458988 CPUtime=2492.43
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 65011 0 0 0 249134 109 0 0 25 0 3 0 349178315 470003712 111687 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=458988 CPUtime=2495.88
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 59024 0 0 0 249500 88 0 0 25 0 3 0 349178315 470003712 111687 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4988.56
Current children cumulated vsize (KiB) 458988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2508.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29694
/proc/meminfo: memFree=1260320/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=458988 CPUtime=5000.14
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 126142 0 0 0 499815 199 0 0 19 0 3 0 349178291 470003712 111687 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 114747 111687 218 20 0 114105 0
[pid=29491/tid=29493] ppid=29489 vsize=458988 CPUtime=2498.2
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 65011 0 0 0 249711 109 0 0 25 0 3 0 349178315 470003712 111687 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=458988 CPUtime=2501.68
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 59024 0 0 0 250080 88 0 0 25 0 3 0 349178315 470003712 111687 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.14
Current children cumulated vsize (KiB) 458988

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

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

[startup+2508.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29694
/proc/meminfo: memFree=1260320/2055920 swapFree=4159364/4192956
[pid=29491] ppid=29489 vsize=458988 CPUtime=5000.14
/proc/29491/stat : 29491 (MiraXTv3_dyn) S 29489 29491 29105 0 -1 4194304 126142 0 0 0 499815 199 0 0 19 0 3 0 349178291 470003712 111687 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29491/statm: 114747 111687 218 20 0 114105 0
[pid=29491/tid=29493] ppid=29489 vsize=458988 CPUtime=2498.2
/proc/29491/task/29493/stat : 29493 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 65011 0 0 0 249711 109 0 0 25 0 3 0 349178315 470003712 111687 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29491/tid=29494] ppid=29489 vsize=458988 CPUtime=2501.68
/proc/29491/task/29494/stat : 29494 (MiraXTv3_dyn) R 29489 29491 29105 0 -1 4194368 59024 0 0 0 250080 88 0 0 25 0 3 0 349178315 470003712 111687 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.14
Current children cumulated vsize (KiB) 458988

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2508.18
CPU time (s): 5000.23
CPU user time (s): 4998.16
CPU system time (s): 2.06769
CPU usage (%): 199.357
Max. virtual memory (cumulated for all children) (KiB): 459288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.16
system time used= 2.06768
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126142
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= 3122
involuntary context switches= 93960

runsolver used 2.55761 second user time and 6.64999 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Sat May 12 23:30:05 UTC 2007

IDJOB= 426369
IDBENCH= 20194
IDSOLVER= 196
FILE ID= node13/426369-1179012605

PBS_JOBID= 5252862

Free space on /tmp= 66543 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/3SAT/v13000/unif-k3-r4.2-v13000-c54600-S1890278326-03.cnf
COMMAND LINE= /tmp/evaluation/426369-1179012605/MiraXTv3_dyn /tmp/evaluation/426369-1179012605/instance-426369-1179012605.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-426369-1179012605 -o ROOT/results/node13/solver-426369-1179012605 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426369-1179012605/MiraXTv3_dyn /tmp/evaluation/426369-1179012605/instance-426369-1179012605.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  54d48c33f7a9a8497a5de749a63ebbcb

RANDOM SEED= 776774006

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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:       1708048 kB
Buffers:         42228 kB
Cached:         218144 kB
SwapCached:      12852 kB
Active:         149008 kB
Inactive:       134816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1708048 kB
SwapTotal:     4192956 kB
SwapFree:      4159364 kB
Dirty:            5000 kB
Writeback:           0 kB
Mapped:          30344 kB
Slab:            49576 kB
Committed_AS:  9877892 kB
PageTables:       1872 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= 66543 MiB

End job on node13 on Sun May 13 00:11:55 UTC 2007