Trace number 3498556

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
EBGlucose 1.0? (TO) 5000.04 5000.21

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
MD5SUM0683489092a5eb0c881dd17c2c45d08e
Bench CategoryAPPLICATION (applications 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 variables105623
Number of clauses374254
Sum of the clauses size911890
Maximum clause length43
Minimum clause length1
Number of clauses of size 1128
Number of clauses of size 2269133
Number of clauses of size 399944
Number of clauses of size 4407
Number of clauses of size 5309
Number of clauses of size over 54333

Solver Data 

0.00/0.01	c
0.00/0.01	c Starting SatElite Preprocessing
0.00/0.01	c
0.00/0.01	c Parsing...
0.00/0.16	c ==============================================================================
0.00/0.16	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.16	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.16	c ==============================================================================
0.00/0.16	c |         0 |  373870   911122 |  112160       0        0     nan |  0.000 % |
1.97/2.01	c |         0 |  183363   759436 |      --       0       --      -- |     --   | -190507/-151686
1.97/2.01	c ==============================================================================
1.97/2.01	c Result  :   #vars: 14569   #clauses: 183363   #literals: 759436
1.97/2.01	c CPU time:   1.9537 s
1.97/2.01	c ==============================================================================
2.08/2.14	c
2.08/2.14	c Starting glucose
2.08/2.14	c
2.12/2.44	
2.12/2.44	c This is EBGlucose 1.0 -- based on Glucose version 1.0
2.12/2.44	c     Many thanks to the Glucose, RSAT, and MiniSAT teams.
2.12/2.44	
2.12/2.44	c ============================[ Problem Statistics ]=============================
2.12/2.44	c |                                                                             |
2.12/2.44	c |  Number of variables:  14569                                                |
2.12/2.44	c |  Number of clauses:    183363                                               |
2.12/2.52	c |  Parsing time:         0.07         s                                       |
5000.02/5000.21	HOME/ebglucose.sh: line 57:  3994 Terminated              $RS $TMP.cnf -verbosity=0 $TMP.result "$@"

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3498556-1307958748/watcher-3498556-1307958748 -o /var/tmp/evaluation-result-3498556-1307958748/solver-3498556-1307958748 -C 5000 -W 5100 -M 15500 HOME/ebglucose.sh HOME/instance-3498556-1307958748.cnf 

running on 4 cores: 0,2,4,6

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): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.17 1.52 3/174 3978
/proc/meminfo: memFree=11276316/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 322 0 0 0 0 0 0 0 22 0 1 0 986105530 8908800 250 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905393920 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0
/proc/3978/statm: 2175 250 209 178 0 68 0

[startup+0.056265 s]
/proc/loadavg: 1.00 1.17 1.52 3/174 3978
/proc/meminfo: memFree=11276316/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 356 232 0 1 0 0 0 0 22 0 1 0 986105530 8912896 253 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3978/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100255 s]
/proc/loadavg: 1.00 1.17 1.52 3/174 3978
/proc/meminfo: memFree=11276316/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 356 232 0 1 0 0 0 0 22 0 1 0 986105530 8912896 253 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3978/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300218 s]
/proc/loadavg: 1.00 1.17 1.52 3/174 3978
/proc/meminfo: memFree=11276316/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 356 232 0 1 0 0 0 0 22 0 1 0 986105530 8912896 253 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3978/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700145 s]
/proc/loadavg: 1.00 1.17 1.52 3/174 3978
/proc/meminfo: memFree=11276316/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 356 232 0 1 0 0 0 0 22 0 1 0 986105530 8912896 253 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3978/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.501 s]
/proc/loadavg: 1.08 1.18 1.52 3/180 3993
/proc/meminfo: memFree=11108492/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 356 232 0 1 0 0 0 0 22 0 1 0 986105530 8912896 253 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3978/statm: 2176 253 211 178 0 69 0
[pid=3981] ppid=3978 vsize=59552 CPUtime=1.47 cores=0,2,4,6
/proc/3981/stat : 3981 (SatELite_releas) R 3978 3978 3431 0 -1 4202496 13944 0 0 0 144 3 0 0 25 0 1 0 986105531 60981248 13428 33554432000 134512640 135144230 4287813808 18446744073709551615 134588440 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3981/statm: 14888 13428 78 155 0 14731 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 68256

