Trace number 426154

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.2 2506.63

General information on the benchmark

Namerandom/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1113882813-11.SAT.shuffled.cnf
MD5SUM77226f3880fdc77b8d075583e32b35e0
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.023995
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1912
Sum of the clauses size5736
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31912
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/node7/watcher-426154-1178992036 -o ROOT/results/node7/solver-426154-1178992036 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426154-1178992036/MiraXTv3_dyn /tmp/evaluation/426154-1178992036/instance-426154-1178992036.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 1.97 1.91 3/77 676
/proc/meminfo: memFree=1644016/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=3788 CPUtime=0
/proc/676/stat : 676 (MiraXTv3_dyn) R 674 676 545 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 375241215 3878912 267 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 10859800 0 0 4096 0 0 0 0 17 1 0 0
/proc/676/statm: 947 267 206 20 0 305 0

[startup+0.096599 s]
/proc/loadavg: 1.84 1.97 1.91 3/77 676
/proc/meminfo: memFree=1644016/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=6636 CPUtime=0.17
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 635 0 0 0 17 0 0 0 18 0 3 0 375241215 6795264 610 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 1659 610 218 20 0 1017 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 6636

[startup+0.102597 s]
/proc/loadavg: 1.84 1.97 1.91 3/77 676
/proc/meminfo: memFree=1644016/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=6636 CPUtime=0.18
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 646 0 0 0 18 0 0 0 18 0 3 0 375241215 6795264 621 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 1659 621 218 20 0 1017 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6636

[startup+0.302621 s]
/proc/loadavg: 1.84 1.97 1.91 3/77 676
/proc/meminfo: memFree=1644016/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=8492 CPUtime=0.58
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 1023 0 0 0 58 0 0 0 18 0 3 0 375241215 8695808 998 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 2123 998 218 20 0 1481 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 8492

[startup+0.701664 s]
/proc/loadavg: 1.84 1.97 1.91 3/77 676
/proc/meminfo: memFree=1644016/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=10712 CPUtime=1.37
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 1660 0 0 0 137 0 0 0 18 0 3 0 375241215 10969088 1635 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 2678 1635 218 20 0 2036 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 10712

[startup+1.50175 s]
/proc/loadavg: 1.84 1.97 1.91 3/80 679
/proc/meminfo: memFree=1636696/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=14828 CPUtime=2.97
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 2666 0 0 0 296 1 0 0 18 0 3 0 375241215 15183872 2641 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 3707 2641 218 20 0 3065 0
[pid=676/tid=678] ppid=674 vsize=14828 CPUtime=1.48
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 1120 0 0 0 148 0 0 0 21 0 3 0 375241216 15183872 2641 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=676/tid=679] ppid=674 vsize=14828 CPUtime=1.47
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 1205 0 0 0 147 0 0 0 17 0 3 0 375241216 15183872 2641 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565889 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 14828

[startup+3.10192 s]
/proc/loadavg: 1.84 1.97 1.91 3/80 679
/proc/meminfo: memFree=1633944/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=17576 CPUtime=6.16
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 3213 0 0 0 615 1 0 0 18 0 3 0 375241215 17997824 3187 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 4394 3187 218 20 0 3752 0
[pid=676/tid=678] ppid=674 vsize=17576 CPUtime=3.08
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 1456 0 0 0 308 0 0 0 21 0 3 0 375241216 17997824 3187 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526379 0 0 4096 0 0 0 0 -1 1 0 0
[pid=676/tid=679] ppid=674 vsize=17576 CPUtime=3.06
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 1416 0 0 0 306 0 0 0 25 0 3 0 375241216 17997824 3187 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 17576

[startup+6.30125 s]
/proc/loadavg: 1.85 1.97 1.91 3/80 679
/proc/meminfo: memFree=1626776/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=24968 CPUtime=12.54
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 5064 0 0 0 1251 3 0 0 18 0 3 0 375241215 25567232 4924 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 6242 4924 218 20 0 5600 0
[pid=676/tid=678] ppid=674 vsize=24968 CPUtime=6.28
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 2237 0 0 0 627 1 0 0 19 0 3 0 375241216 25567232 4924 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526508 0 0 4096 0 0 0 0 -1 1 0 0
[pid=676/tid=679] ppid=674 vsize=24968 CPUtime=6.24
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 2486 0 0 0 623 1 0 0 25 0 3 0 375241216 25567232 4924 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 24968

