Trace number 426174

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 v3UNSAT 1830.32 917.811

General information on the benchmark

Namerandom/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1370059435-05.UNSAT.shuffled.cnf
MD5SUM727fc359ee7c9f3d412b57a84acf2e25
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark16.0226
Satisfiable
(Un)Satisfiability was proved
Number of variables360
Number of clauses1533
Sum of the clauses size4599
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31533
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...
1830.31/917.80	s UNSATISFIABLE

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node20/watcher-426174-1178994529 -o ROOT/results/node20/solver-426174-1178994529 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426174-1178994529/MiraXTv3_dyn /tmp/evaluation/426174-1178994529/instance-426174-1178994529.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: 2.00 2.00 1.95 3/77 22334
/proc/meminfo: memFree=1656688/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=3788 CPUtime=0
/proc/22334/stat : 22334 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 347370253 3878912 268 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8054395 0 0 4096 0 0 0 0 17 0 0 0
/proc/22334/statm: 947 268 206 20 0 305 0

[startup+0.084631 s]
/proc/loadavg: 2.00 2.00 1.95 3/77 22334
/proc/meminfo: memFree=1656688/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=6428 CPUtime=0.15
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 604 0 0 0 15 0 0 0 18 0 3 0 347370253 6582272 579 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 1607 579 218 20 0 965 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 6428

[startup+0.101634 s]
/proc/loadavg: 2.00 2.00 1.95 3/77 22334
/proc/meminfo: memFree=1656688/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=6560 CPUtime=0.18
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 618 0 0 0 18 0 0 0 18 0 3 0 347370253 6717440 593 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 1640 593 218 20 0 998 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6560

[startup+0.301677 s]
/proc/loadavg: 2.00 2.00 1.95 3/77 22334
/proc/meminfo: memFree=1656688/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=8348 CPUtime=0.58
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 973 0 0 0 58 0 0 0 18 0 3 0 347370253 8548352 948 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 2087 948 218 20 0 1445 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 8348

[startup+0.701759 s]
/proc/loadavg: 2.00 2.00 1.95 3/77 22334
/proc/meminfo: memFree=1656688/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=9600 CPUtime=1.38
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 1510 0 0 0 138 0 0 0 18 0 3 0 347370253 9830400 1485 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 2400 1485 218 20 0 1758 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9600

[startup+1.50193 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22337
/proc/meminfo: memFree=1650008/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=13544 CPUtime=2.98
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 2379 0 0 0 297 1 0 0 18 0 3 0 347370253 13869056 2354 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 3386 2354 218 20 0 2744 0
[pid=22334/tid=22336] ppid=22332 vsize=13544 CPUtime=1.48
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 1060 0 0 0 148 0 0 0 25 0 3 0 347370254 13869056 2354 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22334/tid=22337] ppid=22332 vsize=13544 CPUtime=1.48
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 988 0 0 0 148 0 0 0 25 0 3 0 347370254 13869056 2354 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 13544

[startup+3.10125 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22337
/proc/meminfo: memFree=1647512/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=15680 CPUtime=6.17
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 2796 0 0 0 616 1 0 0 18 0 3 0 347370253 16056320 2771 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 3920 2771 218 20 0 3278 0
[pid=22334/tid=22336] ppid=22332 vsize=15680 CPUtime=3.08
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 1226 0 0 0 308 0 0 0 25 0 3 0 347370254 16056320 2771 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526377 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22334/tid=22337] ppid=22332 vsize=15680 CPUtime=3.07
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 1239 0 0 0 307 0 0 0 25 0 3 0 347370254 16056320 2771 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 15680

[startup+6.30289 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22337
/proc/meminfo: memFree=1640856/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=23288 CPUtime=12.55
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 4676 0 0 0 1252 3 0 0 18 0 3 0 347370253 23846912 4536 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 5822 4536 218 20 0 5180 0
[pid=22334/tid=22336] ppid=22332 vsize=23288 CPUtime=6.28
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 2175 0 0 0 627 1 0 0 25 0 3 0 347370254 23846912 4536 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22334/tid=22337] ppid=22332 vsize=23288 CPUtime=6.26
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 2170 0 0 0 624 2 0 0 25 0 3 0 347370254 23846912 4536 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 23288