[startup+3.10082 s]
/proc/loadavg: 1.08 1.18 1.52 3/180 3993
/proc/meminfo: memFree=11024420/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 8704
heavy processes:

[startup+6.30112 s]
/proc/loadavg: 1.15 1.20 1.53 3/180 3994
/proc/meminfo: memFree=11009884/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=21356 CPUtime=3.85 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 4814 0 19 0 385 0 0 0 25 0 1 0 986105744 21868544 4770 33554432000 134512640 134556542 4291776784 18446744073709551615 134537387 0 0 4096 8388611 0 0 0 17 2 0 0 29
/proc/3994/statm: 5339 4770 214 11 0 4673 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 30060

[startup+12.7011 s]
/proc/loadavg: 1.22 1.21 1.53 3/180 3995
/proc/meminfo: memFree=11118052/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=22708 CPUtime=10.24 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 5149 0 19 0 1024 0 0 0 25 0 1 0 986105744 23252992 5105 33554432000 134512640 134556542 4291776784 18446744073709551615 134537349 0 0 4096 8388611 0 0 0 17 2 0 0 29
/proc/3994/statm: 5677 5105 214 11 0 5011 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 31412

[startup+25.5007 s]
/proc/loadavg: 1.34 1.24 1.53 3/180 3995
/proc/meminfo: memFree=11113796/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=24644 CPUtime=23.04 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 5613 0 19 0 2304 0 0 0 25 0 1 0 986105744 25235456 5569 33554432000 134512640 134556542 4291776784 18446744073709551615 134537526 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 6161 5569 214 11 0 5495 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 33348

[startup+51.101 s]
/proc/loadavg: 1.60 1.31 1.55 3/180 3996
/proc/meminfo: memFree=11109416/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=26512 CPUtime=48.64 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 6114 0 19 0 4864 0 0 0 25 0 1 0 986105744 27148288 6070 33554432000 134512640 134556542 4291776784 18446744073709551615 134537186 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 6628 6070 214 11 0 5962 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 35216

[startup+102.307 s]
/proc/loadavg: 1.82 1.41 1.57 3/180 3997
/proc/meminfo: memFree=11102540/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=30392 CPUtime=99.86 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 7073 0 19 0 9985 1 0 0 25 0 1 0 986105744 31121408 7029 33554432000 134512640 134556542 4291776784 18446744073709551615 134537343 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 7598 7029 214 11 0 6932 0
Current children cumulated CPU time (s) 101.98
Current children cumulated vsize (KiB) 39096

[startup+162.301 s]
/proc/loadavg: 1.93 1.52 1.59 3/180 3999
/proc/meminfo: memFree=11096416/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=33408 CPUtime=159.85 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 7798 0 19 0 15984 1 0 0 25 0 1 0 986105744 34209792 7754 33554432000 134512640 134556542 4291776784 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 8352 7754 214 11 0 7686 0
Current children cumulated CPU time (s) 161.97
Current children cumulated vsize (KiB) 42112

[startup+222.301 s]
/proc/loadavg: 1.97 1.60 1.61 3/180 4000
/proc/meminfo: memFree=11091044/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=36076 CPUtime=219.85 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 8479 0 19 0 21984 1 0 0 25 0 1 0 986105744 36941824 8435 33554432000 134512640 134556542 4291776784 18446744073709551615 134536911 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 9019 8435 214 11 0 8353 0
Current children cumulated CPU time (s) 221.97
Current children cumulated vsize (KiB) 44780

[startup+282.301 s]
/proc/loadavg: 1.99 1.67 1.64 3/180 4002
/proc/meminfo: memFree=11086540/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=38284 CPUtime=279.86 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 8980 0 19 0 27984 2 0 0 25 0 1 0 986105744 39202816 8936 33554432000 134512640 134556542 4291776784 18446744073709551615 134537180 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 9571 8936 214 11 0 8905 0
Current children cumulated CPU time (s) 281.98
Current children cumulated vsize (KiB) 46988

[startup+342.301 s]
/proc/loadavg: 1.99 1.73 1.66 3/180 4004
/proc/meminfo: memFree=11082648/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=40700 CPUtime=339.85 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 9575 0 19 0 33983 2 0 0 25 0 1 0 986105744 41676800 9531 33554432000 134512640 134556542 4291776784 18446744073709551615 134537248 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 10175 9531 214 11 0 9509 0
Current children cumulated CPU time (s) 341.97
Current children cumulated vsize (KiB) 49404