[startup+12.7019 s]
/proc/loadavg: 1.86 1.97 1.91 3/80 679
/proc/meminfo: memFree=1614040/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=35740 CPUtime=25.3
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 8010 0 0 0 2524 6 0 0 18 0 3 0 375241215 36597760 7625 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 8935 7625 218 20 0 8293 0
[pid=676/tid=678] ppid=674 vsize=35740 CPUtime=12.67
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 3745 0 0 0 1265 2 0 0 23 0 3 0 375241216 36597760 7625 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=676/tid=679] ppid=674 vsize=35740 CPUtime=12.61
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 3924 0 0 0 1258 3 0 0 25 0 3 0 375241216 36597760 7625 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) 35740

[startup+25.5023 s]
/proc/loadavg: 1.89 1.97 1.91 3/80 679
/proc/meminfo: memFree=1610584/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=39888 CPUtime=50.83
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 9377 0 0 0 5076 7 0 0 18 0 3 0 375241215 40845312 8619 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 9972 8619 218 20 0 9330 0
[pid=676/tid=678] ppid=674 vsize=39888 CPUtime=25.47
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 4470 0 0 0 2544 3 0 0 25 0 3 0 375241216 40845312 8619 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=676/tid=679] ppid=674 vsize=39888 CPUtime=25.35
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 4566 0 0 0 2531 4 0 0 25 0 3 0 375241216 40845312 8619 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520561 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 39888

[startup+51.103 s]
/proc/loadavg: 1.99 1.99 1.92 3/80 679
/proc/meminfo: memFree=1601240/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=48464 CPUtime=101.88
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 12299 0 0 0 10178 10 0 0 18 0 3 0 375241215 49627136 10748 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 12116 10748 218 20 0 11474 0
[pid=676/tid=678] ppid=674 vsize=48464 CPUtime=51.05
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 5796 0 0 0 5101 4 0 0 25 0 3 0 375241216 49627136 10748 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 1 0 0
[pid=676/tid=679] ppid=674 vsize=48464 CPUtime=50.82
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 6162 0 0 0 5076 6 0 0 25 0 3 0 375241216 49627136 10748 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 48464

[startup+102.306 s]
/proc/loadavg: 2.06 2.00 1.92 3/80 679
/proc/meminfo: memFree=1595032/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=53968 CPUtime=204
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 15236 0 0 0 20387 13 0 0 18 0 3 0 375241215 55263232 12321 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 13492 12321 218 20 0 12850 0
[pid=676/tid=678] ppid=674 vsize=53968 CPUtime=102.13
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 7058 0 0 0 10208 5 0 0 25 0 3 0 375241216 55263232 12321 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134521366 0 0 4096 0 0 0 0 -1 0 0 0
[pid=676/tid=679] ppid=674 vsize=53968 CPUtime=101.86
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 7837 0 0 0 10178 8 0 0 25 0 3 0 375241216 55263232 12321 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204
Current children cumulated vsize (KiB) 53968

[startup+162.303 s]
/proc/loadavg: 2.08 2.02 1.93 3/80 679
/proc/meminfo: memFree=1593304/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=56532 CPUtime=323.68
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 17333 0 0 0 32353 15 0 0 18 0 3 0 375241215 57888768 12766 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 14133 12766 218 20 0 13491 0
[pid=676/tid=678] ppid=674 vsize=56532 CPUtime=161.85
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 8199 0 0 0 16179 6 0 0 25 0 3 0 375241216 57888768 12766 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=676/tid=679] ppid=674 vsize=56532 CPUtime=161.82
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 8793 0 0 0 16173 9 0 0 25 0 3 0 375241216 57888768 12766 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.68
Current children cumulated vsize (KiB) 56532

[startup+222.303 s]
/proc/loadavg: 2.16 2.04 1.94 3/80 679
/proc/meminfo: memFree=1588824/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=60532 CPUtime=443.37
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 19988 0 0 0 44319 18 0 0 18 0 3 0 375241215 61984768 13848 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 15133 13848 218 20 0 14491 0
[pid=676/tid=678] ppid=674 vsize=60532 CPUtime=221.57
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 9806 0 0 0 22149 8 0 0 25 0 3 0 375241216 61984768 13848 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=676/tid=679] ppid=674 vsize=60532 CPUtime=221.78
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 9841 0 0 0 22168 10 0 0 25 0 3 0 375241216 61984768 13848 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.37
Current children cumulated vsize (KiB) 60532