[startup+12.7012 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22337
/proc/meminfo: memFree=1629848/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=33376 CPUtime=25.32
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 7264 0 0 0 2526 6 0 0 18 0 3 0 347370253 34177024 6931 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 8344 6931 218 20 0 7702 0
[pid=22334/tid=22336] ppid=22332 vsize=33376 CPUtime=12.67
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 3380 0 0 0 1265 2 0 0 20 0 3 0 347370254 34177024 6931 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22334/tid=22337] ppid=22332 vsize=33376 CPUtime=12.63
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 3553 0 0 0 1260 3 0 0 19 0 3 0 347370254 34177024 6931 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 33376

[startup+25.5018 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22337
/proc/meminfo: memFree=1626968/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=35460 CPUtime=50.83
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 8337 0 0 0 5076 7 0 0 18 0 3 0 347370253 36311040 7573 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 8865 7573 218 20 0 8223 0
[pid=22334/tid=22336] ppid=22332 vsize=35460 CPUtime=25.45
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 4034 0 0 0 2542 3 0 0 25 0 3 0 347370254 36311040 7573 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22334/tid=22337] ppid=22332 vsize=35460 CPUtime=25.37
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 3972 0 0 0 2533 4 0 0 25 0 3 0 347370254 36311040 7573 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 35460

[startup+51.1029 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22337
/proc/meminfo: memFree=1617816/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=44316 CPUtime=101.91
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 11341 0 0 0 10180 11 0 0 18 0 3 0 347370253 45379584 9850 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 11079 9850 218 20 0 10437 0
[pid=22334/tid=22336] ppid=22332 vsize=44316 CPUtime=51.03
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 5608 0 0 0 5098 5 0 0 25 0 3 0 347370254 45379584 9850 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22334/tid=22337] ppid=22332 vsize=44316 CPUtime=50.87
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 5402 0 0 0 5081 6 0 0 25 0 3 0 347370254 45379584 9850 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 44316

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22337
/proc/meminfo: memFree=1608408/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=54520 CPUtime=204.05
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 15092 0 0 0 20389 16 0 0 18 0 3 0 347370253 55828480 12067 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 13630 12067 218 20 0 12988 0
[pid=22334/tid=22336] ppid=22332 vsize=54520 CPUtime=102.17
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 7417 0 0 0 10211 6 0 0 25 0 3 0 347370254 55828480 12067 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22334/tid=22337] ppid=22332 vsize=54520 CPUtime=101.86
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 7344 0 0 0 10177 9 0 0 25 0 3 0 347370254 55828480 12067 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 54520

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22337
/proc/meminfo: memFree=1605720/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=56856 CPUtime=323.71
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 17345 0 0 0 32353 18 0 0 18 0 3 0 347370253 58220544 12753 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 14214 12753 218 20 0 13572 0
[pid=22334/tid=22336] ppid=22332 vsize=56856 CPUtime=162.11
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 8723 0 0 0 16204 7 0 0 25 0 3 0 347370254 58220544 12753 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22334/tid=22337] ppid=22332 vsize=56856 CPUtime=161.6
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 8291 0 0 0 16149 11 0 0 25 0 3 0 347370254 58220544 12753 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.71
Current children cumulated vsize (KiB) 56856

[startup+222.301 s]
/proc/loadavg: 2.04 2.01 1.95 3/80 22337
/proc/meminfo: memFree=1603992/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=58468 CPUtime=443.41
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 19420 0 0 0 44321 20 0 0 18 0 3 0 347370253 59871232 13176 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 14617 13176 218 20 0 13975 0
[pid=22334/tid=22336] ppid=22332 vsize=58468 CPUtime=222.06
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 9722 0 0 0 22199 7 0 0 25 0 3 0 347370254 59871232 13176 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22334/tid=22337] ppid=22332 vsize=58468 CPUtime=221.33
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 9367 0 0 0 22121 12 0 0 25 0 3 0 347370254 59871232 13176 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.41
Current children cumulated vsize (KiB) 58468

