Trace number 426156

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.04 2506.53

General information on the benchmark

Namerandom/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1168722783-19.UNSAT.shuffled.cnf
MD5SUM4dab682b2baab8325744eab5c8aeca81
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark411.752
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/node9/watcher-426156-1178992041 -o ROOT/results/node9/solver-426156-1178992041 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426156-1178992041/MiraXTv3_dyn /tmp/evaluation/426156-1178992041/instance-426156-1178992041.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.95 1.90 3/77 5607
/proc/meminfo: memFree=1429152/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=3788 CPUtime=0
/proc/5607/stat : 5607 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 375241671 3878912 267 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 9102285 0 0 4096 0 0 0 0 17 1 0 0
/proc/5607/statm: 947 267 206 20 0 305 0

[startup+0.068999 s]
/proc/loadavg: 1.84 1.95 1.90 3/77 5607
/proc/meminfo: memFree=1429152/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=6436 CPUtime=0.11
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 573 0 0 0 11 0 0 0 18 0 3 0 375241671 6590464 548 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 1609 548 218 20 0 967 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 6436

[startup+0.102001 s]
/proc/loadavg: 1.84 1.95 1.90 3/77 5607
/proc/meminfo: memFree=1429152/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=6568 CPUtime=0.18
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 648 0 0 0 18 0 0 0 18 0 3 0 375241671 6725632 623 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 1642 623 218 20 0 1000 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6568

[startup+0.302025 s]
/proc/loadavg: 1.84 1.95 1.90 3/77 5607
/proc/meminfo: memFree=1429152/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=8492 CPUtime=0.58
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 1041 0 0 0 58 0 0 0 18 0 3 0 375241671 8695808 1016 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 2123 1016 218 20 0 1481 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 8492

[startup+0.701071 s]
/proc/loadavg: 1.84 1.95 1.90 3/77 5607
/proc/meminfo: memFree=1429152/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=10852 CPUtime=1.38
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 1671 0 0 0 137 1 0 0 18 0 3 0 375241671 11112448 1646 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 2713 1646 218 20 0 2071 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 10852

[startup+1.50116 s]
/proc/loadavg: 1.84 1.95 1.90 3/80 5610
/proc/meminfo: memFree=1421576/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=14924 CPUtime=2.98
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 2617 0 0 0 296 2 0 0 18 0 3 0 375241671 15282176 2592 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 3731 2592 218 20 0 3089 0
[pid=5607/tid=5609] ppid=5605 vsize=14924 CPUtime=1.48
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 1120 0 0 0 148 0 0 0 25 0 3 0 375241672 15282176 2592 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5607/tid=5610] ppid=5605 vsize=14924 CPUtime=1.47
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 1156 0 0 0 147 0 0 0 25 0 3 0 375241672 15282176 2592 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 14924

[startup+3.10135 s]
/proc/loadavg: 1.84 1.95 1.90 3/80 5610
/proc/meminfo: memFree=1418888/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=16644 CPUtime=6.17
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 3128 0 0 0 615 2 0 0 18 0 3 0 375241671 17043456 3103 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 4161 3103 218 20 0 3519 0
[pid=5607/tid=5609] ppid=5605 vsize=16644 CPUtime=3.08
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 1449 0 0 0 307 1 0 0 21 0 3 0 375241672 17043456 3103 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526712 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5607/tid=5610] ppid=5605 vsize=16644 CPUtime=3.06
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 1338 0 0 0 306 0 0 0 22 0 3 0 375241672 17043456 3103 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 16644

[startup+6.30271 s]
/proc/loadavg: 1.85 1.95 1.90 3/80 5610
/proc/meminfo: memFree=1412168/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=23312 CPUtime=12.54
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 5081 0 0 0 1250 4 0 0 18 0 3 0 375241671 23871488 4901 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 5828 4901 218 20 0 5186 0
[pid=5607/tid=5609] ppid=5605 vsize=23312 CPUtime=6.27
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 2403 0 0 0 626 1 0 0 25 0 3 0 375241672 23871488 4901 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520200 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=23312 CPUtime=6.25
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 2337 0 0 0 624 1 0 0 25 0 3 0 375241672 23871488 4901 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 23312

[startup+12.7014 s]
/proc/loadavg: 1.86 1.95 1.90 3/80 5610
/proc/meminfo: memFree=1399120/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=36744 CPUtime=25.3
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 8148 0 0 0 2523 7 0 0 18 0 3 0 375241671 37625856 7764 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 9186 7764 218 20 0 8544 0
[pid=5607/tid=5609] ppid=5605 vsize=36744 CPUtime=12.64
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 4006 0 0 0 1261 3 0 0 19 0 3 0 375241672 37625856 7764 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=36744 CPUtime=12.64
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 3801 0 0 0 1261 3 0 0 18 0 3 0 375241672 37625856 7764 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 36744

