Trace number 460117

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) 10000.1 5019.9

General information on the benchmark

Nameindustrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k100.cnf
MD5SUM751bd85ad6f8d39d07f721982719fb9b
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables149555
Number of clauses670148
Sum of the clauses size1724814
Maximum clause length20
Minimum clause length1
Number of clauses of size 1903
Number of clauses of size 2522026
Number of clauses of size 373562
Number of clauses of size 430075
Number of clauses of size 513044
Number of clauses of size over 530538

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/node76/watcher-460117-1179239415 -o ROOT/results/node76/solver-460117-1179239415 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/460117-1179239415/MiraXTv3_dyn /tmp/evaluation/460117-1179239415/instance-460117-1179239415.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 15000 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.83 1.94 1.90 3/68 2752
/proc/meminfo: memFree=857984/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=3792 CPUtime=0
/proc/2752/stat : 2752 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194304 351 0 0 0 0 0 0 0 19 0 1 0 371856123 3883008 326 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/2752/statm: 948 333 198 20 0 305 0

[startup+0.022174 s]
/proc/loadavg: 1.83 1.94 1.90 3/68 2752
/proc/meminfo: memFree=857984/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=3924 CPUtime=0.01
/proc/2752/stat : 2752 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194304 569 0 0 0 1 0 0 0 19 0 1 0 371856123 4018176 543 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134569537 0 0 4096 0 0 0 0 17 0 0 0
/proc/2752/statm: 981 543 203 20 0 338 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3924

[startup+0.101188 s]
/proc/loadavg: 1.83 1.94 1.90 3/68 2752
/proc/meminfo: memFree=857984/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=9728 CPUtime=0.09
/proc/2752/stat : 2752 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194304 1886 0 0 0 8 1 0 0 19 0 1 0 371856123 9961472 1860 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 5253163 0 0 4096 0 0 0 0 17 0 0 0
/proc/2752/statm: 2432 1861 204 20 0 1789 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9728

[startup+0.301228 s]
/proc/loadavg: 1.83 1.94 1.90 3/68 2752
/proc/meminfo: memFree=857984/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=23508 CPUtime=0.29
/proc/2752/stat : 2752 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194304 4966 0 0 0 26 3 0 0 20 0 1 0 371856123 24072192 4940 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/2752/statm: 5877 4940 204 20 0 5234 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23508

[startup+0.701304 s]
/proc/loadavg: 1.83 1.94 1.90 3/68 2752
/proc/meminfo: memFree=857984/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=49016 CPUtime=0.69
/proc/2752/stat : 2752 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194304 10836 0 0 0 63 6 0 0 24 0 1 0 371856123 50192384 10810 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134585096 0 0 4096 0 0 0 0 17 0 0 0
/proc/2752/statm: 12254 10810 204 20 0 11611 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49016

[startup+1.50146 s]
/proc/loadavg: 1.83 1.94 1.90 2/69 2753
/proc/meminfo: memFree=802936/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=67620 CPUtime=1.48
/proc/2752/stat : 2752 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194304 14957 0 0 0 140 8 0 0 25 0 1 0 371856123 69242880 14931 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 5253163 0 0 4096 0 0 0 0 17 0 0 0
/proc/2752/statm: 16905 14931 205 20 0 16262 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 67620

[startup+3.10177 s]
/proc/loadavg: 1.83 1.94 1.90 2/69 2753
/proc/meminfo: memFree=785784/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=95144 CPUtime=3.09
/proc/2752/stat : 2752 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194304 21833 0 0 0 297 12 0 0 25 0 1 0 371856123 97427456 21807 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 5251236 0 0 4096 0 0 0 0 17 0 0 0
/proc/2752/statm: 23786 21807 205 20 0 23143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 95144

[startup+6.30239 s]
/proc/loadavg: 1.85 1.94 1.90 2/71 2755
/proc/meminfo: memFree=715112/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=230088 CPUtime=6.55
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 38654 0 0 0 633 22 0 0 25 0 3 0 371856123 235610112 35866 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 57522 35866 216 20 0 56879 0
[pid=2752/tid=2754] ppid=2750 vsize=230088 CPUtime=1.65
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 7226 0 0 0 162 3 0 0 25 0 3 0 371856587 235610112 35866 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2752/tid=2755] ppid=2750 vsize=230088 CPUtime=0.26
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194368 7651 0 0 0 22 4 0 0 18 0 3 0 371856587 235610112 35866 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (KiB) 230088