[startup+282.301 s]
/proc/loadavg: 2.01 2.01 1.95 3/80 22337
/proc/meminfo: memFree=1603288/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=58744 CPUtime=563.11
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 21246 0 0 0 56290 21 0 0 18 0 3 0 347370253 60153856 13370 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 14686 13370 218 20 0 14044 0
[pid=22334/tid=22336] ppid=22332 vsize=58744 CPUtime=282.02
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 10687 0 0 0 28194 8 0 0 25 0 3 0 347370254 60153856 13370 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22334/tid=22337] ppid=22332 vsize=58744 CPUtime=281.08
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 10228 0 0 0 28095 13 0 0 25 0 3 0 347370254 60153856 13370 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) 58744

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22337
/proc/meminfo: memFree=1601112/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=60508 CPUtime=682.79
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 23367 0 0 0 68255 24 0 0 18 0 3 0 347370253 61960192 13900 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 15127 13900 218 20 0 14485 0
[pid=22334/tid=22336] ppid=22332 vsize=60508 CPUtime=341.96
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 11932 0 0 0 34187 9 0 0 25 0 3 0 347370254 61960192 13900 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22334/tid=22337] ppid=22332 vsize=60508 CPUtime=340.81
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 11104 0 0 0 34067 14 0 0 25 0 3 0 347370254 61960192 13900 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.79
Current children cumulated vsize (KiB) 60508

[startup+402.303 s]

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

/proc/22334/statm: 15935 14447 218 20 0 15293 0
[pid=22334/tid=22336] ppid=22332 vsize=63740 CPUtime=581.71
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 15282 0 0 0 58160 11 0 0 25 0 3 0 347370254 65269760 14447 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22334/tid=22337] ppid=22332 vsize=63740 CPUtime=579.78
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 14123 0 0 0 57960 18 0 0 25 0 3 0 347370254 65269760 14447 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.51
Current children cumulated vsize (KiB) 63740

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22337
/proc/meminfo: memFree=1598744/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=63740 CPUtime=1281.2
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 31347 0 0 0 128089 31 0 0 18 0 3 0 347370253 65269760 14498 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 15935 14498 218 20 0 15293 0
[pid=22334/tid=22336] ppid=22332 vsize=63740 CPUtime=641.65
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 16079 0 0 0 64153 12 0 0 25 0 3 0 347370254 65269760 14498 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22334/tid=22337] ppid=22332 vsize=63740 CPUtime=639.53
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 14937 0 0 0 63935 18 0 0 25 0 3 0 347370254 65269760 14498 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1281.2
Current children cumulated vsize (KiB) 63740

[startup+702.302 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22337
/proc/meminfo: memFree=1597336/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=65788 CPUtime=1400.87
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 33086 0 0 0 140053 34 0 0 18 0 3 0 347370253 67366912 14875 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 16447 14875 218 20 0 15805 0
[pid=22334/tid=22336] ppid=22332 vsize=65788 CPUtime=701.38
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 16772 0 0 0 70125 13 0 0 25 0 3 0 347370254 67366912 14875 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22334/tid=22337] ppid=22332 vsize=65788 CPUtime=699.47
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 15983 0 0 0 69927 20 0 0 25 0 3 0 347370254 67366912 14875 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1400.87
Current children cumulated vsize (KiB) 65788

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22337
/proc/meminfo: memFree=1596824/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=65788 CPUtime=1520.57
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 34653 0 0 0 152022 35 0 0 18 0 3 0 347370253 67366912 14946 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 16447 14946 218 20 0 15805 0
[pid=22334/tid=22336] ppid=22332 vsize=65788 CPUtime=761.13
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 17597 0 0 0 76099 14 0 0 25 0 3 0 347370254 67366912 14946 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22334/tid=22337] ppid=22332 vsize=65788 CPUtime=759.42
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 16725 0 0 0 75922 20 0 0 25 0 3 0 347370254 67366912 14946 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1520.57
Current children cumulated vsize (KiB) 65788

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22337
/proc/meminfo: memFree=1596632/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=65788 CPUtime=1640.26
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 36105 0 0 0 163990 36 0 0 18 0 3 0 347370253 67366912 14998 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 16447 14998 218 20 0 15805 0
[pid=22334/tid=22336] ppid=22332 vsize=65788 CPUtime=820.88
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 18315 0 0 0 82073 15 0 0 25 0 3 0 347370254 67366912 14998 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22334/tid=22337] ppid=22332 vsize=65788 CPUtime=819.37
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 17459 0 0 0 81917 20 0 0 25 0 3 0 347370254 67366912 14998 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1640.26
Current children cumulated vsize (KiB) 65788

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22337
/proc/meminfo: memFree=1596120/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=66152 CPUtime=1759.85
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 37754 0 0 0 175948 37 0 0 18 0 3 0 347370253 67739648 15110 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 16538 15110 218 20 0 15896 0
[pid=22334/tid=22336] ppid=22332 vsize=66152 CPUtime=880.56
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 19076 0 0 0 88040 16 0 0 25 0 3 0 347370254 67739648 15110 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22334/tid=22337] ppid=22332 vsize=66152 CPUtime=879.29
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 18347 0 0 0 87908 21 0 0 25 0 3 0 347370254 67739648 15110 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1759.85
Current children cumulated vsize (KiB) 66152

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