[startup+282.302 s]
/proc/loadavg: 2.27 2.09 1.96 3/80 679
/proc/meminfo: memFree=1586520/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=63268 CPUtime=563.06
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 22441 0 0 0 56286 20 0 0 18 0 3 0 375241215 64786432 14550 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 15817 14550 218 20 0 15175 0
[pid=676/tid=678] ppid=674 vsize=63268 CPUtime=281.29
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 10973 0 0 0 28121 8 0 0 25 0 3 0 375241216 64786432 14550 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 0 0 0
[pid=676/tid=679] ppid=674 vsize=63268 CPUtime=281.75
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 11127 0 0 0 28164 11 0 0 25 0 3 0 375241216 64786432 14550 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.06
Current children cumulated vsize (KiB) 63268

[startup+342.303 s]
/proc/loadavg: 2.16 2.09 1.97 3/80 679
/proc/meminfo: memFree=1580184/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=68908 CPUtime=682.75
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 25415 0 0 0 68252 23 0 0 18 0 3 0 375241215 70561792 16000 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 17227 16000 218 20 0 16585 0
[pid=676/tid=678] ppid=674 vsize=68908 CPUtime=340.99
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 12466 0 0 0 34090 9 0 0 25 0 3 0 375241216 70561792 16000 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
[pid=676/tid=679] ppid=674 vsize=68908 CPUtime=341.74
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 12608 0 0 0 34161 13 0 0 25 0 3 0 375241216 70561792 16000 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.75
Current children cumulated vsize (KiB) 68908

[startup+402.303 s]

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

/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 33046 0 0 0 183619 48 0 0 25 0 3 0 375241216 90755072 20718 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526364 0 0 4096 0 0 0 0 -1 0 0 0
[pid=676/tid=679] ppid=674 vsize=88628 CPUtime=1838.23
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 32025 0 0 0 183792 31 0 0 25 0 3 0 375241216 90755072 20718 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3674.92
Current children cumulated vsize (KiB) 88628

[startup+1902.3 s]
/proc/loadavg: 1.99 1.98 1.97 3/80 877
/proc/meminfo: memFree=1560856/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=88832 CPUtime=3794.6
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 66719 0 0 0 379379 81 0 0 18 0 3 0 375241215 90963968 20819 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 22208 20819 218 20 0 21566 0
[pid=676/tid=678] ppid=674 vsize=88832 CPUtime=1896.39
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 33701 0 0 0 189590 49 0 0 25 0 3 0 375241216 90963968 20819 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=676/tid=679] ppid=674 vsize=88832 CPUtime=1898.2
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 32677 0 0 0 189788 32 0 0 25 0 3 0 375241216 90963968 20819 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.6
Current children cumulated vsize (KiB) 88832

[startup+1962.3 s]
/proc/loadavg: 1.99 1.98 1.97 3/80 877
/proc/meminfo: memFree=1560728/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=88832 CPUtime=3914.31
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 68101 0 0 0 391348 83 0 0 18 0 3 0 375241215 90963968 20835 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 22208 20835 218 20 0 21566 0
[pid=676/tid=678] ppid=674 vsize=88832 CPUtime=1956.12
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 34314 0 0 0 195563 49 0 0 25 0 3 0 375241216 90963968 20835 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=676/tid=679] ppid=674 vsize=88832 CPUtime=1958.17
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 33446 0 0 0 195784 33 0 0 25 0 3 0 375241216 90963968 20835 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.31
Current children cumulated vsize (KiB) 88832

[startup+2022.3 s]
/proc/loadavg: 1.99 1.98 1.97 3/80 877
/proc/meminfo: memFree=1560600/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=88832 CPUtime=4034
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 69521 0 0 0 403316 84 0 0 18 0 3 0 375241215 90963968 20877 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 22208 20877 218 20 0 21566 0
[pid=676/tid=678] ppid=674 vsize=88832 CPUtime=2015.85
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 35087 0 0 0 201535 50 0 0 25 0 3 0 375241216 90963968 20877 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=676/tid=679] ppid=674 vsize=88832 CPUtime=2018.14
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 34093 0 0 0 201780 34 0 0 25 0 3 0 375241216 90963968 20877 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4034
Current children cumulated vsize (KiB) 88832