[startup+402.301 s]
/proc/loadavg: 2.04 1.79 1.68 3/180 4005
/proc/meminfo: memFree=11078880/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0

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

[pid=3994] ppid=3978 vsize=88052 CPUtime=4239.96 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 20975 0 19 0 423989 7 0 0 25 0 1 0 986105744 90165248 20931 33554432000 134512640 134556542 4291776784 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 22013 20931 214 11 0 21347 0
Current children cumulated CPU time (s) 4242.08
Current children cumulated vsize (KiB) 96756

[startup+4302.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/180 4130
/proc/meminfo: memFree=10979212/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=89156 CPUtime=4299.97 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 21263 0 19 0 429989 8 0 0 25 0 1 0 986105744 91295744 21219 33554432000 134512640 134556542 4291776784 18446744073709551615 134537454 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 22289 21219 214 11 0 21623 0
Current children cumulated CPU time (s) 4302.09
Current children cumulated vsize (KiB) 97860

[startup+4362.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/180 4132
/proc/meminfo: memFree=10978548/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=89532 CPUtime=4359.97 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 21349 0 19 0 435989 8 0 0 25 0 1 0 986105744 91680768 21305 33554432000 134512640 134556542 4291776784 18446744073709551615 134537188 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 22383 21305 214 11 0 21717 0
Current children cumulated CPU time (s) 4362.09
Current children cumulated vsize (KiB) 98236

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 4133
/proc/meminfo: memFree=10978512/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=89752 CPUtime=4419.97 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 21370 0 19 0 441989 8 0 0 25 0 1 0 986105744 91906048 21326 33554432000 134512640 134556542 4291776784 18446744073709551615 134537412 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 22438 21326 214 11 0 21772 0
Current children cumulated CPU time (s) 4422.09
Current children cumulated vsize (KiB) 98456

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 4135
/proc/meminfo: memFree=10977836/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=90432 CPUtime=4479.97 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 21539 0 19 0 447989 8 0 0 25 0 1 0 986105744 92602368 21495 33554432000 134512640 134556542 4291776784 18446744073709551615 134537396 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 22608 21495 214 11 0 21942 0
Current children cumulated CPU time (s) 4482.09
Current children cumulated vsize (KiB) 99136

[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 4137
/proc/meminfo: memFree=10976924/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=90432 CPUtime=4539.98 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 21555 0 19 0 453990 8 0 0 25 0 1 0 986105744 92602368 21511 33554432000 134512640 134556542 4291776784 18446744073709551615 134537184 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 22608 21511 214 11 0 21942 0
Current children cumulated CPU time (s) 4542.1
Current children cumulated vsize (KiB) 99136

[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 4138
/proc/meminfo: memFree=10975384/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=90880 CPUtime=4599.98 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 21634 0 19 0 459990 8 0 0 25 0 1 0 986105744 93061120 21590 33554432000 134512640 134556542 4291776784 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 22720 21590 214 11 0 22054 0
Current children cumulated CPU time (s) 4602.1
Current children cumulated vsize (KiB) 99584

[startup+4662.3 s]
/proc/loadavg: 2.08 2.02 1.95 3/180 4140
/proc/meminfo: memFree=10973980/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=92156 CPUtime=4659.98 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 21963 0 19 0 465990 8 0 0 25 0 1 0 986105744 94367744 21919 33554432000 134512640 134556542 4291776784 18446744073709551615 134537312 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 23039 21919 214 11 0 22373 0
Current children cumulated CPU time (s) 4662.1
Current children cumulated vsize (KiB) 100860

[startup+4722.31 s]
/proc/loadavg: 2.03 2.01 1.95 3/180 4141
/proc/meminfo: memFree=10972436/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=92312 CPUtime=4719.98 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 22020 0 19 0 471990 8 0 0 25 0 1 0 986105744 94527488 21976 33554432000 134512640 134556542 4291776784 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 23078 21976 214 11 0 22412 0
Current children cumulated CPU time (s) 4722.1
Current children cumulated vsize (KiB) 101016

[startup+4782.3 s]
/proc/loadavg: 2.04 2.02 1.96 3/180 4143
/proc/meminfo: memFree=10972152/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=92576 CPUtime=4779.98 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 22079 0 19 0 477990 8 0 0 25 0 1 0 986105744 94797824 22035 33554432000 134512640 134556542 4291776784 18446744073709551615 134537401 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 23144 22035 214 11 0 22478 0
Current children cumulated CPU time (s) 4782.1
Current children cumulated vsize (KiB) 101280

[startup+4842.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/180 4145
/proc/meminfo: memFree=10971856/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=93020 CPUtime=4839.98 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 22148 0 19 0 483990 8 0 0 25 0 1 0 986105744 95252480 22104 33554432000 134512640 134556542 4291776784 18446744073709551615 134537412 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 23255 22104 214 11 0 22589 0
Current children cumulated CPU time (s) 4842.1
Current children cumulated vsize (KiB) 101724

[startup+4902.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/180 4146
/proc/meminfo: memFree=10971696/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=93020 CPUtime=4899.98 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 22168 0 19 0 489990 8 0 0 25 0 1 0 986105744 95252480 22124 33554432000 134512640 134556542 4291776784 18446744073709551615 134537339 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 23255 22124 214 11 0 22589 0
Current children cumulated CPU time (s) 4902.1
Current children cumulated vsize (KiB) 101724

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 4191
/proc/meminfo: memFree=11036912/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=93212 CPUtime=4959.99 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 22214 0 19 0 495989 10 0 0 25 0 1 0 986105744 95449088 22170 33554432000 134512640 134556542 4291776784 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 23303 22170 214 11 0 22637 0
Current children cumulated CPU time (s) 4962.11
Current children cumulated vsize (KiB) 101916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5000.2 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 4192
/proc/meminfo: memFree=11008280/32950928 swapFree=67051812/67111528
[pid=3978] ppid=3976 vsize=8704 CPUtime=2.12 cores=0,2,4,6
/proc/3978/stat : 3978 (ebglucose.sh) S 3976 3978 3431 0 -1 4202496 382 15465 0 1 0 0 207 5 18 0 1 0 986105530 8912896 256 33554432000 4194304 4922060 140735030359120 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3978/statm: 2176 256 211 178 0 69 0
[pid=3994] ppid=3978 vsize=93680 CPUtime=4997.9 cores=0,2,4,6
/proc/3994/stat : 3994 (ebglucose_stati) R 3978 3978 3431 0 -1 4202496 22311 0 19 0 499780 10 0 0 25 0 1 0 986105744 95928320 22267 33554432000 134512640 134556542 4291776784 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 4 0 0 29
/proc/3994/statm: 23420 22267 214 11 0 22754 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 102384

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): 5000.21
CPU time (s): 5000.04
CPU user time (s): 4999.88
CPU system time (s): 0.156976
CPU usage (%): 99.9965
Max. virtual memory (cumulated for all children) (KiB): 102384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.88
system time used= 0.156976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38169
page faults= 20
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82
involuntary context switches= 6943

runsolver used 9.1826 second user time and 16.9914 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-13 11:52:29
IDJOB=3498556
IDBENCH=20406
IDSOLVER=1992
FILE ID=node116/3498556-1307958748
RUNJOBID= node116-1307958748-3959
PBS_JOBID= 13559712
Free space on /var/tmp= 2872 MiB

SOLVER NAME= EBGlucose 1.0
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf
COMMAND LINE= DIR/ebglucose.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3498556-1307958748/watcher-3498556-1307958748 -o /var/tmp/evaluation-result-3498556-1307958748/solver-3498556-1307958748 -C 5000 -W 5100 -M 15500  HOME/ebglucose.sh HOME/instance-3498556-1307958748.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e
RANDOM SEED=1770160106

node116.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      11277232 kB
Buffers:         99752 kB
Cached:       20834732 kB
SwapCached:      12824 kB
Active:        5647000 kB
Inactive:     15310768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      11277232 kB
SwapTotal:    67111528 kB
SwapFree:     67051812 kB
Dirty:           13996 kB
Writeback:           0 kB
AnonPages:       21024 kB
Mapped:           8848 kB
Slab:           648400 kB
PageTables:       4452 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   194216 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2824 MiB
End job on node116 at 2011-06-13 13:15:51