[startup+895.902 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22337
/proc/meminfo: memFree=1595480/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=67176 CPUtime=1786.98
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 38166 0 0 0 178660 38 0 0 18 0 3 0 347370253 68788224 15284 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 16794 15284 218 20 0 16152 0
[pid=22334/tid=22336] ppid=22332 vsize=67176 CPUtime=894.09
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 19196 0 0 0 89393 16 0 0 25 0 3 0 347370254 68788224 15284 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22334/tid=22337] ppid=22332 vsize=67176 CPUtime=892.87
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 18639 0 0 0 89266 21 0 0 25 0 3 0 347370254 68788224 15284 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1786.98
Current children cumulated vsize (KiB) 67176

[startup+908.702 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22339
/proc/meminfo: memFree=1595352/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=67176 CPUtime=1812.42
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 38553 0 0 0 181204 38 0 0 18 0 3 0 347370253 68788224 15314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 16794 15314 218 20 0 16152 0
[pid=22334/tid=22336] ppid=22332 vsize=67176 CPUtime=906.83
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 19439 0 0 0 90667 16 0 0 25 0 3 0 347370254 68788224 15314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22334/tid=22337] ppid=22332 vsize=67176 CPUtime=905.57
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 18783 0 0 0 90536 21 0 0 25 0 3 0 347370254 68788224 15314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1812.42
Current children cumulated vsize (KiB) 67176

[startup+911.906 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22339
/proc/meminfo: memFree=1595352/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=67176 CPUtime=1818.82
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 38553 0 0 0 181844 38 0 0 18 0 3 0 347370253 68788224 15314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 16794 15314 218 20 0 16152 0
[pid=22334/tid=22336] ppid=22332 vsize=67176 CPUtime=910.03
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 19439 0 0 0 90987 16 0 0 25 0 3 0 347370254 68788224 15314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22334/tid=22337] ppid=22332 vsize=67176 CPUtime=908.77
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 18783 0 0 0 90856 21 0 0 25 0 3 0 347370254 68788224 15314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1818.82
Current children cumulated vsize (KiB) 67176

[startup+915.103 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22339
/proc/meminfo: memFree=1595352/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=67176 CPUtime=1825.19
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 38674 0 0 0 182481 38 0 0 18 0 3 0 347370253 68788224 15315 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 16794 15315 218 20 0 16152 0
[pid=22334/tid=22336] ppid=22332 vsize=67176 CPUtime=913.21
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 19439 0 0 0 91305 16 0 0 25 0 3 0 347370254 68788224 15315 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22334/tid=22337] ppid=22332 vsize=67176 CPUtime=911.96
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 18904 0 0 0 91175 21 0 0 25 0 3 0 347370254 68788224 15315 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1825.19
Current children cumulated vsize (KiB) 67176