[startup+25.5019 s]
/proc/loadavg: 1.89 1.96 1.91 3/80 5610
/proc/meminfo: memFree=1393488/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=41336 CPUtime=50.85
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 9853 0 0 0 5075 10 0 0 18 0 3 0 375241671 42328064 9095 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 10334 9095 218 20 0 9692 0
[pid=5607/tid=5609] ppid=5605 vsize=41336 CPUtime=25.39
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 4605 0 0 0 2536 3 0 0 25 0 3 0 375241672 42328064 9095 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=41336 CPUtime=25.44
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 4907 0 0 0 2538 6 0 0 25 0 3 0 375241672 42328064 9095 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 41336

[startup+51.1018 s]
/proc/loadavg: 1.93 1.96 1.91 3/80 5610
/proc/meminfo: memFree=1383824/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=50628 CPUtime=101.9
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 12949 0 0 0 10177 13 0 0 18 0 3 0 375241671 51843072 11397 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 12657 11397 218 20 0 12015 0
[pid=5607/tid=5609] ppid=5605 vsize=50628 CPUtime=50.85
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 6209 0 0 0 5081 4 0 0 25 0 3 0 375241672 51843072 11397 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=50628 CPUtime=51.03
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 6399 0 0 0 5095 8 0 0 25 0 3 0 375241672 51843072 11397 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 50628

[startup+102.306 s]
/proc/loadavg: 1.97 1.96 1.91 3/80 5610
/proc/meminfo: memFree=1373008/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=61712 CPUtime=204.05
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 17131 0 0 0 20387 18 0 0 18 0 3 0 375241671 63193088 14039 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 15428 14039 218 20 0 14786 0
[pid=5607/tid=5609] ppid=5605 vsize=61712 CPUtime=101.81
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 8519 0 0 0 10175 6 0 0 25 0 3 0 375241672 63193088 14039 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=61712 CPUtime=102.22
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 8271 0 0 0 10211 11 0 0 25 0 3 0 375241672 63193088 14039 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 61712

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 5610
/proc/meminfo: memFree=1371088/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=63944 CPUtime=323.75
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 19321 0 0 0 32356 19 0 0 18 0 3 0 375241671 65478656 14548 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 15986 14548 218 20 0 15344 0
[pid=5607/tid=5609] ppid=5605 vsize=63944 CPUtime=161.56
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 9642 0 0 0 16149 7 0 0 25 0 3 0 375241672 65478656 14548 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=63944 CPUtime=162.18
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 9338 0 0 0 16206 12 0 0 25 0 3 0 375241672 65478656 14548 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.75
Current children cumulated vsize (KiB) 63944

[startup+222.301 s]
/proc/loadavg: 2.07 1.99 1.91 3/80 5610
/proc/meminfo: memFree=1368720/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=66208 CPUtime=443.42
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 21560 0 0 0 44321 21 0 0 18 0 3 0 375241671 67796992 15092 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 16552 15092 218 20 0 15910 0
[pid=5607/tid=5609] ppid=5605 vsize=66208 CPUtime=221.26
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 10837 0 0 0 22119 7 0 0 25 0 3 0 375241672 67796992 15092 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=66208 CPUtime=222.14
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 10382 0 0 0 22201 13 0 0 25 0 3 0 375241672 67796992 15092 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.42
Current children cumulated vsize (KiB) 66208

[startup+282.302 s]
/proc/loadavg: 2.02 1.99 1.91 4/80 5610
/proc/meminfo: memFree=1368272/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=66524 CPUtime=563.11
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 23399 0 0 0 56288 23 0 0 18 0 3 0 375241671 68120576 15245 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 16631 15245 218 20 0 15989 0
[pid=5607/tid=5609] ppid=5605 vsize=66524 CPUtime=280.99
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 11820 0 0 0 28091 8 0 0 25 0 3 0 375241672 68120576 15245 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=66524 CPUtime=282.1
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 11238 0 0 0 28196 14 0 0 25 0 3 0 375241672 68120576 15245 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.11
Current children cumulated vsize (KiB) 66524

[startup+342.302 s]
/proc/loadavg: 2.01 1.99 1.91 3/80 5610
/proc/meminfo: memFree=1367248/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=67736 CPUtime=682.8
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 25079 0 0 0 68255 25 0 0 18 0 3 0 375241671 69361664 15477 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 16934 15477 218 20 0 16292 0
[pid=5607/tid=5609] ppid=5605 vsize=67736 CPUtime=340.71
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 12667 0 0 0 34062 9 0 0 25 0 3 0 375241672 69361664 15477 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=67736 CPUtime=342.07
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 12071 0 0 0 34192 15 0 0 25 0 3 0 375241672 69361664 15477 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526294 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.8
Current children cumulated vsize (KiB) 67736