[startup+2082.31 s]
/proc/loadavg: 1.99 1.98 1.97 3/80 877
/proc/meminfo: memFree=1560472/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=88832 CPUtime=4153.71
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 70785 0 0 0 415286 85 0 0 18 0 3 0 375241215 90963968 20909 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 22208 20909 218 20 0 21566 0
[pid=676/tid=678] ppid=674 vsize=88832 CPUtime=2075.57
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 35709 0 0 0 207507 50 0 0 25 0 3 0 375241216 90963968 20909 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=676/tid=679] ppid=674 vsize=88832 CPUtime=2078.12
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 34735 0 0 0 207778 34 0 0 25 0 3 0 375241216 90963968 20909 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.71
Current children cumulated vsize (KiB) 88832

[startup+2142.3 s]
/proc/loadavg: 1.99 1.98 1.97 3/80 877
/proc/meminfo: memFree=1560216/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=88832 CPUtime=4273.39
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 72094 0 0 0 427253 86 0 0 18 0 3 0 375241215 90963968 20979 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 22208 20979 218 20 0 21566 0
[pid=676/tid=678] ppid=674 vsize=88832 CPUtime=2135.29
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 36354 0 0 0 213478 51 0 0 25 0 3 0 375241216 90963968 20979 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=676/tid=679] ppid=674 vsize=88832 CPUtime=2138.09
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 35399 0 0 0 213774 35 0 0 25 0 3 0 375241216 90963968 20979 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273.39
Current children cumulated vsize (KiB) 88832

[startup+2202.3 s]
/proc/loadavg: 1.99 1.98 1.97 3/80 877
/proc/meminfo: memFree=1559960/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=88980 CPUtime=4393.09
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 73542 0 0 0 439222 87 0 0 18 0 3 0 375241215 91115520 21025 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 22245 21025 218 20 0 21603 0
[pid=676/tid=678] ppid=674 vsize=88980 CPUtime=2195.02
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 37003 0 0 0 219450 52 0 0 25 0 3 0 375241216 91115520 21025 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=676/tid=679] ppid=674 vsize=88980 CPUtime=2198.05
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 36198 0 0 0 219770 35 0 0 18 0 3 0 375241216 91115520 21025 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4393.09
Current children cumulated vsize (KiB) 88980

[startup+2262.3 s]
/proc/loadavg: 1.99 1.98 1.97 3/80 877
/proc/meminfo: memFree=1558360/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=91028 CPUtime=4512.8
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 75375 0 0 0 451190 90 0 0 18 0 3 0 375241215 93212672 21446 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 22757 21446 218 20 0 22115 0
[pid=676/tid=678] ppid=674 vsize=91028 CPUtime=2254.75
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 38177 0 0 0 225422 53 0 0 25 0 3 0 375241216 93212672 21446 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565733 0 0 4096 0 0 0 0 -1 0 0 0
[pid=676/tid=679] ppid=674 vsize=91028 CPUtime=2258.02
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 36857 0 0 0 225766 36 0 0 25 0 3 0 375241216 93212672 21446 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4512.8
Current children cumulated vsize (KiB) 91028

[startup+2322.3 s]
/proc/loadavg: 1.99 1.98 1.97 3/80 877
/proc/meminfo: memFree=1558168/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=91028 CPUtime=4632.48
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 76672 0 0 0 463157 91 0 0 18 0 3 0 375241215 93212672 21479 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 22757 21479 218 20 0 22115 0
[pid=676/tid=678] ppid=674 vsize=91028 CPUtime=2314.47
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 38815 0 0 0 231393 54 0 0 25 0 3 0 375241216 93212672 21479 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=676/tid=679] ppid=674 vsize=91028 CPUtime=2317.99
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 37516 0 0 0 231763 36 0 0 25 0 3 0 375241216 93212672 21479 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.48
Current children cumulated vsize (KiB) 91028

[startup+2382.3 s]
/proc/loadavg: 1.99 1.98 1.97 3/80 877
/proc/meminfo: memFree=1558104/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=91028 CPUtime=4752.18
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 77956 0 0 0 475126 92 0 0 18 0 3 0 375241215 93212672 21492 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 22757 21492 218 20 0 22115 0
[pid=676/tid=678] ppid=674 vsize=91028 CPUtime=2374.21
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 39456 0 0 0 237366 55 0 0 25 0 3 0 375241216 93212672 21492 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=676/tid=679] ppid=674 vsize=91028 CPUtime=2377.96
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 38159 0 0 0 237759 37 0 0 25 0 3 0 375241216 93212672 21492 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4752.18
Current children cumulated vsize (KiB) 91028