[startup+12.7016 s]
/proc/loadavg: 1.78 1.92 1.89 2/71 2755
/proc/meminfo: memFree=713904/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=225592 CPUtime=13.09
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 39032 0 0 0 1287 22 0 0 25 0 3 0 371856123 231006208 35035 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 56398 35035 216 20 0 55755 0
[pid=2752/tid=2754] ppid=2750 vsize=225592 CPUtime=8.06
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 7476 0 0 0 802 4 0 0 25 0 3 0 371856587 231006208 35035 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2752/tid=2755] ppid=2750 vsize=225592 CPUtime=0.4
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 7779 0 0 0 36 4 0 0 17 0 3 0 371856587 231006208 35035 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.09
Current children cumulated vsize (KiB) 225592

[startup+25.5021 s]
/proc/loadavg: 1.76 1.91 1.89 3/71 2755
/proc/meminfo: memFree=713648/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=228664 CPUtime=38.63
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 40287 0 0 0 3839 24 0 0 25 0 3 0 371856123 234151936 36290 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 57166 36290 216 20 0 56523 0
[pid=2752/tid=2754] ppid=2750 vsize=228664 CPUtime=20.85
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 7686 0 0 0 2081 4 0 0 25 0 3 0 371856587 234151936 36290 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2752/tid=2755] ppid=2750 vsize=228664 CPUtime=13.15
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 8824 0 0 0 1309 6 0 0 24 0 3 0 371856587 234151936 36290 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 38.63
Current children cumulated vsize (KiB) 228664

[startup+51.1021 s]
/proc/loadavg: 1.84 1.92 1.89 3/71 2755
/proc/meminfo: memFree=683824/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=256568 CPUtime=89.69
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 48000 0 0 0 8935 34 0 0 25 0 3 0 371856123 262725632 43824 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 64142 43824 216 20 0 63499 0
[pid=2752/tid=2754] ppid=2750 vsize=256568 CPUtime=46.43
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 10181 0 0 0 4636 7 0 0 25 0 3 0 371856587 262725632 43824 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2752/tid=2755] ppid=2750 vsize=256568 CPUtime=38.63
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 14042 0 0 0 3850 13 0 0 25 0 3 0 371856587 262725632 43824 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526333 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 89.69
Current children cumulated vsize (KiB) 256568

[startup+102.307 s]
/proc/loadavg: 1.93 1.93 1.90 3/71 2755
/proc/meminfo: memFree=624304/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=314752 CPUtime=191.84
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 63548 0 0 0 19129 55 0 0 25 0 3 0 371856123 322306048 58622 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 78688 58622 216 20 0 78045 0
[pid=2752/tid=2754] ppid=2750 vsize=314752 CPUtime=97.59
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 15509 0 0 0 9745 14 0 0 25 0 3 0 371856587 322306048 58622 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2752/tid=2755] ppid=2750 vsize=314752 CPUtime=89.62
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 24262 0 0 0 8935 27 0 0 25 0 3 0 371856587 322306048 58622 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 191.84
Current children cumulated vsize (KiB) 314752

[startup+162.302 s]
/proc/loadavg: 1.97 1.94 1.90 3/71 2755
/proc/meminfo: memFree=598448/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=338520 CPUtime=311.52
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 70844 0 0 0 31089 63 0 0 25 0 3 0 371856123 346644480 64863 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 84630 64863 216 20 0 83987 0
[pid=2752/tid=2754] ppid=2750 vsize=338520 CPUtime=157.52
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 20096 0 0 0 15734 18 0 0 25 0 3 0 371856587 346644480 64863 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526049 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2752/tid=2755] ppid=2750 vsize=338520 CPUtime=149.36
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 26971 0 0 0 14906 30 0 0 25 0 3 0 371856587 346644480 64863 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 311.52
Current children cumulated vsize (KiB) 338520

[startup+222.301 s]
/proc/loadavg: 1.99 1.95 1.91 3/71 2755
/proc/meminfo: memFree=575728/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=361992 CPUtime=431.18
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 77886 0 0 0 43049 69 0 0 25 0 3 0 371856123 370679808 70726 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 90498 70726 216 20 0 89855 0
[pid=2752/tid=2754] ppid=2750 vsize=361992 CPUtime=217.44
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 24097 0 0 0 21723 21 0 0 25 0 3 0 371856587 370679808 70726 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2752/tid=2755] ppid=2750 vsize=361992 CPUtime=209.1
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 30012 0 0 0 20877 33 0 0 25 0 3 0 371856587 370679808 70726 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 431.18
Current children cumulated vsize (KiB) 361992