[startup+402.302 s]

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

/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 33347 0 0 0 189546 45 0 0 25 0 3 0 375241672 88449024 20130 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=86376 CPUtime=1898.59
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 33175 0 0 0 189821 38 0 0 25 0 3 0 375241672 88449024 20130 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.52
Current children cumulated vsize (KiB) 86376

[startup+1962.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/80 5807
/proc/meminfo: memFree=1348112/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=86984 CPUtime=3914.25
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 68547 0 0 0 391340 85 0 0 18 0 3 0 375241671 89071616 20273 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 21746 20273 218 20 0 21104 0
[pid=5607/tid=5609] ppid=5605 vsize=86984 CPUtime=1955.66
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 34252 0 0 0 195520 46 0 0 25 0 3 0 375241672 89071616 20273 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=86984 CPUtime=1958.57
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 33954 0 0 0 195819 38 0 0 25 0 3 0 375241672 89071616 20273 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.25
Current children cumulated vsize (KiB) 86984

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5807
/proc/meminfo: memFree=1347920/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=86984 CPUtime=4033.97
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 69811 0 0 0 403310 87 0 0 18 0 3 0 375241671 89071616 20294 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 21746 20294 218 20 0 21104 0
[pid=5607/tid=5609] ppid=5605 vsize=86984 CPUtime=2015.4
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 34883 0 0 0 201493 47 0 0 25 0 3 0 375241672 89071616 20294 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=86984 CPUtime=2018.55
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 34587 0 0 0 201816 39 0 0 25 0 3 0 375241672 89071616 20294 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.97
Current children cumulated vsize (KiB) 86984

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5807
/proc/meminfo: memFree=1347152/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=87516 CPUtime=4153.68
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 71271 0 0 0 415279 89 0 0 18 0 3 0 375241671 89616384 20502 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 21879 20502 218 20 0 21237 0
[pid=5607/tid=5609] ppid=5605 vsize=87516 CPUtime=2075.13
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 35664 0 0 0 207466 47 0 0 25 0 3 0 375241672 89616384 20502 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=87516 CPUtime=2078.53
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 35266 0 0 0 207812 41 0 0 25 0 3 0 375241672 89616384 20502 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.68
Current children cumulated vsize (KiB) 87516

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5807
/proc/meminfo: memFree=1346704/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=87664 CPUtime=4273.39
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 72624 0 0 0 427249 90 0 0 18 0 3 0 375241671 89767936 20596 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 21916 20596 218 20 0 21274 0
[pid=5607/tid=5609] ppid=5605 vsize=87664 CPUtime=2134.87
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 36346 0 0 0 213440 47 0 0 25 0 3 0 375241672 89767936 20596 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=87664 CPUtime=2138.48
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 35937 0 0 0 213807 41 0 0 25 0 3 0 375241672 89767936 20596 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273.39
Current children cumulated vsize (KiB) 87664

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5807
/proc/meminfo: memFree=1346576/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=87800 CPUtime=4393.08
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 73943 0 0 0 439217 91 0 0 18 0 3 0 375241671 89907200 20646 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 21950 20646 218 20 0 21308 0
[pid=5607/tid=5609] ppid=5605 vsize=87800 CPUtime=2194.61
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 37002 0 0 0 219413 48 0 0 25 0 3 0 375241672 89907200 20646 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=87800 CPUtime=2198.45
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 36600 0 0 0 219803 42 0 0 25 0 3 0 375241672 89907200 20646 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4393.08
Current children cumulated vsize (KiB) 87800

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5807
/proc/meminfo: memFree=1346320/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=87948 CPUtime=4512.78
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 75297 0 0 0 451186 92 0 0 18 0 3 0 375241671 90058752 20723 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 21987 20723 218 20 0 21345 0
[pid=5607/tid=5609] ppid=5605 vsize=87948 CPUtime=2254.32
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 37708 0 0 0 225384 48 0 0 25 0 3 0 375241672 90058752 20723 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526422 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=87948 CPUtime=2258.44
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 37248 0 0 0 225801 43 0 0 25 0 3 0 375241672 90058752 20723 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4512.78
Current children cumulated vsize (KiB) 87948

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5807
/proc/meminfo: memFree=1346000/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=88108 CPUtime=4632.51
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 76630 0 0 0 463158 93 0 0 18 0 3 0 375241671 90222592 20772 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 22027 20772 218 20 0 21385 0
[pid=5607/tid=5609] ppid=5605 vsize=88108 CPUtime=2314.06
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 38372 0 0 0 231358 48 0 0 25 0 3 0 375241672 90222592 20772 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526712 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=88108 CPUtime=2318.42
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 37917 0 0 0 231799 43 0 0 25 0 3 0 375241672 90222592 20772 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.51
Current children cumulated vsize (KiB) 88108

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/80 5807
/proc/meminfo: memFree=1346000/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=88108 CPUtime=4752.21
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 78110 0 0 0 475127 94 0 0 18 0 3 0 375241671 90222592 20798 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 22027 20798 218 20 0 21385 0
[pid=5607/tid=5609] ppid=5605 vsize=88108 CPUtime=2373.78
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 39200 0 0 0 237329 49 0 0 25 0 3 0 375241672 90222592 20798 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=88108 CPUtime=2378.4
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 38569 0 0 0 237796 44 0 0 25 0 3 0 375241672 90222592 20798 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4752.21
Current children cumulated vsize (KiB) 88108

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5807
/proc/meminfo: memFree=1345616/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=88264 CPUtime=4871.9
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 79612 0 0 0 487095 95 0 0 18 0 3 0 375241671 90382336 20837 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 22066 20837 218 20 0 21424 0
[pid=5607/tid=5609] ppid=5605 vsize=88264 CPUtime=2433.51
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 39881 0 0 0 243302 49 0 0 25 0 3 0 375241672 90382336 20837 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=88264 CPUtime=2438.37
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 39390 0 0 0 243792 45 0 0 25 0 3 0 375241672 90382336 20837 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4871.9
Current children cumulated vsize (KiB) 88264

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5807
/proc/meminfo: memFree=1345552/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=88928 CPUtime=4991.62
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 80771 0 0 0 499065 97 0 0 18 0 3 0 375241671 91062272 20850 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 22232 20850 218 20 0 21590 0
[pid=5607/tid=5609] ppid=5605 vsize=88928 CPUtime=2493.26
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 40543 0 0 0 249276 50 0 0 25 0 3 0 375241672 91062272 20850 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=88928 CPUtime=2498.34
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 39887 0 0 0 249788 46 0 0 25 0 3 0 375241672 91062272 20850 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.62
Current children cumulated vsize (KiB) 88928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5807
/proc/meminfo: memFree=1345552/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=89592 CPUtime=5000.01
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 80936 0 0 0 499904 97 0 0 18 0 3 0 375241671 91742208 20851 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 22398 20851 218 20 0 21756 0
[pid=5607/tid=5609] ppid=5605 vsize=89592 CPUtime=2497.44
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 40543 0 0 0 249694 50 0 0 25 0 3 0 375241672 91742208 20851 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=89592 CPUtime=2502.54
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 40052 0 0 0 250208 46 0 0 25 0 3 0 375241672 91742208 20851 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 89592

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

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

[startup+2506.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5807
/proc/meminfo: memFree=1345552/2055920 swapFree=4145492/4192956
[pid=5607] ppid=5605 vsize=89592 CPUtime=5000.01
/proc/5607/stat : 5607 (MiraXTv3_dyn) S 5605 5607 5476 0 -1 4194304 80936 0 0 0 499904 97 0 0 18 0 3 0 375241671 91742208 20851 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5607/statm: 22398 20851 218 20 0 21756 0
[pid=5607/tid=5609] ppid=5605 vsize=89592 CPUtime=2497.44
/proc/5607/task/5609/stat : 5609 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 40543 0 0 0 249694 50 0 0 25 0 3 0 375241672 91742208 20851 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5607/tid=5610] ppid=5605 vsize=89592 CPUtime=2502.54
/proc/5607/task/5610/stat : 5610 (MiraXTv3_dyn) R 5605 5607 5476 0 -1 4194368 40052 0 0 0 250208 46 0 0 25 0 3 0 375241672 91742208 20851 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 89592

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.53
CPU time (s): 5000.04
CPU user time (s): 4999.05
CPU system time (s): 0.98485
CPU usage (%): 199.481
Max. virtual memory (cumulated for all children) (KiB): 89592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.05
system time used= 0.98485
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80936
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= 398
involuntary context switches= 93197

runsolver used 2.42263 second user time and 6.75197 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Sat May 12 17:47:21 UTC 2007

IDJOB= 426156
IDBENCH= 19974
IDSOLVER= 196
FILE ID= node9/426156-1178992041

PBS_JOBID= 5252827

Free space on /tmp= 66553 MiB

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

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  4dab682b2baab8325744eab5c8aeca81

RANDOM SEED= 295964713

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.221
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.221
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:       1429368 kB
Buffers:         45460 kB
Cached:         497672 kB
SwapCached:      15556 kB
Active:         189976 kB
Inactive:       376256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1429368 kB
SwapTotal:     4192956 kB
SwapFree:      4145492 kB
Dirty:            3948 kB
Writeback:           0 kB
Mapped:          30088 kB
Slab:            45876 kB
Committed_AS:  9043384 kB
PageTables:       1784 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= 66553 MiB

End job on node9 on Sat May 12 18:29:10 UTC 2007