[startup+916.701 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22339
/proc/meminfo: memFree=1595352/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=67176 CPUtime=1828.37
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 38674 0 0 0 182799 38 0 0 18 0 3 0 347370253 68788224 15315 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 16794 15315 218 20 0 16152 0
[pid=22334/tid=22336] ppid=22332 vsize=67176 CPUtime=914.8
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 19439 0 0 0 91464 16 0 0 25 0 3 0 347370254 68788224 15315 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526423 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22334/tid=22337] ppid=22332 vsize=67176 CPUtime=913.55
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 18904 0 0 0 91334 21 0 0 25 0 3 0 347370254 68788224 15315 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1828.37
Current children cumulated vsize (KiB) 67176

[startup+917.501 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22339
/proc/meminfo: memFree=1595352/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=67176 CPUtime=1829.89
/proc/22334/stat : 22334 (MiraXTv3_dyn) S 22332 22334 21948 0 -1 4194304 38674 0 0 0 182951 38 0 0 18 0 3 0 347370253 68788224 15315 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/22334/statm: 16794 15315 218 20 0 16152 0
[pid=22334/tid=22336] ppid=22332 vsize=67176 CPUtime=915.55
/proc/22334/task/22336/stat : 22336 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 19439 0 0 0 91539 16 0 0 17 0 3 0 347370254 68788224 15315 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22334/tid=22337] ppid=22332 vsize=67176 CPUtime=914.33
/proc/22334/task/22337/stat : 22337 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194368 18904 0 0 0 91412 21 0 0 25 0 3 0 347370254 68788224 15315 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1829.89
Current children cumulated vsize (KiB) 67176

[startup+917.701 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22339
/proc/meminfo: memFree=1595352/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=58552 CPUtime=1830.2
/proc/22334/stat : 22334 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194304 38678 0 0 0 182982 38 0 0 16 0 1 0 347370253 59957248 13364 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8052220 0 0 4096 0 0 0 0 17 1 0 0
/proc/22334/statm: 14638 13364 220 20 0 13996 0
Current children cumulated CPU time (s) 1830.2
Current children cumulated vsize (KiB) 58552

[startup+917.802 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22339
/proc/meminfo: memFree=1595352/2055920 swapFree=4154884/4192956
[pid=22334] ppid=22332 vsize=49260 CPUtime=1830.31
/proc/22334/stat : 22334 (MiraXTv3_dyn) R 22332 22334 21948 0 -1 4194304 38678 0 0 0 182992 39 0 0 17 0 1 0 347370253 50442240 11314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22334/statm: 12315 11314 220 20 0 11673 0
Current children cumulated CPU time (s) 1830.31
Current children cumulated vsize (KiB) 49260

Child status: 20
Real time (s): 917.811
CPU time (s): 1830.32
CPU user time (s): 1829.92
CPU system time (s): 0.399939
CPU usage (%): 199.423
Max. virtual memory (cumulated for all children) (KiB): 67176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1829.92
system time used= 0.399939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38681
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= 216
involuntary context switches= 34438

runsolver used 0.85087 second user time and 2.49362 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Sat May 12 18:28:49 UTC 2007

IDJOB= 426174
IDBENCH= 19995
IDSOLVER= 196
FILE ID= node20/426174-1178994529

PBS_JOBID= 5252824

Free space on /tmp= 66529 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v360/unif-k3-r4.26-v360-c1533-S1370059435-05.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426174-1178994529/MiraXTv3_dyn /tmp/evaluation/426174-1178994529/instance-426174-1178994529.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-426174-1178994529 -o ROOT/results/node20/solver-426174-1178994529 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426174-1178994529/MiraXTv3_dyn /tmp/evaluation/426174-1178994529/instance-426174-1178994529.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  727fc359ee7c9f3d412b57a84acf2e25

RANDOM SEED= 971627409

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1657032 kB
Buffers:         48892 kB
Cached:         262016 kB
SwapCached:      17192 kB
Active:          78564 kB
Inactive:       256260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1657032 kB
SwapTotal:     4192956 kB
SwapFree:      4154884 kB
Dirty:            3948 kB
Writeback:           0 kB
Mapped:          30052 kB
Slab:            49728 kB
Committed_AS:  6886916 kB
PageTables:       1744 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66529 MiB

End job on node20 on Sat May 12 18:44:07 UTC 2007