[startup+282.302 s]
/proc/loadavg: 1.99 1.95 1.91 3/71 2755
/proc/meminfo: memFree=562672/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=373056 CPUtime=550.85
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 82354 0 0 0 55011 74 0 0 25 0 3 0 371856123 382009344 73816 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 93264 73816 216 20 0 92621 0
[pid=2752/tid=2754] ppid=2750 vsize=373056 CPUtime=277.36
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 25222 0 0 0 27714 22 0 0 25 0 3 0 371856587 382009344 73816 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2752/tid=2755] ppid=2750 vsize=373056 CPUtime=268.85
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 33355 0 0 0 26848 37 0 0 25 0 3 0 371856587 382009344 73816 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 5251855 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 550.85
Current children cumulated vsize (KiB) 373056

[startup+342.301 s]
/proc/loadavg: 1.99 1.96 1.91 3/71 2755
/proc/meminfo: memFree=515312/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=422048 CPUtime=670.57
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 95121 0 0 0 66968 89 0 0 25 0 3 0 371856123 432177152 85937 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 105512 85937 216 20 0 104869 0
[pid=2752/tid=2754] ppid=2750 vsize=422048 CPUtime=337.32
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 35449 0 0 0 33699 33 0 0 25 0 3 0 371856587 432177152 85937 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2752/tid=2755] ppid=2750 vsize=422048 CPUtime=328.61
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 35895 0 0 0 32819 42 0 0 25 0 3 0 371856587 432177152 85937 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 670.57
Current children cumulated vsize (KiB) 422048

[startup+402.302 s]
/proc/loadavg: 1.99 1.96 1.91 3/71 2755
/proc/meminfo: memFree=495472/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=440044 CPUtime=790.27
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 100961 0 0 0 78930 97 0 0 25 0 3 0 371856123 450605056 90591 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 110011 90591 216 20 0 109368 0
[pid=2752/tid=2754] ppid=2750 vsize=440044 CPUtime=397.28
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 37697 0 0 0 39692 36 0 0 25 0 3 0 371856587 450605056 90591 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2752/tid=2755] ppid=2750 vsize=440044 CPUtime=388.35

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

/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 84744 0 0 0 428354 85 0 0 25 0 3 0 371856587 566075392 119933 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565788 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2752/tid=2755] ppid=2750 vsize=552808 CPUtime=4279.78
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 74469 0 0 0 427893 85 0 0 25 0 3 0 371856587 566075392 119933 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134517958 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8568.8
Current children cumulated vsize (KiB) 552808

[startup+4362.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/71 2955
/proc/meminfo: memFree=377584/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=552808 CPUtime=8688.48
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 184322 0 0 0 868664 184 0 0 25 0 3 0 371856123 566075392 119957 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 138202 119957 216 20 0 137559 0
[pid=2752/tid=2754] ppid=2750 vsize=552808 CPUtime=4344.35
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 85400 0 0 0 434350 85 0 0 25 0 3 0 371856587 566075392 119957 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526205 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2752/tid=2755] ppid=2750 vsize=552808 CPUtime=4339.5
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 75145 0 0 0 433865 85 0 0 25 0 3 0 371856587 566075392 119957 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8688.48
Current children cumulated vsize (KiB) 552808

[startup+4422.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/71 2955
/proc/meminfo: memFree=355120/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=575336 CPUtime=8808.14
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 191442 0 0 0 880621 193 0 0 25 0 3 0 371856123 589144064 125551 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 143834 125551 216 20 0 143191 0
[pid=2752/tid=2754] ppid=2750 vsize=575336 CPUtime=4404.31
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 86055 0 0 0 440345 86 0 0 25 0 3 0 371856587 589144064 125551 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2752/tid=2755] ppid=2750 vsize=575336 CPUtime=4399.21
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 81610 0 0 0 439828 93 0 0 25 0 3 0 371856587 589144064 125551 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8808.14
Current children cumulated vsize (KiB) 575336

[startup+4482.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/71 2957
/proc/meminfo: memFree=355120/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=575336 CPUtime=8927.87
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 192543 0 0 0 892593 194 0 0 25 0 3 0 371856123 589144064 125559 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 143834 125559 216 20 0 143191 0
[pid=2752/tid=2754] ppid=2750 vsize=575336 CPUtime=4464.28
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 86496 0 0 0 446342 86 0 0 25 0 3 0 371856587 589144064 125559 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2752/tid=2755] ppid=2750 vsize=575336 CPUtime=4458.95
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 82270 0 0 0 445802 93 0 0 25 0 3 0 371856587 589144064 125559 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8927.87
Current children cumulated vsize (KiB) 575336