[startup+2442.3 s]
/proc/loadavg: 1.99 1.98 1.97 3/80 877
/proc/meminfo: memFree=1558040/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=91028 CPUtime=4871.89
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 79246 0 0 0 487096 93 0 0 18 0 3 0 375241215 93212672 21504 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 22757 21504 218 20 0 22115 0
[pid=676/tid=678] ppid=674 vsize=91028 CPUtime=2433.92
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 40101 0 0 0 243337 55 0 0 25 0 3 0 375241216 93212672 21504 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=676/tid=679] ppid=674 vsize=91028 CPUtime=2437.94
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 38804 0 0 0 243757 37 0 0 25 0 3 0 375241216 93212672 21504 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4871.89
Current children cumulated vsize (KiB) 91028

[startup+2502.3 s]
/proc/loadavg: 1.99 1.98 1.97 3/80 877
/proc/meminfo: memFree=1557784/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=92052 CPUtime=4991.59
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 80606 0 0 0 499065 94 0 0 18 0 3 0 375241215 94261248 21578 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 23013 21578 218 20 0 22371 0
[pid=676/tid=678] ppid=674 vsize=92052 CPUtime=2493.67
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 40912 0 0 0 249311 56 0 0 25 0 3 0 375241216 94261248 21578 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=676/tid=679] ppid=674 vsize=92052 CPUtime=2497.91
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 39353 0 0 0 249753 38 0 0 25 0 3 0 375241216 94261248 21578 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.59
Current children cumulated vsize (KiB) 92052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.6 s]
/proc/loadavg: 1.99 1.98 1.97 3/80 877
/proc/meminfo: memFree=1557784/2055920 swapFree=4156572/4192956
[pid=676] ppid=674 vsize=92052 CPUtime=5000.16
/proc/676/stat : 676 (MiraXTv3_dyn) S 674 676 545 0 -1 4194304 80768 0 0 0 499922 94 0 0 18 0 3 0 375241215 94261248 21579 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/676/statm: 23013 21579 218 20 0 22371 0
[pid=676/tid=678] ppid=674 vsize=92052 CPUtime=2497.94
/proc/676/task/678/stat : 678 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 40912 0 0 0 249738 56 0 0 25 0 3 0 375241216 94261248 21579 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
[pid=676/tid=679] ppid=674 vsize=92052 CPUtime=2502.21
/proc/676/task/679/stat : 679 (MiraXTv3_dyn) R 674 676 545 0 -1 4194368 39515 0 0 0 250183 38 0 0 25 0 3 0 375241216 94261248 21579 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.16
Current children cumulated vsize (KiB) 92052

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.63
CPU time (s): 5000.2
CPU user time (s): 4999.24
CPU system time (s): 0.960853
CPU usage (%): 199.479
Max. virtual memory (cumulated for all children) (KiB): 92052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.24
system time used= 0.960853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80768
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= 466
involuntary context switches= 94542

runsolver used 2.41863 second user time and 6.75397 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Sat May 12 17:47:16 UTC 2007

IDJOB= 426154
IDBENCH= 19972
IDSOLVER= 196
FILE ID= node7/426154-1178992036

PBS_JOBID= 5252825

Free space on /tmp= 66545 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v450/unif-k3-r4.25-v450-c1912-S1113882813-11.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426154-1178992036/MiraXTv3_dyn /tmp/evaluation/426154-1178992036/instance-426154-1178992036.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-426154-1178992036 -o ROOT/results/node7/solver-426154-1178992036 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426154-1178992036/MiraXTv3_dyn /tmp/evaluation/426154-1178992036/instance-426154-1178992036.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  77226f3880fdc77b8d075583e32b35e0

RANDOM SEED= 991485220

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.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.231
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.231
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:       1644360 kB
Buffers:         44016 kB
Cached:         299920 kB
SwapCached:      17008 kB
Active:         145544 kB
Inactive:       222600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1644360 kB
SwapTotal:     4192956 kB
SwapFree:      4156572 kB
Dirty:            3956 kB
Writeback:           0 kB
Mapped:          30132 kB
Slab:            28876 kB
Committed_AS: 14840844 kB
PageTables:       1860 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= 66545 MiB

End job on node7 on Sat May 12 18:29:05 UTC 2007