[startup+4542.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/71 2957
/proc/meminfo: memFree=354544/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=575996 CPUtime=9047.5
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 194230 0 0 0 904556 194 0 0 25 0 3 0 371856123 589819904 125713 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 143999 125713 216 20 0 143356 0
[pid=2752/tid=2754] ppid=2750 vsize=575996 CPUtime=4524.21
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 87301 0 0 0 452335 86 0 0 25 0 3 0 371856587 589819904 125713 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526558 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2752/tid=2755] ppid=2750 vsize=575996 CPUtime=4518.67
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 83152 0 0 0 451773 94 0 0 25 0 3 0 371856587 589819904 125713 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9047.5
Current children cumulated vsize (KiB) 575996

[startup+4602.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/71 2957
/proc/meminfo: memFree=354352/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=575996 CPUtime=9167.15
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 196221 0 0 0 916520 195 0 0 25 0 3 0 371856123 589819904 125710 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 143999 125710 216 20 0 143356 0
[pid=2752/tid=2754] ppid=2750 vsize=575996 CPUtime=4584.13
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 88407 0 0 0 458327 86 0 0 25 0 3 0 371856587 589819904 125710 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520200 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2752/tid=2755] ppid=2750 vsize=575996 CPUtime=4578.38
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 84037 0 0 0 457744 94 0 0 25 0 3 0 371856587 589819904 125710 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9167.15
Current children cumulated vsize (KiB) 575996

[startup+4662.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/71 2957
/proc/meminfo: memFree=354352/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=575996 CPUtime=9286.84
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 197549 0 0 0 928488 196 0 0 25 0 3 0 371856123 589819904 125714 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 143999 125714 216 20 0 143356 0
[pid=2752/tid=2754] ppid=2750 vsize=575996 CPUtime=4644.09
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 89071 0 0 0 464322 87 0 0 25 0 3 0 371856587 589819904 125714 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2752/tid=2755] ppid=2750 vsize=575996 CPUtime=4638.12
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 84701 0 0 0 463717 95 0 0 25 0 3 0 371856587 589819904 125714 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9286.84
Current children cumulated vsize (KiB) 575996

[startup+4722.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/71 2957
/proc/meminfo: memFree=354288/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=575996 CPUtime=9406.57
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 198888 0 0 0 940460 197 0 0 25 0 3 0 371856123 589819904 125726 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 143999 125726 216 20 0 143356 0
[pid=2752/tid=2754] ppid=2750 vsize=575996 CPUtime=4704.07
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 89962 0 0 0 470320 87 0 0 25 0 3 0 371856587 589819904 125726 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2752/tid=2755] ppid=2750 vsize=575996 CPUtime=4697.86
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 85149 0 0 0 469691 95 0 0 25 0 3 0 371856587 589819904 125726 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9406.57
Current children cumulated vsize (KiB) 575996

[startup+4782.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/71 2957
/proc/meminfo: memFree=340976/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=589204 CPUtime=9526.24
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 203321 0 0 0 952423 201 0 0 25 0 3 0 371856123 603344896 129049 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 147301 129049 216 20 0 146658 0
[pid=2752/tid=2754] ppid=2750 vsize=589204 CPUtime=4764.04
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 93723 0 0 0 476313 91 0 0 25 0 3 0 371856587 603344896 129049 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526297 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2752/tid=2755] ppid=2750 vsize=589204 CPUtime=4757.56
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 85821 0 0 0 475661 95 0 0 25 0 3 0 371856587 603344896 129049 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9526.24
Current children cumulated vsize (KiB) 589204

[startup+4842.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/71 2957
/proc/meminfo: memFree=340720/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=589872 CPUtime=9645.95
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 204365 0 0 0 964394 201 0 0 25 0 3 0 371856123 604028928 129205 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 147468 129205 216 20 0 146825 0
[pid=2752/tid=2754] ppid=2750 vsize=589872 CPUtime=4824.02
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 94319 0 0 0 482311 91 0 0 25 0 3 0 371856587 604028928 129205 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526049 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2752/tid=2755] ppid=2750 vsize=589872 CPUtime=4817.31
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 86269 0 0 0 481635 96 0 0 25 0 3 0 371856587 604028928 129205 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9645.95
Current children cumulated vsize (KiB) 589872

[startup+4902.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/71 2957
/proc/meminfo: memFree=307184/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=623712 CPUtime=9765.67
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 213717 0 0 0 976358 209 0 0 25 0 3 0 371856123 638681088 137666 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 155928 137666 216 20 0 155285 0
[pid=2752/tid=2754] ppid=2750 vsize=623712 CPUtime=4884
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 103223 0 0 0 488301 99 0 0 25 0 3 0 371856587 638681088 137666 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2752/tid=2755] ppid=2750 vsize=623712 CPUtime=4877.05
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 86717 0 0 0 487609 96 0 0 25 0 3 0 371856587 638681088 137666 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9765.67
Current children cumulated vsize (KiB) 623712

[startup+4962.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/71 2957
/proc/meminfo: memFree=276720/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=653568 CPUtime=9885.27
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 221856 0 0 0 988308 219 0 0 25 0 3 0 371856123 669253632 145136 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 163392 145136 216 20 0 162749 0
[pid=2752/tid=2754] ppid=2750 vsize=653568 CPUtime=4943.94
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 108620 0 0 0 494290 104 0 0 25 0 3 0 371856587 669253632 145136 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2752/tid=2755] ppid=2750 vsize=653568 CPUtime=4936.7
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 89459 0 0 0 493569 101 0 0 25 0 3 0 371856587 669253632 145136 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526705 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9885.27
Current children cumulated vsize (KiB) 653568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5019.8 s]
/proc/loadavg: 1.99 1.97 1.91 3/71 2957
/proc/meminfo: memFree=276656/2055888 swapFree=4087284/4096564
[pid=2752] ppid=2750 vsize=653568 CPUtime=10000
/proc/2752/stat : 2752 (MiraXTv3_dyn) S 2750 2752 2420 0 -1 4194304 223433 0 0 0 999781 220 0 0 25 0 3 0 371856123 669253632 145146 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2752/statm: 163392 145146 216 20 0 162749 0
[pid=2752/tid=2754] ppid=2750 vsize=653568 CPUtime=5001.43
/proc/2752/task/2754/stat : 2754 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 109522 0 0 0 500038 105 0 0 25 0 3 0 371856587 669253632 145146 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565733 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2752/tid=2755] ppid=2750 vsize=653568 CPUtime=4993.95
/proc/2752/task/2755/stat : 2755 (MiraXTv3_dyn) R 2750 2752 2420 0 -1 4194368 90134 0 0 0 499294 101 0 0 25 0 3 0 371856587 669253632 145146 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 653568

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): 5019.9
CPU time (s): 10000.1
CPU user time (s): 9997.83
CPU system time (s): 2.29365
CPU usage (%): 199.21
Max. virtual memory (cumulated for all children) (KiB): 654464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.83
system time used= 2.29365
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223433
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= 1137
involuntary context switches= 75843

runsolver used 5.74113 second user time and 12.5151 second system time

The end

Launcher Data (download as text)

Begin job on node76 on Tue May 15 14:30:16 UTC 2007

IDJOB= 460117
IDBENCH= 20552
IDSOLVER= 196
FILE ID= node76/460117-1179239415

PBS_JOBID= 5274666

Free space on /tmp= 66618 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/industrial/IBM_FV_2002_31_1_rule_1/SAT_dat.k100.cnf
COMMAND LINE= /tmp/evaluation/460117-1179239415/MiraXTv3_dyn /tmp/evaluation/460117-1179239415/instance-460117-1179239415.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-460117-1179239415 -o ROOT/results/node76/solver-460117-1179239415 -C 10000 -W 15000 -M 1800 --output-limit 1,15  /tmp/evaluation/460117-1179239415/MiraXTv3_dyn /tmp/evaluation/460117-1179239415/instance-460117-1179239415.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  751bd85ad6f8d39d07f721982719fb9b

RANDOM SEED= 314664700

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB

Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 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.277
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	: 6006.17
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.277
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:        858008 kB
Buffers:         55380 kB
Cached:         990052 kB
SwapCached:       3128 kB
Active:         600004 kB
Inactive:       455668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:        858008 kB
SwapTotal:     4096564 kB
SwapFree:      4087284 kB
Dirty:           19800 kB
Writeback:           0 kB
Mapped:          15920 kB
Slab:           128452 kB
Committed_AS:  5797248 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66618 MiB

End job on node76 on Tue May 15 15:53:58 UTC 2007